From: "Paul E. McKenney" <paulmck@linux.ibm.com>
To: Akira Yokosawa <akiyks@gmail.com>
Cc: perfbook@vger.kernel.org
Subject: Re: [PATCH 0/8] Improve conversion of litmus test snippet
Date: Wed, 31 Oct 2018 09:28:38 -0700 [thread overview]
Message-ID: <20181031162838.GB4170@linux.ibm.com> (raw)
In-Reply-To: <a0be104e-0043-36bb-a639-4ecd6db77d59@gmail.com>
On Thu, Nov 01, 2018 at 12:08:02AM +0900, Akira Yokosawa wrote:
> Hi Paul,
>
> In snippets of litmus tests you added recently uses "locations"
> directive. It was not covered by reorder_ltms.pl.
> This series enhances reorder_ltms.pl to add an option to
> the meta command "\end[snippet]".
>
> Now you can put C-RCU-remove.litmus and
> C-RomanPenyanev-list-rcu-rr.litmus under CodeSamples/.
>
> Patch #1 is the enhancement of reorder_ltms.pl.
> Patch #2 adds C-RCU-remove.litmus in CodeSamples/formal/herd.
> Note that I modified the choice of characters given to
> the "commandchars=" option to avoid collision with characters
> used in snippets.
> Patch #3 adds recipe in Makefile to run the added tests by
> "make run-herd7".
> Patch #4 replaces the inline snippet code with converted one.
> Patch #5 adds another RCU litmus test in CodeSamples/formal/herd.
> Patch #6 imports snippet converted from above.
> Patch #7 converts existing PPC IRIW litmus tests to new scheme
> It also reduces the width of the snippets to fit in 2c column
> width.
> Patch #8 is a trivial typo fix.
>
> I'm afraid commit logs in this series is not descriptive
> enough, but hopefully the intention of the changes are evident.
They should do. I queued these and pushed them, thank you!
Thanx, Paul
> Thanks, Akira
> --
> Akira Yokosawa (8):
> reorder_ltms.pl: Add 'locationslabel=' option to \end[snippet]
> CodeSamples/formal: Add C-RCU-remove.litmus
> CodeSamples/formal/herd: Add recipe for native .litmus tests
> formal/axiomatic: Import snippet from C-RCU-remove.litmus
> CodeSamples/formal: Add C-RomanPenyanev-list-rcu-rr.litmus
> formal/axiomatic: Import snippet from
> C-RomanPenyanev-list-rcu-rr.litmus
> formal/axiomatic: Convert snippets of IRIW tests to new scheme
> formal/axiomatic: Fill in missing ')'
>
> CodeSamples/formal/herd/C-RCU-remove.litmus | 27 +++
> .../formal/herd/C-RomanPenyaev-list-rcu-rr.litmus | 47 +++++
> CodeSamples/formal/herd/Makefile | 21 ++-
> formal/axiomatic.tex | 201 +++++++--------------
> utilities/reorder_ltms.pl | 15 ++
> 5 files changed, 164 insertions(+), 147 deletions(-)
> create mode 100644 CodeSamples/formal/herd/C-RCU-remove.litmus
> create mode 100644 CodeSamples/formal/herd/C-RomanPenyaev-list-rcu-rr.litmus
>
> --
> 2.7.4
>
prev parent reply other threads:[~2018-11-01 1:27 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-10-31 15:08 [PATCH 0/8] Improve conversion of litmus test snippet Akira Yokosawa
2018-10-31 15:09 ` [PATCH 1/8] reorder_ltms.pl: Add 'locationslabel=' option to \end[snippet] Akira Yokosawa
2018-10-31 15:10 ` [PATCH 2/8] CodeSamples/formal: Add C-RCU-remove.litmus Akira Yokosawa
2018-10-31 15:12 ` [PATCH 3/8] CodeSamples/formal/herd: Add recipe for native .litmus tests Akira Yokosawa
2018-10-31 15:13 ` [PATCH 4/8] formal/axiomatic: Import snippet from C-RCU-remove.litmus Akira Yokosawa
2018-10-31 15:13 ` [PATCH 5/8] CodeSamples/formal: Add C-RomanPenyanev-list-rcu-rr.litmus Akira Yokosawa
2018-10-31 15:14 ` [PATCH 6/8] formal/axiomatic: Import snippet from C-RomanPenyanev-list-rcu-rr.litmus Akira Yokosawa
2018-10-31 15:15 ` [PATCH 7/8] formal/axiomatic: Convert snippets of IRIW tests to new scheme Akira Yokosawa
2018-10-31 15:16 ` [PATCH 8/8] formal/axiomatic: Fill in missing ')' Akira Yokosawa
2018-10-31 16:28 ` Paul E. McKenney [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20181031162838.GB4170@linux.ibm.com \
--to=paulmck@linux.ibm.com \
--cc=akiyks@gmail.com \
--cc=perfbook@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox