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
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;
Conference_Titel :
MIPRO, 2011 Proceedings of the 34th International Convention
Conference_Location :
Opatija
Print_ISBN :
978-1-4577-0996-8