[v1] tools/memory-model: Add locking.txt and glossary.txt to README

[PATCH lkmm 0/2] tools/memory-model: Add locking.txt and glossary.txt to README

Posted by Akira Yokosawa 1 year, 5 months ago

Hi all,

[+CC: Marco, as Patch 1/2 includes update related to access-marking.txt.]

Looks to me like Andrea's herd-representation.txt has stabilized.
Patch 1/2 fills missing pieces in docs/README.

While skimming through documents, I noticed a typo in simple.txt.
Patch 2/2 fixes it.

        Thanks, Akira
--
Akira Yokosawa (2):
  tools/memory-model: Add locking.txt and glossary.txt to README
  tools/memory-model: simple.txt: Fix dangling reference to
    recipes-pairs.txt

 tools/memory-model/Documentation/README     | 17 +++++++++++++++++
 tools/memory-model/Documentation/simple.txt |  2 +-
 2 files changed, 18 insertions(+), 1 deletion(-)


base-commit: 662b960d12d280476c4b09070ed6c4b808ee91da
-- 
2.34.1

Re: [PATCH lkmm 0/2] tools/memory-model: Add locking.txt and glossary.txt to README

Posted by Andrea Parri 1 year, 5 months ago

On Fri, Jun 21, 2024 at 01:08:24PM +0900, Akira Yokosawa wrote:
> Hi all,
> 
> [+CC: Marco, as Patch 1/2 includes update related to access-marking.txt.]
> 
> Looks to me like Andrea's herd-representation.txt has stabilized.
> Patch 1/2 fills missing pieces in docs/README.
> 
> While skimming through documents, I noticed a typo in simple.txt.
> Patch 2/2 fixes it.
> 
>         Thanks, Akira
> --
> Akira Yokosawa (2):
>   tools/memory-model: Add locking.txt and glossary.txt to README
>   tools/memory-model: simple.txt: Fix dangling reference to
>     recipes-pairs.txt

For the series,

Acked-by: Andrea Parri <parri.andrea@gmail.com>

I do get some "trailing whitespace" warning, for patch #1, you might
want to clean up when applying/reposting the series.

  Andrea

Re: [PATCH lkmm 0/2] tools/memory-model: Add locking.txt and glossary.txt to README

Posted by Akira Yokosawa 1 year, 5 months ago

On Fri, 21 Jun 2024 10:23:28 +0200, Andrea Parri wrote:
> On Fri, Jun 21, 2024 at 01:08:24PM +0900, Akira Yokosawa wrote:
>> Hi all,
>>
>> [+CC: Marco, as Patch 1/2 includes update related to access-marking.txt.]
>>
>> Looks to me like Andrea's herd-representation.txt has stabilized.
>> Patch 1/2 fills missing pieces in docs/README.
>>
>> While skimming through documents, I noticed a typo in simple.txt.
>> Patch 2/2 fixes it.
>>
>>         Thanks, Akira
>> --
>> Akira Yokosawa (2):
>>   tools/memory-model: Add locking.txt and glossary.txt to README
>>   tools/memory-model: simple.txt: Fix dangling reference to
>>     recipes-pairs.txt
> 
> For the series,
> 
> Acked-by: Andrea Parri <parri.andrea@gmail.com>

Thank you!

> 
> I do get some "trailing whitespace" warning, for patch #1, you might
> want to clean up when applying/reposting the series.

Ugh, I failed to setup a pre-commit hook for this repo.  :-/

Will send a v2 in a couple of days.

        Thanks, Akira

> 
>   Andrea