DocumentCode
548327
Title
Use case induced relaxed transactional consistency models
Author
Schmitt, Thilo ; Kämmer, Nico ; Schmidt, Patrick ; Schulthess, Peter
Author_Institution
Inst. of Distrib. Syst., Ulm Univ., Ulm, Germany
fYear
2011
fDate
23-27 May 2011
Firstpage
191
Lastpage
194
Abstract
The consistency models of in-memory data cluster and grid systems attempt to reconcile safe and comfortable programming on one side and efficient and highly concurrent program execution on the other side. Finding a way to maintain the consistency of replicated data in parallel and distributed programs that is convenient to use but still offers good performance is a complex challenge. The transactional memory approach promises to keep the programming effort low and still to provide safe and efficient execution. In many cases though transactional semantics are too rigid and create unnecessary transaction restarts. Our objective now is to partially relax the consistency model of the application while maintaining the strong transactional consistency as the base model. In this paper we present a platform that allows the coexistence of multiple consistency models, employing the transactional memory paradigm in a distributed fashion as the base consistency at the same time.
Keywords
concurrency control; data integrity; formal specification; grid computing; operating systems (computers); parallel programming; security of data; storage management; transaction processing; concurrent program execution; distributed program; grid system; in-memory data cluster; parallel program; programming safety; replicated data consistency; transaction restart; transactional consistency model; transactional memory approach; transactional semantics; Kernel; Memory management; Object oriented modeling; Programming; Synchronization; Taxonomy;
fLanguage
English
Publisher
ieee
Conference_Titel
MIPRO, 2011 Proceedings of the 34th International Convention
Conference_Location
Opatija
Print_ISBN
978-1-4577-0996-8
Type
conf
Filename
5967048
Link To Document