The design of a practical system for fault-tolerant virtual machines 阅读笔记