"Qingqing Zhou" <zhouqq(at)cs(dot)toronto(dot)edu> writes:
> What I did include:
> make ReadPage(+empty_page) treat different of an empty page and non-empty
> one to avoid unnecesary read for new pages, that is:
In other words, if FSM is wrong you will overwrite valid data? No
thanks ... this is guaranteed to fail under simple concurrent usage,
let alone any more interesting scenarios like FSM being actually out of
date.
regards, tom lane