[PATCH 5/6] formal/spinhint: Put footnote on header in table

[Akira Yokosawa <akiyks@gmail.com>]

From 5db712d3f30c38dc5e2dbc6bf0ad68dd0b24870b Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@gmail.com>
Date: Thu, 31 Jan 2019 00:14:56 +0900
Subject: [PATCH 5/6] formal/spinhint: Put footnote on header in table

The "savenotes" environment provided by the "footnote" package
allows us to put a footnote in a table whose text is placed at
the bottom of the page.

Also wordsmith the footnote's text.

Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
---
 formal/spinhint.tex | 10 ++++++----
 perfbook.tex        |  1 +
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/formal/spinhint.tex b/formal/spinhint.tex
index 9c56b00..a13374a 100644
--- a/formal/spinhint.tex
+++ b/formal/spinhint.tex
@@ -842,6 +842,7 @@ cc -DSAFETY [-DCOLLAPSE] -o pan pan.c
 ./pan [-mN]
 \end{VerbatimU}
 
+\begin{savenotes}
 \begin{table}
 \rowcolors{1}{}{lightgray}
 \renewcommand*{\arraystretch}{1.2}
@@ -853,7 +854,9 @@ cc -DSAFETY [-DCOLLAPSE] -o pan pan.c
 	\multicolumn{1}{r}{updaters} &
 	    \multicolumn{1}{r}{readers} &
 		\multicolumn{1}{r}{\# states} &
-		    \multicolumn{1}{r}{MB} \\
+		    \multicolumn{1}{r}{MB\footnote{
+			Obtained with the compiler flag \co{-DCOLLAPSE}
+			specified.}} \\
 	\midrule
 	1 & 1 &         376 &    128.7 \\
 	1 & 2 &       6 177 &    128.9 \\
@@ -868,12 +871,11 @@ cc -DSAFETY [-DCOLLAPSE] -o pan pan.c
 \caption{Memory Usage of QRCU Model}
 \label{tab:advsync:Memory Usage of QRCU Model}
 \end{table}
+\end{savenotes}
 
 The resulting output shows that this model passes all of the cases
 shown in
-Table~\ref{tab:advsync:Memory Usage of QRCU Model}.\footnote{
-	Figures in the table are obtained with the \co{-DCOLLAPSE}
-	compiler flag specified.}
+Table~\ref{tab:advsync:Memory Usage of QRCU Model}.
 Now, it would be nice to run the case with three readers and three
 updaters, however, simple extrapolation indicates that this will
 require on the order of a terabyte of memory best case.
diff --git a/perfbook.tex b/perfbook.tex
index 2eb4cd8..c740619 100644
--- a/perfbook.tex
+++ b/perfbook.tex
@@ -52,6 +52,7 @@
 \usepackage[bottom]{footmisc} % place footnotes under floating figures/tables
 \usepackage{tabularx}
 \usepackage[hyphens]{url}
+\usepackage{footnote}
 \usepackage[bookmarks=true,bookmarksnumbered=true,pdfborder={0 0 0}]{hyperref}
 \usepackage{footnotebackref} % to enable cross-ref of footnote
 \usepackage[all]{hypcap} % for going to the top of figure and table
-- 
2.7.4