Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Reports, Documentation, and Standards
  4. Transactors: Unifying Transactions and Actors
 
report

Transactors: Unifying Transactions and Actors

Lesani, Mohsen
•
Odersky, Martin  
•
Guerraoui, Rachid
2009

Composability and deadlock-freedom are important properties that are stated for transactional memory (TM). Commonly, the Semantics of TM requires linearization of transactions. It turns out that linearization of transactions that have cyclic communication brings incomposability and deadlock. Inspired from TM and Actors, this work proposes Transactors that provide facilities of isolation from TM and communication from Actors. We define the semantics of Transactors including support for cyclic transactional communication. An algorithm implementing this semantics is offered. The soundness of the algorithm is proved.

  • Files
  • Details
  • Metrics
Type
report
Author(s)
Lesani, Mohsen
Odersky, Martin  
Guerraoui, Rachid
Date Issued

2009

Subjects

Transactional memory

•

Actors

•

Transactor

Written at

EPFL

EPFL units
LAMP1  
Available on Infoscience
July 8, 2009
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/41228
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés