Using nightly packages: 10.0.0-nightly.20260531.2. Commit Hash: edeedb2
I'm an engineer at Antithesis testing Microsoft Orleans's atomicity guarantee using a simplified bank test. We found an atomicity violation in Orleans 10.1.0 that was recently addressed by Orleans maintainers with PR #10123. We retested using nightly packages containing that merged PR, and we believe we have found a different atomicity violation.
This particular atomicity violation appears to occur when a silo is evicted and commits suicide while a transaction involving the silo is in progress. Please see these logs for an example.
atomicity_violation_10.0.0-nightly.20260531.2.log
Using nightly packages: 10.0.0-nightly.20260531.2. Commit Hash: edeedb2
I'm an engineer at Antithesis testing Microsoft Orleans's atomicity guarantee using a simplified bank test. We found an atomicity violation in Orleans 10.1.0 that was recently addressed by Orleans maintainers with PR #10123. We retested using nightly packages containing that merged PR, and we believe we have found a different atomicity violation.
This particular atomicity violation appears to occur when a silo is evicted and commits suicide while a transaction involving the silo is in progress. Please see these logs for an example.
atomicity_violation_10.0.0-nightly.20260531.2.log