System R:

- Does recovery work if crash during log write?

- What property must the system checkpoint operation guarantee? Atomicity? Consistency?
  How does System R guarantee it?

Cedar FS:

- Why doesn't FSD log data writes?
- Why is FSD faster than CFS? e.g. Table 3, why does FSD do 1/6th as many I/Os for small creates?