Hacker News
Favorites
Setup
☰
Home
Favorites
Setup
Comment by mrkn1 |
original
|
Deterministic Simulation Testing in Celld
[−]
mrkn1
· 2026-10-11 Sun 10:36 UTC ·
link
fave
> once celld has confirmed they're no longer needed
Isn't that the same check then act race in a new spot, and is it covered by an invariant?
Isn't that the same check then act race in a new spot, and is it covered by an invariant?