Date:   Tue, 14 Feb 2023 19:20:54 -0600
From:   "G. Branden Robinson" <g.branden.robinson@gmail.com>
To:     Alejandro Colomar <alx.manpages@gmail.com>
Cc:     Mathieu Desnoyers <mathieu.desnoyers@efficios.com>,
        linux-kernel@vger.kernel.org, linux-api@vger.kernel.org
Subject: Re: [PATCH 1/1] rseq.2: New man page for the rseq(2) API
Message-ID: <20230215012054.twzw4k5et6hxvi2j@illithid>
References: <20230214195442.937586-1-mathieu.desnoyers@efficios.com>
 <669eb324-aef6-0583-c8a4-f54a93ee4d6d@gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha256;
        protocol="application/pgp-signature"; boundary="jbpzsvthlazbp3z2"
Content-Disposition: inline
In-Reply-To: <669eb324-aef6-0583-c8a4-f54a93ee4d6d@gmail.com>
Precedence: bulk


--jbpzsvthlazbp3z2
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

[CC list violently trimmed; for those who remain, this is mostly man
page style issues]

At 2023-02-14T23:29:37+0100, Alejandro Colomar wrote:
> On 2/14/23 20:54, Mathieu Desnoyers wrote:
> > +per-thread data structure shared between kernel and user-space.
>=20
> This last 'user-space' is not adjectivated, so it should go without
> a hyphen, according to common English rules.

+1

Also I like your coinage.  "Adjectivated yeast" is reflexive and
tautological!

> > +.RB ( "struct rseq" )
>=20
> We format types in italics, so this should be '.RI'.

+1

> > +Only one
> > +.BR rseq ()
> > +ABI can be registered per thread, so user-space libraries and
> > +applications must follow a user-space ABI defining how to share this
> > +resource.
>=20
> Please use semantic newlines.  See man-pages(7):
>=20
>    Use semantic newlines
>        In  the source of a manual page, new sentences should be started o=
n new
>        lines, long sentences should be split into lines at clause breaks =
(com=E2=80=90
>        mas, semicolons, colons, and so on), and long clauses should  be  =
split
>        at  phrase  boundaries.   This convention, sometimes known as "sem=
antic
>        newlines", makes it easier to see the effect of  patches,  which  =
often
>        operate at the level of individual sentences, clauses, or phrases.

I think I've said this before, but, strictly, commas in particular can
separate things that are not clauses.  Clauses have subjects and
predicates.

Might it be better to say simply:

  Start each sentence on a new line.  Split long sentences where
  punctuated by commas, semicolons, and colons.

With this there is not even any need to discuss "phrase boundaries".

> In the above lines, that would mean breaking after the comma,
> and not leaving resource in a line of its own.

The latter is inevitably going to happen from time to time simply due to
sentence length and structure and the line length used by one's text
editor.  I don't think an "orphan word" (what typographers call this) is
symptomatic of anything in *roff source when filling is enabled.

> > +The ABI defining how to share this resource between applications and
> > +libraries is defined by the C library.
> > +Allocation of the per-thread
> > +.BR rseq ()
> > +ABI and its registration to the kernel is handled by glibc since versi=
on
> > +2.35.
> > +.PP
> > +The
> > +.BR rseq ()
> > +ABI per-thread data structure contains a
> > +.I rseq_cs
> > +field which points to the currently executing critical section.
>=20
> currently-executing should probably use a hyphen
> (if I understood the line correctly).

This is not the case, according to some style authorities.  Dave Kemper
convinced me of this on the groff list.

Here is one resource.

https://www.editorgroup.com/blog/to-hyphenate-or-not-to-hyphenate/

> See an interesting discussion in the groff@ mailing list:
> <https://lists.gnu.org/archive/html/groff/2022-10/msg00015.html>

That's not _squarely_ on point, as none of "block", "device", or "based"
is an adverb.  "Currently" is.

> > +For each thread, a single rseq critical section can run at any given
> > +point.
> > +Each critical section need to be implemented in assembly.
>=20
> needs?

+1

> > +.TP
> > +.B Structure alignment
>=20
> Let's remove the bold here.  It's not necessary for marking a constant
> or something that needs bold.  And the indentation is already making
> it stand out, so bold is a bit too much aggressive to the reader.

I agree; if it wouldn't be styled in running text, it doesn't need
styling as a paragraph tag; it already stands out by dint of its
placement as a tag.

> > +Its value should always be confirmed by reading the cpu_id field before
>=20
> cpu_id should be formatted (.I).

+1

> > +user-space performs any side-effect
> > +(e.g. storing to memory).
> > +.IP
> > +This field is always guaranteed to hold a valid CPU number in the range
> > +[ 0 ..  nr_possible_cpus - 1 ].
>=20
> Please use interval notation:
> 	[0, nr_possible_cpus)
> or
> 	[0, nr_possible_cpus - 1]
> whichever looks better to you.
>=20
> We did some consistency fix recently:
> <https://git.kernel.org/pub/scm/docs/man-pages/man-pages.git/commit/?id=
=3D147a60d792a5db8f3cb93ea16eefb73e16c1fb91>
>=20
> Also, do we have a more standard way of saying nr_possible_cpus?
> Should we say nproc?

Apropos of a separate discussion we had weeks ago, Alex, I remembered
where I saw "nitems" as a variable name.

_UNIX Programming_, second edition, by Kernighan and Ritchie!

https://wolfram.schneider.org/bsd/7thEdManVol2/uprog/uprog.pdf

Plop _that_ down on the desk of the person who claimed it was a stupid
variable name that no good programmer would ever use.

(I think appeals to authority are just fine as long as one is being
mean.  ;-P  And as regards variable naming, Kernighan is a _legitimate_
authority: a subject matter expert with multiple well-regarded books on
coding style to his credit.  Ritchie's strengths were more esoteric,
enough that he put up specimens of his own youthful hubris as, I think,
an effort to discourage his many admirers from copying his mistakes as
slavishly as his successes[1]--apart from their humor value.)

> Branden, IIRC, this seems to be the reason why I didn't want .RS for
> indenting code examples.  It doesn't fit nicely right after TP.
>=20
> Why is there a blank line?  I'm not even sure that's reasonable.  Is
> it a (minor) bug in man(7)?  (FWIW, mandoc(1) is consistent with
> groff(1).)

Right, I'll take this up in the separate thread you started for it on
the groff list.

Regards,
Branden

[1] https://www.bell-labs.com/usr/dmr/www/odd.html

    See particularly "Comments I do feel guilty about".

--jbpzsvthlazbp3z2
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEh3PWHWjjDgcrENwa0Z6cfXEmbc4FAmPsM20ACgkQ0Z6cfXEm
bc4FwxAAjs/q4uw20RmaDqECzesiAvjFNgjlzbfn2g6sOxiK4rcYE+kxSJOhYRzz
IL4RYcnBcfKViELwMEfXxgrIyWbFrTxJoMBX1pPszpvdFdlEyMNu1ZVDYKNunbMy
xhYLKYjwUpmpzdDHR3dqjr7Si4Va4QdlCLzLem9eZoWMVkqokUYkJav4yqY06uq4
gFq+7kYqbmIEDsnvIXG1V5Cnanp0h5WrHlE48fTsC5Kr9730u+reBNhfpjtq90yO
m5Yrqwi9KejuBG3KX54kjT4YeUlJEPaKuKyo+KVsxjmoz96S1/dv2P4awzh6G9s4
xpgM23iNJz6LP49tOXRR+94c/Ek+e5aBxQnn1i11b6x1CnxuwE7QnKYpHWsw4XmG
PfzfdPLTO6i/SV8txe7B1NGhqdPjXyQ+IFf4/LaX8CruOzSzMMUjT7/ekz7i2AHu
mBbFzX+ix16DHVoKmwhYJUgwJLlFzj986zpBUp6+om9iX4j6xNPaH+YtnbgRaTU3
ckBy59QZ7CH0bmt8+/2OHNwD5FUZd4pIoL8Wbzz7o/Q4glYaivX8ohBOXMaLgctk
4Zrn56PSD273OpdgiRe16TeI7aK1b6w4SibGFwKBovzVp4EY8nfP935TRVQdFs+N
ug+PXvNLgIM9hT6nrYB1DX8F8zUvQ//LS8pDuEadbQ1TfpTLrec=
=Ddc1
-----END PGP SIGNATURE-----

--jbpzsvthlazbp3z2--