public inbox for linux-kernel@vger.kernel.org
 help / color / mirror / Atom feed
From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: Peter Zijlstra <peterz@infradead.org>
Cc: linux-kernel@vger.kernel.org, mingo@kernel.org,
	jiangshanlai@gmail.com, dipankar@in.ibm.com,
	akpm@linux-foundation.org, mathieu.desnoyers@efficios.com,
	josh@joshtriplett.org, tglx@linutronix.de, rostedt@goodmis.org,
	dhowells@redhat.com, edumazet@google.com, dvhart@linux.intel.com,
	fweisbec@gmail.com, oleg@redhat.com, bobby.prani@gmail.com
Subject: Re: [PATCH tip/core/rcu 1/9] doc: Synchronous RCU grace periods are now legal throughout boot
Date: Thu, 13 Apr 2017 08:56:46 -0700	[thread overview]
Message-ID: <20170413155646.GW3956@linux.vnet.ibm.com> (raw)
In-Reply-To: <20170413090754.wi2lqcdspm22zaia@hirez.programming.kicks-ass.net>

On Thu, Apr 13, 2017 at 11:07:54AM +0200, Peter Zijlstra wrote:
> On Wed, Apr 12, 2017 at 09:40:14AM -0700, Paul E. McKenney wrote:
> > This commit updates the "Early Boot" section of the RCU requirements
> > to describe how synchronous RCU grace periods are now legal throughout
> > the boot process.
> 
> You mean people would come an arrest you for doing it before? ;-)

In some of the more no-nonsense jurisdictions making use of the Linux
kernel for safety-critical application, maybe they would!  ;-)

But just for the record, and in case someone missed seeing the smiley at
the end of your sentence, Merriam-Webster's third definition of the word
"legal" is as follows:

	https://www.merriam-webster.com/dictionary/legal

	3:	conforming to or permitted by law or established rules

With this commit log's usage of "legal" taking the "established rules"
branch of that definition.

This diversion brought to you by Shakespeare's Henry VI, Part 2, Act 1,
Scene 2, in memory of the skin of those innocent lambs.  ;-)

							Thanx, Paul

  reply	other threads:[~2017-04-13 15:56 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-04-12 16:39 [PATCH tip/core/rcu 0/9] Documentation updates for 4.12 Paul E. McKenney
2017-04-12 16:40 ` [PATCH tip/core/rcu 1/9] doc: Synchronous RCU grace periods are now legal throughout boot Paul E. McKenney
2017-04-13  9:07   ` Peter Zijlstra
2017-04-13 15:56     ` Paul E. McKenney [this message]
2017-04-12 16:40 ` [PATCH tip/core/rcu 2/9] doc: Add mid-boot operation to expedited grace periods Paul E. McKenney
2017-04-12 16:40 ` [PATCH tip/core/rcu 3/9] doc: Update stallwarn.txt to make causes more prominent Paul E. McKenney
2017-04-12 16:40 ` [PATCH tip/core/rcu 4/9] doc: Update RCU data-structure documentation for rcu_segcblist Paul E. McKenney
2017-04-12 16:40 ` [PATCH tip/core/rcu 5/9] doc: Update requirements based on recent changes Paul E. McKenney
2017-04-12 16:40 ` [PATCH tip/core/rcu 6/9] doc: Update rcu_assign_pointer() definition in whatisRCU.txt Paul E. McKenney
2017-04-12 16:40 ` [PATCH tip/core/rcu 7/9] doc: Update the comparisons rule in rcu_dereference.txt Paul E. McKenney
2017-04-12 16:40 ` [PATCH tip/core/rcu 8/9] doc: Emphasize that "toy" RCU requires recursive rwlock Paul E. McKenney
2017-04-12 16:40 ` [PATCH tip/core/rcu 9/9] doc: Update control-dependencies section of memory-barriers.txt Paul E. McKenney

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=20170413155646.GW3956@linux.vnet.ibm.com \
    --to=paulmck@linux.vnet.ibm.com \
    --cc=akpm@linux-foundation.org \
    --cc=bobby.prani@gmail.com \
    --cc=dhowells@redhat.com \
    --cc=dipankar@in.ibm.com \
    --cc=dvhart@linux.intel.com \
    --cc=edumazet@google.com \
    --cc=fweisbec@gmail.com \
    --cc=jiangshanlai@gmail.com \
    --cc=josh@joshtriplett.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=mathieu.desnoyers@efficios.com \
    --cc=mingo@kernel.org \
    --cc=oleg@redhat.com \
    --cc=peterz@infradead.org \
    --cc=rostedt@goodmis.org \
    --cc=tglx@linutronix.de \
    /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