[all-commits] [llvm/llvm-project] ca6fe4: [LangRef] State that the memory model is an axioma...

[Fabian Ritter via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ca6fe413daa538440cf47d4734051e3be7293600
      https://github.com/llvm/llvm-project/commit/ca6fe413daa538440cf47d4734051e3be7293600
  Author: Fabian Ritter <fabian.ritter at amd.com>
  Date:   2026-07-16 (Thu, 16 Jul 2026)

  Changed paths:
    M llvm/docs/LangRef.md

  Log Message:
  -----------
  [LangRef] State that the memory model is an axiomatic one (#208710)

Currently, one could read large parts of the memory model without learning for
sure whether it is meant as an operational model that describes how individual
operations change some notion of state or if it is an axiomatic model (like the
C++ memory model) that lists constraints that a candidate execution must
satisfy to be allowed.

While the description of what a read returns sounds somewhat operational,
aspects like the definition of fence instructions, the monotonic modification
order, and the total order of sequentially consistent operations place it in
the realm of axiomatic models.

This is an attempt to make the nature of the model more explicit (and maybe a
place to discuss the nature of the model), as suggested by RalfJung in the
reviews for #204329.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications