Results 1 -
2 of
2
1 A Type-Sound Calculus of Computational Fields I
"... This Accepted Author Manuscript (AAM) is copyrighted and published by Elsevier. It is posted on the author personal web page for SCHOLARLY SHARING. Changes resulting from the publishing process- such as editing, corrections, structural formatting, and other quality control mechanisms- may not be ref ..."
Abstract
- Add to MetaCart
(Show Context)
This Accepted Author Manuscript (AAM) is copyrighted and published by Elsevier. It is posted on the author personal web page for SCHOLARLY SHARING. Changes resulting from the publishing process- such as editing, corrections, structural formatting, and other quality control mechanisms- may not be reflected in this version of the text. The definitive version of the text will be published in SCIENCE OF COMPUTER PROGRAMMING.
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 implemen-tations 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 ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. Transactional memory has arisen as a good way for solving many of the issues of lock-based programming. However, most implemen-tations 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 TCCSm, a CCS-like calculus with open transactions. 1
