CS 260r 2017 L11: Crash Hoare Logic (FSCQ) (3/1)
Consider the “log_commit()” pseudocode in Figure 14. The correctness proof would not go through if any of the disk_sync() calls were removed. Roughly speaking, how would the proof of atomic_two_write() fail if the second call to disk_sync() were removed?
Never submit passwords through Google Forms.
This form was created inside of Google Apps for Harvard.
Terms of Service