Finding linearization violations in lock-free concurrent data structures

Finding linearization violations in lock-free concurrent data structures

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2013.

Bibliographic Details
Main Author:	Dabdoub, Sebastien Alberto
Other Authors:	Frans Kaashoek and Nickolai Zeldovich.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2014
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/85413

Similar Items

Fast bug finding in lock-free data structures with CB-DPOR
by: Van den Hooff, Jelle (Jelle August)
Published: (2014)

Lock-free concurrent binomial heaps
by: Lowe, G
Published: (2018)

Are lock-free concurrent algorithms practically wait-free?
by: Alistarh, Dan, et al.
Published: (2014)

Optimism vs. locking : a study of concurrency control for client-server object-oriented databases
by: Gruber, Robert Edward
Published: (2005)

Relaxed concurrent ordering structures
by: Kopinsky, Justin
Published: (2018)

Validating performance and simplicity of highly concurrent data structures utilitizing the ATAC broadcast mechanism
by: Pellegrino, Nicholas A
Published: (2014)

A concurrent debugger
by: Litman, Andrew Hayes
Published: (2005)

A delay-locked loop for clock recovery and data synchronization
by: Bulzacchelli, John F. (John Francis)
Published: (2005)

Concurrent data stream mining
by: Wang, Wenwen.
Published: (2009)

Algorithms incorporating concurrency and caching
by: Fineman, Jeremy T
Published: (2010)

Collaborative concurrent mapping and localization
by: Fenwick, John William, 1977-
Published: (2005)

A concurrent video compression system
by: Honoré, Francis
Published: (2007)

Scheduling and synchronization for multicore concurrency platforms
by: Agrawal, Kunal
Published: (2010)

Concurrent gate-level circuit simulation
by: Shelly, Jacinda R. (Jacinda Rene)
Published: (2011)

Concurrent context-free grammars
by: Mavlankulov, Gairatzhan, et al.
Published: (2013)

Finding important entities in continuous streaming data
by: Alet, Ferran (Alet I Puig)
Published: (2018)

A hybrid data structure for dense keys in in-memory database systems
by: Muñiz Navarro, José Alberto
Published: (2011)

Planned perception within concurrent mapping and localization
by: Slavik, Michael P. (Michael Paul), 1978-
Published: (2014)

Concurrency control for multiprocessor event-driven systems
by: Zeldovich, Nickolai, 1981-
Published: (2014)

Hierarchical distributed repositories in Concurrent Versions System
by: Jurišić, Miroslav, 1977-
Published: (2014)

Logging and recovery in a highly concurrent database
by: Keen, John Sidney, 1962-
Published: (2007)

Implementing concurrency for an ML-based operating system
by: Lin, Albert C. (Albert Chia-Jui), 1974-
Published: (2009)

Verifying an I/O-concurrent file system
by: Chajed, Tej
Published: (2017)

An evaluation of concurrency control with one thousand cores
by: Yu, Xiangyao
Published: (2015)

Efficient message-based system for concurrent simulation
by: Ma, Moses Hsingwen
Published: (2012)

Concurrency control and consistency over erasure coded data
by: Datta, Anwitaman, et al.
Published: (2023)

Channel scheduling for optical communication network with frequency concurrency
by: Wong, Albert Kai-Sun
Published: (2005)

Automated concurrency bug finding using partial-orders
by: Horn, A
Published: (2015)

Free fructose is conformationally locked.
by: Cocinero, E, et al.
Published: (2013)

Finding patterns in timed data with spike timing dependent plasticity
by: Oliveira, Alexandre (Alexandre S.)
Published: (2013)

Integrated waveguide devices for mode-locked lasers
by: Callahan, Patrick T., Ph. D. (Patrick Timothy). Massachusetts Institute of Technology
Published: (2018)

A phase-locked loop for laser scanners
by: Allen, Janet A
Published: (2005)

MergeArray and scalable, relaxed, concurrent, mergeable priority queues
by: Coulombe, Michael Joseph
Published: (2015)

A fast concurrent and resizable Robin Hood hash table
by: Kahssay, Endrias(Endrias K.)
Published: (2021)

Transaction management for mobile objects using optimistic concurrency control
by: Adya, Atul
Published: (2007)

Pitch representations in the auditory nerve : two concurrent complex tones
by: Larsen, Erik, Ph. D. Massachusetts Institute of Technology
Published: (2009)

Supporting finding and re-finding through personalization
by: Teevan, Jaime B. (Jaime Brooks), 1976-
Published: (2007)

What are the fundamental structures of concurrency?: We still don't know!
by: Abramsky, S
Published: (2006)

Fully Integrated CMOS-compatible mode-locked lasers
by: Shtyrkova, Katia
Published: (2018)

Debugging multithreaded programs that incorporate user-level locking
by: Stark, Andrew F. (Andrew Frederick), 1975-
Published: (2010)