Transactional Memory: Glimmer of a Theory

被引：0
作者：
Guerraoui, Rachid [1 ]
Kapalka, Michal [1 ]
机构：
[1] Ecole Polytech Fed Lausanne, Lausanne, Switzerland
来源：
COMPUTER AIDED VERIFICATION, PROCEEDINGS | 2009年 / 5643卷
关键词：
CONCURRENCY-CONTROL; VALIDATION;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall some TM correctness properties and then overview results on the inherent power and limitations of TMs.
引用
收藏
页码：1 / 15
页数：15
相关论文
共 46 条
[1]  
ABADI M, 2008, POPL
[2]  
Adl-Tabatabai A.-R., 2006, PLDI
[3]  
[Anonymous], 1992, Transaction Processing: Concepts and Techniques
[4]  
[Anonymous], 1993, ISCA
[5]  
Attiya H, 2005, LECT NOTES COMPUT SC, V3724, P122, DOI 10.1007/11561927_11
[6]   MULTIVERSION CONCURRENCY-CONTROL - THEORY AND ALGORITHMS [J].
BERNSTEIN, PA ;
GOODMAN, N .
ACM TRANSACTIONS ON DATABASE SYSTEMS, 1983, 8 (04) :465-483
[7]  
BLUNDELL C, 2006, IEEE COMPUTER ARCHIT, V5
[8]  
Cachopo J., 2005, SCOOL
[9]  
Dice D., 2006, TRANSACT
[10]  
Dice D, 2006, LECT NOTES COMPUT SC, V4167, P194
12345