A model of dynamic separation for transactional memory

Authors:
Martín Abadi;Tim Harris;Katherine F. Moore
Affiliations:
Microsoft Corporation, 1065 La Avenida, Mountain View, CA 94043, USA and Computer Science Department, University of California at Santa Cruz, Santa Cruz, CA 95064, USA;Microsoft Research Ltd, Roger Needham Building, J J Thomson Avenue, Cambridge CB3 0FB, United Kingdom;Microsoft Corporation, 1065 La Avenida, Mountain View, CA 94043, USA and Computer Science & Engineering, University of Washington, Box 352350, Seattle, WA 98195, USA
Venue:
Information and Computation
Year:
2010

Citing 16
Cited 0

Designing memory consistency models for shared-memory multiprocessors

Designing memory consistency models for shared-memory multiprocessors
Software transactional memory

Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Weak ordering—a new definition

ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Language support for lightweight transactions

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Composable memory transactions

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
McRT-STM: a high performance software transactional memory system for a multi-core runtime

Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Optimizing memory transactions

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Compiler and runtime support for efficient software transactional memory

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Enforcing isolation and ordering in STM

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language

Proceedings of the International Symposium on Code Generation and Optimization
Transactions with isolation and cooperation

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
High-level small-step operational semantics for transactions

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantics of transactional memory and automatic mutual exclusion

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic mutual exclusion

HOTOS'07 Proceedings of the 11th USENIX workshop on Hot topics in operating systems
Implementation and Use of Transactional Memory with Dynamic Separation

CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Transactional locking II

DISC'06 Proceedings of the 20th international conference on Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

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.