Modular Termination Verification for Non-blocking Concurrency Pedro da Rocha Pinto1 , Thomas Dinsdale-Young2 , Philippa Gardner1 , and Julian Sutherland1 1 Imperial College London

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

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

Run-Time Verification of Optimistic Concurrency Ali Sezgin1 , Serdar Tasiran1 , Kivanc Muslu1 , and Shaz Qadeer2 1 Koc University, Istanbul, Turkey

Source URL: files.kivancmuslu.com

Highly Available Transactions: Virtues and Limitations (Extended Version) Peter Bailis, Aaron Davidson, Alan Fekete† , Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica UC Berkeley and † University of Sydney arXiv:1302.

Source URL: arxiv.org

• Computing
• Transaction processing
• Data management
• Data
• Concurrency control
• Databases
• Database management systems
• Isolation
• Snapshot isolation
• Serializability
• Consistency model
• Database transaction

Views: Object-Inspired Concurrency Control Brian Demsky Patrick Lam University of California, Irvine

Source URL: patricklam.ca

C++ Concurrency future () M

Source URL: cpprocks.com

  Concurrent  systems   Case  study:  FreeBSD  kernel  concurrency  

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

• Computer architecture
• Computing
• Software
• Concurrency control
• Spinlock
• Thread
• Linux kernel
• System call
• Kernel
• FreeBSD
• Load
• Monitor

What Change History Tells Us about Thread Synchronization ∗ Rui Gu3 Guoliang Jin4 Linhai Song1 Linjie Zhu1 Shan Lu2

Source URL: people.cs.uchicago.edu

• Concurrency control
• Computing
• Computer programming
• Software engineering
• Synchronization
• Lock
• Readerswriter lock
• Race condition
• Monitor
• Critical section
• Debugging
• File locking

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

Computer Science Technical Report Toward a programmer-friendly formal specification of the UPC memory model by William Kuchera and Charles Wallace

Source URL: www.upc.mtu.edu

• Parallel computing
• Concurrent computing
• Computer memory
• Memory barrier
• Unified Parallel C
• Universal Product Code
• Thread
• Consistency model
• Synchronization
• Java concurrency
• Monitor