From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-8.2 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, INCLUDES_PATCH,MAILING_LIST_MULTI,SIGNED_OFF_BY,SPF_HELO_NONE,SPF_PASS, URIBL_BLOCKED,USER_AGENT_SANE_2 autolearn=unavailable autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 7015AC43331 for ; Wed, 1 Apr 2020 15:57:59 +0000 (UTC) Received: from whitealder.osuosl.org (smtp1.osuosl.org [140.211.166.138]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id 4069020B1F for ; Wed, 1 Apr 2020 15:57:59 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 4069020B1F Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=linux.intel.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=iommu-bounces@lists.linux-foundation.org Received: from localhost (localhost [127.0.0.1]) by whitealder.osuosl.org (Postfix) with ESMTP id 1510F86AC7; Wed, 1 Apr 2020 15:57:59 +0000 (UTC) X-Virus-Scanned: amavisd-new at osuosl.org Received: from whitealder.osuosl.org ([127.0.0.1]) by localhost (.osuosl.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id SrLF5i21xHOF; Wed, 1 Apr 2020 15:57:56 +0000 (UTC) Received: from lists.linuxfoundation.org (lf-lists.osuosl.org [140.211.9.56]) by whitealder.osuosl.org (Postfix) with ESMTP id 7818E867C6; Wed, 1 Apr 2020 15:57:56 +0000 (UTC) Received: from lf-lists.osuosl.org (localhost [127.0.0.1]) by lists.linuxfoundation.org (Postfix) with ESMTP id 62FF9C1D7F; Wed, 1 Apr 2020 15:57:56 +0000 (UTC) Received: from fraxinus.osuosl.org (smtp4.osuosl.org [140.211.166.137]) by lists.linuxfoundation.org (Postfix) with ESMTP id 80409C089F for ; Wed, 1 Apr 2020 15:57:54 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by fraxinus.osuosl.org (Postfix) with ESMTP id 7CAFE86C8D for ; Wed, 1 Apr 2020 15:57:54 +0000 (UTC) X-Virus-Scanned: amavisd-new at osuosl.org Received: from fraxinus.osuosl.org ([127.0.0.1]) by localhost (.osuosl.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id FkpAu8nX4LjC for ; Wed, 1 Apr 2020 15:57:53 +0000 (UTC) X-Greylist: domain auto-whitelisted by SQLgrey-1.7.6 Received: from mga18.intel.com (mga18.intel.com [134.134.136.126]) by fraxinus.osuosl.org (Postfix) with ESMTPS id 861AD86C6E for ; Wed, 1 Apr 2020 15:57:53 +0000 (UTC) IronPort-SDR: Z+sqS+hZ+GdfWojvPwEFyAZcsFYgLWeHr8qDJLP5x6NN++eV0doMUqRU9aSKnqcyGF5IIrEaiA ySx3UQG+tXEw== X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False Received: from orsmga003.jf.intel.com ([10.7.209.27]) by orsmga106.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 01 Apr 2020 08:57:52 -0700 IronPort-SDR: R5qywkNEyuyciznhRnV8XzvA+/gIvj8UOXCgWtUh6FpG/PTUBTUA9EGvieHCSyo5fBxw8tmIyO lq0B79f2wlqw== X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.72,332,1580803200"; d="scan'208";a="249497966" Received: from jacob-builder.jf.intel.com (HELO jacob-builder) ([10.7.199.155]) by orsmga003.jf.intel.com with ESMTP; 01 Apr 2020 08:57:46 -0700 Date: Wed, 1 Apr 2020 09:03:34 -0700 From: Jacob Pan To: "Liu, Yi L" Subject: Re: [PATCH V10 08/11] iommu/vt-d: Add svm/sva invalidate function Message-ID: <20200401090334.05b12e9b@jacob-builder> In-Reply-To: References: <1584746861-76386-1-git-send-email-jacob.jun.pan@linux.intel.com> <1584746861-76386-9-git-send-email-jacob.jun.pan@linux.intel.com> <20200331111332.0718ffd2@jacob-builder> Organization: OTC X-Mailer: Claws Mail 3.13.2 (GTK+ 2.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Cc: "Tian, Kevin" , Alex Williamson , "Raj, Ashok" , Jean-Philippe Brucker , LKML , "iommu@lists.linux-foundation.org" , David Woodhouse , Jonathan Cameron X-BeenThere: iommu@lists.linux-foundation.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Development issues for Linux IOMMU support List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Errors-To: iommu-bounces@lists.linux-foundation.org Sender: "iommu" On Wed, 1 Apr 2020 06:57:42 +0000 "Liu, Yi L" wrote: > > From: Tian, Kevin > > Sent: Wednesday, April 1, 2020 2:24 PM > > To: Jacob Pan > > Subject: RE: [PATCH V10 08/11] iommu/vt-d: Add svm/sva invalidate > > function > > > From: Jacob Pan > > > Sent: Wednesday, April 1, 2020 2:14 AM > > > > > > On Sat, 28 Mar 2020 10:01:42 +0000 > > > "Tian, Kevin" wrote: > > > > > > > > From: Jacob Pan > > > > > Sent: Saturday, March 21, 2020 7:28 AM > > > > > > > > > > When Shared Virtual Address (SVA) is enabled for a guest OS > > > > > via vIOMMU, we need to provide invalidation support at IOMMU > > > > > API and driver level. This patch adds Intel VT-d specific > > > > > function to implement iommu passdown invalidate API for > > > > > shared virtual address. > > > > > > > > > > The use case is for supporting caching structure invalidation > > > > > of assigned SVM capable devices. Emulated IOMMU exposes > > > > > queue > > > > > > > > emulated IOMMU -> vIOMMU, since virito-iommu could use the > > > > interface as well. > > > > > > > True, but it does not invalidate this statement about emulated > > > IOMMU. I will add another statement saying "the same interface > > > can be used for virtio-IOMMU as well". OK? > > > > sure > > > > > > > > > > invalidation capability and passes down all descriptors from > > > > > the guest to the physical IOMMU. > > > > > > > > > > The assumption is that guest to host device ID mapping should > > > > > be resolved prior to calling IOMMU driver. Based on the > > > > > device handle, host IOMMU driver can replace certain fields > > > > > before submit to the invalidation queue. > > > > > > > > > > --- > > > > > v7 review fixed in v10 > > > > > --- > > > > > > > > > > Signed-off-by: Jacob Pan > > > > > Signed-off-by: Ashok Raj > > > > > Signed-off-by: Liu, Yi L > > > > > --- > > > > > drivers/iommu/intel-iommu.c | 182 > > > > > ++++++++++++++++++++++++++++++++++++++++++++ > > > > > 1 file changed, 182 insertions(+) > > > > > > > > > > diff --git a/drivers/iommu/intel-iommu.c > > > > > b/drivers/iommu/intel-iommu.c index b1477cd423dd..a76afb0fd51a > > > > > 100644 --- a/drivers/iommu/intel-iommu.c > > > > > +++ b/drivers/iommu/intel-iommu.c > > > > > @@ -5619,6 +5619,187 @@ static void > > > > > intel_iommu_aux_detach_device(struct iommu_domain *domain, > > > > > aux_domain_remove_dev(to_dmar_domain(domain), dev); > > > > > } > > > > > > > > > > +/* > > > > > + * 2D array for converting and sanitizing IOMMU generic TLB > > > > > granularity to > > > > > + * VT-d granularity. Invalidation is typically included in > > > > > the unmap operation > > > > > + * as a result of DMA or VFIO unmap. However, for assigned > > > > > devices guest > > > > > + * owns the first level page tables. Invalidations of > > > > > translation caches in the > > > > > + * guest are trapped and passed down to the host. > > > > > + * > > > > > + * vIOMMU in the guest will only expose first level page > > > > > tables, therefore > > > > > + * we do not include IOTLB granularity for request without > > > > > PASID (second level). > > > > > > > > I would revise above as "We do not support IOTLB granularity for > > > > request without PASID (second level), therefore any vIOMMU > > > > implementation that exposes the SVA capability to the guest > > > > should only expose the first level page tables, implying all > > > > invalidation requests from the guest will include a valid PASID" > > > > > > > Sounds good. > > > > > > > > + * > > > > > + * For example, to find the VT-d granularity encoding for > > > > > IOTLB > > > > > + * type and page selective granularity within PASID: > > > > > + * X: indexed by iommu cache type > > > > > + * Y: indexed by enum iommu_inv_granularity > > > > > + * [IOMMU_CACHE_INV_TYPE_IOTLB][IOMMU_INV_GRANU_ADDR] > > > > > + * > > > > > + * Granu_map array indicates validity of the table. 1: > > > > > valid, 0: invalid > > > > > + * > > > > > + */ > > > > > +const static int > > > > > > > > inv_type_granu_map[IOMMU_CACHE_INV_TYPE_NR][IOMMU_INV_GRANU_ > > > > > NR] = { > > > > > + /* > > > > > + * PASID based IOTLB invalidation: PASID selective > > > > > (per PASID), > > > > > + * page selective (address granularity) > > > > > + */ > > > > > + {0, 1, 1}, > > > > > + /* PASID based dev TLBs, only support all PASIDs or > > > > > single PASID */ > > > > > + {1, 1, 0}, > > > > > > > > Is this combination correct? when single PASID is being > > > > specified, it is essentially a page-selective invalidation > > > > since you need provide Address and Size. > > > > > > > This is for translation between generic UAPI granu to VT-d granu, > > > it has nothing to do with address and size. > > > > Generic UAPI defines three granularities: domain, pasid and addr. > > from the definition domain applies all entries related to did, pasid > > applies to all entries related to pasid, while addr is specific for > > a range. > > > > from what we just confirmed internally with VT-d spec owner, our > > PASID based dev TLB invalidation always requires addr and size, > > while current uAPI doesn't support multiple PASIDs based range > > invaliation. It sounds to me that you want to use domain to replace > > multiple PASIDs case (G=1), but it then changes the meaning of > > the domain granularity and easily lead to confusion. > > > > I feel Eric's proposal makes more sense. Here we'd better use {0, > > 0, 1} to indicate only addr range invalidation is allowed, matching > > the spec definition. We may use a special flag in > > iommu_inv_addr_info to indicate G=1 case, if necessary. > > I agree. G=1 case should be supported. I think we had a flag for > global as there is GL bit in p_iotlb_inv_dsc (a.k.a > ext_iotlb_inv_dsc), but it was dropped as 3.0 spec dropped GL bit. > Let's add it back as for DevTLB flush case. > Make sense. I will change that to --- a/drivers/iommu/intel-iommu.c +++ b/drivers/iommu/intel-iommu.c @@ -5741,7 +5741,7 @@ const static int inv_type_granu_map[IOMMU_CACHE_INV_TYPE_NR][IOMMU_INV_GRANU_NR] */ {0, 1, 1}, /* PASID based dev TLBs, only support all PASIDs or single PASID */ - {1, 1, 0}, + {0, 0, 1}, /* PASID cache */ {1, 1, 0} }; @@ -5750,7 +5750,7 @@ const static int inv_type_granu_table[IOMMU_CACHE_INV_TYPE_NR][IOMMU_INV_GRANU_N /* PASID based IOTLB */ {0, QI_GRAN_NONG_PASID, QI_GRAN_PSI_PASID}, /* PASID based dev TLBs */ - {QI_DEV_IOTLB_GRAN_ALL, QI_DEV_IOTLB_GRAN_PASID_SEL, 0}, + {0, 0, QI_DEV_IOTLB_GRAN_PASID_SEL}, /* PASID cache */ {QI_PC_ALL_PASIDS, QI_PC_PASID_SEL, 0}, }; > > > e.g. > > > If user passes IOMMU_INV_GRANU_PASID for the single PASID case as > > > you mentioned, this map table shows it is valid. > > > > > > Then the lookup result will get VT-d granu: > > > QI_DEV_IOTLB_GRAN_PASID_SEL, which means G=0. > > > > > > > > > > > + /* PASID cache */ > > > > > > > > PASID cache is fully managed by the host. Guest PASID cache > > > > invalidation is interpreted by vIOMMU for bind and unbind > > > > operations. I don't think we should accept any PASID cache > > > > invalidation from userspace or guest. > > > > > > > > > > True for vIOMMU, this is here for completeness. Can be used by > > > virtio IOMMU, since PC flush is inclusive (IOTLB, devTLB), it is > > > more efficient. > > > > I think it is not correct in concept. We should not allow the > > userspace or guest to request an operation which is beyond its > > privilege (just because doing so may bring some performance > > benefit). You can always introduce new cmd for such purpose. > > I guess it was added for the pasid table binding case? Now, our > platform doesn't support it. So I guess we can just make it as > unsupported in the 2D table. Sounds good. _______________________________________________ iommu mailing list iommu@lists.linux-foundation.org https://lists.linuxfoundation.org/mailman/listinfo/iommu