Date: Fri, 10 Sep 2004 17:11:50 -0400 (EDT) From: Andrew Gallatin <gallatin@cs.duke.edu> To: John Baldwin <jhb@FreeBSD.org> Cc: freebsd-current@FreeBSD.org Subject: Re: witness oddity Message-ID: <16706.6294.966077.389173@grasshopper.cs.duke.edu> In-Reply-To: <200409101629.32653.jhb@FreeBSD.org> References: <16705.57806.550902.483858@grasshopper.cs.duke.edu> <200409101450.47478.jhb@FreeBSD.org> <16706.309.398789.905433@grasshopper.cs.duke.edu> <200409101629.32653.jhb@FreeBSD.org>
next in thread | previous in thread | raw e-mail | index | archive | help
John Baldwin writes: > > > > Does witness know at the time that it emits the warning that its a > > "class" type of reversal, rather than a reversal based on previous > > observations? If so, would it be possible to emit a warning saying > > something like "Holding a sleep mutex while acquiring an sx lock is > > probited by law" (maybe add " violators will be shot" for grins ;) > > That's a possibility yes. > Thanks... I think that might be helpful.. Drew
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?16706.6294.966077.389173>