From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andrea Parri Subject: Re: [PATCH RFC tools/memory-model] Add litmus-test naming scheme Date: Tue, 29 May 2018 14:32:16 +0200 Message-ID: <20180529123216.GA11608@andrea> References: <20180525191020.GA5914@linux.vnet.ibm.com> <20180528112010.GA8801@andrea> <20180528214838.GZ3803@linux.vnet.ibm.com> <20180529093350.GA5803@andrea> <20180529121941.GG3803@linux.vnet.ibm.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Content-Disposition: inline In-Reply-To: <20180529121941.GG3803@linux.vnet.ibm.com> Sender: linux-kernel-owner@vger.kernel.org To: "Paul E. McKenney" Cc: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, stern@rowland.harvard.edu, will.deacon@arm.com, peterz@infradead.org, boqun.feng@gmail.com, npiggin@gmail.com, dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, akiyks@gmail.com, mingo@kernel.org List-Id: linux-arch.vger.kernel.org [...] > > Right, thanks. Ah, maybe we should strive to meet the 80-chars bound > > by splitting the command with "\"? > > We could, but combined with your later request for indentation, we end > up with something like this: > > $ norm7 -bell linux-kernel.bell \ > Rfi Once PodRR Once Fre Once Rfi Once PodRR Once Fre Once | \ > sed -e 's/:.*//g' > SB+rfionceonce-poonceonces > > In the immortal words of MSDOS, are you sure? ;-) I find it more readable, but it's just taste ;-) Commands are indented with 2 spaces in the other README. > > Well, "Rfi" produces "rfi" while "PosWR" produces "pos" for a name... > > Right you are! How about this, then? > > Rfi: Read-from internal. The current process wrote a variable and then > immediately read the value back from it. For the purposes of > litmus-test code generation, Rfi acts identically to PosWR. > However, they differ for purposes of naming, and they also result > in different "exists" clauses. > Example: ??? LGTM, thanks. Andrea