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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.