Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Semantics of Transactional Memory and Automatic Mutual Exclusion
 

Summary: Semantics of Transactional Memory
and Automatic Mutual Exclusion
MART´IN ABADI
Microsoft Research, Silicon Valley
and
University of California, Santa Cruz
ANDREW BIRRELL
Microsoft Research, Silicon Valley
TIM HARRIS
Microsoft Research, Cambridge
and
MICHAEL ISARD
Microsoft Research, Silicon Valley
Software Transactional Memory (STM) is an attractive basis for the development of language
features for concurrent programming. However, the semantics of these features can be delicate
and problematic. In this paper we explore the tradeoffs between semantic simplicity, the viability
of efficient implementation strategies, and the flexibility of language constructs. Specifically, we
develop semantics and type systems for the constructs of the Automatic Mutual Exclusion (AME)
programming model; our results apply also to other constructs, such as atomic blocks. With this
semantics as a point of reference, we study several implementation strategies. We model STM

  

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

 

Collections: Computer Technologies and Information Sciences