[PATCH 0/3] Adjust labeling of chapter and appendix

[PATCH 0/3] Adjust labeling of chapter and appendix

[Akira Yokosawa]

From 08d86c4db893e5b689c4d051b765006ce507c45c Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@gmail.com>
Date: Wed, 16 Nov 2016 09:43:11 +0900
Subject: [PATCH 0/3] Adjust labeling of chapter and appendix

Hi Paul,

"bib" cleanups aside, I noticed a few inconsistent labeling of
"formal" and "whymemorybarriers".
This patch set adjusts them.
                                          Thanks, Akira

---
Akira Yokosawa (3):
  formal: Promote \OriginallyPublieshed macro to Chapter
  appendix/ack: Adjust labeling in 'Reviewers' section
  treewide: Adjust labeling of 'formal'

 appendix/ack/ack.tex            | 8 ++++----
 appendix/rcuimpl/rcupreempt.tex | 2 +-
 debugging/debugging.tex         | 2 +-
 defer/toyrcu.tex                | 2 +-
 formal/dyntickrcu.tex           | 2 +-
 formal/formal.tex               | 2 +-
 6 files changed, 9 insertions(+), 9 deletions(-)

-- 
2.7.4

[PATCH 1/3] formal: Promote \OriginallyPublieshed macro to Chapter

[Akira Yokosawa]

From c7c9ba9496cb97f664881935937d733f93b1e7bf Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@gmail.com>
Date: Wed, 16 Nov 2016 00:08:29 +0900
Subject: [PATCH 1/3] formal: Promote \OriginallyPublieshed macro to Chapter

This should have been done in commit 87a645d2aa0b ("Promote
formal-methods appendix to a chapter.") three years ago.

Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
---
 formal/formal.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/formal/formal.tex b/formal/formal.tex
index 8335978..e66300c 100644
--- a/formal/formal.tex
+++ b/formal/formal.tex
@@ -6,7 +6,7 @@
 \Epigraph{Beware of bugs in the above code; I have only proved it correct,
 	  not tried it.}{\emph{Donald Knuth}}

-\OriginallyPublished{Appendix}{chp:formal:Formal Verification}{Formal Verification}{Linux Weekly News}{PaulEMcKenney2007QRCUspin,PaulEMcKenney2008dynticksRCU,PaulEMcKenney2011ppcmem}
+\OriginallyPublished{Chapter}{chp:formal:Formal Verification}{Formal Verification}{Linux Weekly News}{PaulEMcKenney2007QRCUspin,PaulEMcKenney2008dynticksRCU,PaulEMcKenney2011ppcmem}

 Parallel algorithms can be hard to write, and even harder to debug.
 Testing, though essential, is insufficient, as fatal race conditions
-- 
2.7.4

[PATCH 2/3] appendix/ack: Adjust labeling in 'Reviewers' section

[Akira Yokosawa]

From 5dab9f44100d397f2b16f01078eb883bb984764d Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@gmail.com>
Date: Wed, 16 Nov 2016 00:18:10 +0900
Subject: [PATCH 2/3] appendix/ack: Adjust labeling in 'Reviewers' section

"formal" was promoted to a chapter three years ago.
"whymemorybarriers" is in Appendix from the beginning of git
history.
This commit adjusts their labels in "Reviewers" section.

Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
---
 appendix/ack/ack.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/appendix/ack/ack.tex b/appendix/ack/ack.tex
index a7737ff..8aae702 100644
--- a/appendix/ack/ack.tex
+++ b/appendix/ack/ack.tex
@@ -20,7 +20,7 @@
 	Section~\ref{sec:defer:RCU Linux-Kernel API}).
 \item	Artem Bityutskiy (Section~\ref{sec:advsync:Memory Barriers},
 	Appendix~\ref{chp:app:whymb:Why Memory Barriers?}).
-\item	Dave Keck (Chapter~\ref{chp:app:whymb:Why Memory Barriers?}).
+\item	Dave Keck (Appendix~\ref{chp:app:whymb:Why Memory Barriers?}).
 \item	David S. Horner
 	(Section~\ref{sec:formal:Promela Parable: dynticks and Preemptible RCU}).
 \item	Gautham Shenoy (Section~\ref{sec:defer:RCU Fundamentals},
@@ -28,14 +28,14 @@
 \item	``jarkao2'', AKA LWN guest \#41960 (Section~\ref{sec:defer:RCU Linux-Kernel API}).
 \item	Jonathan Walpole (Section~\ref{sec:defer:RCU Linux-Kernel API}).
 \item	Josh Triplett
-	(Section~\ref{chp:formal:Formal Verification}).
+	(Chapter~\ref{chp:formal:Formal Verification}).
 \item	Michael Factor (Section~\ref{sec:future:Transactional Memory}).
 \item	Mike Fulton (Section~\ref{sec:defer:RCU Fundamentals}).
 \item	Peter Zijlstra
 	(Section~\ref{sec:defer:RCU Usage}). % Lanin and Shasha citation.
-\item	Richard Woodruff (Section~\ref{chp:app:whymb:Why Memory Barriers?}).
+\item	Richard Woodruff (Appendix~\ref{chp:app:whymb:Why Memory Barriers?}).
 \item	Suparna Bhattacharya
-	(Section~\ref{chp:formal:Formal Verification}).
+	(Chapter~\ref{chp:formal:Formal Verification}).
 \item	Vara Prasad
 	(Section~\ref{sec:formal:Promela Parable: dynticks and Preemptible RCU}).
 \end{itemize}
-- 
2.7.4

[PATCH 3/3] treewide: Adjust labeling of 'formal'

[Akira Yokosawa]

From 08d86c4db893e5b689c4d051b765006ce507c45c Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@gmail.com>
Date: Wed, 16 Nov 2016 09:35:25 +0900
Subject: [PATCH 3/3] treewide: Adjust labeling of 'formal'

"formal" was promoted to a chapter three years ago.
Adjust its labeling.

Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
---
 appendix/rcuimpl/rcupreempt.tex | 2 +-
 debugging/debugging.tex         | 2 +-
 defer/toyrcu.tex                | 2 +-
 formal/dyntickrcu.tex           | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/appendix/rcuimpl/rcupreempt.tex b/appendix/rcuimpl/rcupreempt.tex
index fbb41b8..3b9554c 100644
--- a/appendix/rcuimpl/rcupreempt.tex
+++ b/appendix/rcuimpl/rcupreempt.tex
@@ -1426,7 +1426,7 @@ a full grace period, and hence it is safe to do:
 Formal validation of this algorithm is quite important, but remains
 as future work.
 One tool for doing this validation is described in
-Section~\ref{chp:formal:Formal Verification}.
+Chapter~\ref{chp:formal:Formal Verification}.

 \QuickQuiz{}
 	What is a more precise way to say ``CPU~0
diff --git a/debugging/debugging.tex b/debugging/debugging.tex
index 12235a0..0bffd66 100644
--- a/debugging/debugging.tex
+++ b/debugging/debugging.tex
@@ -968,7 +968,7 @@ is required to attain absolute certainty.
 	\end{enumerate}
 	Of course, if your code is small enough, formal validation
 	may be helpful, as discussed in
-	Section~\ref{chp:formal:Formal Verification}.
+	Chapter~\ref{chp:formal:Formal Verification}.
 	But beware: formal validation of your code will not find
 	errors in your assumptions, misunderstanding of the
 	requirements, misunderstanding of the software or hardware
diff --git a/defer/toyrcu.tex b/defer/toyrcu.tex
index 3b5a85c..aed8a03 100644
--- a/defer/toyrcu.tex
+++ b/defer/toyrcu.tex
@@ -648,7 +648,7 @@ checking of \co{rcu_refcnt}.
 	to determine which (if any) of the memory barriers in
 	Figure~\ref{fig:defer:RCU Update Using Global Reference-Count Pair}
 	are really needed.
-	See Section~\ref{chp:formal:Formal Verification}
+	See Chapter~\ref{chp:formal:Formal Verification}
 	for information on using these tools.
 	The first correct and complete response will be credited.
 } \QuickQuizEnd
diff --git a/formal/dyntickrcu.tex b/formal/dyntickrcu.tex
index a63d324..75eb93f 100644
--- a/formal/dyntickrcu.tex
+++ b/formal/dyntickrcu.tex
@@ -52,7 +52,7 @@ illusory.
 Near the end of February, Paul grew tired of this game.
 He therefore decided to enlist the aid of
 Promela and spin~\cite{Holzmann03a}, as described in
-Section~\ref{chp:formal:Formal Verification}.
+Chapter~\ref{chp:formal:Formal Verification}.
 The following presents a series of seven increasingly realistic
 Promela models, the last of which passes, consuming about
 40GB of main memory for the state space.
-- 
2.7.4

Re: [PATCH 0/3] Adjust labeling of chapter and appendix

[Paul E. McKenney]

On Wed, Nov 16, 2016 at 09:57:08AM +0900, Akira Yokosawa wrote:
> >From 08d86c4db893e5b689c4d051b765006ce507c45c Mon Sep 17 00:00:00 2001
> From: Akira Yokosawa <akiyks@gmail.com>
> Date: Wed, 16 Nov 2016 09:43:11 +0900
> Subject: [PATCH 0/3] Adjust labeling of chapter and appendix
> 
> Hi Paul,
> 
> "bib" cleanups aside, I noticed a few inconsistent labeling of
> "formal" and "whymemorybarriers".
> This patch set adjusts them.

Good catches, applied, thank you!

							Thanx, Paul

>                                           Thanks, Akira
> 
> ---
> Akira Yokosawa (3):
>   formal: Promote \OriginallyPublieshed macro to Chapter
>   appendix/ack: Adjust labeling in 'Reviewers' section
>   treewide: Adjust labeling of 'formal'
> 
>  appendix/ack/ack.tex            | 8 ++++----
>  appendix/rcuimpl/rcupreempt.tex | 2 +-
>  debugging/debugging.tex         | 2 +-
>  defer/toyrcu.tex                | 2 +-
>  formal/dyntickrcu.tex           | 2 +-
>  formal/formal.tex               | 2 +-
>  6 files changed, 9 insertions(+), 9 deletions(-)
> 
> -- 
> 2.7.4
> 

Re: [PATCH 0/3] Adjust labeling of chapter and appendix

[Akira Yokosawa]

On 2016/11/16 07:10:46 -0800, Paul E. McKenney wrote:
> On Wed, Nov 16, 2016 at 09:57:08AM +0900, Akira Yokosawa wrote:
>> >From 08d86c4db893e5b689c4d051b765006ce507c45c Mon Sep 17 00:00:00 2001
>> From: Akira Yokosawa <akiyks@gmail.com>
>> Date: Wed, 16 Nov 2016 09:43:11 +0900
>> Subject: [PATCH 0/3] Adjust labeling of chapter and appendix
>>
>> Hi Paul,
>>
>> "bib" cleanups aside, I noticed a few inconsistent labeling of
>> "formal" and "whymemorybarriers".
>> This patch set adjusts them.
> 
> Good catches, applied, thank you!

You are welcome!

BTW, did you miss the patch "[PATCH] bib: Fix several typos" from Tobias
dated "Tue,  8 Nov 2016 10:46:10 +0100"?

I'm asking because you almost always respond within a few days.

You missed the previous patch set from Tobias. Does a spam filter or something
prevent you from receiving it?

You can see the mail archived at:
http://www.spinics.net/lists/perfbook/msg00595.html.
(with mail address obfuscated)

                                                    Thanks, Akira

> 
> 							Thanx, Paul
> 
>>                                           Thanks, Akira
>>
>> ---
>> Akira Yokosawa (3):
>>   formal: Promote \OriginallyPublieshed macro to Chapter
>>   appendix/ack: Adjust labeling in 'Reviewers' section
>>   treewide: Adjust labeling of 'formal'
>>
>>  appendix/ack/ack.tex            | 8 ++++----
>>  appendix/rcuimpl/rcupreempt.tex | 2 +-
>>  debugging/debugging.tex         | 2 +-
>>  defer/toyrcu.tex                | 2 +-
>>  formal/dyntickrcu.tex           | 2 +-
>>  formal/formal.tex               | 2 +-
>>  6 files changed, 9 insertions(+), 9 deletions(-)
>>
>> -- 
>> 2.7.4
>>
> 
> 

Re: [PATCH 0/3] Adjust labeling of chapter and appendix

[Paul E. McKenney]

On Thu, Nov 17, 2016 at 07:26:17AM +0900, Akira Yokosawa wrote:
> On 2016/11/16 07:10:46 -0800, Paul E. McKenney wrote:
> > On Wed, Nov 16, 2016 at 09:57:08AM +0900, Akira Yokosawa wrote:
> >> >From 08d86c4db893e5b689c4d051b765006ce507c45c Mon Sep 17 00:00:00 2001
> >> From: Akira Yokosawa <akiyks@gmail.com>
> >> Date: Wed, 16 Nov 2016 09:43:11 +0900
> >> Subject: [PATCH 0/3] Adjust labeling of chapter and appendix
> >>
> >> Hi Paul,
> >>
> >> "bib" cleanups aside, I noticed a few inconsistent labeling of
> >> "formal" and "whymemorybarriers".
> >> This patch set adjusts them.
> > 
> > Good catches, applied, thank you!
> 
> You are welcome!
> 
> BTW, did you miss the patch "[PATCH] bib: Fix several typos" from Tobias
> dated "Tue,  8 Nov 2016 10:46:10 +0100"?
> 
> I'm asking because you almost always respond within a few days.
> 
> You missed the previous patch set from Tobias. Does a spam filter or something
> prevent you from receiving it?
> 
> You can see the mail archived at:
> http://www.spinics.net/lists/perfbook/msg00595.html.
> (with mail address obfuscated)

I am not getting the emails from Tobias for whatever reason.  Because
I don't receive them, I have no way of determining why I don't receive
them.  :-(

							Thanx, Paul

>                                                     Thanks, Akira
> 
> > 
> > 							Thanx, Paul
> > 
> >>                                           Thanks, Akira
> >>
> >> ---
> >> Akira Yokosawa (3):
> >>   formal: Promote \OriginallyPublieshed macro to Chapter
> >>   appendix/ack: Adjust labeling in 'Reviewers' section
> >>   treewide: Adjust labeling of 'formal'
> >>
> >>  appendix/ack/ack.tex            | 8 ++++----
> >>  appendix/rcuimpl/rcupreempt.tex | 2 +-
> >>  debugging/debugging.tex         | 2 +-
> >>  defer/toyrcu.tex                | 2 +-
> >>  formal/dyntickrcu.tex           | 2 +-
> >>  formal/formal.tex               | 2 +-
> >>  6 files changed, 9 insertions(+), 9 deletions(-)
> >>
> >> -- 
> >> 2.7.4
> >>
> > 
> > 
>