From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:60319) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a9aBJ-00088a-M9 for qemu-devel@nongnu.org; Thu, 17 Dec 2015 10:09:29 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1a9aBG-0006Jj-GR for qemu-devel@nongnu.org; Thu, 17 Dec 2015 10:09:25 -0500 Received: from bombadil.infradead.org ([2001:1868:205::9]:39824) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1a9aBG-0006Jb-Ag for qemu-devel@nongnu.org; Thu, 17 Dec 2015 10:09:22 -0500 Date: Thu, 17 Dec 2015 16:09:17 +0100 From: Peter Zijlstra Message-ID: <20151217150917.GP6373@twins.programming.kicks-ass.net> References: <1450347932-16325-1-git-send-email-mst@redhat.com> <20151217112222.GC6375@twins.programming.kicks-ass.net> <20151217151705-mutt-send-email-mst@redhat.com> <20151217140212.GB6344@twins.programming.kicks-ass.net> <20151217163412-mutt-send-email-mst@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20151217163412-mutt-send-email-mst@redhat.com> Subject: Re: [Qemu-devel] [PATCH] virtio_ring: use smp_store_mb List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: "Michael S. Tsirkin" Cc: Jason Wang , Will Deacon , qemu-devel@nongnu.org, Alexander Duyck , linux-kernel@vger.kernel.org, virtualization@lists.linux-foundation.org On Thu, Dec 17, 2015 at 04:34:57PM +0200, Michael S. Tsirkin wrote: > On Thu, Dec 17, 2015 at 03:02:12PM +0100, Peter Zijlstra wrote: > > > commit 9e1a27ea42691429e31f158cce6fc61bc79bb2e9 > > > Author: Alexander Duyck > > > Date: Mon Apr 13 21:03:49 2015 +0930 > > > > > > virtio_ring: Update weak barriers to use dma_wmb/rmb > > > > That commit doesn't make any sense. dma_*mb() explicitly does _NOT_ > > cover the smp_*mb() part. > > > > Again, look at the ARM definitions, the smp_*mb() primitives use the > > inner coherence stuff, while the dma_*mb() primitives use the outer > > coherent stuff. > > Does outer coherent imply inner coherent? > > > the *mb() primitives cover both. I do not think so, but lets add Will, he dreams this stuff.