Preprint The Lazy Happens-Before Relation: Better Partial-Order Reduction for Systematic Concurrency Testing ∗ Paul Thomson and Alastair F. Donaldson Imperial College London, UK

Source URL: www.doc.ic.ac.uk

Algorithms for scalable synchronization on shared-memory multiprocessors

Source URL: www.cs.rochester.edu

• Concurrency control
• Computing
• Computer architecture
• Computer programming
• Ticket lock
• Synchronization
• Monitor
• Parallel computing
• Fetch-and-add
• Compare-and-swap
• Mutual exclusion
• Lock

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2007; V:1–11 Prepared using cpeauth.cls [Version: v2.02] Tackling the Provenance Challenge One Layer at a Time

Source URL: vgc.poly.edu

37th International Conference on Parallel Processing Exploring Parallel I/O Concurrency with Speculative Prefetching Yong Chen1 Surendra Byna1,2 Xian-He Sun1 Rajeev Thakur2 William Gropp3 Department of Computer Science,

Source URL: sdm.lbl.gov

Taking the Heat off Transactions: Dynamic Selection of Pessimistic Concurrency Control 1,2 Nehir S¨onmez

Source URL: timharris.uk

Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages

Source URL: ect.bell-labs.com

• Process calculi
• Calculus of communicating systems
• Bisimulation
• Robin Milner
• Alcatel-Lucent
• Q0
• Transition system
• Communicating sequential processes
• Bell Labs
• Lucent

Software Transactional Memory Validation – Time and Space Considerations Adam Welc Bratin Saha

Source URL: www.adamwelc.org

• Transaction processing
• Concurrency control
• Data management
• Software transactional memory
• Database transaction
• Data validation
• Isolation
• Optimistic concurrency control
• Lock
• Linearizability
• Validation
• Transactional memory

Towards Transactional Memory Semantics for C++ Tatiana Shpeisman Ali-Reza Adl-Tabatabai Robert Geva

Source URL: www.adamwelc.org

• Computing
• Transaction processing
• Concurrency control
• Data management
• Data
• Serializability
• Transactional memory
• Linearizability
• Software transactional memory
• Lock
• Atomicity
• Database transaction

Under consideration for publication in Math. Struct. in Comp. Science Concurrency Can’t Be Observed, Asynchronously† Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale Dipartimento di Matematic

Source URL: www.math.unipd.it

Enhanced Concurrency Control with Transactional NACKs Woongki Baek Richard M. Yoo Christos Kozyrakis

Source URL: transact2013.cse.lehigh.edu