Understanding Eventual Consistency March 25, 2013 Technical Report MSR-TR

Source URL: software.imdea.org

• Transaction processing
• Data management
• Consistency model
• Eventual consistency
• Consistency
• Causal consistency
• Atomicity
• ACE
• Axiom
• Formalism
• Scalability
• Database

Type Inference For Atomicity Cormac Flanagan Department of Computer Science University of California, Santa Cruz Santa Cruz, CA 95064

Source URL: dept.cs.williams.edu

Low-Cost Solutions for Preventing Simple Side-Channel Analysis: Side-Channel Atomicity [Published in IEEE Transactions on Computers 53(6):760–768, Benoˆıt Chevallier-Mames1 , Mathieu Ciet2 , and Marc Joye1 1

Source URL: joye.site88.net

Transactional Memory with Strong Atomicity Using Off-the-Shelf Memory Protection Hardware Mart´ın Abadi⋆† Tim Harris⋆

Source URL: users.soe.ucsc.edu

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

ColorSafe: Architectural Support for Debugging and Dynamically Avoiding Multi-variable Atomicity Violations Brandon Lucia† Luis Ceze†

Source URL: homes.cs.washington.edu

• Concurrency control
• Data management
• Memory management
• Debugging
• Software bug
• C dynamic memory allocation
• Pointer
• CPU cache
• MySQL
• Computing
• Data
• Transaction processing

Atomicity and Visibility in Tiny Embedded Systems John Regehr Nathan Cooprider University of Utah, School of Computing {regehr, coop}@cs.utah.edu Abstract

Source URL: www.cs.utah.edu

• Compiler construction
• Concurrency control
• Programming language implementation
• Memory barrier
• TinyOS
• Volatile variable
• Memory model
• NesC
• Atom
• Computing
• Software engineering
• Computer memory

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

Software Transactional Memory Panacea or Pandora’s Box? Christos Kozyrakis Assistant Professor of EE & CS Stanford University

Source URL: csl.stanford.edu

• Data
• Information
• Transactional memory
• TM
• Software transactional memory
• Linearizability
• Parallel computing
• Lock
• Atomicity
• Transaction processing
• Concurrency control
• Data management

NoSQL Data Modeling Allen Wang March 18, 2015 BD02

Source URL: erwin.com

• Database management systems
• Relational database management systems
• NoSQL
• Atomicity
• Database
• CA ERwin Data Modeler
• Column
• SQL
• In-memory database
• Data management
• Data
• Information