lkml.org 
[lkml]   [2000]   [Dec]   [8]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: Lock ordering, inquiring minds want to know.
Mike Kravetz wrote:
>
> George,
>
> I can't answer your question. However, have you noticed that this
> lock ordering has changed in the test11 kernel. The new sequence is:
>
> read_lock_irq(&tasklist_lock);
> spin_lock(&runqueue_lock);
>
> Perhaps the person who made this change could provide their reasoning.
>
> An additional question I have is: Is it really necessary to hold
> the runqueue lock (with interrupts disabled) for as long as we do
> in this routine (setscheduler())? I suspect we only need the
> tasklist_lock while calling find_process_by_pid(). Isn't it
> possible to do the error checking (parameter validation) with just
> the tasklist_lock held? Seems that we would only need to acquire
> the runqueue_lock (and disable interrupts) if we are in fact
> changing the task's scheduling policy.

Yes, I think this is true. The runqueue_lock should only be needed
after the error checks. Still, the error checks don't take all that
long...

George
> -
> Mike
>
> On Thu, Dec 07, 2000 at 03:07:18PM -0800, george anzinger wrote:
> > In looking over sched.c I find:
> >
> > spin_lock_irq(&runqueue_lock);
> > read_lock(&tasklist_lock);
> >
> >
> > This seems to me to be the wrong order of things. The read lock
> > unavailable (some one holds a write lock) for relatively long periods of
> > time, for example, wait holds it in a while loop. On the other hand the
> > runqueue_lock, being a "irq" lock will always be held for short periods
> > of time. It would seem better to wait for the runqueue lock while
> > holding the read_lock with the interrupts on than to wait for the
> > read_lock with interrupts off. As near as I can tell this is the only
> > place in the system that both of these locks are held (of course, all
> > cases of two locks being held at the same time, both locker must use the
> > same order). So...
> >
> >
> > What am I missing here?
> >
> > George
> -
> To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
> the body of a message to majordomo@vger.kernel.org
> Please read the FAQ at http://www.tux.org/lkml/
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
Please read the FAQ at http://www.tux.org/lkml/

\
 
 \ /
  Last update: 2005-03-22 12:51    [W:0.042 / U:0.444 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site