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

[Fabian Ritter via All-commits]

  Branch: refs/heads/users/ritter-x2a/07-10-_langref_state_that_the_memory_model_is_an_axiomatic_one
  Home:   https://github.com/llvm/llvm-project
  Commit: ba4df5f12034c6cf75da1076b0e30b49e90ccb03
      https://github.com/llvm/llvm-project/commit/ba4df5f12034c6cf75da1076b0e30b49e90ccb03
  Author: Fabian Ritter <fabian.ritter at amd.com>
  Date:   2026-07-10 (Fri, 10 Jul 2026)

  Changed paths:
    M llvm/docs/LangRef.md

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

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