3 ms·
Pretty much no software, even when run deterministically, is bijective. There are almost always cases where two different states map to the same state. How doe
by nynx 2y ago
Pretty much no software, even when run deterministically, is bijective. There are almost always cases where two different states map to the same state.
How does this tooling deal with that?
- wwilson 2y agoThis makes the mapping "injective": https://antithesis.com/blog/deterministic_hypervisor/ https://antithesis.com/blog/deterministic_hypervisor/ The "onto" direction doesn't really matter.
- nynx 2y agoHow can it reverse time? Does it record a stack of every decision point?
- intuitionist 2y agoYou don’t need to reverse time if you can deterministically reproduce everything that led up to the point of interest. (In practice we save a snapshot of your system at some intermediate point and replay from there.)
- deleted 2y ago[deleted]