The Relative Power of Synchronization Primitives Maurice Herlihy CS176 Fall 2003

First Page		Document Content
Date: 2007-04-11 12:16:44 Concurrency Linearizability Non-blocking algorithm Mutual exclusion Maurice Herlihy Herlihy Thread Queue FIFO Concurrency control Computing Concurrent computing		The Relative Power of Synchronization Primitives Maurice Herlihy CS176 Fall 2003 Add to Reading List Source URL: www.cs.nyu.edu Download Document from Source Website File Size: 1,03 MB Share Document on Facebook

	Automatic Discovery of Mutual Exclusion Algorithms∗ (Preliminary Version) Yoah Bar-David Gadi Taubenfeld DocID: 1vsgn - View Document
	Verifying a Simplification of Mutual Exclusion by Lycklama-Hadzilacos Wim H. Hesselink (whh442, February 24, 2013) Dept. of Computing Science, University of Groningen P.O.Box 407, 9700 AK Groningen, The Netherlands DocID: 1uazK - View Document
	Mutual exclusion algorithms with constant RMR complexity and wait-free exit code Rotem Dvir1 and Gadi Taubenfeld1 1 The Interdisciplinary Center DocID: 1u4E8 - View Document
	Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1 DocID: 1tMR8 - View Document
	Administrivia  Design of Parallel and High-Performance Computing DocID: 1rnNM - View Document