3 ms·
Lamport & Chandy, right?
by jeffreygoesto 21d ago
Lamport & Chandy, right?
- hypervs 20d agoRelated, 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 16d 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
- genxy 16d agohttps://en.wikipedia.org/wiki/Chandy%E2%80%93Lamport_algorithm https://en.wikipedia.org/wiki/Chandy%E2%80%93Lamport_algorit... https://lamport.azurewebsites.net/pubs/chandy.pdf https://lamport.azurewebsites.net/pubs/chandy.pdf