Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Model of Dynamic Separation for Transactional Memory

Summary: A Model of Dynamic Separation for
Transactional Memory
Mart´in Abadi a,b
Tim Harris a
Katherine F. Moore a,c
aMicrosoft Research
bUniversity of California, Santa Cruz
cUniversity of Washington
Dynamic separation is a new programming discipline for systems 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 pro-
gramming disciplines. Furthermore, exploiting dynamic separation, we investigate
some possible 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)
appears as an intriguing alternative to locks and the related machinery for
shared-memory concurrency [17]. STM implementations often allow transac-
tions to execute in parallel, optimistically, detecting and resolving conflicts


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


Collections: Computer Technologies and Information Sciences