問幾個行為
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. 其他...?
謝謝助教