[GIT PULL memory-model] LKMM commits for v5.10

[GIT PULL memory-model] LKMM commits for v5.10

[Paul E. McKenney]

Hello, Ingo!

This pull request contains Linux-Kernel Memory-Model commits for v5.10.
These have been subjected to LKML review:

	https://lore.kernel.org/lkml/20200831182012.GA1965@paulmck-ThinkPad-P72

All of these have also been subjected to the kbuild test robot and
-next testing.  The following changes since v5.9-rc1 are available in
the git repository at:

  git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git lkmm

for you to fetch changes up to 0ce0c78eff7d22c8a261de6c4305a5abb638c200:

  tools/memory-model: Expand the cheatsheet.txt notion of relaxed (2020-09-04 11:58:15 -0700)

----------------------------------------------------------------
Alexander A. Klimov (1):
      Replace HTTP links with HTTPS ones: LKMM

Paul E. McKenney (4):
      tools/memory-model: Update recipes.txt prime_numbers.c path
      tools/memory-model: Improve litmus-test documentation
      tools/memory-model: Add a simple entry point document
      tools/memory-model: Expand the cheatsheet.txt notion of relaxed

 tools/memory-model/Documentation/cheatsheet.txt   |   33 +-
 tools/memory-model/Documentation/litmus-tests.txt | 1074 +++++++++++++++++++++
 tools/memory-model/Documentation/recipes.txt      |    4 +-
 tools/memory-model/Documentation/references.txt   |    2 +-
 tools/memory-model/Documentation/simple.txt       |  271 ++++++
 tools/memory-model/README                         |  160 +--
 6 files changed, 1410 insertions(+), 134 deletions(-)
 create mode 100644 tools/memory-model/Documentation/litmus-tests.txt
 create mode 100644 tools/memory-model/Documentation/simple.txt

Re: [GIT PULL memory-model] LKMM commits for v5.10

[Ingo Molnar]

* Paul E. McKenney <paulmck@kernel.org> wrote:

> Hello, Ingo!
> 
> This pull request contains Linux-Kernel Memory-Model commits for v5.10.
> These have been subjected to LKML review:
> 
> 	https://lore.kernel.org/lkml/20200831182012.GA1965@paulmck-ThinkPad-P72
> 
> All of these have also been subjected to the kbuild test robot and
> -next testing.  The following changes since v5.9-rc1 are available in
> the git repository at:
> 
>   git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git lkmm
> 
> for you to fetch changes up to 0ce0c78eff7d22c8a261de6c4305a5abb638c200:
> 
>   tools/memory-model: Expand the cheatsheet.txt notion of relaxed (2020-09-04 11:58:15 -0700)
> 
> ----------------------------------------------------------------
> Alexander A. Klimov (1):
>       Replace HTTP links with HTTPS ones: LKMM
> 
> Paul E. McKenney (4):
>       tools/memory-model: Update recipes.txt prime_numbers.c path
>       tools/memory-model: Improve litmus-test documentation
>       tools/memory-model: Add a simple entry point document
>       tools/memory-model: Expand the cheatsheet.txt notion of relaxed
> 
>  tools/memory-model/Documentation/cheatsheet.txt   |   33 +-
>  tools/memory-model/Documentation/litmus-tests.txt | 1074 +++++++++++++++++++++
>  tools/memory-model/Documentation/recipes.txt      |    4 +-
>  tools/memory-model/Documentation/references.txt   |    2 +-
>  tools/memory-model/Documentation/simple.txt       |  271 ++++++
>  tools/memory-model/README                         |  160 +--
>  6 files changed, 1410 insertions(+), 134 deletions(-)
>  create mode 100644 tools/memory-model/Documentation/litmus-tests.txt
>  create mode 100644 tools/memory-model/Documentation/simple.txt

Pulled, thanks a lot Paul!

	Ingo