There is one problem remaining in ReliableLog.update that was
not fixed in 4489276:

The 4-byte update lengths are not guaranteed to be fully contained within a disk block (there is no padding between records). If one happens to span a block boundary, a crash could result in some bytes written and some not.