问几个行为
1. pinPage 时, bufPool 已满, 需要找 frame replace, 但找到的 frame 为 dirty,
且在 flush 该 page 时候 fail, 这时应该?
a. 立刻 fail pinPage
b. 尝试找另一个来 replace, 若都没有才 fail pinPage
c. 其他...?
2. 类似上面, 当 flushAllPages 或 ~BufMgr 时, 遇到一个 page flush fail,
这时应该?
a. 立刻 fail flushAllPages; ~BufMgr 时装死
b. 也尝试写回其他 pages. 能 return fail 就 return
c. 其他...?
谢谢助教