Manuel Bouyer <bouyer%antioche.eu.org@localhost> writes: > On Thu, Apr 10, 2014 at 03:32:29PM -0400, Greg Troxel wrote: >> >> That looks plausibly correct. >> >> Two thoughts: >> >> Have you run with LOCKDEBUG? We have found that netbsd-6 can run >> with LOCKDEBUG and stay up, only about a 2x speed penalty. > > No, I've not tried this. Indeed LOCKDEBUG causes more serialization so it > could hide this kind of problem. Perhaps, but the system not crashing with LOCKDEBUG is an important property to maintain. So I personally would not commit this without a LOCKDEBUG run.
Description: PGP signature