Speculative Concurrent Processing with Transactional Memory in the Actor Model

  • Yaroslav Hayduk
  • Anita Sobe
  • Derin Harmanci
  • Patrick Marlier
  • Pascal Felber
Conference paper

DOI: 10.1007/978-3-319-03850-6_12

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8304)
Cite this paper as:
Hayduk Y., Sobe A., Harmanci D., Marlier P., Felber P. (2013) Speculative Concurrent Processing with Transactional Memory in the Actor Model. In: Baldoni R., Nisse N., van Steen M. (eds) Principles of Distributed Systems. OPODIS 2013. Lecture Notes in Computer Science, vol 8304. Springer, Cham

Abstract

The actor model has been successfully used for scalable computing in distributed systems. Actors are objects with a local state, which can only be modified by the exchange of messages. One of the fundamental principles of actor models is to guarantee sequential message processing, which avoids typical concurrency hazards, but limits the achievable message throughput. Preserving the sequential semantics of the actor model is, however, necessary for program correctness.

In this paper, we propose to add support for speculative concurrent execution in actors using transactional memory (TM). Our approach is designed to operate with message passing and shared memory, and can thus take advantage of parallelism available on distributed and multi-core systems. The processing of each message is wrapped in a transaction executed atomically and in isolation, but concurrently with other messages. This allows us (1) to scale while keeping the dependability guarantees ensured by sequential message processing, and (2) to further increase robustness of the actor model against threats due to the rollback ability that comes for free with transactional processing of messages. We validate our design within the Scala programming language and the Akka framework. We show that the overhead of using transactions is hidden by the improved message processing throughput, thus leading to an overall performance gain.

Keywords

Concurrency actors transactional memory speculative processing 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2013

Authors and Affiliations

  • Yaroslav Hayduk
    • 1
  • Anita Sobe
    • 1
  • Derin Harmanci
    • 1
  • Patrick Marlier
    • 1
  • Pascal Felber
    • 1
  1. 1.University of NeuchatelSwitzerland

Personalised recommendations