The Community for Technology Leaders
2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT) (2012)
Minneapolis, MN, USA
Sept. 19, 2012 to Sept. 23, 2012
ISBN: 978-1-5090-6609-4
pp: 171-179
Luke Dalessandro , University of Rochester, Department of Computer Science, USA
Michael L. Scott , University of Rochester, Department of Computer Science, USA
ABSTRACT
Correct transactional memory systems (TMs) must address the possibility that a speculative transaction may read mutually inconsistent values from memory and then perform an operation that violates the underlying language semantics. TMs for managed languages can leverage type safety, just-in-time compilation, and fully monitored exceptions to sandbox transactions, isolating the rest of the system from damaging effects of inconsistent speculation. In contrast, TMs for unmanaged languages that lack these properties typically avoid erroneous behavior by validating a transaction's view
INDEX TERMS
Semantics, Instruments, Runtime, Programming, Instruction sets, Force, Hardware
CITATION
Luke Dalessandro, Michael L. Scott, "Sandboxing transactional memory", 2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT), vol. 00, no. , pp. 171-179, 2012, doi:
84 ms
(Ver 3.3 (11022016))