On Tue, 2007-07-17 at 11:39 -0700, Jeremy Katz wrote:
> I tried the patch with my test case, but still see the issue.
> Here's my explanation of the double free race:
> CPU 0                                 CPU 1
> sys_timer_delete():
>       lock_timer();
>       ...
>       unlock_timer();                 itimer_delete()
>       release_posix_timer():                  spin_lock_irqsave(timer...)
>               ...                             ...
>               sigqueue_free()                 unlock_timer()
>               ...                             sigqueue_free()
>                                                       BUG_ON(!(q->flags...

With 2.6.14 or with current mainline ?

I doubt that this can happen, as itimer_delete() is only called, when
there are no more references to the shared sig struct. At this point no
other related thread can run sys_timer_delete(). 

If this happens, then something else is completely broken.

> the timer fires during deletion:
> CPU 0                                 CPU 1
> sys_timer_delete():
>       lock_timer();
>       ...
>       unlock_timer();                 posix_timer_fn()
>       release_posix_timer():                  spin_lock_irqsave(timer...)
>               ...                             ...
>               sigqueue_free()                 posix_timer_event()
>               ...                                     ...
>                                                       send_sigqueue()
>                                                               
> BUG_ON(!(q->flags
> 

I do not buy that either. In sys_timer_delete() the active timer is
canceled. If we can not cancel it then we retry until the timer callback
has been processed. This is even true for 2.6.14 (pre hrtimer).

> --- linux-2.6.14-cgl.original/kernel/posix-timers.c   2007-07-11 
> 16:06:47.000000000 -0700
> +++ linux-2.6.14-cgl/kernel/posix-timers.c    2007-07-16 15:25:43.000000000 
> -0700
> @@ -339,7 +339,9 @@ static int posix_timer_fn(void *data)
>       int si_private = 0;
>       int ret = HRTIMER_NORESTART;
> 
> -     spin_lock_irqsave(&timr->it_lock, flags);
> +     if(lock_timer(timr->it_id, &flags) == NULL) {
> +             return ret;
> +     }

This is wrong. You look at something which is not valid anymore, if your
theory is correct. You are just pampering over the real bug.

> @@ -835,7 +844,9 @@ static inline void itimer_delete(struct
>       unsigned long flags;
> 
>   retry_delete:
> -     spin_lock_irqsave(&timer->it_lock, flags);
> +     /* timer already deleted? */
> +     if (lock_timer(timer->it_id, &flags) == NULL)
> +             return;

Same here.

Can you reproduce the problem against mainline + my patch applied ?

        tglx


-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to