On Tue, Jan 25, 2022 at 06:56:27PM +0900, Akira Yokosawa wrote:
> 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.
Good fixes and updates, queued and pushed, thank you!
I suppose that one could argue that one prominent anti-Heisenberg was
none other than Albert Einstein (who was showed up by Niels Bohr).
But you are right. I really did mean anti-heisenbug. ;-)
Thanx, Paul
> 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
>
