Hi Paul,
In your wordsmithing, there was confusion of hashtable sizes used in
Tables 12.2 and 12.3. Patch #1 attempts to clarify the point. It also
adds a footnote and fixes a few trivial typos.
Patch #2 is a minor tweak to use "lmtt" font for code snippets
imported by \VerbatimInput{} command. This fixes font of Listing 12.3
for experimental targets such as "msnt" and "1csf".
Patch #3 fixes font choice of snippets in experimental targets "msns"
(original monospace font of "courier") and "mss" (previous monospace
font choice of "scaled courier"), which have kept using those fonts for code
snippets. As is mentioned in the change log, there are a lot of overfills
in code snippets. On the other hand, the font used in the target "msn"
(monospace narrow) is narrower than the "lmtt" font and it should be OK
to use it in code snippets.
Patch #4 resolves the warning from "make" due to a stray litmus test
"C-SB+o-rcusync-o+rl-rul-o.litmus". My guess is that this file was
unintentionally sneaked into the repository in commit 4a6337b85633
("memorder: Cover litmus tests for accesses outside of RCU readers").
But you may have an idea what the test of that name should look like.
If this is the case, please update the test instead of applying this
patch.
Thanks, Akira
--
Akira Yokosawa (4):
formal/spinhint: Clarify hashtable sizes used in Tables 12.2 and 12.3
Set default fontfamily for snippets of 'fancyvrb'
Change monospace font of snippets for targets 'mss', 'msns', and 'msn'
memorder: Remove 'snippet' meta command in stray litmus test
CodeSamples/formal/herd/C-SB+o-rcusync-o+rl-rul-o.litmus | 2 --
Makefile | 11 +++++------
formal/spinhint.tex | 14 ++++++++------
perfbook.tex | 5 +----
4 files changed, 14 insertions(+), 18 deletions(-)
--
2.7.4
