Re: SMP assert failure in kern/vas.c

Warren Toomey wrote:
> Hi, I'm back after quite a while. My student Gabriel finished his
> project on adding SMP to VSTa. It's mostly done but there are a few
> asserts left. Right now I'm working on [an] assert failure in
> vas.c:detach_pview()...

Actually I'm starting to suspect exec() or do_exit() as the root cause
of the problem. The assert failure in detach_pview() isn't the only
problem: we also see spurious M_DISCONNECT messages being sent to boot
servers.

Both shut_client() and detach_pview() get called indirectly from exec()
and do_exit(), and I'm only seeing the detach_pview() assert failure on
a path from do_exit().

Andy, could there be a race condition somewhere in do_exit()? Is the
NO_PREEMPT() sufficient for SMP, or do we need to do something else here
like replace it with p_lock_void(&runq_lock, SPLHI)?

        Warren
Received on Sun, 30 May 2004 17:31:02 +1000