[all-commits] [llvm/llvm-project] 534f03: [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: 534f03778ee96b1b8ef5e26c24f481daf208fc29
      https://github.com/llvm/llvm-project/commit/534f03778ee96b1b8ef5e26c24f481daf208fc29
  Author: Fabian Ritter <fabian.ritter at amd.com>
  Date:   2026-07-14 (Tue, 14 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.


  Commit: d9798b2be5b0a2326fe6b53e2fc5b3a170396d91
      https://github.com/llvm/llvm-project/commit/d9798b2be5b0a2326fe6b53e2fc5b3a170396d91
  Author: Fabian Ritter <fabian.ritter at amd.com>
  Date:   2026-07-14 (Tue, 14 Jul 2026)

  Changed paths:
    M llvm/docs/LangRef.md

  Log Message:
  -----------
  More details, as suggested by Ralf

Co-authored-by: Ralf Jung <post at ralfj.de>


Compare: https://github.com/llvm/llvm-project/compare/ba4df5f12034...d9798b2be5b0

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