> Transparent Continuation Checkpointing in a JIT those "compiler-defined durable boundaries" are called "safepoints" and they are inserted so that threads can

> 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