Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Implementation and Use of Transactional Memory with Dynamic Separation
 

Summary: Implementation and Use of Transactional
Memory with Dynamic Separation
Mart´in Abadi1,2
, Andrew Birrell1
, Tim Harris3
Johnson Hsieh1
, and Michael Isard1
1
Microsoft Research, Silicon Valley
2
University of California, Santa Cruz
3
Microsoft Research, Cambridge
Abstract. We introduce the design and implementation of dynamic sep-
aration (DS) as a programming discipline for using transactional mem-
ory. Our approach is based on the programmer indicating which objects
can be updated in transactions, which can be updated outside trans-
actions, and which are read-only. We introduce explicit operations that
identify transitions between these modes of access. We show how to guar-
antee strong semantics for programs that use these DS operations cor-

  

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

 

Collections: Computer Technologies and Information Sciences