Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Model of Dynamic Separation for Transactional Memory
 

Summary: A Model of Dynamic Separation for
Transactional Memory
Mart´in Abadi1,2
, Tim Harris1
, and Katherine F. Moore1,3
1
Microsoft Research
2
University of California, Santa Cruz
3
University of Washington
Abstract. Dynamic separation is a new programming discipline for sys-
tems with transactional memory. We study it formally in the setting of
a small calculus with transactions. We provide a precise formulation of
dynamic separation and compare it with other programming disciplines.
Furthermore, exploiting dynamic separation, we investigate some possi-
ble implementations of the calculus and we establish their correctness.
1 Introduction
Several designs and systems based on transactions aim to facilitate the writing
of concurrent programs. In particular, software transactional memory (STM)

  

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz

 

Collections: Computer Technologies and Information Sciences