Search results for "Lock-Free"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
158	James H. Anderson, Srikanth Ramamurthy	A framework for implementing objects and scheduling tasks in lock-free real-time systems.	RTSS	1996	DBLP DOI BibTeX RDF	scheduling tasks, lock-free real time systems, lock-free algorithms, object sharing, lock based systems, multiobject lock-free operations, lock-free objects, operation interferences, linear programming, concurrency control, systems analysis, shared objects, integrated framework, scheduling conditions
131	Guojing Cong, David A. Bader	Lock-Free Parallel Algorithms: An Experimental Study.	HiPC	2004	DBLP DOI BibTeX RDF	Lock-free Data Structures, High-Performance Algorithm Engineering, Parallel Algorithms, Shared Memory
118	James H. Anderson, Srikanth Ramamurthy, Kevin Jeffay	Real-Time Computing with Lock-Free Shared Objects.	ACM Trans. Comput. Syst.	1997	DBLP DOI BibTeX RDF	scheduling, synchronization, earliest deadline first, hard real time, wait free, lock free, critical sections, rate monotonic, deadline monotonic
103	Maged M. Michael	High performance dynamic lock-free hash tables and list-based sets.	SPAA	2002	DBLP DOI BibTeX RDF
98	Anders Gidenstam, Marina Papatriantafilou	LFthreads: A Lock-Free Thread Library.	OPODIS	2007	DBLP DOI BibTeX RDF	synchronization, multiprocessors, shared memory, multithreading, multicores, lock-free
98	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	Synchronization for an optimal real-time scheduling algorithm on multiprocessors.	SIES	2007	DBLP DOI BibTeX RDF
96	Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup	Lock-Free Dynamically Resizable Arrays.	OPODIS	2006	DBLP DOI BibTeX RDF	real-time systems, concurrency, C++, vector, lock-free, STL
93	Ravi Rajwar, James R. Goodman	Transactional lock-free execution of lock-based programs.	ASPLOS	2002	DBLP DOI BibTeX RDF
83	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	Lock-free synchronization for dynamic embedded real-time systems.	DATE	2006	DBLP DOI BibTeX RDF
81	Mikhail Fomitchev, Eric Ruppert	Lock-free linked lists and skip lists.	PODC	2004	DBLP DOI BibTeX RDF	fault-tolerant, distributed, efficient, analysis, lock-free, linked list, skip list, amortized analysis
81	Håkan Sundell, Philippas Tsigas	Fast and Lock-Free Concurrent Priority Queues for Multi-Thread Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	Parallel, Shared Memory, Multi-Thread, Priority Queue, Lock-Free, Non-Blocking
80	Maged M. Michael	Safe memory reclamation for dynamic lock-free objects using atomic reads and writes.	PODC	2002	DBLP DOI BibTeX RDF
78	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
78	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	PPoPP	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
78	Hui Gao, Jan Friso Groote, Wim H. Hesselink	Lock-free dynamic hash tables with open addressing.	Distributed Comput.	2005	DBLP DOI BibTeX RDF	Distributed algorithms, Wait-free, Lock-free, Hash tables
78	Hui Gao, Wim H. Hesselink	A Formal Reduction for Lock-Free Parallel Algorithms.	CAV	2004	DBLP DOI BibTeX RDF
75	Maged M. Michael	Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF
71	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
68	Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Bradley C. Kuszmaul	Concurrent cache-oblivious b-trees.	SPAA	2005	DBLP DOI BibTeX RDF	cache-oblivious b-tree, concurrent b-tree, exponential tree, packed-memory array, lock free, non-blocking
68	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
67	Håkan Sundell, Philippas Tsigas	Lock-Free and Practical Doubly Linked List-Based Deques Using Single-Word Compare-and-Swap.	OPODIS	2004	DBLP DOI BibTeX RDF
66	Maged M. Michael	Scalable lock-free dynamic memory allocation.	PLDI	2004	DBLP DOI BibTeX RDF	async-signal-safe, malloc, availability, lock-free
65	Maged M. Michael	CAS-Based Lock-Free Algorithm for Shared Deques.	Euro-Par	2003	DBLP DOI BibTeX RDF
61	Junchang Wang, Haipeng Cheng, Bei Hua, Xinan Tang	Practice of parallelizing network applications on multi-core architectures.	ICS	2009	DBLP DOI BibTeX RDF	application-level protocol processing, deep content inspection, lock-free data structures, multi-core parallelization, pipelining implementation, tcp/ip protocol processing
60	Gabriel Kliot, Erez Petrank, Bjarne Steensgaard	A lock-free, concurrent, and incremental stack scanning for garbage collectors.	VEE	2009	DBLP DOI BibTeX RDF	incremental and concurrent garbage collection, lock-free data structures, stack scanning
60	Edya Ladan-Mozes, Nir Shavit	An optimistic approach to lock-free FIFO queues.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Synchronization, Lock-free, CAS, Compare and swap, Non-blocking, Concurrent data structures, FIFO queue
60	Maurice Herlihy, J. Eliot B. Moss	Lock-Free Garbage Collection for Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	storagemanagement, garbage collection, multiprocessing systems, shared-memory multiprocessors, storage management, lock-free, global synchronization
57	Anders Gidenstam, Marina Papatriantafilou, Håkan Sundell, Philippas Tsigas	Efficient and Reliable Lock-Free Memory Reclamation Based on Reference Counting.	ISPAN	2005	DBLP DOI BibTeX RDF
55	Philippas Tsigas, Yi Zhang 0004	Evaluating the performance of non-blocking synchronization on shared-memory multiprocessors.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF
55	Anders Gidenstam, Marina Papatriantafilou, Philippas Tsigas	Allocating Memory in a Lock-Free Manner.	ESA	2005	DBLP DOI BibTeX RDF
55	Danny Hendler, Nir Shavit, Lena Yerushalmi	A scalable lock-free stack algorithm.	SPAA	2004	DBLP DOI BibTeX RDF
51	Yinglong Xia, Viktor K. Prasanna	Collaborative scheduling of DAG structured computations on multicore processors.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	dag structured computations, lock free structures, task sharing, collaborative scheduling
50	John Giacomoni, Tipp Moseley, Manish Vachharajani	FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue.	PPoPP	2008	DBLP DOI BibTeX RDF	fastforward, multiprocessors, multicore, queue, lock-free, linearizability, nonblocking synchronization, pipeline parallel
50	David Dice, Alex Garthwaite	Mostly lock-free malloc.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	lock-free operations, malloc, restartable critical sections, locality, affinity
50	Robert Colvin, Brijesh Dongol	Verifying Lock-Freedom Using Well-Founded Orders.	ICTAC	2007	DBLP DOI BibTeX RDF
50	Maurice Herlihy, Yossi Lev, Victor Luchangco, Nir Shavit	A Simple Optimistic Skiplist Algorithm.	SIROCCO	2007	DBLP DOI BibTeX RDF
48	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
48	Filip Pizlo, Daniel Frampton, Erez Petrank, Bjarne Steensgaard	Stopless: a real-time garbage collector for multiprocessors.	ISMM	2007	DBLP DOI BibTeX RDF	real-time, concurrency, garbage collection, lock-free
47	Jason Liu 0001, David M. Nicol, King Tan	Lock-free scheduling of logical processes in parallel simulation.	Workshop on Parallel and Distributed Simulation	2001	DBLP DOI BibTeX RDF
47	Maged M. Michael	Practical Lock-Free and Wait-Free LL/SC/VL Implementations Using 64-Bit CAS.	DISC	2004	DBLP DOI BibTeX RDF
45	Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir	Nonblocking memory management support for dynamic-sized data structures.	ACM Trans. Comput. Syst.	2005	DBLP DOI BibTeX RDF	Multiprocessors, memory management, dynamic data structures, concurrent data structures, nonblocking synchronization
45	Ori Shalev, Nir Shavit	Split-ordered lists: Lock-free extensible hash tables.	J. ACM	2006	DBLP DOI BibTeX RDF	non-blocking synchronization, hash table, compare-and-swap, Concurrent data structures
45	Anthony Discolo, Tim Harris 0001, Simon Marlow, Simon L. Peyton Jones, Satnam Singh	Lock Free Data Structures Using STM in Haskell.	FLOPS	2006	DBLP DOI BibTeX RDF
45	Stacy Patterson, Divyakant Agrawal, Amr El Abbadi	Guaranteeing Correctness of Lock-Free Range Queries over P2P Data.	DBISP2P	2005	DBLP DOI BibTeX RDF
43	Moshe Hoffman, Ori Shalev, Nir Shavit	The Baskets Queue.	OPODIS	2007	DBLP DOI BibTeX RDF	Synchronization, Lock-free, CAS, Compare and Swap, Non-blocking, Concurrent Data Structures, FIFO queue
43	Jing Chen, Alan Burns 0001	Loop-Free Asynchronous Data Sharing in Multiprocessor Real-Time Systems Based on Timing Properties.	RTCSA	1999	DBLP DOI BibTeX RDF	Data sharing mechanism, Asynchronous data sharing, Wait-free, Lock-free, Loop-free
43	Maurice Herlihy, Victor Luchangco, Mark Moir	Obstruction-Free Synchronization: Double-Ended Queues as an Example.	ICDCS	2003	DBLP DOI BibTeX RDF
42	Jiangming Yang, Haixun Wang, Ning Gu, Yiming Liu, Chunsong Wang, Qiwei Zhang	Lock-free consistency control for web 2.0 applications.	WWW	2008	DBLP DOI BibTeX RDF	concurrency control, xml, consistency maintenance
41	Maged M. Michael, Michael L. Scott	Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors.	IPPS	1997	DBLP DOI BibTeX RDF	relative performance, preemption safe locking, non blocking synchronization, multiprogrammed shared memory multiprocessors, inopportune preemption, synchronized parallel applications, concurrent atomic update, non blocking lock free algorithms, kernel support, universal atomic primitive, 12 processor SGI Challenge multiprocessor, multiprogrammed machines, priority queues, multiprogramming, stacks, concurrent data structures, counters, FIFO queues, shared data structures
40	Mark Moir	Transparent Support for Wait-Free Transactions.	WDAG	1997	DBLP DOI BibTeX RDF
40	Xiaohuang Huang, Christopher I. Rodrigues, Stephen Jones, Ian Buck, Wen-mei W. Hwu	XMalloc: A Scalable Lock-free Dynamic Memory Allocator for Many-core Machines.	CIT	2010	DBLP DOI BibTeX RDF	malloc, async-signalsafe, scalability, availability, GPGPU, CUDA, lock-free
40	Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit	Using elimination to implement scalable and lock-free FIFO queues.	SPAA	2005	DBLP DOI BibTeX RDF	scalability, multiprocessors, lock-free, linearizability, nonblocking synchronization, FIFO queues, elimination
40	Theodore Johnson	Characterizing the Performance of Algorithms for Lock-Free Objects.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	parallel processing, synchronization, performance modeling, Lock-free, nonblocking
38	Maurice Herlihy	A Methodology for Implementing Highly Concurrent Objects.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF
37	Lindsay Groves, Robert Colvin	Trace-based derivation of a scalable lock-free stack algorithm.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
37	Shouwen Lai, Binoy Ravindran, Hyeonjoong Cho	On scheduling soft real-time tasks with lock-free synchronization for embedded devices.	SAC	2009	DBLP DOI BibTeX RDF
37	Bo Hong	A lock-free multi-threaded algorithm for the maximum flow problem.	IPDPS	2008	DBLP DOI BibTeX RDF
37	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.	FMOODS	2008	DBLP DOI BibTeX RDF	non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access
37	Robert Colvin, Lindsay Groves	A Scalable Lock-Free Stack Algorithm and its Verification.	SEFM	2007	DBLP DOI BibTeX RDF
37	Edya Ladan-Mozes, Nir Shavit	An Optimistic Approach to Lock-Free FIFO Queues.	DISC	2004	DBLP DOI BibTeX RDF
36	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
35	Hui Gao, Jan Friso Groote, Wim H. Hesselink	Almost Wait-Free Resizable Hashtable.	IPDPS	2004	DBLP DOI BibTeX RDF
35	Ori Shalev, Nir Shavit	Split-ordered lists: lock-free extensible hash tables.	PODC	2003	DBLP DOI BibTeX RDF	Non-blocking Synchronization, Real-Time, Hash Table, Compare-and-Swap, Concurrent Data Structures
33	Cliff Click	IWannaBit!	MSPC	2008	DBLP DOI BibTeX RDF	lock-free algorithms, locking, software transactional memory, non-blocking algorithms, hardware transactional memory
33	David Chase, Yossi Lev	Dynamic circular work-stealing deque.	SPAA	2005	DBLP DOI BibTeX RDF	deque, load balancing, lock-free, work stealing
33	Hong Tang 0004, Kai Shen, Tao Yang 0009	Program transformation and runtime support for threaded MPI execution on shared-memory machines.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	lock-free synchronization, multiprogrammed environments, threaded execution, MPI, program transformation, shared-memory machines
33	Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit	A Lazy Concurrent List-Based Set Algorithm.	OPODIS	2005	DBLP DOI BibTeX RDF
33	Feng Xian, Witawas Srisa-an, Hong Jiang 0001	Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs.	OOPSLA	2008	DBLP DOI BibTeX RDF	scheduling, java, operating systems
33	Ravi Rajwar, James R. Goodman	Transactional Execution: Toward Reliable, High-Performance Multithreading.	IEEE Micro	2003	DBLP DOI BibTeX RDF
30	Danny Hendler, Nir Shavit	Operation-valency and the cost of coordination.	PODC	2003	DBLP DOI BibTeX RDF
30	Håkan Sundell, Philippas Tsigas	Scalable and lock-free concurrent dictionaries.	SAC	2004	DBLP DOI BibTeX RDF	concurrent, shared memory, dictionary, non-blocking
30	Maurice Herlihy, Victor Luchangco, Mark Moir	The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures.	DISC	2002	DBLP DOI BibTeX RDF
30	Darko Makreshanski, Justin J. Levandoski, Ryan Stutsman	To Lock, Swap, or Elide: On the Interplay of Hardware Transactional Memory and Lock-Free Indexing. (PDF / PS)	Proc. VLDB Endow.	2015	DBLP DOI BibTeX RDF
30	Michael Lesniak	A Comparison of Lock-based and Lock-free Taskpool Implementations in Haskell.	ICCS	2011	DBLP DOI BibTeX RDF
28	Richard L. Hudson, Bratin Saha, Ali-Reza Adl-Tabatabai, Ben Hertzberg	McRT-Malloc: a scalable transactional memory allocator.	ISMM	2006	DBLP DOI BibTeX RDF	synchronization, memory management, transactional memory, runtimes
28	Matthias Majuntke, Dan Dobre, Marco Serafini, Neeraj Suri	Abortable Fork-Linearizable Storage.	OPODIS	2009	DBLP DOI BibTeX RDF	Fork-linearizability, abortable objects, lock-freedom, shared memory, online collaboration
28	Philip Holman, James H. Anderson	Object Sharing in Pfair-scheduled Multiprocessor Systems.	ECRTS	2002	DBLP DOI BibTeX RDF
27	Peter Klein 0001, Dimo Maleshkov, Dimitar Asenov	A Framework for Concurrency in Numerical Simulations Using Lock Free Data Structures: The Graph Parallel Architecture GraPA.	PDCAT	2008	DBLP DOI BibTeX RDF
27	Wanyu Zang, Meng Yu 0001	A Dead-Lock Free Self-healing Algorithm for Distributed Transactional Processes.	ICISS	2006	DBLP DOI BibTeX RDF	Attack recovery, distributed systems, transactional processes, self-healing
27	Arun Kejariwal, Hideki Saito 0001, Xinmin Tian, Milind Girkar, Wei Li 0015, Utpal Banerjee, Alexandru Nicolau, Constantine D. Polychronopoulos	Lightweight lock-free synchronization methods for multithreading.	ICS	2006	DBLP DOI BibTeX RDF
27	Hui Gao, Jan Friso Groote, Wim H. Hesselink	Lock-Free Parallel Garbage Collection.	ISPA	2005	DBLP DOI BibTeX RDF
27	Myung-Keun Kim, Hae-Young Bae	Improved Concurrency Control Technique with Lock-Free Querying for Multi-dimensional Index Structure.	AIRS	2005	DBLP DOI BibTeX RDF
27	Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir	Formal Verification of a Practical Lock-Free Queue Algorithm.	FORTE	2004	DBLP DOI BibTeX RDF
27	Alexander V. Supalov	Lock-Free Collective Operations.	PVM/MPI	2003	DBLP DOI BibTeX RDF
25	Mark Moir	Laziness pays! using lazy synchronization mechanisms to improve non-blocking constructions.	PODC	2000	DBLP DOI BibTeX RDF
25	Danny Hendler, Itai Incze, Nir Shavit, Moran Tzafrir	Flat combining and the synchronization-parallelism tradeoff.	SPAA	2010	DBLP DOI BibTeX RDF	synchronization, multiprocessors, concurrent data-structures
23	Bo Hong, Zhengyu He	An Asynchronous Multithreaded Algorithm for the Maximum Network Flow Problem with Nonblocking Global Relabeling Heuristic.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	Maximum network flow, parallel algorithm, multithreading, lock-free
23	Filip Pizlo, Erez Petrank, Bjarne Steensgaard	A study of concurrent real-time garbage collectors.	PLDI	2008	DBLP DOI BibTeX RDF	lock-free computation, real-time, garbage collection, memory management, concurrent garbage collection
23	Michel Raynal	Locks Considered Harmful: A Look at Non-traditional Synchronization.	SEUS	2008	DBLP DOI BibTeX RDF	Adaptive renaming, Lock-free synchronization, Fault-tolerance, Concurrency, Shared memory system, Asynchronous system, Failure detector, Process crash, Atomic register, Synchronization primitive, Wait-free computation
23	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
23	Keir Fraser, Tim Harris 0001	Concurrent programming without locks.	ACM Trans. Comput. Syst.	2007	DBLP DOI BibTeX RDF	lock-free systems, Concurrency, transactional memory
23	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	CheckFence: checking consistency of concurrent data types on relaxed memory models.	PLDI	2007	DBLP DOI BibTeX RDF	lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures
23	Danny Hendler, Yossi Lev, Mark Moir, Nir Shavit	A dynamic-sized nonblocking work stealing deque.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Load balancing, Data structures, Concurrent programming, Lock-free, Work stealing
23	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
23	Prasad Jayanti	An optimal multi-writer snapshot algorithm.	STOC	2005	DBLP DOI BibTeX RDF	fault-tolerant, asynchronous, wait-free, snapshot, lock-free, concurrent algorithm
23	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
23	Hans-Juergen Boehm	An almost non-blocking stack.	PODC	2004	DBLP DOI BibTeX RDF	interrupt handler, signal handler, stack, memory allocation, lock-free, compare-and-swap, non-blocking, linked list
23	Chris Purcell, Tim Harris 0001	Brief announcement: implementing multi-word atomic snapshots on current hardware.	PODC	2004	DBLP DOI BibTeX RDF	atomic snapshots, lock-free, non-blocking
23	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
23	Nir Shavit, Asaph Zemach	Diffracting Trees.	ACM Trans. Comput. Syst.	1996	DBLP DOI BibTeX RDF	index distribution, contention, wait free, lock free, counting networks