Re: An assortment of module inc/dec races

[Rui Sousa]

Dawson Engler wrote:
> 
> Hi,
> 
> we have a g++ extension that checks that linux module code follows the
> three rules laid out by Tim & Rusty w.r.t. MOD_INC/MOD_DEC:
> 
>         1. cannot call a sleep function before MOD_INC
>         2. cannot call a sleep function after MOD_DEC
>         3. if you return with an error after MOD_INC, must do a MOD_DEC
> 

I believe this isn't useful anymore since all of the MOD_INC/DEC instances
were removed and module usage count is now handled by the vfs layer.

2.2 can probably still benefit from such an analysis...

Rui Sousa