Sequential consistency in hardware

By: Doug S (foo.delete@this.bar.bar), August 5, 2020 2:36 pm
Room: Moderated Discussions
Veedrac (ignore.delete@this.this.com) on August 5, 2020 12:54 pm wrote:
> 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


When this was mentioned here recently, Linus pointed out that Apple isn't necessarily making the "x86 memory model" option as fast as possible (especially if it is not intended to be a permanent feature of Apple's SoCs, but merely a temporary aid to migration off x86) so benchmarks may not tell us much.
< 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?