Skip to Main content Skip to Navigation
Conference papers

Open Transactions on Shared Memory

Abstract : Transactional memory has arisen as a good way for solving many of the issues of lock-based programming. However, most implementations admit isolated transactions only, which are not adequate when we have to coordinate communicating processes. To this end, in this paper we present OCTM, an Haskell-like language with open transactions over shared transactional memory: processes can join transactions at runtime just by accessing to shared variables. Thus a transaction can co-operate with the environment through shared variables, but if it is rolled-back, also all its effects on the environment are retracted. For proving the expressive power of OCTM we give an implementation of TCCS m , a CCS-like calculus with open transactions.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-01774945
Contributor : Hal Ifip <>
Submitted on : Tuesday, April 24, 2018 - 10:54:22 AM
Last modification on : Tuesday, April 24, 2018 - 11:20:06 AM
Long-term archiving on: : Wednesday, September 19, 2018 - 10:52:12 AM

File

978-3-319-19282-6_14_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Marino Miculan, Marco Peressotti, Andrea Toneguzzo. Open Transactions on Shared Memory. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.213-229, ⟨10.1007/978-3-319-19282-6_14⟩. ⟨hal-01774945⟩

Share

Metrics

Record views

191

Files downloads

181