Summary: Reducing STM Overhead with Access Permissions
Nels E. Beckman Yoon Phil Kim Sven Stork Jonathan Aldrich
School of Computer Science
Carnegie Mellon University
ßÒ Ñ Ò¸×Ú Ò׸ Ð Ö ×º ÑÙº Ù¸ Ð ÐÙÑÒ º ÑÙº Ù
Abstract
While transactional memory makes concurrent program-
ming more convenient,software transactional memory (STM)
is typically associated with a high overhead. In this work we
present a technique for reducing overhead associated with
STM using access permissions, annotations on method pa-
rameters describing how references may alias. This infor-
mation, which is statically checked for correctness, can be
used to eliminate synchronization and logging operations.
We have implemented this technique and show that it im-
proves performance on a number of benchmarks.
Categories and Subject Descriptors D.1.3 [Concurrent
Programming]; D.4.6 [Performance]
General Terms Performance, Verification
Keywords Transactional Memory, Optimization, Permis-

Source: Aldrich, Jonathan - School of Computer Science, Carnegie Mellon University

Collections: Computer Technologies and Information Sciences