Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 28 Sep 2004 11:43:51 -0400
From:      John Baldwin <jhb@FreeBSD.org>
To:        Evren Yurtesen <yurtesen@ispro.net.tr>
Cc:        Robert Watson <rwatson@FreeBSD.org>
Subject:   Re: ? witness_get: witness exhausted ? Re(4): panic: sorele
Message-ID:  <200409281143.51853.jhb@FreeBSD.org>
In-Reply-To: <4159467F.7010202@ispro.net.tr>
References:  <Pine.NEB.3.96L.1040924134957.82478H-100000@fledge.watson.org> <200409271628.02524.jhb@FreeBSD.org> <4159467F.7010202@ispro.net.tr>

next in thread | previous in thread | raw e-mail | index | archive | help
On Tuesday 28 September 2004 07:09 am, Evren Yurtesen wrote:
> John Baldwin wrote:
> > On Monday 27 September 2004 09:34 pm, Evren Yurtesen wrote:
> >>Robert Watson wrote:
> >>>On Thu, 23 Sep 2004, Evren Yurtesen wrote:
> >>>>Does anybody know what is panic: sorele? :)
> >>>
> >>>It's the result of an inconsistency detected by the kernel regarding
> >>>kernel invariants for sockets.  The somewhat uninformative nature of the
> >>>message is historical, and should probably be fixed.  If this is
> >>>reproduceable, could you rebuild your kernel with INVARIANTS support, as
> >>>well as DDB so you can generate a stack trace and other debugging
> >>>information (or, if you have a core, could you use gdb to extract
> >>>debugging information per the Handbook?)
> >>
> >>I am not able to compile the kernel with DDB and INVARIANTS either...
> >>When I put these options to kernel conf, I get this error
> >>
> >>Options Added:
> >>
> >>options         INVARIANTS
> >>options         KDB
> >>options         DDB
> >
> > INVARIANTS requires the option 'INVARIANT_SUPPORT'.
>
> Well, now I could compile the kernel with invariants etc. but I get this
> error at boot time.
>
> witness_get: witness exhausted
>
> What does this mean now? :) I read from archives that it means that some
> buffers are exhausted that it doesnt do lock order checking anymore, but
> why would it give that error at boot time?

Because it exhausts the buffer at boot time. :)  I probably need to up the 
default size of the buffer.

-- 
John Baldwin <jhb@FreeBSD.org>  <><  http://www.FreeBSD.org/~jhb/
"Power Users Use the Power to Serve"  =  http://www.FreeBSD.org



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200409281143.51853.jhb>