[EROS-Arch] Destroying domains

[Joerg Bornschein]

On Fri, Mar 02, 2001 at 06:02:10PM -0500, Jonathan S. Shapiro wrote:

> > When the spacbank calls range_getobjectkey to rescind a frame,
> >  http://www.eros-os.org/eros-src/sys/key/pk_RangeKey.cxx#249
> > gets executed. But Checkpoint::RetagFrame may zap PTE, so
> > assert(inv.CanCommit()) [pk_RangeKey.cxx#254] does not always hold.
> 
> I suspect you are right. Have you actually managed to trigger a panic
> here?

Yes, please try http://www.zilium.de/joerg/zeuch/apptest.tar.gz

> > The deleted domain still occupies a thread and DoReschedule() notices
> > the domain root has been rescinded. To my understanding this is a normal
> > flow of control and shouldn't be handled by MsgLog::fatal().
> > 
> > Or is there some kind of dependency logic which should delete the thread
> > much earlier?
> 
> I think this is true. I'll check on this as well and let you know.

I replaced MsgLog::fatal with MsgLog::printf and did some stress testing.
It looked good, no probelems so far. 

  joerg