lkml.org 
[lkml]   [2011]   [Jan]   [19]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    SubjectRe: Bug in scheduler when using rt_mutex
    From
    Date
    On Wed, 2011-01-19 at 14:09 +0800, Yong Zhang wrote:
    > On Wed, Jan 19, 2011 at 1:40 PM, Mike Galbraith <efault@gmx.de> wrote:
    > > On Wed, 2011-01-19 at 12:35 +0800, Yong Zhang wrote:
    > >
    > >> cfs_rq->curr != se is always true.
    > >
    > > If that were always true, we'd illegally enqueue a running task.
    >
    > I'm sorry that I'm not express myself correctly.

    Human communication methods are all buggy as hell :)

    > The conclusion of (cfs_rq->curr != se is always true) is not
    > self-contained. IOW, it's based on one condition which is
    > (task_of(se) != rq->curr). So what I want to say is:
    > task_of(se) != rq->curr ==> cfs_rq_of(se)->curr != se
    > So,
    > !running ==> cfs_rq_of(se)->curr != se
    >
    > Is this more clear?

    Yeah.

    -Mike



    \
     
     \ /
      Last update: 2011-01-19 07:39    [from the cache]
    ©2003-2014 Jasper Spaans. hosted at Digital Ocean