DMCA
Mechanisms for Efficient Shared-Memory, Lock-Based Synchronization (1999)
| Venue: | PhD thesis,University of Wisconsin,Madison,1999 |
| Citations: | 7 - 1 self |
BibTeX
@TECHREPORT{Kagi99mechanismsfor,
author = {Alain Kagi},
title = {Mechanisms for Efficient Shared-Memory, Lock-Based Synchronization},
institution = {PhD thesis,University of Wisconsin,Madison,1999},
year = {1999}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Efficient locking synchronization primitives are essential for achieving high performance in fine-grain, shared-memory parallel programs. One function of locking primitives is to enable exclusive access to shared data and critical sections of code. In this dissertation, I make the following six contributions. (1) I propose a framework, the synchronization period, in which to reason about the inefficiencies of locking primitives. (2) I identify four previously proposed locking mechanisms (local spinning, queue-based locking, collocation, and synchronous prefetch) and uses them to classify existing locking primitives according to which of these mechanisms they incorporate. (3) With detailed simulations, I show the extent to which these four mechanisms can improve the performance of sharedmemory programs. I evaluate the space of these mechanisms using sixteen synchronization constructs, which are formed from six base types of locks (test&set, test&test&set, MCS, LH, M, and QOLB). I show t...
Keyphrases
efficient shared-memory lock-based synchronization sharedmemory program synchronization primitive synchronous prefetch shared-memory parallel program queue-based locking sixteen synchronization construct synchronization period critical section local spinning base type detailed simulation high performance exclusive access test test set
