Search results for "Lock"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
124	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
117	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
110	Chuleui Hong, Kyeongmo Park, Yeong-Tae Song	Hardware Support: A Cache Lock Mechanism without Retry.	SNPD	2005	DBLP DOI BibTeX RDF
110	Theodore Johnson, Krishna Harathi	A Prioritized Multiprocessor Spin Lock.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	spin lock, real-time system, parallel processing, Mutual exclusion, priority queue
102	Rachid Guerraoui, Michal Kapalka	The semantics of progress in lock-based transactional memory.	POPL	2009	DBLP DOI BibTeX RDF	try-lock, semantics, lower bound, transactional memory, reduction, lock, impossibility, consensus number
102	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
95	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
90	Alexander Thomasian, In Kyung Ryu	Performance Analysis of Two-Phase Locking.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	transaction size, lock requests, lock conflict, transaction response time, transaction blocking, simulation, distributed databases, concurrency control, probability, transaction processing, deadlock, system recovery, system performance, two-phase locking, lock contention
88	Toshiaki Tarui, Takayuki Nakagawa, Noriyasu Ido, Machiko Asaie, Mamoru Sugie	Evaluation of the lock mechanism in a snooping cache.	ICS	1992	DBLP DOI BibTeX RDF
88	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
88	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
80	Evangelos Bampas, Leszek Gasieniec, Nicolas Hanusse, David Ilcinkas, Ralf Klasing, Adrian Kosowski	Euler Tour Lock-In Problem in the Rotor-Router Model.	DISC	2009	DBLP DOI BibTeX RDF
80	Maged M. Michael	High performance dynamic lock-free hash tables and list-based sets.	SPAA	2002	DBLP DOI BibTeX RDF
80	Amitabha Roy 0002, Steven Hand 0001, Tim Harris 0001	A runtime system for software lock elision.	EuroSys	2009	DBLP DOI BibTeX RDF	revocable locks, speculative lock elision, unmanaged environments, software transactional memory
80	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
80	Bilge Saglam Akgul, Jaehwan Lee 0002, Vincent John Mooney III	A system-on-a-chip lock cache with task preemption support.	CASES	2001	DBLP DOI BibTeX RDF	lock synchronization, multi-processor synchronization, SoC, shared memory, RTOS, preemption
78	Ravi Rajwar, James R. Goodman	Transactional lock-free execution of lock-based programs.	ASPLOS	2002	DBLP DOI BibTeX RDF
75	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	Synchronization for an optimal real-time scheduling algorithm on multiprocessors.	SIES	2007	DBLP DOI BibTeX RDF
75	Ted Hills	Response to A Note on Structured Interrupts.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
73	Feng Cheng 0002, Christoph Meinel	Strong Authentication over Lock-Keeper.	SOFSEM	2008	DBLP DOI BibTeX RDF
73	Sam Lightstone, Chris Eaton, Yun Han Lee, Adam J. Storm	Optimizing Concurrency Through Automated Lock Memory Tuning in DB2.	ICDE	2007	DBLP DOI BibTeX RDF
73	Yair Linn, Nir Peleg	A family of self-normalizing carrier lock detectors and ES/N0 estimators for M-PSK and other phase Modulation schemes.	IEEE Trans. Wirel. Commun.	2004	DBLP DOI BibTeX RDF
73	Wonil Kim, Chul-Eui Hong, Yeong-Joon Kim	The Analysis of Hardware Supported Cache Lock Mechanism Without Retry.	PDCAT	2004	DBLP DOI BibTeX RDF
73	Gopi K. Attaluri, Jacob Slonim, Per-Åke Larson	Concurrency control with lock preemption and restoration.	CASCON	1995	DBLP BibTeX RDF	non-traditional database applications, concurrency control, locking, transaction management
73	Anders Gidenstam, Marina Papatriantafilou	LFthreads: A Lock-Free Thread Library.	OPODIS	2007	DBLP DOI BibTeX RDF	synchronization, multiprocessors, shared memory, multithreading, multicores, lock-free
73	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
73	Bin Zhang 0003, Hongjun Wu 0001, Dengguo Feng, Feng Bao 0001	Cryptanalysis of a Knapsack Based Two-Lock Cryptosystem.	ACNS	2004	DBLP DOI BibTeX RDF	Two-lock cryptosystem, Cryptanalysis, Knapsack problem
73	Adrian A. Dorrington, Rainer Künnemeyer	A Simple Microcontroller Based Digital Lock-in Amplifier for the Detection of Low Level Optical Signals.	DELTA	2002	DBLP DOI BibTeX RDF	digital lock-in amplifier, integrating input, optimised digital filter
68	Laurent Daynès, Grzegorz Czajkowski	High-Performance, Space-Efficient, Automated Object Locking.	ICDE	2001	DBLP DOI BibTeX RDF
68	C. Mohan 0001, Inderpal Narang	Efficient Locking and Caching of Data in the Multisystem Shared Disks Transaction Environment.	EDBT	1992	DBLP DOI BibTeX RDF
65	Sebastian Bächle, Theo Härder, Michael Peter Haustein	Implementing and Optimizing Fine-Granular Lock Management for XML Document Trees.	DASFAA	2009	DBLP DOI BibTeX RDF
65	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	Lock-free synchronization for dynamic embedded real-time systems.	DATE	2006	DBLP DOI BibTeX RDF
65	Ulrich Herrmann, Peter Dadam, Klaus Küspert, E. A. Roman, Gunter Schlageter	A Lock Technique for Disjoint and Non-Disjoint Complex Objects.	EDBT	1990	DBLP DOI BibTeX RDF
65	Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar	Lock allocation.	POPL	2007	DBLP DOI BibTeX RDF	lock inference, atomicity, ILP
65	Chi-Sung Laih, Lein Harn, Jau-Yien Lee	On the Design of a Single-Key-Lock Mechanism Based on Newton's Interpolating Polynomial.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	recursive generation, single-key-lock mechanism, access matrix, computer protection system, key selection, lock values, Newton interpolating polynomial, user/file, key positions, user-hierarchy structure, interpolation, polynomials, security of data, information resources, computational load
60	Yossi Lev, Victor Luchangco, Marek Olszewski	Scalable reader-writer locks.	SPAA	2009	DBLP DOI BibTeX RDF	reader-writer lock, snzi, scalable, synchronization
60	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
58	Sebastian Bächle, Theo Härder	The Real Performance Drivers behind XML Lock Protocols.	DEXA	2009	DBLP DOI BibTeX RDF
58	Maged M. Michael	Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF
58	Hui Gao, Wim H. Hesselink	A Formal Reduction for Lock-Free Parallel Algorithms.	CAV	2004	DBLP DOI BibTeX RDF
58	Bilge Saglam Akgul, Vincent John Mooney III	PARLAK: Parametrized Lock Cache Generator.	DATE	2003	DBLP DOI BibTeX RDF
58	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
58	Maged M. Michael	Safe memory reclamation for dynamic lock-free objects using atomic reads and writes.	PODC	2002	DBLP DOI BibTeX RDF
57	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
57	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	PPoPP	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
57	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
57	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
57	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
57	Guang-Huei Chiou, Wen-Tsuen Chen	Secure Broadcasting Using the Secure Lock.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	secure broadcasting protocols, secret key minimization, secure broadcasting, secure lock, deciphering operation, private-key cryptosystem, cryptography, protocols, broadcasting, public-key cryptosystem, Chinese Remainder theorem, satellite, telecommunication channels, session key, radio, broadcast channels, secret keys, ciphertext
57	Injong Rhee	Optimizing a FIFO, scalable spin lock using consistent memory.	RTSS	1996	DBLP DOI BibTeX RDF	FIFO optimization, scalable spin lock, consistent memory, FIFO queue based scalable spin lock, non atomic read, atomic swap operation, timing guarantee, scalable mutual exclusion problem, NUMA architectures, FSSL algorithm, write operations, non atomic memory operations, weakly consistent memories, multiprocessors, shared memory systems, real time applications, atomic operations
53	Philippas Tsigas, Yi Zhang 0004	Evaluating the performance of non-blocking synchronization on shared-memory multiprocessors.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF
52	Markku Sääksjärvi, Aki Lassila	Role of the Customer Value in the Software as a Service Concept.	I3E	2005	DBLP DOI BibTeX RDF	online newspapers, customer lock-in, e-commerce, Software as a Service, value creation
52	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
50	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
50	Xiaoning Ding, Song Jiang 0001, Xiaodong Zhang 0001	BP-Wrapper: A System Framework Making Any Replacement Algorithms (Almost) Lock Contention Free.	ICDE	2009	DBLP DOI BibTeX RDF
50	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
50	Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc	Single global lock semantics in a weakly atomic STM.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	Java
50	Richard L. Halpert, Christopher J. F. Pickett, Clark Verbrugge	Component-Based Lock Allocation.	PACT	2007	DBLP DOI BibTeX RDF
50	Robert Colvin, Brijesh Dongol	Verifying Lock-Freedom Using Well-Founded Orders.	ICTAC	2007	DBLP DOI BibTeX RDF
50	Yair Linn	A self-normalizing symbol synchronization lock detector for QPSK and BPSK.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
50	Feng Cheng 0002, Christoph Meinel	Deployment of Virtual Machines in Lock-Keeper.	WISA	2006	DBLP DOI BibTeX RDF
50	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
50	Maged M. Michael	CAS-Based Lock-Free Algorithm for Shared Deques.	Euro-Par	2003	DBLP DOI BibTeX RDF
50	Ole Agesen, David Detlefs, Alex Garthwaite, Ross C. Knippel, Y. S. Ramakrishna, Derek White	An Efficient Meta-Lock for Implementing Ubiquitous Synchronization.	OOPSLA	1999	DBLP DOI BibTeX RDF	concurrent threads, object-oriented language implementation, synchronization
50	Asit Dan, Philip S. Yu	Performance Analysis of Coherency Control Policies through Lock Retention.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
50	Futoshi Iwama, Naoki Kobayashi 0001	A New Type System for JVM Lock Primitives.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Java Bytecode Verifier, Type System, Lock
50	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
50	Futoshi Iwama, Naoki Kobayashi 0001	A new type system for JVM lock primitives.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	bytecode verifier, Java, type system, lock
48	Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani	TO-Lock: Removing Lock Overhead Using the Owners' Temporal Locality.	IEEE PACT	2004	DBLP DOI BibTeX RDF
46	Andy Lock Yen Low, Kevin Lock Teng Low, Voon Chet Koo	Multimedia learning systems: a future interactive educational tool.	Internet High. Educ.	2003	DBLP DOI BibTeX RDF
45	Maurice Herlihy, Yossi Lev, Victor Luchangco, Nir Shavit	A Simple Optimistic Skiplist Algorithm.	SIROCCO	2007	DBLP DOI BibTeX RDF
45	Martin C. Rinard, Pedro C. Diniz	Eliminating synchronization bottlenecks using adaptive replication.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	commutativity analysis, parallel computing, synchronization, replication, parallelizing compilers, Atomic operations
45	Balaram Sinharoy, Rama Govindaraju	Improving Software MP Efficiency for Shared Memory Systems.	HICSS (1)	1996	DBLP DOI BibTeX RDF
45	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
45	Jeang-Kuo Chen, Kuan-Chang Lu	Concurrent Operations for Accessing an XML Document in a Multi-user Environment.	ICA3PP	2009	DBLP DOI BibTeX RDF	Lock-coupling, Bread-first Search, XML, Concurrency Control, Locking
43	Naoki Kobayashi 0001, Davide Sangiorgi	A Hybrid Type System for Lock-Freedom of Mobile Processes.	CAV	2008	DBLP DOI BibTeX RDF
43	Kohei Suenaga	Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.	APLAS	2008	DBLP DOI BibTeX RDF
43	Balaji Srinivasan, Vinay Bhaskar Chandratre, Menka Tewani	0.35µ, 1 GHz, CMOS Timing Generator Using Array of Digital Delay Lock Loops.	VLSI Design	2008	DBLP DOI BibTeX RDF
43	Antti Siirtola, Michal Valenta	Verifying Parameterized taDOM+ Lock Managers.	SOFSEM	2008	DBLP DOI BibTeX RDF	model-checking, Verification, case study, XML databases, parameterized systems
43	Sundeep Narravula, A. Marnidala, Abhinav Vishnu, Karthikeyan Vaidyanathan, Dhabaleswar K. Panda 0001	High Performance Distributed Lock Management Services using Network-based Remote Atomic Operations.	CCGRID	2007	DBLP DOI BibTeX RDF
43	Anders Gidenstam, Marina Papatriantafilou, Philippas Tsigas	Allocating Memory in a Lock-Free Manner.	ESA	2005	DBLP DOI BibTeX RDF
43	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
43	Danny Hendler, Nir Shavit, Lena Yerushalmi	A scalable lock-free stack algorithm.	SPAA	2004	DBLP DOI BibTeX RDF
43	Ravi Rajwar, James R. Goodman	Speculative lock elision: enabling highly concurrent multithreaded execution.	MICRO	2001	DBLP DOI BibTeX RDF
43	Fernando de Ferreira Rezende, Theo Härder	Concurrency Control in Nested Transactions with Enhanced Lock Models for KBMSs	DEXA	1995	DBLP DOI BibTeX RDF
42	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
42	Zhenhan Liu, Xiaoxuan Meng, Lu Xu 0001	Lock management in blue whale file system.	ICIS	2009	DBLP DOI BibTeX RDF	BWFS, distributed lock management, cluster file system
42	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
42	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
42	Damien Imbs, Michel Raynal	A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness.	OPODIS	2008	DBLP DOI BibTeX RDF	Commit/abort, Concurrency control, Transaction, Lock, Software transactional memory, Shared object, Progressiveness, Opacity, Atomic operation, Consistent global state
42	Qing Liu 0011, Huasheng Zhu, Lan Liu	The Granulations Based on Meaning of Rough Logical Formulas and its Lock Resolution.	GrC	2007	DBLP DOI BibTeX RDF	Rough Logical Formula, Lock Resolution of Granulation, Granular Computing, Inclusion, Closeness
42	Aamer Jaleel, Bruce L. Jacob	In-Line Interrupt Handling and Lock-Up Free Translation Lookaside Buffers (TLBs).	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Reorder-buffer (ROB), exception handlers, in-line interrupt, lock-up free, translation lookaside buffers (TLBs), performance modeling, precise interrupts
42	Maged M. Michael	Scalable lock-free dynamic memory allocation.	PLDI	2004	DBLP DOI BibTeX RDF	async-signal-safe, malloc, availability, lock-free
42	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
38	Ming Fu, Yu Zhang 0086, Yong Li	Formal Reasoning about Concurrent Assembly Code with Reentrant Locks.	TASE	2009	DBLP DOI BibTeX RDF
38	Christian Haack, Marieke Huisman, Clément Hurlin	Reasoning about Java's Reentrant Locks.	APLAS	2008	DBLP DOI BibTeX RDF
38	Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc	Practical weak-atomicity semantics for java stm.	SPAA	2008	DBLP DOI BibTeX RDF	weak atomicity, java, transactional memory, memory models, programming language semantics
38	Avery Ching, Wei-keng Liao, Alok N. Choudhary, Robert B. Ross, Lee Ward	Noncontiguous locking techniques for parallel file systems.	SC	2007	DBLP DOI BibTeX RDF
38	Virendra J. Marathe, Mark Moir, Nir Shavit	Composite Abortable Locks.	IPDPS	2006	DBLP DOI BibTeX RDF
38	Ananth Devulapalli, Pete Wyckoff	Distributed Queue-Based Locking Using Advanced Network Features.	ICPP	2005	DBLP DOI BibTeX RDF