Search results for "obstruction-freedom"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
151	Damien Imbs, Michel Raynal, Gadi Taubenfeld	On asymmetric progress conditions.	PODC	2010	DBLP DOI BibTeX RDF	fault-freedom, progress condition, liveness, process crash, wait-freedom, obstruction-freedom, asynchronous shared memory system, consensus number
134	Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kouznetsov	Synchronizing without locks is inherently expensive.	PODC	2006	DBLP DOI BibTeX RDF	lock-free implementations, perturbable objects, step contention, lower bound, memory contention, obstruction-freedom
125	Maurice Herlihy, Victor Luchangco, Mark Moir	Obstruction-Free Synchronization: Double-Ended Queues as an Example.	ICDCS	2003	DBLP DOI BibTeX RDF
88	Gadi Taubenfeld	Efficient Transformations of Obstruction-Free Algorithms into Non-blocking Algorithms.	DISC	2007	DBLP DOI BibTeX RDF
72	Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III	Software transactional memory for dynamic-sized data structures.	PODC	2003	DBLP DOI BibTeX RDF	Java
63	Srikanth Sastry, Scott M. Pike, Jennifer L. Welch	Corrigendum: weakest failure detector for wait-free dining under eventual weak exclusion.	SPAA	2010	DBLP DOI BibTeX RDF	contention managers, wait-freedom, obstruction-freedom
62	Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov	The complexity of obstruction-free implementations.	J. ACM	2009	DBLP DOI BibTeX RDF	perturbable objects, solo-fast implementations, step contention, lower bounds, Shared memory, memory contention
51	Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard	Progress guarantee for parallel programs via bounded lock-freedom.	PLDI	2009	DBLP DOI BibTeX RDF	bounded lock-freedom, lock-freedom, progress guarantees, model checking, parallel computation
44	Brijesh Dongol	Formalising Progress Properties of Non-blocking Programs.	ICFEM	2006	DBLP DOI BibTeX RDF
38	Gadi Taubenfeld	On the Computational Power of Shared Objects.	OPODIS	2009	DBLP DOI BibTeX RDF	power numbers, k-obstruction-freedom, wait-free hierarchy, power hierarchy, universality, Shared objects, wait-freedom, consensus numbers
38	Rachid Guerraoui, Michal Kapalka	On obstruction-free transactions.	SPAA	2008	DBLP DOI BibTeX RDF	transactional memory, obstruction-freedom, impossibility, consensus number
38	Marcos Kawazoe Aguilera, Svend Frølund, Vassos Hadzilacos, Stephanie Lorraine Horn, Sam Toueg	Abortable and query-abortable objects and their efficient implementation.	PODC	2007	DBLP DOI BibTeX RDF	abortable types, non-triviality, universal constructions, shared memory, memory contention, obstruction-freedom
38	Michael F. Spear, Arrvindh Shriraman, Luke Dalessandro, Sandhya Dwarkadas, Michael L. Scott	Nonblocking transactions without indirection using alert-on-update.	SPAA	2007	DBLP DOI BibTeX RDF	software transactional memory, event-based systems, obstruction freedom
38	William N. Scherer III, Michael L. Scott	Advanced contention management for dynamic software transactional memory.	PODC	2005	DBLP DOI BibTeX RDF	synchronization, transactional memory, contention management, obstruction-freedom
38	Victor Luchangco, Mark Moir, Nir Shavit	Nonblocking k-compare-single-swap.	SPAA	2003	DBLP DOI BibTeX RDF	multiprocessors, concurrent data structures, linked lists, nonblocking synchronization, obstruction-freedom
31	Zhao-Hui Li, Xin-Yu Feng 0001	A program logic for obstruction-freedom.	Frontiers Comput. Sci.	2024	DBLP DOI BibTeX RDF
31	Rachid Guerraoui, Michal Kapalka, Petr Kouznetsov	The weakest failure detectors to boost obstruction-freedom.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Obstruction-free, Shared memory, Contention manager, Failure detector, Wait-free, Non-blocking
31	Rachid Guerraoui, Michal Kapalka, Petr Kouznetsov	The Weakest Failure Detectors to Boost Obstruction-Freedom.	DISC	2006	DBLP DOI BibTeX RDF
30	Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis	Proving that non-blocking algorithms don't block.	POPL	2009	DBLP DOI BibTeX RDF	formal verification, concurrent programming, termination, liveness
30	Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh	Model checking transactional memories.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, transactional memories
25	Virendra J. Marathe, William N. Scherer III, Michael L. Scott	Adaptive Software Transactional Memory.	DISC	2005	DBLP DOI BibTeX RDF
19	Michael F. Ringenburg, Dan Grossman	AtomCaml: first-class atomicity via rollback.	ICFP	2005	DBLP DOI BibTeX RDF	transactions, concurrent programming, atomicity, objective caml