If hardware fails, should prevent read-only events from committing, right? I don't think the current code does this. In particular, consider try_promote_speculated method (section around sf.is_read_only) and first_phase_commit method (around complete_commit) call of SpeculativeAtomicObject.java.
If hardware fails, should prevent read-only events from committing, right? I don't think the current code does this. In particular, consider try_promote_speculated method (section around sf.is_read_only) and first_phase_commit method (around complete_commit) call of SpeculativeAtomicObject.java.