[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
The following reply was made to PR kern/44240; it has been noted by GNATS.
From: Antti Kantee <pooka%cs.hut.fi@localhost>
Subject: Re: kern/44240
Date: Thu, 16 Dec 2010 11:41:05 +0200
All server waiters should be released in puffs_userdead() which is called
from puffs_msgif_close() before dounmount().
I'm quite quite sure "server dies in write" used to work correctly when
I was developing puffs-based file systems. Maybe there's some error
branch which doesn't release busy pages or some biodone() is missed?
älä karot toivorikkauttas, kyl rätei ja lumpui piisaa
Main Index |
Thread Index |