Nested pessimistic transactions for both atomicity and synchronization in concurrent software

concurrency;parallelism;transactions;locks;transactional memory;atomic sections;lock inference;condition synchronization;Computer Science

Chammah, Tarek

University of Waterloo

关键词: concurrency;    parallelism;    transactions;    locks;    transactional memory;    atomic sections;    lock inference;    condition synchronization;    Computer Science;   

Others  :  https://uwspace.uwaterloo.ca/bitstream/10012/6350/1/Chammah_Tarek.pdf

瑞士|英语

来源: UWSPACE Waterloo Institutional Repository

【 摘 要 】

Existing atomic section interface proposals, thus far, have tended to only isolate transactions from each other. Less considered is the coordination of threads performing transactions with respect to one another. Synchronization of nested sections is typically relegated to outside of and among the top-level flattened sections. However existing models do not permit the composition of even simple synchronization constructs such as barriers. The proposed model integrates synchronization as a first-class construct in a truly nested atomic block implementation.The implementation is evaluated on quantitative benchmarks, with qualitative examples of the atomic section interface’s expressive power compared with conventional transactional memory implementations.