Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis

Source URL: plv.mpi-sws.org

• Concurrency control
• Computer architecture
• Computing
• Software
• Read-copy-update
• Memory barrier
• Linearizability
• Mutual exclusion
• Synchronization
• Futures and promises

Appears in the proceedings of the 34th International Symposium on Microarchitecture (MICRO), Dec. 3-Dec. 5, 2001, Austin, Texas. Speculative Lock Elision: Enabling Highly Concurrent Multithreaded Execution Ravi Rajwar a

Source URL: pages.cs.wisc.edu

• Concurrency control
• Computing
• Computer architecture
• Test-and-set
• Transactional memory
• Non-blocking algorithm
• Synchronization
• Monitor
• Lock
• Linearizability
• Consistency model
• CPU cache

Understanding Transactional Memory Performance Donald E. Porter and Emmett Witchel The University of Texas at Austin {porterde,witchel}@cs.utexas.edu Abstract—Transactional memory promises to generalize transactional p

Source URL: www3.cs.stonybrook.edu

• Computing
• Concurrency control
• Transaction processing
• Data management
• Transactional memory
• Parallel computing
• Computer memory
• Software transactional memory
• Rock
• Benchmark
• Lock
• Linearizability

Paul E. McKenney – IBM Distinguished Engineer, Linux Technology Center May 5, 2015 Linearizability: Who really needs it? © 2009 IBM Corporation

Source URL: materials.dagstuhl.de

Linearizability: A Correctness Condition for Concurrent Objects MAURICE P. HERLIHY and JEANNETTE Carnegie Mellon University M. WING

Source URL: www.cs.toronto.edu

Implementing Linearizability at Large Scale and Low Latency

Source URL: web.stanford.edu

AtomChase: Directed Search Towards Atomicity Violations Mahdi Eslamimehr, Mohsen Lesani This paper was presented at and awarded

Source URL: www.vpri.org

• Transaction processing
• Computing
• Data management
• Data
• Concurrency control
• Computer architecture
• Databases
• Atomicity
• Linearizability
• ARM architecture
• Process philosophy

Technical Report UCAM-CL-TR-579 ISSNNumber 579

Source URL: www.cl.cam.ac.uk

• Concurrency control
• Computing
• Data management
• Computer architecture
• Non-blocking algorithm
• Lock
• Mutual exclusion
• Linearizability
• Readerswriter lock
• Synchronization
• Software transactional memory
• Memory barrier

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 0000; 00:1–21 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: cpe Testing for Linearizability

Source URL: www.cs.ox.ac.uk

• Concurrency control
• Transaction processing
• Abstract data types
• Linearizability
• Queue
• Schedule
• Double-ended queue
• Algorithm
• Graph traversal
• Continuation
• Non-blocking algorithm

State Transition System alternative to Linearizability Ilya Sergey 10:48

Source URL: ilyasergey.net