SPECIAL SECTION DISTRIBUTED PROGRAMMING IN ARGU!S Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with

Source URL: css.csail.mit.edu

• Transaction processing
• Concurrency control
• Data management
• Databases
• Unix signal
• Lock
• Linearizability
• Hash table
• File locking
• Serializability
• Monitor
• Two-phase commit protocol

Transactional storage for geo-replicated systems Yair Sovran∗ ∗ Russell Power∗

Source URL: www.cs.cornell.edu

• Transaction processing
• Data management
• Concurrency control
• Databases
• Multiversion concurrency control
• Snapshot isolation
• Isolation
• Schedule
• Commitment ordering
• Serializability
• Database transaction
• ACID

Analysing Snapshot Isolation Andrea Cerone Alexey Gotsman IMDEA Software Institute

Source URL: software.imdea.org

• Transaction processing
• Data management
• Concurrency control
• Databases
• Commitment ordering
• Schedule
• Serializability
• ACID
• Snapshot isolation
• Multiversion concurrency control
• Isolation
• Dependency graph

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL. 11, NO. 6, NOVEMBERIDECEMBERData Consistency in Intermittently Connected Distributed Systems

Source URL: www.cs.uoi.gr

• Transaction processing
• Data management
• Concurrency control
• Serializability
• Schedule
• Database transaction
• Quorum
• Extensible Storage Engine
• Consistency
• Data consistency
• Replication
• Weak consistency

Fast In-memory Transaction Processing using RDMA and HTM Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen Shanghai Key Laboratory of Scalable Computing and Systems Institute of Parallel and Distributed Systems,

Source URL: ipads.se.sjtu.edu.cn

• Computing
• Transaction processing
• Data management
• Concurrency control
• Software
• Databases
• Remote direct memory access
• Software transactional memory
• Serializability
• Two-phase locking
• Isolation
• Extensible Storage Engine

Using Restricted Transactional Memory to Build a Scalable In-Memory Database Zhaoguo Wang†, Hao Qian‡, Jinyang Li§, Haibo Chen‡ † School of Computer Science, Fudan University ‡ Institute of Parallel and Distri

Source URL: ipads.se.sjtu.edu.cn

• Transaction processing
• Concurrency control
• Data management
• Databases
• Software transactional memory
• Database transaction
• Serializability
• Extensible Storage Engine
• Linearizability
• Transactional memory
• Optimistic concurrency control
• Atomicity

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

Transaction chains: achieving serializability with low latency in geo-distributed storage systems Yang Zhang∗ , Russell Power∗ , Siyuan Zhou∗ , Yair Sovran∗ , Marcos K. Aguilera‡ , Jinyang Li∗ ∗ New York Un

Source URL: css.csail.mit.edu

LNCSTransactional Monitors for Concurrent Objects

Source URL: www.adamwelc.org

• Computing
• Transaction processing
• Concurrency control
• Data management
• Software
• Databases
• Edsger W. Dijkstra
• Monitor
• Synchronization
• Concurrent computing
• Serializability
• Thread

Be General and Don’t Give Up Consistency in Geo-Replicated Transactional Systems Alexandru Turcu, Sebastiano Peluso, Roberto Palmieri and Binoy Ravindran Virginia Tech {talex;peluso;robertop;binoy}@vt.edu

Source URL: www.hyflow.org

• Computing
• Transaction processing
• Data management
• Data
• Concurrency control
• Databases
• Fault-tolerant computer systems
• Serializability
• Consensus
• Software transactional memory
• Schedule
• Scalability