Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Subject: Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
From: Peter Zijlstra <peterz@xxxxxxxxxxxxx>
Date: Fri, 10 Sep 2021 19:12:21 +0200
Cc: Boqun Feng <boqun.feng@xxxxxxxxx>, "Paul E. McKenney" <paulmck@xxxxxxxxxx>, Dan Lustig <dlustig@xxxxxxxxxx>, Will Deacon <will@xxxxxxxxxx>, Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx>, Alexander Shishkin <alexander.shishkin@xxxxxxxxxxxxxxx>, Peter Anvin <hpa@xxxxxxxxx>, Andrea Parri <parri.andrea@xxxxxxxxx>, Ingo Molnar <mingo@xxxxxxxxxx>, Vince Weaver <vincent.weaver@xxxxxxxxx>, Thomas Gleixner <tglx@xxxxxxxxxxxxx>, Jiri Olsa <jolsa@xxxxxxxxxx>, Arnaldo Carvalho de Melo <acme@xxxxxxxxxx>, Linux Kernel Mailing List <linux-kernel@xxxxxxxxxxxxxxx>, Stephane Eranian <eranian@xxxxxxxxxx>, linux-tip-commits@xxxxxxxxxxxxxxx, palmer@xxxxxxxxxxx, paul.walmsley@xxxxxxxxxx, mpe@xxxxxxxxxxxxxx
In-reply-to: <20210910163632.GC39858@rowland.harvard.edu>
References: <YTiXyiA92dM9726M@hirez.programming.kicks-ass.net> <YTiiC1mxzHyUJ47F@hirez.programming.kicks-ass.net> <20210908144217.GA603644@rowland.harvard.edu> <CAHk-=wiXJygbW+_1BdSX6M8j6z4w8gRSHVcaD5saihaNJApnoQ@mail.gmail.com> <YTm26u9i3hpjrNpr@hirez.programming.kicks-ass.net> <20210909133535.GA9722@willie-the-truck> <5412ab37-2979-5717-4951-6a61366df0f2@nvidia.com> <20210909180005.GA2230712@paulmck-ThinkPad-P17-Gen-1> <YTtpnZuSId9yDUjB@boqun-archlinux> <20210910163632.GC39858@rowland.harvard.edu>

On Fri, Sep 10, 2021 at 12:36:32PM -0400, Alan Stern wrote:
> +Here the second spin_lock() is po-after the first spin_unlock(), and
> +therefore the load of x must execute before the load of y, even tbough

I think that's commonly spelled: though, right?                    ^^^^^^

Follow-Ups:
- Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
  - From: Alan Stern

References:
- Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
  - From: Peter Zijlstra
- Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
  - From: Peter Zijlstra
- Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
  - From: Alan Stern
- Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
  - From: Linus Torvalds
- Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
  - From: Peter Zijlstra
- Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
  - From: Will Deacon
- Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
  - From: Dan Lustig
- Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
  - From: Paul E. McKenney
- Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
  - From: Boqun Feng
- Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
  - From: Alan Stern

Prev by Date: Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
Next by Date: Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
Previous by thread: Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
Next by thread: Re: [tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire
Index(es):
- Date
- Thread

[Index of Archives] [Linux Stable Commits] [Linux Stable Kernel] [Linux Kernel] [Linux USB Devel] [Linux Video &Media] [Linux Audio Users] [Yosemite News] [Linux SCSI]