On Thu, 17 Apr 2025 12:43:06 -0700, Paul E. McKenney wrote:
> On Thu, Apr 17, 2025 at 11:02:02AM +0900, Akira Yokosawa wrote:
[...]
>> So, I'm thinking of reorganizing them into something like, including
>> additional markers for "memory model":
>>
>> - Memory consistency
>> - process
>> - sequential
>> - weak
>>
>> - Memory model
>> - Linux kernel
>> - Armv7
>> - Armv8
>> - etc.
>>
>> - Memory consistency model -> Memory model
>>
>> - Linux kernel memory consistency model (LKMM) -> Memory model, Linux
>> kernel
>>
>> How does the above sound to you?
>
> That works for me, and thank you for going through this!
Hi Paul,
This patch set is my attempt taking care of above.
Thanks, Akira
--
Akira Yokosawa (5):
Refactor index markers of "memory consistency"-related terms
index: List LKMM under "Memory model"
indexsee: Add a couple of redirections to "Cache coherence"
together/seqlock: Remove wrong index marker for "sequential consistency"
indexsee: Add redirections for arch specific memory models.
formal/axiomatic.tex | 7 ++++---
formal/ppcmem.tex | 4 ++--
formal/spinhint.tex | 4 +++-
future/formalregress.tex | 11 ++++++-----
glossary.tex | 6 +++---
indexsee.tex | 27 +++++++++++++++++++++------
memorder/memorder.tex | 39 ++++++++++++++++++++++++---------------
together/seqlock.tex | 2 +-
8 files changed, 64 insertions(+), 36 deletions(-)
base-commit: d4014ed9b2f2ec4074f86b2bdf0cf79953408cb0
--
2.43.0
