4 ms·
Related, yes, although the current prototype is narrower. Chandy-Lamport captures a consistent global state across communicating processes whereas TCC checkpoin
by hypervs 13d ago
Related, yes, although the current prototype is narrower. Chandy-Lamport captures a consistent global state across communicating processes whereas TCC checkpoints program continuations at compiler-defined durable boundaries.
- genxy 9d ago> Transparent Continuation Checkpointing in a JIT those "compiler-defined durable boundaries" are called "safepoints" and they are inserted so that threads can be suspended so cross cutting concerns can be applied (GC, deoptimization) You might look into "Choreographic Programming" https://en.wikipedia.org/wiki/Choreographic_programming https://en.wikipedia.org/wiki/Choreographic_programming