From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751840AbbIQUAA (ORCPT ); Thu, 17 Sep 2015 16:00:00 -0400 Received: from e39.co.us.ibm.com ([32.97.110.160]:53695 "EHLO e39.co.us.ibm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751558AbbIQT77 (ORCPT ); Thu, 17 Sep 2015 15:59:59 -0400 X-Helo: d03dlp02.boulder.ibm.com X-MailFrom: paulmck@linux.vnet.ibm.com X-RcptTo: linux-kernel@vger.kernel.org Date: Thu, 17 Sep 2015 12:59:53 -0700 From: "Paul E. McKenney" To: will.deacon@arm.com Cc: linux-kernel@vger.kernel.org Subject: Real dependencies in herd and PPCMEM/ARMMEM Message-ID: <20150917195953.GA3508@linux.vnet.ibm.com> Reply-To: paulmck@linux.vnet.ibm.com MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) X-TM-AS-MML: disable X-Content-Scanned: Fidelis XPS MAILER x-cbid: 15091719-0033-0000-0000-000005EB42C3 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hello, Will, It is possible to do litmus tests based on real dependencies in both herd and in PPCMEM/ARMMEM, as in creating linked lists within the tools and traversing them. Trivial linked lists, to be sure, but linked lists nevertheless, including real dependencies. For an example, please see the "Linked data structures" section of http://lwn.net/Articles/608550/. Taking this approach could avoid use of EOR. (That said, the tool that automatically generates litmus tests might or might not be happy to create linked lists.) Thanx, Paul