ReViveI/O: efficient handling of I/O in highly-available rollback-recovery servers