Optimizations
Work hard to make operations idempotent
if txn3 is sending a receipt, label it by the serial number of the request, so it can be sent twice
Log device state as part of Dequeue operation (saves an I/O)
Previous slide
Next slide
Back to first slide
View graphic version