Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1755285AbbLEAH3 (ORCPT ); Fri, 4 Dec 2015 19:07:29 -0500 Received: from relay4-d.mail.gandi.net ([217.70.183.196]:58281 "EHLO relay4-d.mail.gandi.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753145AbbLEAH1 (ORCPT ); Fri, 4 Dec 2015 19:07:27 -0500 Date: Fri, 4 Dec 2015 16:07:19 -0800 From: Josh Triplett To: "Paul E. McKenney" Cc: linux-kernel@vger.kernel.org, mingo@kernel.org, jiangshanlai@gmail.com, dipankar@in.ibm.com, akpm@linux-foundation.org, mathieu.desnoyers@efficios.com, tglx@linutronix.de, peterz@infradead.org, 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/8] documentation: Record RCU requirements Message-ID: <20151205000719.GB26663@cloud> References: <20151204234952.GA22805@linux.vnet.ibm.com> <1449273026-23633-1-git-send-email-paulmck@linux.vnet.ibm.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1449273026-23633-1-git-send-email-paulmck@linux.vnet.ibm.com> User-Agent: Mutt/1.5.23 (2014-03-12) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 2181 Lines: 37 On Fri, Dec 04, 2015 at 03:50:19PM -0800, Paul E. McKenney wrote: > This commit adds RCU requirements as published in a 2015 LWN series. > Bringing these requirements in-tree allows them to be updated as changes > are discovered. > > Signed-off-by: Paul E. McKenney > --- > .../RCU/Design/Requirements/2013-08-is-it-dead.png | Bin 0 -> 100825 bytes > .../Design/Requirements/GPpartitionReaders1.svg | 374 +++ > .../RCU/Design/Requirements/RCUApplicability.svg | 237 ++ > .../Design/Requirements/ReadersPartitionGP1.svg | 639 +++++ > .../RCU/Design/Requirements/Requirements.html | 2799 ++++++++++++++++++++ > .../RCU/Design/Requirements/Requirements.htmlx | 2643 ++++++++++++++++++ > Documentation/RCU/Design/htmlqqz.sh | 108 + > 7 files changed, 6800 insertions(+) > create mode 100644 Documentation/RCU/Design/Requirements/2013-08-is-it-dead.png > create mode 100644 Documentation/RCU/Design/Requirements/GPpartitionReaders1.svg > create mode 100644 Documentation/RCU/Design/Requirements/RCUApplicability.svg > create mode 100644 Documentation/RCU/Design/Requirements/ReadersPartitionGP1.svg > create mode 100644 Documentation/RCU/Design/Requirements/Requirements.html > create mode 100644 Documentation/RCU/Design/Requirements/Requirements.htmlx If Requirements.html is machine-generated and shouldn't be hand-edited, and it can be generated without any special tools, then I don't think it should be committed in the tree; I'd suggest putting it in .gitignore and generating it from one of the various "make docs" invocations. Alternatively, if you want to make sure a usable version is in-tree, you could make the script reversible (easy enough to do if the compiled version includes some marker comments or similar), and then tell people to run it in reverse mode, edit, and run it in forward mode. Then you don't need the .htmlx file at all. :) -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/