M
Michael Spear
Researcher at Lehigh University
Publications - 94
Citations - 3073
Michael Spear is an academic researcher from Lehigh University. The author has contributed to research in topics: Transactional memory & Software transactional memory. The author has an hindex of 29, co-authored 93 publications receiving 2986 citations. Previous affiliations of Michael Spear include Microsoft & University of Rochester.
Papers
More filters
Proceedings ArticleDOI
NOrec: streamlining STM by abolishing ownership records
TL;DR: An ownership-record-free software transactional memory (STM) system that combines extremely low overhead with unusually clean semantics is presented, and the experience suggests that NOrec may be an ideal candidate for such a software system.
Lowering the Overhead of Nonblocking Software Transactional Memory
Virendra J. Marathe,Michael Spear,Christopher Heriot,Athul Acharya,David Eisenstat,William N. Scherer,Michael L. Scott +6 more
TL;DR: This work considers the design of low-overhead, obstruction-free software transactional memory for non-garbage-collected languages and eliminates dynamic allocation of transactional metadata and co-locates data that are separate in other systems, thereby reducing the expected number of cache misses on the common-case code path.
Proceedings ArticleDOI
Privatization techniques for software transactional memory
TL;DR: It is argued that privatization comprises a pair of symmetric subproblems: private operations may fail to see updates made by transactions that have committed but not yet completed; conversely, transactions that are doomed but have not yet aborted may see Updates made by private code, causing them to perform erroneous, externally visible operations.
Proceedings ArticleDOI
RingSTM: scalable transactions with a single atomic instruction
TL;DR: The RingSTM system is the first STM that is inherently livelock-free and privatization-safe while at the same time permitting parallel writeback by concurrent disjoint transactions.
Proceedings ArticleDOI
A comprehensive strategy for contention management in software transactional memory
TL;DR: Experimental evaluation demonstrates that the overhead of the mechanisms is low, particularly when conflicts are rare, and that the strategy as a whole provides good throughput and fairness, including livelock and starvation freedom, even for challenging workloads.