NDLI: Making weak consistency great again

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

Towards property-based consistency verification

The CISE tool: proving weakly-consistent applications correct

Serializable eventual consistency: consistency through object method replay

PhysiCS-NMSI: efficient consistent snapshots for scalable snapshot isolation

Big(ger) sets: decomposed delta CRDT sets in Riak

Coordinating distributed system configuration changes with humming consensus

Making weak consistency great again

Weak consistency and stochastic environments: harmonization of replicated machine learning models

Eventually consistent register revisited

The problem with embedded CRDT counters and a solution

Decoupling conflict resolution with CDVCS

Δ-CRDTs: making Δ-CRDTs delta-based

Highly-scalable concurrent objects

Making weak consistency great again

Content Provider	ACM Digital Library
Author	Rodrigues, Rodrigo Balegas, Valter Duarte, Sérgio Preguiça, Nuno Ferreira, Carla
Abstract	This paper focuses on the problem of implementing web applications on top of weakly consistent geo-replicated systems. Several techniques, such as CRDTs, have been proposed to achieve state convergence on a per-object and per-data type basis. However, that does not guarantee application correctness, as convergence rules applied individually at each object may lead to an invalid state. We advocate that it is possible to address these problems and implement correct applications under weak consistency. To that end, it is necessary to combine CRDTs with novel semantics, judiciously select the CRDTs that are used by applications, and transform application operations to guarantee that convergence rules, applied on a per-object basis, always lead to valid application states. Achieving this is complex and requires tools to help programmers tame the complexity of programming on top of weak consistency and make the technology more accessible. In the presentation of this work we make a demonstration of a prototype tool that is capable of detecting concurrency conflicts on applications and propose transformations to make them conflict-free.
Starting Page	1
Ending Page	3
Page Count	3
File Format	PDF
ISBN	9781450342964
DOI	10.1145/2911151.2911167
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2016-04-18
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Geo-replication Weak consistency Crdt
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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