Search results for "locks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
112	Bijun He, William N. Scherer III, Michael L. Scott	Preemption Adaptivity in Time-Published Queue-Based Spin Locks.	HiPC	2005	DBLP DOI BibTeX RDF
112	Chen-Chi Kuo, John B. Carter, Ravindra Kuramkote	MP-LOCKs: Replacing H/W Synchronization Primitives with Message Passing.	HPCA	1999	DBLP DOI BibTeX RDF
95	Cai-Dong Wang, Hiroaki Takada, Ken Sakamura	Priority Inheritance Spin Locks for Multiprocessor Real-Time Systems.	ISPAN	1996	DBLP DOI BibTeX RDF	spin lock algorithm, nested locks, real-time system, shared-memory, priority inheritance, priority order
94	Michael L. Scott, William N. Scherer III	Scalable queue-based spin locks with timeout.	PPoPP	2001	DBLP DOI BibTeX RDF
87	Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young	General and efficient locking without blocking.	MSPC	2008	DBLP DOI BibTeX RDF	adaptive locks, hybrid locks, transactional memory, nested transactions
87	Ugur Halici, Asuman Dogac	An Optimistic Locking Technique For Concurrency Control in Distributed Databases.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	optimistic locking technique, optimistic method, dummy locks, write sets, validated transactions, short-term locks, strict two-phase locking, low conflict cases, strict 2PL, concurr, distributed databases, concurrency control, validation test, ODL
85	Michael L. Scott	Non-blocking timeout in scalable queue-based spin locks.	PODC	2002	DBLP DOI BibTeX RDF	spin locks, scalability, synchronization, timeout
75	Hong-Sen Yan, Hsing-Hui Huang	The Secret and Beauty of Ancient Chinese Padlocks.	ASIACRYPT	2003	DBLP DOI BibTeX RDF
75	Rajeev Thakur, Robert B. Ross, Robert Latham	Implementing Byte-Range Locks Using MPI One-Sided Communication.	PVM/MPI	2005	DBLP DOI BibTeX RDF
75	Zoran Radovic, Erik Hagersten	Hierarchical Backoff Locks for Nonuniform Communication Architectures.	HPCA	2003	DBLP DOI BibTeX RDF
66	Daniel R. Ries, Michael Stonebraker	Locking Granularity Revisited.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	locking granulaity, locking hierarchies, multiple updates, concurrency, database management
65	Vineet Kahlon	Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks.	LICS	2009	DBLP DOI BibTeX RDF
65	Bodhisattwa Mukherjee, Karsten Schwan	Implementation of Scalable Blocking Locks Using an Adaptive Thread Scheduler.	IPPS	1996	DBLP DOI BibTeX RDF
59	Nian-Feng Tzeng, Shiwa S. Fu	Efficient implementation of mutual exclusion locks in large multiprocessors.	IPPS	1995	DBLP DOI BibTeX RDF	mutual exclusion locks, large multiprocessors, hot-spot contention, tree of locks, data structures, distributed algorithms, synchronization, concurrency control, multiprocessors, mutual exclusion, multistage interconnection networks, contention, rings, critical sections
57	Hans-Juergen Boehm	Reordering constraints for pthread-style locks.	PPoPP	2007	DBLP DOI BibTeX RDF	memory barriers, memory fences, optimization, threads, locks, data race, pthreads, code reordering
57	Hiroaki Takada, Ken Sakamura	Real-time scalability of nested spin locks.	RTCSA	1995	DBLP DOI BibTeX RDF	real-time scalability, nested spin locks, interprocessor synchronizations, maximum execution times, maximum nesting level, performance evaluation, real-time systems, real-time system, performance measurements, synchronisation, shared-memory multiprocessor, shared memory systems, worst-case performance
56	Victor Luchangco, Daniel Nussbaum, Nir Shavit	A Hierarchical CLH Queue Lock.	Euro-Par	2006	DBLP DOI BibTeX RDF
56	Yossi Lev, Victor Luchangco, Marek Olszewski	Scalable reader-writer locks.	SPAA	2009	DBLP DOI BibTeX RDF	reader-writer lock, snzi, scalable, synchronization
56	James F. Campbell, L. Douglas Smith, Donald C. Sweeney II, Ray Mundy, Robert M. Nauss	Decision Tools for Reducing Congestion at Locks on the Upper Mississippi River.	HICSS	2007	DBLP DOI BibTeX RDF
48	Amitabha Roy 0002, Keir Fraser, Steven Hand 0001	A transactional approach to lock scalability.	SPAA	2008	DBLP DOI BibTeX RDF	concurrency, fairness, transactional memory, locks
48	Ugur Halici, Asuman Dogac	Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	concurrent transaction execution, distributed database management systems, ordering by serialization numbers, OSN method, certifier model, time-interval techniques, short-term locks, standard transaction execution policy, log classification, concurrency, distributed databases, distributed databases, concurrency control, concurrency control, deadlocks, serializability, complexity analysis, two-phase locking, distributed scheduler, timestamp ordering
47	Takuya Nakaike, Maged M. Michael	Lock elision for read-only critical sections in Java.	PLDI	2010	DBLP DOI BibTeX RDF	lock elision, java, optimization, synchronization, monitor, lock, just-in-time compiler
47	Nathan R. Tallent, John M. Mellor-Crummey, Allan Porterfield	Analyzing lock contention in multithreaded applications.	PPoPP	2010	DBLP DOI BibTeX RDF	performance analysis, multithreading, hpctoolkit, lock contention
47	Christopher J. Rossbach, Owen S. Hofmann, Emmett Witchel	Is transactional programming actually easier?	PPoPP	2010	DBLP DOI BibTeX RDF	synchronization, transactional memory, optimistic concurrency
47	Vineet Kahlon, Aarti Gupta	An Automata-Theoretic Approach for Model Checking Threads for LTL Propert.	LICS	2006	DBLP DOI BibTeX RDF
47	Adam Welc, Antony L. Hosking, Suresh Jagannathan	Transparently Reconciling Transactions with Locking for Java Synchronization.	ECOOP	2006	DBLP DOI BibTeX RDF
47	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
47	Alexander Thomasian, In Kyung Ryu	A decomposition solution to the queueing network model of the centralized DBMS with static locking.	SIGMETRICS	1983	DBLP DOI BibTeX RDF
47	Ken Mizuno, Takuya Nakaike, Toshio Nakatani	Reducing Rollbacks of Transactional Memory Using Ordered Shared Locks.	Euro-Par	2009	DBLP DOI BibTeX RDF
47	Ming Fu, Yu Zhang 0086, Yong Li	Formal Reasoning about Concurrent Assembly Code with Reentrant Locks.	TASE	2009	DBLP DOI BibTeX RDF
47	Rahul Agarwal, Scott D. Stoller	Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables.	PADTAD	2006	DBLP DOI BibTeX RDF	testing, concurrent programs, deadlocks
47	Vineet Kahlon, Franjo Ivancic, Aarti Gupta	Reasoning About Threads Communicating via Locks.	CAV	2005	DBLP DOI BibTeX RDF
47	Ramamurthy Badrinath, Christine Morin	Locks and barriers in checkpointing and recovery.	CCGRID	2004	DBLP DOI BibTeX RDF
47	Ryung Chon, Tomoya Enokido, Vlad Wietrzsk, Makoto Takizawa 0001	Role Locks to Prevent Illegal Information Flow among Objects.	AINA (1)	2004	DBLP DOI BibTeX RDF
47	Gael N. Buckley, Abraham Silberschatz	Concurrency Control in Graph Protocols by Using Edge Locks.	PODS	1984	DBLP DOI BibTeX RDF
43	Ricardo Dalagnol, Oliver L. Phillips, Emanuel Gloor, Lênio Soares Galvão, Fabien Hubert Wagner, Charton J. Locks, Luiz E. O. C. Aragão	Quantifying Canopy Tree Loss and Gap Recovery in Tropical Forests under Low-Intensity Logging Using VHR Satellite Imagery and Airborne LiDAR.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
43	Roby Lynn, Aoyu Chen, Stephanie Locks, Chandra Nath, Thomas R. Kurfess	Intelligent and Accessible Data Flow Architectures for Manufacturing System Optimization.	APMS (1)	2015	DBLP DOI BibTeX RDF
43	Mitchell O. Locks	Logical and probability analysis of systems.	Notre Dame J. Formal Log.	1978	DBLP DOI BibTeX RDF
43	Mitchell O. Locks	Minimalization of Boolean polynomials, truth functions, and lattices.	Notre Dame J. Formal Log.	1978	DBLP DOI BibTeX RDF
40	Sudha Ram, Roy E. Marsten	A Model for Database Allocation Incorporating a Concurrency Control Mechanism.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	database allocation, concurrency control mechanism, file allocation problem, communication flows, linear mixed-integer programming model, WRITE LOCKS ALL-READ LOCKS ONE, distributed databases, concurrency control, database theory
39	Gadi Taubenfeld	Contention-Sensitive Data Structures and Algorithms.	DISC	2009	DBLP DOI BibTeX RDF	Contention-sensitive, shortcut code, disable-free, prevention-free, k-obstruction-free, synchronization, locks, wait-free, starvation, livelock
39	Victor Luchangco	Against lock-based semantics for transactional memory.	SPAA	2008	DBLP DOI BibTeX RDF	semantics, transactional memory, locks
39	Scott D. Stoller	Model-checking multi-threaded distributed Java programs.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Java, Model checking, Reduction, Locks, Partial-order methods
39	Leonidas I. Kontothanassis, Robert W. Wisniewski, Michael L. Scott	Scheduler-Conscious Synchronization.	ACM Trans. Comput. Syst.	1997	DBLP DOI BibTeX RDF	busy-waiting, kernel-user interaction, scheduling, scalability, synchronization, mutual exclusion, locks, barriers, preemption
39	Pierre-Nicolas Clauss, Jens Gustedt	Experimenting Iterative Computations with Ordered Read-Write Locks.	PDP	2010	DBLP DOI BibTeX RDF	read-write locks, experiments, synchronisation, iterative algorithms
39	Tim Harris 0001, Keir Fraser	Revocable locks for non-blocking programming.	PPoPP	2005	DBLP DOI BibTeX RDF	transactional memory, locks, non-blocking algorithms
38	Niklas Broberg, David Sands 0001	Flow-sensitive semantics for dynamic information flow policies.	PLAS	2009	DBLP DOI BibTeX RDF	information flow control, declassification, security type system
38	Richard L. Halpert, Christopher J. F. Pickett, Clark Verbrugge	Component-Based Lock Allocation.	PACT	2007	DBLP DOI BibTeX RDF
38	Laurent Daynès, Grzegorz Czajkowski	High-Performance, Space-Efficient, Automated Object Locking.	ICDE	2001	DBLP DOI BibTeX RDF
38	Martin C. Rinard	Effective Fine-Grain Synchronization for Automatically Parallelized Programs Using Optimistic Synchronization Primitives.	PPoPP	1997	DBLP DOI BibTeX RDF
38	Robert W. Wisniewski, Leonidas I. Kontothanassis, Michael L. Scott	High Performance Synchronization Algorithms for Multiprogrammed Multiprocessors.	PPoPP	1995	DBLP DOI BibTeX RDF
38	Beng-Hong Lim, Anant Agarwal	Reactive Synchronization Algorithms for Multiprocessors.	ASPLOS	1994	DBLP DOI BibTeX RDF
38	Y. C. Tay, Nathan Goodman, Rajan Suri	Locking Performance in Centralized Databases.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
38	Y. C. Tay, Rajan Suri, Nathan Goodman	A Mean Value Performance Model for Locking in Databases: The Waiting Case.	PODS	1984	DBLP DOI BibTeX RDF
37	Kunal Agrawal, Charles E. Leiserson, Jim Sukha	Helper locks for fork-join parallel programming.	PPoPP	2010	DBLP DOI BibTeX RDF	dynamic multithreading, helper lock, parallel region, scheduling, work stealing, nested parallelism, cilk
37	Christian Haack, Marieke Huisman, Clément Hurlin	Reasoning about Java's Reentrant Locks.	APLAS	2008	DBLP DOI BibTeX RDF
37	Keir Fraser, Tim Harris 0001	Concurrent programming without locks.	ACM Trans. Comput. Syst.	2007	DBLP DOI BibTeX RDF	lock-free systems, Concurrency, transactional memory
37	Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv	Local Reasoning for Storable Locks and Threads.	APLAS	2007	DBLP DOI BibTeX RDF
37	Niklas Broberg, David Sands 0001	Flow Locks: Towards a Core Calculus for Dynamic Flow Policies.	ESOP	2006	DBLP DOI BibTeX RDF
37	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
37	Ray Odaira, Kei Hiraki	Selective Optimization of Locks by Runtime Statistics and Just-in-Time Compilation.	IPDPS	2003	DBLP DOI BibTeX RDF	runtime statistics, mutex lock, Java, JVM, runtime optimization
37	Kiyokuni Kawachiya, Akira Koseki, Tamiya Onodera	Lock reservation: Java locks can mostly do without atomic operations.	OOPSLA	2002	DBLP DOI BibTeX RDF	thread locality, Java, synchronization, monitor, lock, reservation, atomic operation
37	Heiko Schuldt	Process Locking: A Protocol based on Ordered Shared Locks for the Execution of Transactional Processes. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
37	Hans-Juergen Boehm, Alan J. Demers, Chris Uhler	Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm.	LOPLAS	1993	DBLP DOI BibTeX RDF	monitor lock, spin lock, multiprocessing, critical section
37	Henry F. Korth	Deadlock Freedom Using Edge Locks.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	concurrency control, locking, serializability
37	J. R. Jordan, J. Banerjee, R. B. Batman	Precision Locks.	SIGMOD Conference	1981	DBLP DOI BibTeX RDF
37	Romolo Marotta, Davide Tiriticco, Pierangelo di Sanzo, Alessandro Pellegrini 0001, Bruno Ciciani, Francesco Quaglia	Mutable locks: Combining the best of spin and sleep locks.	Concurr. Comput. Pract. Exp.	2020	DBLP DOI BibTeX RDF
37	Yang Zhang, Shuai Shao, Juan Zhai, Shiqing Ma	FineLock: automatically refactoring coarse-grained locks into fine-grained locks.	ISSTA	2020	DBLP DOI BibTeX RDF
37	Romolo Marotta, Davide Tiriticco, Pierangelo di Sanzo, Alessandro Pellegrini 0001, Bruno Ciciani, Francesco Quaglia	Mutable Locks: Combining the Best of Spin and Sleep Locks.	CoRR	2019	DBLP BibTeX RDF
37	Olivier Marchal	Locks and keys: How fast can you open several locks with too many keys?	CoRR	2015	DBLP BibTeX RDF
37	Alexander Wieder, Björn B. Brandenburg	On Spin Locks in AUTOSAR: Blocking Analysis of FIFO, Unordered, and Priority-Ordered Spin Locks.	RTSS	2013	DBLP DOI BibTeX RDF
37	Prasad Jayanti, Zhiyu Liu	Abortable Reader-Writer Locks Are No More Complex Than Abortable Mutex Locks.	DISC	2012	DBLP DOI BibTeX RDF
37	Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis	Adaptive locks: Combining transactions and locks for efficient concurrency.	J. Parallel Distributed Comput.	2010	DBLP DOI BibTeX RDF
37	Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis	Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency.	PACT	2009	DBLP DOI BibTeX RDF
29	Mark Aldred, Ilya Gertner, Stephen McKellar	A distributed lock manager on fault tolerant MPP.	HICSS (1)	1995	DBLP DOI BibTeX RDF	distributed lock manager, fault tolerant MPP, Oracle Parallel Server, MPP UNIX system, resource locks, distributed message passing, global memory, reflective memory, Encore Infinity 90 architecture, shared memory style DLM, DLM recovery, Oracle session, node repair, MPP Unix, reliability, parallel programming, fault tolerant computing, message passing, Unix, shared memory systems, software fault tolerance, operating systems (computers)
28	Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai	Using data structure knowledge for efficient lock generation and strong atomicity.	PPoPP	2010	DBLP DOI BibTeX RDF	automatic lock generation, parallel programming, transactional memory
28	Sandya Mannarswamy, Dhruva R. Chakrabarti, Kaushik Rajan, Sujoy Saraswati	Compiler aided selective lock assignment for improving the performance of software transactional memory.	PPoPP	2010	DBLP DOI BibTeX RDF	performance, parallelization, compilers, multithreading
28	David Dice, Nir Shavit	TLRW: return of the read-write lock.	SPAA	2010	DBLP DOI BibTeX RDF	multicore processors, concurrent data structures
28	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
28	Niklas Broberg, David Sands 0001	Improving the Semantics of Imperfect Security.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
28	Daniel Sasso, William E. Biles	An object-oriented programming approach for a GIS data-driven simulation model of traffic on an inland waterway.	WSC	2008	DBLP DOI BibTeX RDF
28	Ian Watson, Chris C. Kirkham, Mikel Luján	A Study of a Transactional Parallel Routing Algorithm.	PACT	2007	DBLP DOI BibTeX RDF
28	Takaaki Mizuki, Yoshinori Kugimoto, Hideaki Sone	Secure Multiparty Computations Using a Dial Lock.	TAMC	2007	DBLP DOI BibTeX RDF
28	Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar	Lock allocation.	POPL	2007	DBLP DOI BibTeX RDF	lock inference, atomicity, ILP
28	Christopher J. Rossbach, Owen S. Hofmann, Donald E. Porter, Hany E. Ramadan, Bhandari Aditya, Emmett Witchel	TxLinux: using and managing hardware transactional memory in an operating system.	SOSP	2007	DBLP DOI BibTeX RDF	MetaTM, TxLinux, synchronization, operating systems, transactional memory, optimistic concurrency
28	Maurice Herlihy	The Multicore Revolution.	FSTTCS	2007	DBLP DOI BibTeX RDF
28	Xiaoqi Yang 0003, Qilong Zheng, Guoliang Chen 0001, Shujuan Liu, Jun Luan	Transactional Memory Execution for Parallel Multithread Programming without Lock.	PDCAT	2007	DBLP DOI BibTeX RDF
28	Hagit Attiya, Eshcar Hillel	Built-In Coloring for Highly-Concurrent Doubly-Linked Lists.	DISC	2006	DBLP DOI BibTeX RDF
28	Ali-Reza Adl-Tabatabai, Brian T. Lewis, Vijay Menon 0002, Brian R. Murphy, Bratin Saha, Tatiana Shpeisman	Compiler and runtime support for efficient software transactional memory.	PLDI	2006	DBLP DOI BibTeX RDF	synchronization, virtual machines, code generation, transactional memory, compiler optimizations, locking
28	Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks	LOCKSMITH: context-sensitive correlation analysis for race detection.	PLDI	2006	DBLP DOI BibTeX RDF	locksmith, correlation, type inference, context-sensitivity, race detection, multi-threaded programming
28	Maurice Herlihy	The art of multiprocessor programming.	PODC	2006	DBLP DOI BibTeX RDF
28	Maurice Herlihy	The transactional manifesto: software engineering and non-blocking synchronization.	PLDI	2005	DBLP DOI BibTeX RDF
28	Robert B. Ross, Robert Latham, William Gropp, Rajeev Thakur, Brian R. Toonen	Implementing MPI-IO atomic mode without file system support.	CCGRID	2005	DBLP DOI BibTeX RDF
28	Behzad Bordbar, Kozo Okano	Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach.	FATES	2004	DBLP DOI BibTeX RDF
28	Changxiu Cheng, Paiwei Shen, Mingbo Zhang, Feng Lu	An Extended Locking Method for Geographical Database with Spatial Rules.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
28	Michael Peter Haustein, Theo Härder	taDOM: A Tailored Synchronization Concept with Tunable Lock Granularity for the DOM API.	ADBIS	2003	DBLP DOI BibTeX RDF
28	Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng	A Run-Time Deadlock Detector for Concurrent Java Programs.	APSEC	2001	DBLP DOI BibTeX RDF
28	Indrajit Ray, Luigi V. Mancini, Sushil Jajodia, Elisa Bertino	ASEP: A Secure and Flexible Commit Protocol for MLS Distributed Database Systems.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	security, distributed databases, Database management systems, transaction processing, multilevel security, commit protocol
28	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
28	Ricardo Bianchini, Enrique V. Carrera, Leonidas I. Kontothanassis	The Interaction of Parallel Programming Constructs and Coherence Protocols.	PPoPP	1997	DBLP DOI BibTeX RDF