Open transactions on shared memory

Marino Miculan; Marco Peressotti; Andrea Toneguzzo

doi:10.1007/978-3-319-19282-6_14

Open transactions on shared memory

Marino Miculan, Marco Peressotti^*, Andrea Toneguzzo

^*Corresponding author for this work

University of Udine

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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.

Original language	English
Title of host publication	Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings
Editors	Tom Holvoet, Mirko Viroli
Number of pages	17
Publisher	Springer
Publication date	1. Jan 2015
Pages	213-229
ISBN (Print)	9783319192819
DOIs	https://doi.org/10.1007/978-3-319-19282-6_14
Publication status	Published - 1. Jan 2015
Externally published	Yes
Event	17th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 - Grenoble, France Duration: 2. Jun 2015 → 4. Jun 2015

Conference

Conference	17th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015
Country/Territory	France
City	Grenoble
Period	02/06/2015 → 04/06/2015
Sponsor	International Federation for Information Processing

Series	Lecture Notes in Computer Science
Volume	9037
ISSN	0302-9743

Keywords

Concurrency
Deadlock-freedom
Programming languages
Memory Safety
Reversible computing

Documents & Links

10.1007/978-3-319-19282-6_14

Cite this

Miculan, M., Peressotti, M., & Toneguzzo, A. (2015). Open transactions on shared memory. In T. Holvoet, & M. Viroli (Eds.), Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings (pp. 213-229). Springer. https://doi.org/10.1007/978-3-319-19282-6_14

Miculan, Marino ; Peressotti, Marco ; Toneguzzo, Andrea. / Open transactions on shared memory. Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings. editor / Tom Holvoet ; Mirko Viroli. Springer, 2015. pp. 213-229 (Lecture Notes in Computer Science, Vol. 9037).

@inproceedings{1074f139f575404f810e57a18675e835,

title = "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 TCCSm, a CCS-like calculus with open transactions.",

keywords = "Concurrency, Deadlock-freedom, Programming languages, Memory Safety, Reversible computing",

author = "Marino Miculan and Marco Peressotti and Andrea Toneguzzo",

year = "2015",

month = jan,

day = "1",

doi = "10.1007/978-3-319-19282-6_14",

language = "English",

isbn = "9783319192819",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "213--229",

editor = "Tom Holvoet and Mirko Viroli",

booktitle = "Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings",

address = "Germany",

note = "17th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 ; Conference date: 02-06-2015 Through 04-06-2015",

}

Miculan, M, Peressotti, M & Toneguzzo, A 2015, Open transactions on shared memory. in T Holvoet & M Viroli (eds), Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings. Springer, Lecture Notes in Computer Science, vol. 9037, pp. 213-229, 17th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, 02/06/2015. https://doi.org/10.1007/978-3-319-19282-6_14

Open transactions on shared memory. / Miculan, Marino; Peressotti, Marco; Toneguzzo, Andrea.
Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings. ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 213-229 (Lecture Notes in Computer Science, Vol. 9037).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Open transactions on shared memory

AU - Miculan, Marino

AU - Peressotti, Marco

AU - Toneguzzo, Andrea

PY - 2015/1/1

Y1 - 2015/1/1

N2 - 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 TCCSm, a CCS-like calculus with open transactions.

AB - 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 TCCSm, a CCS-like calculus with open transactions.

KW - Concurrency

KW - Deadlock-freedom

KW - Programming languages

KW - Memory Safety

KW - Reversible computing

UR - http://www.scopus.com/inward/record.url?scp=84942543632&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-19282-6_14

DO - 10.1007/978-3-319-19282-6_14

M3 - Article in proceedings

AN - SCOPUS:84942543632

SN - 9783319192819

T3 - Lecture Notes in Computer Science

SP - 213

EP - 229

BT - Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings

A2 - Holvoet, Tom

A2 - Viroli, Mirko

PB - Springer

T2 - 17th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015

Y2 - 2 June 2015 through 4 June 2015

ER -

Miculan M, Peressotti M, Toneguzzo A. Open transactions on shared memory. In Holvoet T, Viroli M, editors, Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings. Springer. 2015. p. 213-229. (Lecture Notes in Computer Science, Vol. 9037). doi: 10.1007/978-3-319-19282-6_14

Open transactions on shared memory

Abstract

Conference

Keywords

Documents & Links

Other files and links

Fingerprint

Cite this