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)

Full work available at URL https://doi.org/10.1017/S0956796810000067

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

(6)

• Controlling Reversibility in Higher-Order Pi
• scientific article; zbMATH DE number 1129899 (Why is no real title available?)
• scientific article; zbMATH DE number 2040565 (Why is no real title available?)
• Virtual-machine-based heterogeneous checkpointing
• 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)