Robert Haas <robertmhaas@gmail.com> writes:
> On Fri, Jul 26, 2013 at 8:27 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> would you expect crash recovery to notice the disappearance of a file
>> that was touched nowhere in the replayed actions?
> Eh, maybe not. But should we try harder to detect the unexpected
> disappearance of one that is?
We do, don't we? The replay stuff should complain unless it sees a drop
or truncate covering any unaccounted-for pages.
regards, tom lane