Date: Wed, 07 Feb 96 08:27:32 -0600 From: swise@austin.ibm.com (Jean-Steveau Wise) To: joerg_wunsch@uriah.heep.sax.de (Joerg Wunsch) Cc: freebsd-hackers@freebsd.org, swise@austin.ibm.com Subject: Re: assertions Message-ID: <9602071427.AA17662@vikings.austin.ibm.com> In-Reply-To: (Your message of Wed, 07 Feb 96 09:07:43 N.) <199602070807.JAA04661@uriah.heep.sax.de>
next in thread | previous in thread | raw e-mail | index | archive | help
j@uriah.heep.sax.de says: | As Jean-Steveau Wise wrote: | > | > I want to put assertions into the ATAPI driver code and the kernel to | > assert that the ATAPI code doesn't leave a system call or interrupt | > with interrupts disabled. Can anyone help me code this assertion? My | | It doesn't look that it would completely disable interrupts, from a | quick glance over the code. One oddity that caught my eye: | wcd_strategy() finally calls wcd_start(), still at splbio. | wcd_start() in turn branches to atapi_request_wait(), which is | enbracketed in a pair of splbio/splx. I wouldn't expect this to hang | the system, but it looks strange. spl's can be recursive, I think, as long as you keep saving the old value returned from the spl*() calls and restore things correctly... | Have you turned on the atapi debug information? It seems to print | lotsa stuff with debug on. Yes, and it does print lot's o' stuff. It seems to get an interrupt, then print out the interrupt type and other junk. The info printed all seems ok from a non-atapi-literate person's point of view. Then it just hangs. I cannot tell whether I'm dealing with a software hang or a hardware hang. I'll keep hackin' Thanx, Stevo.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?9602071427.AA17662>