Hi Paul,
This patch set consists of random updates.
Patch 1/4 is a revised one to run periodcheck on "make"
or "make all", with the option to run only periodcheck
by "make periodcheck". It also improves obsolete targets
"qq" and "mslm" by adding dependencies in the same way
done in "periodcheck-auto".
Patch 2/4 adds patterns to catch wrong uses of "\@." and
".\@".
I expect these two are confusing to anybody including myself.
Patch 3/4 is a trivial fix somewhat related to periods.
I think this type of errors can also be checked by a script.
Such a script is now on my todo list.
Patch 4/4 adds data of v5.12 in Figure 12.4.
I don't see any anomaly in v5.12, but I'm not closely
watching the changes in rcu/rcutorture of kernel tree.
If you are aware of any changes which necessitate updates
in CodeSamples/formal/rcutorture.sh, put this one on hold
and let me know what I can do.
Thanks, Akira
--
Akira Yokosawa (4):
Auto run periodcheck on 'make'
periodcheck: Add check of '\@.' and '.\@' uses
locking: Fix typo
formal: Add v5.12 rcu-test data in Figure 12.4
Makefile | 15 +-
formal/RCU-test-ratio.eps | 1113 +++++++++++++++++++------------------
formal/data/rcu-test.dat | 3 +-
locking/locking.tex | 2 +-
utilities/periodcheck.pl | 4 +
5 files changed, 585 insertions(+), 552 deletions(-)
--
2.17.1
