A Model of Dynamic Separation for Transactional Memory

Abstract. 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 programming disciplines. Furthermore, exploiting dynamic separation, we investigate some possible implementations of the calculus and we establish their correctness.

• Type: Conference
• Year: 2008
• Where: CONCUR
• Authors: Martín Abadi, Tim Harris, Katherine F. Moore
• Keywords: CONCUR 2008, Distributed And Parallel Computing, Dynamic Separation, Programming Disciplines, Transactional Memory