From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:47232) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bjG1F-0004Yt-0t for qemu-devel@nongnu.org; Sun, 11 Sep 2016 21:26:46 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bjG1A-0004eS-G3 for qemu-devel@nongnu.org; Sun, 11 Sep 2016 21:26:44 -0400 Received: from ozlabs.org ([103.22.144.67]:55476) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bjG19-0004YO-Ey for qemu-devel@nongnu.org; Sun, 11 Sep 2016 21:26:40 -0400 Date: Mon, 12 Sep 2016 11:26:04 +1000 From: David Gibson Message-ID: <20160912012603.GD12621@voom.fritz.box> References: <20160906052733.GA21051@pxdev.xzpeter.org> <92b5128b-d6e2-5787-9cea-07fcf90d22a5@redhat.com> <20160906081737.GE21051@pxdev.xzpeter.org> <8a6c53f9-e3c4-f788-e794-30f28c184418@redhat.com> <20160906103142.GG21051@pxdev.xzpeter.org> <20160907054419.GN2780@voom.fritz.box> <20160907063419.GI21051@pxdev.xzpeter.org> <20160907064154.GR2780@voom.fritz.box> <20160908090732.GB28348@pxdev.xzpeter.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="pZs/OQEoSSbxGlYw" Content-Disposition: inline In-Reply-To: <20160908090732.GB28348@pxdev.xzpeter.org> Subject: Re: [Qemu-devel] [PATCH 2/3] memory: add iommu_notify_flag List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Peter Xu Cc: Paolo Bonzini , mst@redhat.com, jasowang@redhat.com, qemu-devel@nongnu.org, cornelia.huck@de.ibm.com, alex.williamson@redhat.com, wexu@redhat.com, vkaplans@redhat.com, dgibson@redhat.com --pZs/OQEoSSbxGlYw Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Thu, Sep 08, 2016 at 05:07:32PM +0800, Peter Xu wrote: > On Wed, Sep 07, 2016 at 04:41:54PM +1000, David Gibson wrote: > > On Wed, Sep 07, 2016 at 02:34:19PM +0800, Peter Xu wrote: > > > On Wed, Sep 07, 2016 at 03:44:19PM +1000, David Gibson wrote: > > > > > For "CHANGE", it sounds like a unmap() + a map(). However I'd say > > > > > "ADDITION" is nowhere better... > > > >=20 > > > > Right.. this brings up a good point. > > > >=20 > > > > Changing a mapping (i.e. overwriting an existing mapping with a > > > > different one) would also need notification, even on x86, no? Since > > > > it implicitly invalidates the previous mapping. > > > >=20 > > > > I'm guessing the guest will avoid this by always unmapping before it > > > > maps. We still need to consider this possibility when designing the > > > > notifier interface though. > > > >=20 > > > > It seems the real notification triggers here are: > > > > * map - something is mapped which previously wasn't > > > > * unmap - something is no longer mapped which was before > > > >=20 > > > > Note that whether the second needs to be triggered depends on the > > > > *previous* state of that IOBA range, *not* on the permissions of the > > > > new mapping (if any). > > > >=20 > > > > A "change" - replacing one mapping with another should count as bot= h a > > > > "map" and "unmap" event. > > >=20 > > > Yeah... For MAP/UNMAP, it is strange in another way: e.g. for vhost, > > > it doesn't care about map/unmap, it cares about invalidated cache. > >=20 > > I think caring about invalidated cache *is* caring about unmap. It > > doesn't matter whether the new mapping is something or nothing - if > > the old mapping is no longer valid, you need to invalidate the cache, > > yes? >=20 > Yes, I think these two are exactly the same in implementation (vhost > needs UNMAP events of course). So that's why I called it "a naming > issue". :) >=20 > >=20 > > > So > > > IIUC this is a question about "naming" but not the implementations... > > > I suppose it is really a matter of taste, and both work for me (either > > > INVALIDATION/CHANGE or UNMAP/MAP). > >=20 > > No.. it is a question of implementation. My point is that I don't > > think the new permission is sufficient information to let you know if > > a notification is necessary. You need to know if there was an > > existing mapping at that IOBA. >=20 > My understanding is that we don't need to know that. Because IIUC > there are only map_page() and unmap_page() in guest IOMMU driver > (please check dma_map_ops in kernel). There is no chance for anyone to > "change" the content of the mapping, unless it calls unmap_page() then > with a map_page(). In that case, we'll have two IOTLB invalidation > requests. That's assuming a Linux guest using the current guest IOMMU model. I don't think we do so in practice, but the PAPR hypercall interface allows in-place changing of a mapping. The interface is just "set this IOPTE to this value". >=20 > Please kindly correct me if I am wrong. >=20 > Thanks, >=20 > -- peterx >=20 --=20 David Gibson | I'll have my music baroque, and my code david AT gibson.dropbear.id.au | minimalist, thank you. NOT _the_ _other_ | _way_ _around_! http://www.ozlabs.org/~dgibson --pZs/OQEoSSbxGlYw Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIcBAEBAgAGBQJX1gQrAAoJEGw4ysog2bOSz2wQALFHu88bntN8mILRQ9821aO6 lfD5FzIN0PMp9DMPkeeNo8UnU/LaR1ZjoFlTKs0/aeZUMvrsiNmN1wznv0nChE6s MioABNJm7PI3pwrT4+a2htdzf7ZogXngT3EVSQRGQFJUy/KYGd2hXSWlYplV0XvY ahUMaHVViaShyL9ImMiYCs7wgeaasMyBy5w37aRqLjS3VbwPSHGFQKHNSPngMVT2 j2uJJWt3/MimdkTPPlHmfSxSMz7iigSyv/dB+dUZOkQSZFZvruMcD3I6iXLvY1Kb BkakKF2+B01xfDOyajhPxNcgrzmtJfR4TRKqQC5RMj+iUprf+7B2jtSprWOH08dz KGsvV9Xu3VNhfdgqSUPzofilXffsJjKTCMIDAKZghn7LxMawrCSs+OrQdqUTB8O5 Xk4swMu1MdlZuiali55fcPk+25kGeqpqwrkfoXNpyS8ahNrXxSaQWoymuJYhl+ag xkOQaNIMVmu0UoGXVFxaogFY+Z9wDcS4TeI8ABQXl8jN8Q7ibA5p/T3NpyONUdZ6 JCqJabVIh0Gra/cFzxAStTuweoudv9t8sDqCyIxqCkNbGmKmLCF9Y4mSgzkpNnpL DFlgAWunAzRTL5CYyw8sRqfDn7gjxj7z/PoHE+n7DQBLSPtuPS9G93EdJvWbrAYG GZti7vfMox3UpXWlFBc6 =PWpg -----END PGP SIGNATURE----- --pZs/OQEoSSbxGlYw--