Re: [RFC] Raceless module interface

[Daniel Phillips]

On Friday 13 September 2002 17:27, Thunder from the hill wrote:
> > This applies equally to the two-prong interface.  Do you see the pattern
> > yet?
> 
> Yes, but you don't seem to. (No, I don't want to insult you here.)
> 
> Just to draw that:
> 
> 2p:
> 
> thread1						thread2
> struct x *y = malloc(sizeof(struct x));
> check y;
> blah();						cleanup(y et al);
> touch y->blah; /* bang */

This can't happen because a semaphore serializes the load and unload.
(Currently, module.c uses lock_kernel, which is obviously inadequate.)

-- 
Daniel