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