On Wed, Feb 13, 2019 at 12:31:22AM +0900, Akira Yokosawa wrote: > 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. I applied #1 with tweaks and #2 and #3 as is. I am holding off on #4 for the moment because it looks to me that it is being used. So please check my tweaks to #1 and my reasoning on #4. Thanx, Paul > 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 >