%0 Conference Proceedings
%T Open Transactions on Shared Memory
%+ Università degli Studi di Udine - University of Udine [Italie]
%A Miculan, Marino
%A Peressotti, Marco
%A Toneguzzo, Andrea
%Z Part 5: Shared Spaces
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 17th International Conference on Coordination Languages and Models (COORDINATION)
%C Grenoble, France
%Y Tom Holvoet
%Y Mirko Viroli
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-9037
%P 213-229
%8 2015-06-02
%D 2015
%R 10.1007/978-3-319-19282-6_14
%K Shared Memory
%K Shared Variable
%K Operational Semantic
%K Transactional Memory
%K Derivation Rule
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01774945/document
%2 https://inria.hal.science/hal-01774945/file/978-3-319-19282-6_14_Chapter.pdf
%L hal-01774945
%U https://inria.hal.science/hal-01774945
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-9037