NDLI: Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing

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

Selectors: Actors with Multiple Guarded Mailboxes

CAF - the C++ Actor Framework for Scalable and Resource-Efficient Applications

An Automatic Actors to Threads Mapping Technique for JVM-Based Actor Frameworks

Event-Based Analysis of Timed Rebeca Models using SQL

Efficient TCTL Model Checking Algorithm for Timed Actors

Savina - An Actor Benchmark Suite: Enabling Empirical Evaluation of Actor Libraries

Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing

Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures

Multiple Inheritance in AgentSpeak(L)-Style Programming Languages

From Actor Event-Loop to Agent Control-Loop: Impact on Programming

Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing

Content Provider	ACM Digital Library
Author	Kuang, Phillip Varela, Carlos A. Field, John
Abstract	The transactor model, an extension to the actor model, specifies an operational semantics to model concurrent systems with globally consistent distributed state. The semantics formalizes tracks dependencies among loosely coupled distributed components to ensure fault tolerance through a two-phase commit protocol and to issue rollbacks in the presence of failures or state inconsistency. In this paper, we introduce the design of a transactor language as an extension of an existing actor language and highlight the capabilities of this programming model. We developed our transactor language using SALSA, an actor language developed as a dialect of Java. We first develop a basic transactor SALSA/Java library, which implements the fundamental semantics of the transactor model following the operational semantics' transition rules. We then illustrate two example programs written using this library. Furthermore, we introduce a state storage abstraction known as the Uniform Storage Locator following the Universal Actor Name and Universal Actor Locator abstractions from SALSA that uses a storage service to maintain checkpointed transactor states. The transactor model guarantees safety but not progress. Therefore, to help develop realistic transactor programs that make progress, we introduce the Consistent Distributed State Protocol and Ping Director that improve upon the Universal Checkpointing Protocol to aid transactor programs in reaching globally consistent distributed states.
Starting Page	81
Ending Page	93
Page Count	13
File Format	PDF
ISBN	9781450321891
DOI	10.1145/2687357.2687364
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-10-20
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Salsa Actor Distributed state Transactor
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