On Mon, Apr 21, 2025 at 06:53:39PM +0900, Akira Yokosawa wrote:
> 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.
Looks good to me, queued and pushed, thank you!
Thanx, Paul
> 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
>
>
>
