Polymorphic Contention Management

作者: Rachid Guerraoui , Maurice Herlihy , Bastian Pochon

DOI: 10.1007/11561927_23

关键词:

摘要: In software transactional memory (STM) systems, a contention manager resolves conflicts among transactions accessing the same locations. Whereas atomicity and serializability of are guaranteed at all times, is crucial importance for guaranteeing that system as whole makes progress. A number different management policies have been proposed evaluated in recent literature. An empirical evaluation these leads to striking result there seems be no “universal” works best under reasonable circumstances. Instead, transaction throughput can vary dramatically depending on factors such length, data access patterns, length contended vs. uncontended phases, so on. This paper proposes polymorphic management, structure allows managers not just across workloads, but concurrent single workload, even phases transaction. The ability mix or change them on-the-fly provides performance benefits, also poses questions concerning how given class interact useful way with different, possibly unknown classes. We address by classifying hierarchy, based cost associated each manager, present general algorithm handle conflict between from describe our smoothly integrated nested SXM library.

参考文章(22)
Jim Gray, A Transaction Model international colloquium on automata, languages and programming. pp. 282- 298 ,(1980) , 10.1007/3-540-10003-2_78
Rachid Guerraoui, Atomic Object Composition european conference on object oriented programming. pp. 118- 138 ,(1994) , 10.1007/BFB0052179
Matthew Hennessy, Robin Milner, On Observing Nondeterminism and Concurrency international colloquium on automata, languages and programming. pp. 299- 309 ,(1980) , 10.1007/3-540-10003-2_79
Rachid Guerraoui, Agnes Lanusse, Riccardo Capobianchi, Pierre Roux, Nesting Actions through Asynchronous Message Passing: the ACS Protocol european conference on object oriented programming. pp. 170- 184 ,(1992) , 10.1007/BFB0053036
B.A. Nayfeh, K. Olukotun, A single-chip multiprocessor IEEE Computer. ,vol. 30, pp. 79- 85 ,(1997) , 10.1109/2.612253
William N. Scherer, Michael L. Scott, Advanced contention management for dynamic software transactional memory principles of distributed computing. pp. 240- 248 ,(2005) , 10.1145/1073814.1073861
William Weihl, Barbara Liskov, Specification and implementation of resilient, atomic data types Sigplan Notices. ,vol. 18, pp. 53- 64 ,(1983) , 10.1145/800226.806851
Barbara Liskov, Distributed programming in Argus Communications of the ACM. ,vol. 31, pp. 300- 312 ,(1988) , 10.1145/42392.42399
W. E. Weihl, Local atomicity properties: modular concurrency control for abstract data types ACM Transactions on Programming Languages and Systems. ,vol. 11, pp. 249- 282 ,(1989) , 10.1145/63264.63518
Christos H. Papadimitriou, The serializability of concurrent database updates Journal of the ACM. ,vol. 26, pp. 631- 653 ,(1979) , 10.1145/322154.322158