Search results for "store-conditional"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
69	Faith E. Fich, Danny Hendler, Nir Shavit	On the inherent weakness of conditional synchronization primitives.	PODC	2004	DBLP DOI BibTeX RDF	load-linked, store-conditional, test-and-set, lower bounds, compare-and-swap, wait-freedom, synchronization primitives
36	Claude Évéquoz	Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Concurrent queue, load-linked/store-conditional (LL/SC), lock-free, compare-and-swap (CAS), non-blocking
36	Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir	Bringing practical lock-free synchronization to 64-bit applications.	PODC	2004	DBLP DOI BibTeX RDF	64-bit-clean software, freelists, load-linked/store-conditional (LL/SC), population-oblivious, space-adaptive, multiprocessors, memory management, queues, lock-free, compare-and-swap (CAS), nonblocking synchronization, 64-bit architectures
36	Hagit Attiya, Eyal Dagan	Improved implementations of binary universal operations.	J. ACM	2001	DBLP DOI BibTeX RDF	contention-sensitive algorithms, deterministic coin tossing, load-linked/store-conditional operations, universal operations, wait-free algorithms, Asynchronous shared-memory systems
19	Evan Tilley, Alexander Liebeskind, Rafael Asensio	Implementing and Breaking Load-Link / Store-Conditional on an ARM-Based System.	CoRR	2022	DBLP DOI BibTeX RDF
19	Martin Kristien, Tom Spink, Brian Campbell 0001, Susmit Sarkar, Ian Stark, Björn Franke, Igor Böhm, Nigel P. Topham	Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
18	Wojciech M. Golab, Vassos Hadzilacos, Danny Hendler, Philipp Woelfel	Constant-RMR implementations of CAS and other synchronization primitives using read and write operations.	PODC	2007	DBLP DOI BibTeX RDF	comparison primitives, shared memory, consensus, mutual exclusion, remote memory references
14	Phuong Hoai Ha, Philippas Tsigas, Otto J. Anshus	NB-FEB: A Universal Scalable Easy-to-Use Synchronization Primitive for Manycore Architectures.	OPODIS	2009	DBLP DOI BibTeX RDF
14	Hagit Attiya, Danny Hendler, Philipp Woelfel	Tight rmr lower bounds for mutual exclusion and other problems.	STOC	2008	DBLP DOI BibTeX RDF	bounded counter, lower-bound techniques, store/collect object, information theory, shared-memory, mutual exclusion
9	Claude Évéquoz	Non-Blocking Concurrent FIFO Queues with Single Word Synchronization Primitives.	ICPP	2008	DBLP DOI BibTeX RDF
9	Cliff Click	IWannaBit!	MSPC	2008	DBLP DOI BibTeX RDF	lock-free algorithms, locking, software transactional memory, non-blocking algorithms, hardware transactional memory
9	Lindsay Groves	Reasoning about Nonblocking Concurrency using Reduction.	ICECCS	2007	DBLP DOI BibTeX RDF
9	Brijesh Dongol	Formalising Progress Properties of Non-blocking Programs.	ICFEM	2006	DBLP DOI BibTeX RDF
9	Prasad Jayanti, Srdjan Petrovic	Efficiently Implementing a Large Number of LL/SC Objects.	OPODIS	2005	DBLP DOI BibTeX RDF
9	Liqiang Wang, Scott D. Stoller	Static analysis of atomicity for programs with non-blocking synchronization.	PPoPP	2005	DBLP DOI BibTeX RDF	verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking
9	Prasad Jayanti, Srdjan Petrovic	Efficiently Implementing LL/SC Objects Shared by an Unknown Number of Processes.	IWDC	2005	DBLP DOI BibTeX RDF
9	Hui Gao, Wim H. Hesselink	A Formal Reduction for Lock-Free Parallel Algorithms.	CAV	2004	DBLP DOI BibTeX RDF
9	Maged M. Michael	Practical Lock-Free and Wait-Free LL/SC/VL Implementations Using 64-Bit CAS.	DISC	2004	DBLP DOI BibTeX RDF
9	Lixin Zhang 0002, Zhen Fang 0002, John B. Carter	Highly Efficient Synchronization Based on Active Memory Operations.	IPDPS	2004	DBLP DOI BibTeX RDF
9	Ralf Hoffmann, Matthias Korch, Thomas Rauber	Using Hardware Operations to Reduce the Synchronization Overhead of Task Pools.	ICPP	2004	DBLP DOI BibTeX RDF
9	Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.	DCAS is not a silver bullet for nonblocking algorithm design.	SPAA	2004	DBLP DOI BibTeX RDF	DCAS, double-compare-and-swap, multiprocessors, lock-free, concurrent data structures, linked lists, nonblocking synchronization
9	Phuong Hoai Ha, Philippas Tsigas	Reactive Multi-Word Synchronization for Multiprocessors.	IEEE PACT	2003	DBLP DOI BibTeX RDF
9	Maged M. Michael	CAS-Based Lock-Free Algorithm for Shared Deques.	Euro-Par	2003	DBLP DOI BibTeX RDF
9	Mark Moir	Laziness pays! Using lazy synchronization mechanisms to improve non-blocking constructions.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Synchronization, Wait-free, Lock-free, Nonblocking, Lazy
9	Ravi Rajwar, Alain Kägi, James R. Goodman	Improving the Throughput of Synchronization by Insertion of Delays.	HPCA	2000	DBLP DOI BibTeX RDF	QOLB, Implicit QOLB, tear-off, Lock Prediction, Synchronization, Delays, multiprocessors, shared-memory, Speculation
9	Mark Moir	Laziness pays! using lazy synchronization mechanisms to improve non-blocking constructions.	PODC	2000	DBLP DOI BibTeX RDF
9	Martin C. Rinard	Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives.	ACM Trans. Comput. Syst.	1999	DBLP DOI BibTeX RDF	atomic operations commutativity analysis, parallel computing, synchronization, parallelizing compilers, optimistic synchronization
9	James H. Anderson, Mark Moir	Universal Constructions for Large Objects.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Concurrency, wait-free, lock-free, shared objects, nonblocking synchronization
9	James H. Anderson, Mark Moir	Universal Constructions for Large Objects.	WDAG	1995	DBLP DOI BibTeX RDF
9	Phillip B. Gibbons, Ephraim Korach	On Testing Cache-Coherent Shared Memories.	SPAA	1994	DBLP DOI BibTeX RDF