Re: PUFFS putpages/read race?

[manu%netbsd.org@localhost (Emmanuel Dreyfus)]

Thor Lancelot Simon <tls%panix.com@localhost> wrote:

> If, nonetheless, the user processs returns inconsistent data for a
> subsequent read, that is a bug.  In the user process, I would say.
> The user process *must* preserve ordering of reads and writes to the
> same underlying resource.

But the filesystem may rely of vnode locking: VOP_READ and VOP_WRITE are
supposed to operate on locked vnodes. If the kernel starts an operation
and releases the lock before completion, can we blame the filesystem for
breaking?

-- 
Emmanuel Dreyfus
http://hcpnet.free.fr/pubz
manu%netbsd.org@localhost