Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.kernel > #1283040

Re: [PATCH 4/4] sched: Document Program-Order guarantees

From Boqun Feng <boqun.feng@gmail.com>
Newsgroups linux.kernel
Subject Re: [PATCH 4/4] sched: Document Program-Order guarantees
Date 2015-12-03 14:20 +0100
Message-ID <qBBXH-5yd-23@gated-at.bofh.it> (permalink)
References <qBBuF-53y-9@gated-at.bofh.it> <qBBuF-53y-7@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


[Multipart message — attachments visible in raw view] - view raw

On Thu, Dec 03, 2015 at 01:40:14PM +0100, Peter Zijlstra wrote:
[snip]
> + *
> + *   CPU0 (schedule)  CPU1 (try_to_wake_up) CPU2 (schedule)
> + *
> + *   LOCK rq(0)->lock LOCK X->pi_lock
> + *   dequeue X
> + *   sched-out X
> + *   smp_store_release(X->on_cpu, 0);
> + *
> + *                    smp_cond_acquire(!X->on_cpu);
> + *                    X->state = WAKING
> + *                    set_task_cpu(X,2)
> + *
> + *                    LOCK rq(2)->lock
> + *                    enqueue X
> + *                    X->state = RUNNING
> + *                    UNLOCK rq(2)->lock
> + *
> + *                                          LOCK rq(2)->lock // orders against CPU1
> + *                                          sched-out Z
> + *                                          sched-in X
> + *                                          UNLOCK rq(1)->lock
						^^^^^^^^^^^^^^^

This is a typo, right? Should be "UNLOCK rq(2)->lock".

Regards,
Boqun

> + *
> + *                    UNLOCK X->pi_lock
> + *   UNLOCK rq(0)->lock
> + *
> + *

Back to linux.kernel | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

[PATCH 4/4] sched: Document Program-Order guarantees Peter Zijlstra <peterz@infradead.org> - 2015-12-03 13:50 +0100
  Re: [PATCH 4/4] sched: Document Program-Order guarantees Boqun Feng <boqun.feng@gmail.com> - 2015-12-03 14:20 +0100
    Re: [PATCH 4/4] sched: Document Program-Order guarantees Peter Zijlstra <peterz@infradead.org> - 2015-12-03 14:30 +0100

csiph-web