Date: Mon, 24 Sep 2001 12:33:49 -0700 (PDT) From: John Baldwin <jhb@FreeBSD.org> To: "David E. O'Brien" <obrien@FreeBSD.org> Cc: cvs-all@FreeBSD.org, cvs-committers@FreeBSD.org Subject: RE: cvs commit: src/sys/alpha/conf GENERIC src/sys/i386/conf GEN Message-ID: <XFMail.010924123349.jhb@FreeBSD.org> In-Reply-To: <200109240323.f8O3Nmf69956@freefall.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
On 24-Sep-01 David E. O'Brien wrote: > obrien 2001/09/23 20:23:48 PDT > > Modified files: > sys/alpha/conf GENERIC > sys/i386/conf GENERIC > sys/ia64/conf GENERIC > sys/pc98/conf GENERIC > sys/sparc64/conf GENERIC > Log: > + Fix misplacement of `txp' > + Document our -CURRENT debugging bits 1) The comments wrap beyongd 80 cols which is not very aesthetic :) They also don't have a space after the # character. 2) INVARIANT_SUPPORT does not enable any extra checks, it just provides support code that sanity checks may call (such as the _mtx_assert() function that backs mtx_assert()). 3) WITNESS is not mutex checks, it is checks for locks in general. It's true that lockmgr doesn't yet call witness, but that might be done in the future, and sx locks already use WITNESS as well. 4) Witness does not detect deadlocks. I've thought about adding a check to priority_propagation() to detect some deadlocks but haven't done that yet. All Witness does is maintain a tree of lock order relationships and report violations of those relationships which could potentially lead to a deadlock. -- John Baldwin <jhb@FreeBSD.org> -- http://www.FreeBSD.org/~jhb/ PGP Key: http://www.baldwin.cx/~john/pgpkey.asc "Power Users Use the Power to Serve!" - http://www.FreeBSD.org/ To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe cvs-all" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?XFMail.010924123349.jhb>