Received: by 2002:ac0:946b:0:0:0:0:0 with SMTP id j40csp3380345imj; Tue, 19 Feb 2019 02:28:58 -0800 (PST) X-Google-Smtp-Source: AHgI3Iab8lYsoV0yscR8gzVXdBbwwo2K9Q//x89n470PwviUECToj1mG2Mgz2wlS0aB7T/GzW42Z X-Received: by 2002:a63:68ca:: with SMTP id d193mr23109148pgc.53.1550572138020; Tue, 19 Feb 2019 02:28:58 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1550572138; cv=none; d=google.com; s=arc-20160816; b=FHb63G3VF1B9KF/p5YIaOywCJ7oyDcyS6kCoEodjooHe0UJvjCN+si/oN5XzZ3aapN 1gVIUzqqr/04WiHgU1x3PjXxE35uy8I9yLB4czxTcdFb9Bi7giyARFwzcN91mdT787BY R5h2McntiCcg7b+rSkCVc4rA1YWgATD8T6bhbzGuq8lOy1/dTJ3TaBeH31423FzSSiqm OoAuXc4K43/DPw6R7f7BbvAEjHixUEaCdWPGOlnNIxF7E0trZB9H7ehn6OIcP+5jO2oj Llvw3HodfonqtpKTs6iMoJy0IQwXf6zdZVBHu0ofrVcKjSTLjYvl2E0XWzek8WQT/KsP LKkg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding:mime-version :organization:references:in-reply-to:message-id:subject:cc:to:from :date; bh=R/DdPOPyWvZJeQwVPAEBpoDuK3BZcsLBmsPkL3jFE4U=; b=IHKIBdeZuJsnR5vCq01L+6M2DB9aPZISo/v+v9GlpDiI6e0ZmA9W5GYsAAJjNtaGdc 8pzBFQnbcxMMpGlMnVEqxap0RsgQWE8HjKCEqo2mj64CDKKZsRJ3GBSc0xkESUTPxYU3 Qg1hqOhQiEmG3CDsjCyiyY9GA5NfEf24Sfu3wS12RQ8fx5xj3pFelqoJ0qnaiX+idMxJ giTyhtvmo1KhP+y3ZAN+7OY02Pb2LGEWHLwKh9ORN0w9KGIPBOmWBKJHi6auUnaqeHNS yAVvlXu9numt0lQIjPeW6INGZvLTPRKkLyn99U6wZfAU92LBvUVZYZWO8pHDDSJXXl16 oifA== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id q18si14009257pgh.116.2019.02.19.02.28.42; Tue, 19 Feb 2019 02:28:58 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728224AbfBSK1y (ORCPT + 99 others); Tue, 19 Feb 2019 05:27:54 -0500 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:35625 "EHLO relay5-d.mail.gandi.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727023AbfBSK1y (ORCPT ); Tue, 19 Feb 2019 05:27:54 -0500 X-Originating-IP: 90.88.30.68 Received: from windsurf.home (aaubervilliers-681-1-89-68.w90-88.abo.wanadoo.fr [90.88.30.68]) (Authenticated sender: thomas.petazzoni@bootlin.com) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id 49DC61C001E; Tue, 19 Feb 2019 10:27:48 +0000 (UTC) Date: Tue, 19 Feb 2019 11:27:47 +0100 From: Thomas Petazzoni To: Arnd Bergmann Cc: Will Deacon , linux-arch , Linux Kernel Mailing List , "Paul E. McKenney" , Benjamin Herrenschmidt , Peter Zijlstra , Andrea Parri , Daniel Lustig , David Howells , Alan Stern , Linus Torvalds , Thomas Petazzoni , Gregory CLEMENT , Russell King - ARM Linux Subject: Re: [RFC PATCH] docs/memory-barriers.txt: Rewrite "KERNEL I/O BARRIER EFFECTS" section Message-ID: <20190219112747.7db95e58@windsurf.home> In-Reply-To: References: <20190211172948.3322-1-will.deacon@arm.com> <20190218162954.GB16713@fuggles.cambridge.arm.com> <20190218175625.GD16713@fuggles.cambridge.arm.com> Organization: Bootlin X-Mailer: Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-redhat-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hello, On Mon, 18 Feb 2019 21:37:25 +0100 Arnd Bergmann wrote: > > > I would say we should strengthen the behavior of outX() where possible. > > > I don't know if arm64 actually has a way of doing that, my understanding > > > earlier was that the AXI bus was already posted, so there is not much > > > you can do here to define __io_paw() in a way that will prevent posted > > > writes. > > > > If we could map I/O space using different page table attributes (probably by > > hacking pci_remap_iospace() ?) then we could disable the > > early-write-acknowledge hint and implement __io_paw() as a completion > > barrier, although it would be at the mercy of the system as to whether or > > not that requires a response from the RC. > > Ah, it seems we actually do that on 32-bit ARM, at least on one platform, > see 6a02734d420f ("ARM: mvebu: map PCI I/O regions strongly ordered") > and prior commits. Yes, some Marvell Armada 32-bit platforms have an errata that require the PCI MEM and PCI I/O regions to be mapped strongly ordered. BTW, this requirement prevents us from using the pci_remap_iospace() API from drivers/pci, because it assumes page attributes of pgprot_device(PAGE_KERNEL). That's why we're still using the ARM-specific pci_ioremap_io() function. > > I would still prefer to document the weaker semantics as the portable > > interface, unless there are portable drivers relying on this today (which > > would imply that it's widely supported by other architectures). > > I don't know of any portable driver that actually relies on it, but > that's mainly because there are very few portable drivers that > use inb()/outb() in the first place. How many of those require > the non-posted behavior I don't know > > Adding Thomas, Gregory and Russell to Cc, as they were involved > in the discussion that led to the 32-bit change, maybe they are > aware of a specific example. I'm just arriving in the middle of this thread, and I'm not sure to understand what is the question. If the question is whether PCI I/O is really used in practice, then I've never seen it be used with Marvell platforms (but I'm also not aware of all PCIe devices people are using). I personally have a hacked-up version of the e1000e driver that intentionally does some PCI I/O accesses, that I use as a way to validate that PCI I/O support is minimally working, but that's it. Best regards, Thomas -- Thomas Petazzoni, CTO, Bootlin Embedded Linux and Kernel engineering https://bootlin.com