Subobject Transactional Memory

Marko Dooren 1, 2 Dave Clarke 1, 2
1 KU-IBBT - FUTURE HEALTH DEPARTMENT [KU Leuven]
KU Leuven - Catholic University of Leuven - Katholieke Universiteit Leuven
Abstract : Concurrent object-oriented programs are hard to write because of the frequent use of state in objects. In a concurrent program, this state must be protected against race-conditions and deadlocks, which costs a lot of effort and is error-prone. Software transactional memory is a mechanism for concurrency control that is similar to mechanisms used in databases. The programmer does not deal with low-level locks, but instead uses transaction demarcation to protect shared memory.We show that in a statically typed subobject-oriented programming language, a transactional program requires less effort than writing a regular object-oriented programming. In addition, we show how transactionality can be added to existing classes without performing code transformations or using a meta-object protocol.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01529600
Contributor : Hal Ifip <>
Submitted on : Wednesday, May 31, 2017 - 10:00:03 AM
Last modification on : Thursday, February 21, 2019 - 10:31:47 AM
Long-term archiving on : Wednesday, September 6, 2017 - 3:00:13 PM

File

978-3-642-30829-1_4_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Marko Dooren, Dave Clarke. Subobject Transactional Memory. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.44-58, ⟨10.1007/978-3-642-30829-1_4⟩. ⟨hal-01529600⟩

Share

Metrics

Record views

80

Files downloads

141