From: Ingo Molnar <mingo@kernel.org>
To: Federico Vaga <federico.vaga@vaga.pv.it>
Cc: Jonathan Corbet <corbet@lwn.net>,
Peter Zijlstra <peterz@infradead.org>,
Ingo Molnar <mingo@redhat.com>, Will Deacon <will@kernel.org>,
linux-kernel@vger.kernel.org, linux-doc@vger.kernel.org
Subject: Re: [PATCH] doc:lock: remove reference to clever use of read-write lock
Date: Mon, 2 Sep 2019 20:10:10 +0200 [thread overview]
Message-ID: <20190902181010.GA35858@gmail.com> (raw)
In-Reply-To: <2216492.xyESGPMPG3@pcbe13614>
* Federico Vaga <federico.vaga@vaga.pv.it> wrote:
> On Saturday, August 31, 2019 4:43:44 PM CEST Jonathan Corbet wrote:
> > On Sat, 31 Aug 2019 15:41:16 +0200
> >
> > Federico Vaga <federico.vaga@vaga.pv.it> wrote:
> > > several CPU's and you want to use spinlocks you can potentially use
> > >
> > > -cheaper versions of the spinlocks. IFF you know that the spinlocks are
> > > +cheaper versions of the spinlocks. If you know that the spinlocks are
> > >
> > > never used in interrupt handlers, you can use the non-irq versions::
> > I suspect that was not actually a typo; "iff" is a way for the
> > mathematically inclined to say "if and only if".
> >
> > jon
>
> I learned something new today :)
>
> I am not used to the mathematical English jargon. It make sense, but then I
> would replace it with "If and only if": for clarity.
While it's used in a number of places and it's pretty common wording
overall in the literature, I agree that we should probably change this in
locking API user facing documentation.
If you change it, please do it in both places it's used.
Thanks,
Ingo
next prev parent reply other threads:[~2019-09-02 18:10 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-08-31 13:41 [PATCH] doc:lock: remove reference to clever use of read-write lock Federico Vaga
2019-08-31 14:43 ` Jonathan Corbet
2019-09-02 7:01 ` Federico Vaga
2019-09-02 18:10 ` Ingo Molnar [this message]
2019-09-02 19:19 ` Federico Vaga
2019-09-02 20:21 ` Jonathan Corbet
2019-09-02 21:07 ` Federico Vaga
2019-09-03 2:38 ` Matthew Wilcox
2019-09-05 8:21 ` Federico Vaga
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20190902181010.GA35858@gmail.com \
--to=mingo@kernel.org \
--cc=corbet@lwn.net \
--cc=federico.vaga@vaga.pv.it \
--cc=linux-doc@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=mingo@redhat.com \
--cc=peterz@infradead.org \
--cc=will@kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).