Re: [RFC] Raceless module interface

From: Daniel Phillips (phillips@arcor.de)
Date: Fri Sep 13 2002 - 10:37:19 EST


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
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Sun Sep 15 2002 - 22:00:33 EST