Lightweight checkpointing for concurrent ML

DOI10.1017/S0956796810000067MaRDI QIDQ3564920zbMATH OpenFDO

Authors Lukasz Ziarek, Suresh Jagannathan

Publication date 26 May 2010

Published in Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

stabilizerstransient faults

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Virtual-machine-based heterogeneous checkpointing
• Languages and Compilers for Parallel Computing
• scientific article; zbMATH DE number 1129899
• Global checkpointing for a concurrent processing system
• Checkpointing and Rollback-Recovery for Distributed Systems

Cites work

• Partial memoization of concurrency and communication
• Transactional events
• Transactional events for ML

Cited in

(5)

• Virtual-machine-based heterogeneous checkpointing
• scientific article; zbMATH DE number 2040565 (Why is no real title available?)
• Controlling Reversibility in Higher-Order Pi
• Causal-consistent rollback in a tuple-based language
• Static typing for a faulty lambda calculus

Describes a project that uses

Uses Software

• MLton

This page was built for publication: Lightweight checkpointing for concurrent ML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3564920)