Sequential consistency in hardware

By: never_released (never_released.delete@this.gmx.tw), August 3, 2020 8:44 am
Room: Moderated Discussions
Hello,

In the Tegra Xavier SoC, Nvidia provides sequential consistency in hardware as part of the Carmel micro-architecture. (with 4 clusters of 2 cores)

It's noted in the TRM as:
> For coherent memory types, Carmel cores provide a single, sequentially consistent view of coherent memory. Accordingly if no non-coherent access, Cache maintenance or TLB maintenance instruction has been executed since the last memory barrier, memory barriers behave similarly to a single-cycle NOP.

What are the advantages of having that guarantee provided by hardware more than just having TSO in practice? Are there cases where it's considered as more useful?

This also interestingly makes it a very unique Armv8.2-A design in the guarantees that it provides...

Thank you,

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