Hi Paul,
Here is a small set of patches for December.
Patch 1/5 is another routine update of rcu-test.dat
Patch 2/5 mediates longer run time of RCU related litmus tests under
kltimus7 by exclude those tests from default list of tests.
Patch 3/5 works around a strict policy on ghostscript (gs) under Ubuntu
25.10's apparmor.
Patches 4/5 and 5/5 are obvious fixes to your recent updates in toyrcu.
As for Patch 2/5, klitmus7 converts synchronize_rcu() into
synchronize_rcu_expedited() by default ever since herdtools7 7.45
released in 2017. So, the longer time to run suggests decreasing
trend in "throughput of synchronize_rcu_expedited()".
Have you done any benchmark on such a thing/concept?
Thanks, Akira
--
Akira Yokosawa (5):
CodeSamples/formal: Update rcu-test.dat for v6.18
CodeSamples/formal/herd/Makefile: Add KLITMUS7_EXTRAOPTS variable
Makefile: Let ghostscript access under /tmp
toyrcu: Replace \co{} with \cref{}
toyrcu: Mark inline enumerate list as such
CodeSamples/formal/data/rcu-test.dat | 1 +
CodeSamples/formal/herd/Makefile | 3 +-
Makefile | 5 ++-
a2ping-rule.mk | 40 +++++++++++++++++------
appendix/toyrcu/toyrcu.tex | 13 +++++---
epstopdf-rule.mk | 48 +++++++++++++++++++++-------
6 files changed, 83 insertions(+), 27 deletions(-)
base-commit: f10ba2161229db12af9a1e38fd23850483721b7d
--
2.43.0
