4 ms·
Unless you lose state between step 2 and 3.
by LeonM 10y ago
Unless you lose state between step 2 and 3.
- Scaevolus 10y agoThen you're left with a pill on your keyboard and no email, so presumably you're supposed to take it. If you discover a pill on your keyboard and an email, you should delete the email and take the pill. I think this ensures at-most-once pharmaceutical delivery, but I haven't investigated formal proofs of Bicameral Generals with memory loss.
- stickfigure 10y agoThis can be addressed with a two pill commit protocol.
- cperciva 10y agoThis is a two-phase commit protocol already. Placing the pill on my laptop constitutes logging the transaction, so that it is guaranteed to be completed even though it hasn't taken place yet.
- Ezhik 10y agoHow can we make the pill transaction atomic?