Search results for "lock acquisition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Akhil Kumar, Michael Stonebraker	Performance Considerations for an Operating System Transaction Manager.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	log compressing, considerations, operating system transaction manager, conventional transaction manager, OS transaction manager, lock acquisition, additional semantics, OS transaction system, modified index structure, update operations, DBMS performance, performance evaluation, performance, data structures, software reliability, database management system, database management systems, transaction processing, operating systems (computers), transaction management, performance penalty
1	Jonathan Eastep, David Wingate, Marco D. Santambrogio, Anant Agarwal	Smartlocks: lock acquisition scheduling for self-aware synchronization.	ICAC	2010	DBLP DOI BibTeX RDF
1	David Dice, Nir Shavit	TLRW: return of the read-write lock.	SPAA	2010	DBLP DOI BibTeX RDF	multicore processors, concurrent data structures
1	Dave Cunningham, Khilan Gudka, Susan Eisenbach	Keep Off the Grass: Locking the Right Path for Atomicity.	CC	2008	DBLP DOI BibTeX RDF
1	David Dice, Nir Shavit	Understanding Tradeoffs in Software Transactional Memory.	CGO	2007	DBLP DOI BibTeX RDF
1	Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta	Fast and Accurate Static Data-Race Detection for Concurrent Programs.	CAV	2007	DBLP DOI BibTeX RDF
1	Matteo Monchiero, Gianluca Palermo, Cristina Silvano, Oreste Villa	Efficient Synchronization for Embedded On-Chip Multiprocessors.	IEEE Trans. VLSI Syst.	2006	DBLP DOI BibTeX RDF
1	Vineet Kahlon, Aarti Gupta, Nishant Sinha	Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions.	CAV	2006	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath	Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	software verifcation, locking discipline, software model checking, partial order reduction, escape analysis
1	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
1	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
1	David Hovemeyer, William Pugh, Jaime Spacco	Atomic Instructions in Java.	ECOOP	2002	DBLP BibTeX RDF
1	P. Krishnan, Philip M. Long, Jeffrey Scott Vitter	Adaptive Disk Spindown via Optimal Rent-to-Buy in Probabilistic Environments.	Algorithmica	1999	DBLP DOI BibTeX RDF	Disk spindown, Rent-to-buy, Multiprocessor spin / block, Virtual circuit holding time, Machine learning, Mobile computing, On-line algorithms, Power conservation, IP-over-ATM
1	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
1	Martin I. Reiman, Paul E. Wright	Performance Analysis of Concurrent-Read Exclusive-Write.	SIGMETRICS	1991	DBLP DOI BibTeX RDF
1	John M. Mellor-Crummey, Michael L. Scott	Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors.	ACM Trans. Comput. Syst.	1991	DBLP DOI BibTeX RDF