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

Source URL: courses.cs.vt.edu

Safe Nondeterminism in a Deterministic-by-Default Parallel Language Robert L. Bocchino Jr.1 Stephen Heumann2 Nima Honarmand2 Sarita V. Adve2

Source URL: www.adamwelc.org

• Software engineering
• Computing
• Computer programming
• Concurrency control
• Transaction processing
• Complexity classes
• Java
• Functional languages
• Deterministic Parallel Java
• Determinism
• Deterministic algorithm
• Linearizability

NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems Haris Volos1 , Adam Welc2 , Ali-Reza Adl-Tabatabai2 , Tatiana Shpeisman2 , Xinmin Tian2 , and Ravi Narayanaswamy2 1

Source URL: www.adamwelc.org

• Computing
• Concurrent computing
• Concurrency control
• Transaction processing
• Computer programming
• Parallel computing
• Databases
• Concurrent programming languages
• OpenMP
• Software transactional memory
• Linearizability
• Lock

Kicking the Tires of Software Transactional Memory: Why the Going Gets Tough Richard M. Yoo† Bratin Saha‡

Source URL: www.adamwelc.org

• Concurrency control
• Transaction processing
• Software transactional memory
• Transactional memory
• Lock
• Linearizability
• Parallel computing
• Monitor
• Non-blocking algorithm

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

PDF Document

Source URL: www.adamwelc.org

• Computing
• Transaction processing
• Concurrency control
• Data management
• Software
• Transactional memory
• Software transactional memory
• Lock
• Linearizability
• Synchronization
• Mutual exclusion
• Isolation

Replication, fault tolerance, and load balancing George Porter CSE 124 Mar 3, 2015

Source URL: cseweb.ucsd.edu

• Data
• Information
• Databases
• Lock
• Serializability
• Isolation
• Linearizability
• ACID
• Commitment ordering
• Transaction processing
• Concurrency control
• Data management

Administrivia • Please say your name if you answer a question today • If we don’t have a photo of you yet, stay after class • If you didn’t get test email, let us know – p. 1/20

Source URL: www.scs.stanford.edu

• Computer memory
• Concurrency control
• Linearizability
• Data
• Sequential consistency
• Parallel computing
• Consistency model
• Circular buffer
• Write
• Transaction processing
• Computing
• Computer architecture

A Case for System Support for Concurrency Exceptions Luis Ceze, Joseph Devietti, Brandon Lucia and Shaz Qadeer† University of Washington {luisceze, devietti, blucia0a}@cs.washington.edu Abstract

Source URL: homes.cs.washington.edu

• Data management
• Data
• Linearizability
• Lock
• Transactional memory
• Parallel computing
• Atomicity
• Serializability
• Exception handling
• Computing
• Concurrency control
• Transaction processing