Search results for "locks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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
3	Michael L. Scott	Non-blocking timeout in scalable queue-based spin locks.	PODC	2002	DBLP DOI BibTeX RDF	spin locks, scalability, synchronization, timeout
3	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
3	Nian-Feng Tzeng, Shiwa S. Fu	Efficient implementation of mutual exclusion locks in large multiprocessors. (PDF / PS)	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
3	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
3	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
3	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
2	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
2	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
2	Ken Mizuno, Takuya Nakaike, Toshio Nakatani	Reducing Rollbacks of Transactional Memory Using Ordered Shared Locks.	Euro-Par	2009	DBLP DOI BibTeX RDF
2	Yossi Lev, Victor Luchangco, Marek Olszewski	Scalable reader-writer locks.	SPAA	2009	DBLP DOI BibTeX RDF	reader-writer lock, snzi, scalable, synchronization
2	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
2	Ming Fu, Yu Zhang, Yong Li	Formal Reasoning about Concurrent Assembly Code with Reentrant Locks.	TASE	2009	DBLP DOI BibTeX RDF
2	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
2	Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani	Inferring locks for atomic sections.	PLDI	2008	DBLP DOI BibTeX RDF	atomic sections, static lock inference, concurrency
2	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
2	Christian Haack, Marieke Huisman, Clément Hurlin	Reasoning about Java's Reentrant Locks.	APLAS	2008	DBLP DOI BibTeX RDF
2	Victor Luchangco	Against lock-based semantics for transactional memory.	SPAA	2008	DBLP DOI BibTeX RDF	semantics, transactional memory, locks
2	Amitabha Roy 0002, Keir Fraser, Steven Hand	A transactional approach to lock scalability.	SPAA	2008	DBLP DOI BibTeX RDF	concurrency, fairness, transactional memory, locks
2	Keir Fraser, Timothy L. Harris	Concurrent programming without locks.	ACM Trans. Comput. Syst.	2007	DBLP DOI BibTeX RDF	lock-free systems, Concurrency, transactional memory
2	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
2	Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv	Local Reasoning for Storable Locks and Threads.	APLAS	2007	DBLP DOI BibTeX RDF
2	Josh Berdine	Local reasoning about storable locks.	PPDP	2007	DBLP DOI BibTeX RDF
2	Mauro Carlos Pichiliani, Celso Massaki Hirata	Multi-level locks to control collaborative modeling sessions.	CollaborateCom	2007	DBLP DOI BibTeX RDF
2	Aaron J. Gruber, Peter Dayan, Boris S. Gutkin, Sara A. Solla	Dopamine modulation in the basal ganglia locks the gate to working memory.	Journal of Computational Neuroscience	2006	DBLP DOI BibTeX RDF	Spiny neuron, Phasic release, Attention, Salience
2	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
2	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
2	Niklas Broberg, David Sands	Flow Locks: Towards a Core Calculus for Dynamic Flow Policies.	ESOP	2006	DBLP DOI BibTeX RDF
2	Bijun He, William N. Scherer III, Michael L. Scott	Preemption Adaptivity in Time-Published Queue-Based Spin Locks.	HiPC	2005	DBLP DOI BibTeX RDF
2	Vineet Kahlon, Franjo Ivancic, Aarti Gupta	Reasoning About Threads Communicating via Locks.	CAV	2005	DBLP DOI BibTeX RDF
2	Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas	Reactive Spin-locks: A Self-tuning Approach.	ISPAN	2005	DBLP DOI BibTeX RDF
2	Rajeev Thakur, Robert B. Ross, Robert Latham	Implementing Byte-Range Locks Using MPI One-Sided Communication.	PVM/MPI	2005	DBLP DOI BibTeX RDF
2	Eunujung Lee	Multi-Granularity Locks for XML Repetitive.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF
2	Tim Harris, Keir Fraser	Revocable locks for non-blocking programming.	PPOPP	2005	DBLP DOI BibTeX RDF	transactional memory, locks, non-blocking algorithms
2	Ramamurthy Badrinath, Christine Morin	Locks and barriers in checkpointing and recovery.	CCGRID	2004	DBLP DOI BibTeX RDF
2	Ryung Chon, Tomoya Enokido, Vlad Wietrzsk, Makoto Takizawa	Role Locks to Prevent Illegal Information Flow among Objects.	AINA	2004	DBLP DOI BibTeX RDF
2	Matt Blaze	Rights Amplification in Master-Keyed Mechanical Locks.	IEEE Security & Privacy	2003	DBLP DOI BibTeX RDF
2	Bruce Schneier	Locks and Full Disclosure.	IEEE Security & Privacy	2003	DBLP DOI BibTeX RDF
2	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
2	Abhinav Vora, Zahir Tari, Peter Bertók	A Variable Cache Consistency Protocol for Mobile Systems Using Time Locks.	DAIS	2003	DBLP DOI BibTeX RDF
2	Zoran Radovic, Erik Hagersten	Hierarchical Backoff Locks for Nonuniform Communication Architectures.	HPCA	2003	DBLP DOI BibTeX RDF
2	Abhinav Vora, Zahir Tari, Peter Bertók, Kwong Yuen Lai	A Mobile Cache Consistency Protocol Using Shareable Read/Write Time Locks.	ICPADS	2002	DBLP DOI BibTeX RDF
2	Stijn Dekeyser, Jan Hidders	Path Locks for XML Document Collaboration. (PDF / PS)	WISE	2002	DBLP DOI BibTeX RDF
2	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
2	Scott D. Stoller	Model-checking multi-threaded distributed Java programs.	STTT	2002	DBLP DOI BibTeX RDF	Java, Model checking, Reduction, Locks, Partial-order methods
2	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
2	Michael L. Scott, William N. Scherer III	Scalable queue-based spin locks with timeout.	PPOPP	2001	DBLP DOI BibTeX RDF
2	Chen-Chi Kuo, John B. Carter, Ravindra Kuramkote	MP-LOCKs: Replacing H/W Synchronization Primitives with Message Passing.	HPCA	1999	DBLP DOI BibTeX RDF
2	David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano	Thin Locks: Featherweight Synchronization for Java.	PLDI	1998	DBLP DOI BibTeX RDF	AIX, Java
2	David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano	Thin locks: featherweight Synchronization for Java (with retrospective)	Best of PLDI	1998	DBLP DOI BibTeX RDF
2	Richard Hull	Global Predicate-Based Locks in Long-Running Transactions. (PDF / PS)	EDOC	1997	DBLP DOI BibTeX RDF
2	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
2	Bodhisattwa Mukherjee, Karsten Schwan	Implementation of Scalable Blocking Locks Using an Adaptive Thread Scheduler. (PDF / PS)	IPPS	1996	DBLP DOI BibTeX RDF
2	Mark Aldred, Ilya Gertner, Stephen McKellar	A distributed lock manager on fault tolerant MPP .	HICSS	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)
2	Hans-Juergen Boehm, Alan J. Demers, Christ Uhler	Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm.	LOPLAS	1993	DBLP DOI BibTeX RDF	monitor lock, spin lock, multiprocessing, critical section
2	Divyakant Agrawal, Amr El Abbadi	Locks with Constrained Sharing.	PODS	1990	DBLP DOI BibTeX RDF
2	Gael N. Buckley, Abraham Silberschatz	Concurrency Control in Graph Protocols by Using Edge Locks.	PODS	1984	DBLP DOI BibTeX RDF
2	Henry F. Korth	Deadlock Freedom Using Edge Locks.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	concurrency control, locking, serializability
2	J. R. Jordan, J. Banerjee, R. B. Batman	Precision Locks.	SIGMOD Conference	1981	DBLP DOI BibTeX RDF
2	Harry B. Hunt III, Daniel J. Rosenkrantz	The Complexity of Testing Predicate Locks.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF
1	Soumeya Leila Hernane, Jens Gustedt, Mohamed Benyettou	A Dynamic Distributed Algorithm for Read Write Locks.	PDP	2012	DBLP DOI BibTeX RDF
1	Rahma Abdaoui, Antoine Diet, Martine Villegas, Geneviève Baudoin	Technological locks for 60 GHz high data rate Impulse Radio Multi-band OOK front end, with channel effect consideration.	RWS	2012	DBLP DOI BibTeX RDF
1	David Dice, Virendra J. Marathe, Nir Shavit	Lock cohorting: a general technique for designing NUMA locks.	PPOPP	2012	DBLP DOI BibTeX RDF
1	Marcella Favale	Approximation and DRM: can digital locks respect copyright exceptions?	I. J. Law and Information Technology	2011	DBLP DOI BibTeX RDF
1	Alexandre Buisse, Lars Birkedal, Kristian Støvring	Step-Indexed Kripke Model of Separation Logic for Storable Locks.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Nitin Garg, Ed Zhu, Fabiano C. Botelho	Light-weight Locks	CoRR	2011	DBLP BibTeX RDF
1	Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps	A decision procedure for detecting atomicity violations for communicating processes with locks.	STTT	2011	DBLP DOI BibTeX RDF
1		Locks.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Jens Gustedt, Emmanuel Jeanvoine	Relaxed Synchronization with Ordered Read-Write Locks.	Euro-Par Workshops	2011	DBLP DOI BibTeX RDF
1	Björn B. Brandenburg, James H. Anderson	Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks.	EMSOFT	2011	DBLP DOI BibTeX RDF
1	José L. Abellán, Juan Fernández, Manuel E. Acacio	GLocks: Efficient Support for Highly-Contended Locks in Many-Core CMPs.	IPDPS	2011	DBLP DOI BibTeX RDF
1	David Dice, Virendra J. Marathe, Nir Shavit	Flat-combining NUMA locks.	SPAA	2011	DBLP DOI BibTeX RDF
1	Victor Pankratius, Ali-Reza Adl-Tabatabai	A study of transactional memory vs. locks in practice.	SPAA	2011	DBLP DOI BibTeX RDF
1	Ian Pye	Locks, deadlocks and abstractions: experiences with multi-threaded programming at CloudFlare, Inc.	SPLASH Workshops	2011	DBLP DOI BibTeX RDF
1	Hari K. Pyla	Composing locks by decomposing deadlocks.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
1	Chiu Chiang Tan, Qin Liu, Jie Wu	Secure Locking for Untrusted Clouds.	IEEE CLOUD	2011	DBLP DOI BibTeX RDF	read/write access, security, Cloud computing, locks
1	Harold W. Thimbleby	Think! Interactive Systems Need Safety Locks.	CIT	2010	DBLP BibTeX RDF
1	Pierre-Nicolas Clauss, Jens Gustedt	Iterative computations with ordered read-write locks.	J. Parallel Distrib. Comput.	2010	DBLP DOI BibTeX RDF
1	Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis	Adaptive locks: Combining transactions and locks for efficient concurrency.	J. Parallel Distrib. Comput.	2010	DBLP DOI BibTeX RDF
1	Ming Fu, Yu Zhang, Yong Li	Formal verification of concurrent programs with read-write locks.	Frontiers of Computer Science in China	2010	DBLP DOI BibTeX RDF
1	Luke Dalessandro, David Dice, Michael L. Scott, Nir Shavit, Michael F. Spear	Transactional Mutex Locks.	Euro-Par	2010	DBLP DOI BibTeX RDF
1	Tevfik Bultan, Fang Yu, Aysu Betin-Can	Modular verification of synchronization with reentrant locks.	MEMOCODE	2010	DBLP DOI BibTeX RDF
1	Nalini Vasudevan, Kedar S. Namjoshi, Stephen A. Edwards	Simple and fast biased locks.	PACT	2010	DBLP DOI BibTeX RDF
1	Mariano Ceccato, Paolo Tonella	Static analysis for enforcing intra-thread consistent locks in the migration of a legacy system.	ICSM	2010	DBLP DOI BibTeX RDF
1	Azadeh Farzan, Zachary Kincaid	Compositional Bitvector Analysis for Concurrent Programs with Nested Locks.	SAS	2010	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino, Peter Müller, Jan Smans	Deadlock-Free Channels and Locks.	ESOP	2010	DBLP DOI BibTeX RDF
1	M. Aater Suleman, Onur Mutlu, Moinuddin K. Qureshi, Yale N. Patt	Accelerating Critical Section Execution with Asymmetric Multicore Architectures.	IEEE Micro	2010	DBLP DOI BibTeX RDF	heterogeneous cores, parallel programming, CMP, multicore, locks, critical sections, serialization
1	Felipe Klein, Alexandro Baldassin, João Moreira, Paulo Centoducatte, Sandro Rigo, Rodolfo Azevedo	STM versus lock-based systems: an energy consumption perspective.	ISLPED	2010	DBLP DOI BibTeX RDF	lock-based systems, parallel programming, low power design, transactional memory, multi-core
1	Martin Zabel, Rainer G. Spallek	Application requirements and efficiency of embedded Java bytecode multi-cores.	JTRES	2010	DBLP DOI BibTeX RDF	multi-core, multi-threaded, realtime, Java bytecode
1	Lukasz Ziarek	PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper.	JTRES	2010	DBLP DOI BibTeX RDF	prioirty inheritance protocol
1	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
1	Niklas Broberg, David Sands	Paralocks: role-based information flow control and beyond.	POPL	2010	DBLP DOI BibTeX RDF	information flow, security policies, language based security
1	Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro	Dynamically checking ownership policies in concurrent c/c++ programs.	POPL	2010	DBLP DOI BibTeX RDF	security, testing, concurrency, debugging, tools, dynamic analysis
1	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
1	Donald E. Porter, Emmett Witchel	Modeling transactional memory workload performance.	PPOPP	2010	DBLP DOI BibTeX RDF	syncchar, performance, transactional memory
1	Christopher J. Rossbach, Owen S. Hofmann, Emmett Witchel	Is transactional programming actually easier?	PPOPP	2010	DBLP DOI BibTeX RDF	synchronization, transactional memory, optimistic concurrency
1	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
1	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
1	David Dice, Nir Shavit	TLRW: return of the read-write lock.	SPAA	2010	DBLP DOI BibTeX RDF	multicore processors, concurrent data structures