Sequential consistency in hardware

By: Veedrac (ignore.delete@this.this.com), August 5, 2020 11:54 am
Room: Moderated Discussions
Linus Torvalds (torvalds.delete@this.linux-foundation.org) on August 3, 2020 11:20 pm wrote:
> Travis Downs (travis.downs.delete@this.gmail.com) on August 3, 2020 9:08 pm wrote:
> >
> > Memory models are not like that: you need to be tracking everything,
> > all the time, since you don't know when a reordering will happen.
>
> The argument is that CPU's may be starting to do that anyway for other reasons, and once
> you have that tracking, the advantage of a weaker memory model just doesn't exist.
>
> IOW, the advantage was always "simpler silicon", and people have taken that
> advantage as gospel truth (and some still do). But once silicon has the complexity,
> the actual advantage goes away, but the disadvantages remain.

An interesting data point is Apple's CPUs, which have a runtime toggle for TSO to support x86 translation. So they clearly have the silicon necessary for TSO, but then still leave it disabled by default! Surely that's strong evidence in favour of weak memory orderings.

It would be interesting to see benchmarks with TSO enabled.

https://github.com/saagarjha/TSOEnabler
< Previous Post in ThreadNext Post in Thread >
TopicPosted ByDate
Sequential consistency in hardwarenever_released2020/08/03 07:44 AM
  Sequential consistency in hardwareLinus Torvalds2020/08/03 09:19 AM
    Sequential consistency in hardwareJon Masters2020/08/03 04:22 PM
      Sequential consistency in hardwareGeert Bosch2020/08/03 07:48 PM
        Sequential consistency in hardwareTravis Downs2020/08/03 08:08 PM
          Sequential consistency in hardwareLinus Torvalds2020/08/03 10:20 PM
            Sequential consistency in hardwareLinus Torvalds2020/08/04 11:56 AM
              Sequential consistency in hardwarenever_released2020/08/04 02:03 PM
            Sequential consistency in hardwareVeedrac2020/08/05 11:54 AM
              Sequential consistency in hardwareDoug S2020/08/05 02:36 PM
                Sequential consistency in hardwareanon22020/08/05 03:06 PM
          Sequential consistency in hardwareAnon2020/08/04 07:02 AM
        Sequential consistency in hardwaredmcq2020/08/04 09:27 AM
          Sequential consistency in hardwareKonrad Schwarz2020/08/05 05:03 AM
  Sequential consistency in hardwareTravis Downs2020/08/03 06:58 PM
    Sequential consistency in hardwaregpd2020/08/04 02:19 AM
    Sequential consistency in hardwareJeff S.2020/08/04 10:11 PM
      Sequential consistency in hardwareTravis Downs2020/08/05 12:04 PM
        Sequential consistency in hardwareJeff S.2020/08/05 02:52 PM
          typoJeff S.2020/08/05 02:55 PM
          Sequential consistency in hardwareTravis Downs2020/08/05 06:39 PM
            Sequential consistency in hardwareJeff S.2020/08/05 07:43 PM
  Binary translationDavid Kanter2020/08/03 08:19 PM
Reply to this Topic
Name:
Email:
Topic:
Body: No Text
How do you spell avocado?