Lightweight checkpointing for concurrent ML

DOI10.1017/S0956796810000067zbMATH Open1214.68122MaRDI QIDQ3564920FDOQ3564920

Authors: Lukasz Ziarek, Suresh Jagannathan 

Publication date: 26 May 2010

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

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

zbMATH Keywords

stabilizerstransient faults

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Virtual-machine-based heterogeneous checkpointing
• Title not available (Why is that?)
• Controlling Reversibility in Higher-Order Pi
• Causal-consistent rollback in a tuple-based language
• Static typing for a faulty lambda calculus

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)