NDLI: Seeing is Believing: A Client-Centric Specification of Database Isolation

Please wait, while we are loading the content...

Some Sequential Algorithms are Almost Always Parallel

Exploiting Spontaneous Transmissions for Broadcasting and Leader Election in Radio Networks

Analyzing Contention and Backoff in Asynchronous Shared Memory

LCL Problems on Grids

Blockchains and the Future of Distributed Computing

A Simple Deterministic Distributed MST Algorithm, with Near-Optimal Time and Message Complexities

Recoverable Mutual Exclusion in Sub-logarithmic Time

Effectiveness of Delaying Timestamp Computation

Verifiable Outsourced Computation: A Survey

FruitChains: A Fair Blockchain

Greedy Routing and the Algorithmic Small-World Phenomenon

Towards Efficient Verification of Population Protocols

The Space Requirement of Local Forwarding on Acyclic Networks

A Layered Architecture for Erasure-Coded Consistent Distributed Storage

On the Multiparty Communication Complexity of Testing Triangle-Freeness

Distributed Approximation of Maximum Independent Set and Maximum Matching

Randomized Abortable Mutual Exclusion with Constant Amortized RMR Complexity on the CC Model

Symmetry Breaking with Noisy Processes

Coordination Without Prior Agreement

Triangle Finding and Listing in CONGEST Networks

Clocked Population Protocols

Communication Primitives in Cognitive Radio Networks

Seeing is Believing: A Client-Centric Specification of Database Isolation

What Can be Sampled Locally?

Deterministic Distributed (Delta + o(Delta))-Edge-Coloring, and Vertex-Coloring of Graphs with Bounded Diversity

Transactional Lock Elision Meets Combining

The Power of Choice in Priority Scheduling

Ignore or Comply?: On Breaking Symmetry in Consensus

Asynchronous Shared Channel

A Distributed Learning Dynamics in Social Groups

Broadcasting in Noisy Radio Networks

Space Complexity of Fault-Tolerant Register Emulations

Distributed MST and Routing in Almost Mixing Time

Optimal Distance Labeling Schemes for Trees

On Using Time Without Clocks via Zigzag Causality

A Template for Implementing Fast Lock-free Trees Using HTM

Life Beyond Set Agreement

Self-organized Segregation on the Grid

Brief Announcement: Population Protocols for Leader Election and Exact Majority with $O(log^{2}$ n) States and $O(log^{2}$ n) Convergence Time

Gossip in a Smartphone Peer-to-Peer Network

Brief Announcement: Readers of Wait-Free Unbounded Registers Must Write

Distributed MIS via All-to-All Communication

Brief Announcement: How Large is your Graph?

Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures

Adding Concurrency to Smart Contracts

Brief Announcement: Hierarchical Consensus

Brief Announcement: Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks

Brief Announcement: Byzantine-Tolerant Machine Learning

Brief Announcement: Fast Shared Counting using (O(n)) Compare-and-Swap Registers

Brief Announcement: Optimal Address-Oblivious Epidemic Dissemination

Brief Announcement: Distributed Approximation for Tree Augmentation

Brief Announcement: Gossiping with Latencies

Brief Announcement: Statement Voting and Liquid Democracy

Brief Announcement: Secure Self-Stabilizing Computation

Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret

Brief Announcement: Fence Insertion for Straight-line Programs is in P

Brief Announcement: Leader Election in SINR Model with Arbitrary Power Control

Brief Announcement: A Probabilistic Performance Model and Tuning Framework for Eventually Consistent Distributed Storage Systems

Brief Announcement: Rapid Asynchronous Plurality Consensus

Stateless Computation

Brief Announcement: Symmetry Breaking in the CONGEST Model: Time- and Message-Efficient Algorithms for Ruling Sets

Brief Announcement: Object Oriented Consensus

Seeing is Believing: A Client-Centric Specification of Database Isolation

Content Provider	ACM Digital Library
Author	Pu, Youer Clement, Allen Crooks, Natacha Alvisi, Lorenzo
Abstract	This paper introduces the first state-based formalization of isolation guarantees. Our approach is premised on a simple observation: applications view storage systems as black-boxes that transition through a series of states, a subset of which are observed by applications. Defining isolation guarantees in terms of these states frees definitions from implementation-specific assumptions. It makes immediately clear what anomalies, if any, applications can expect to observe, thus bridging the gap that exists today between how isolation guarantees are defined and how they are perceived. The clarity that results from definitions based on client-observable states brings forth several benefits. First, it allows us to easily compare the guarantees of distinct, but semantically close, isolation guarantees. We find that several well-known guarantees, previously thought to be distinct, are in fact equivalent, and that many previously incomparable flavors of snapshot isolation can be organized in a clean hierarchy. Second, freeing definitions from implementation-specific artefacts can suggest more efficient implementations of the same isolation guarantee. We show how a client-centric implementation of parallel snapshot isolation can be more resilient to slowdown cascades, a common phenomenon in large-scale datacenters.
Starting Page	73
Ending Page	82
Page Count	10
File Format	PDF
ISBN	9781450349925
DOI	10.1145/3087801.3087802
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2017-07-25
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Eventual consistency Transactions Acid Distributed systems Cloud storage Consistency Database Isolation Concurrency control Serializability Weak consistency Distributed storage
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Client-centric benchmarking of eventual consistency for cloud storage systems

Client-centric Benchmarking of Eventual Consistency for Cloud Storage Systems

Client-centric Benchmarking of Eventual Consistency for Cloud Storage Systems

Client-Centric Benchmarking of Eventual Consistency for Cloud Storage Systems

Allocating isolation levels to transactions

Making snapshot isolation serializable

Improving scalability by self-archiving

Consistency and Serializability in Concurrent Database Systems

TARDiS: A Branch-and-Merge Approach To Weak Consistency

Seeing is Believing: A Client-Centric Specification of Database Isolation

Similar Documents

Client-centric benchmarking of eventual consistency for cloud storage systems

Client-centric Benchmarking of Eventual Consistency for Cloud Storage Systems

Client-centric Benchmarking of Eventual Consistency for Cloud Storage Systems

Client-Centric Benchmarking of Eventual Consistency for Cloud Storage Systems

Allocating isolation levels to transactions

Making snapshot isolation serializable

Improving scalability by self-archiving

Consistency and Serializability in Concurrent Database Systems

TARDiS: A Branch-and-Merge Approach To Weak Consistency

Seeing is Believing: A Client-Centric Specification of Database Isolation