Expand description
The deterministic execution environment.
Runs a set of processes in one thread with a virtual clock and a seeded generator. It is the fair-loss link layer: messages may be lost, duplicated, delayed and reordered, and the protocols above are responsible for recovering from that.
Structsยง
- Sim
- A deterministic run of
Pacross several processes.