Hi Paul,
Here are another set of patches WRT indexing.
Patches 1/6 and 2/6 add indexing tags for major references to
"NBS", "forward-progress guarantee", "livelock", "starvation",
and "unfairness".
Patch 3/6 adds API indexing tags to historic lockless_dereference().
Patch 4/6 fixes a typo found while preparing Patch 5/6.
Patch 5/6 adds major and minor tags to "(anti-)heisenbug".
Patch 6/6 reforms hierarchical indexes under "Memory consistency"
to those under "Consistency".
Patch 5/6 needs the \IXalth{}{}{} macro as \IXh{anti-}{heisenbug}
would put a space between the two arguments in the text.
Thanks, Akira
--
Akira Yokosawa (6):
advsync: Add major indexing tags to 'NBS' and 'forward-progress
guarantee'
locking: Mark major references to 'livelock', 'starvation", and
'unfairness'
memorder: Add indexing tags for historic lockless_dereference()
debugging: Fix typo (heisenberg -> heisenbug)
debugging: Add indexing tags to '(anti-)heisenbug'
index: Reform indexing tags related to 'memory consistency'
advsync/advsync.tex | 8 ++++----
debugging/debugging.tex | 7 ++++---
future/formalregress.tex | 2 +-
glossary.tex | 6 +++---
indexsee.tex | 7 +++++++
locking/locking.tex | 8 ++++----
memorder/memorder.tex | 8 ++++----
together/seqlock.tex | 3 +--
8 files changed, 28 insertions(+), 21 deletions(-)
base-commit: 641067ba70383ad751512bd02cfc7cec17647523
--
2.17.1
