linux-mm.kvack.org archive mirror
 help / color / mirror / Atom feed
From: "Kirill A. Shutemov" <kirill@shutemov.name>
To: Ashok Raj <ashok_raj@linux.intel.com>
Cc: "Kirill A. Shutemov" <kirill.shutemov@linux.intel.com>,
	Dave Hansen <dave.hansen@linux.intel.com>,
	Andy Lutomirski <luto@kernel.org>,
	Peter Zijlstra <peterz@infradead.org>,
	x86@kernel.org, Kostya Serebryany <kcc@google.com>,
	Andrey Ryabinin <ryabinin.a.a@gmail.com>,
	Andrey Konovalov <andreyknvl@gmail.com>,
	Alexander Potapenko <glider@google.com>,
	Taras Madan <tarasmadan@google.com>,
	Dmitry Vyukov <dvyukov@google.com>,
	"H . J . Lu" <hjl.tools@gmail.com>,
	Andi Kleen <ak@linux.intel.com>,
	Rick Edgecombe <rick.p.edgecombe@intel.com>,
	linux-mm@kvack.org, linux-kernel@vger.kernel.org,
	Jacon Jun Pan <jacob.jun.pan@intel.com>,
	Ashok Raj <ashok.raj@intel.com>
Subject: Re: [PATCHv8 00/11] Linear Address Masking enabling
Date: Sun, 4 Sep 2022 03:39:52 +0300	[thread overview]
Message-ID: <20220904003952.fheisiloilxh3mpo@box.shutemov.name> (raw)
In-Reply-To: <YxDvpLb77lwb8zaT@araj-dh-work>

On Thu, Sep 01, 2022 at 05:45:08PM +0000, Ashok Raj wrote:
> Hi Kirill,
> 
> On Tue, Aug 30, 2022 at 04:00:53AM +0300, Kirill A. Shutemov wrote:
> > Linear Address Masking[1] (LAM) modifies the checking that is applied to
> > 64-bit linear addresses, allowing software to use of the untranslated
> > address bits for metadata.
> 
> We discussed this internally, but didn't bubble up here.
> 
> Given that we are working on enabling Shared Virtual Addressing (SVA)
> within the IOMMU. This permits user to share VA directly with the device,
> and the device can participate even in fixing page-faults and such.
> 
> IOMMU enforces canonical addressing, since we are hijacking the top order
> bits for meta-data, it will fail sanity check and we would return a failure
> back to device on any page-faults from device. 
> 
> It also complicates how device TLB and ATS work, and needs some major
> improvements to detect device capability to accept tagged pointers, adjust
> the devtlb to act accordingly. 
> 
> 
> Both are orthogonal features, but there is an intersection of both
> that are fundamentally incompatible.
> 
> Its even more important, since an application might be using SVA under the
> cover provided by some library that's used without their knowledge.
> 
> The path would be:
> 
> 1. Ensure both LAM and SVM are incompatible by design, without major
>    changes.
>    	- If LAM is enabled already and later SVM enabling is requested by
> 	  user, that should fail. and Vice versa.
> 	- Provide an API to user to ask for opt-out. Now they know they
> 	  must sanitize the pointers before sending to device, or the
> 	  working set is already isolated and needs no work.

The patch below implements something like this. It is PoC, build-tested only.

To be honest, I hate it. It is clearly a layering violation. It feels
dirty. But I don't see any better way as we tie orthogonal features
together.

Also I have no idea how to make forced PASID allocation if LAM enabled.
What the API has to look like?

Any comments?

> 2. I suppose for any syscalls that take tagged pointers you would maybe
>    relax checks for how many bits to ignore for canonicallity. This is
>    required so user don't need to do the same for everything sanitization
>    before every syscall. 

I'm not quite follow this. For syscalls that allow tagged pointers, we do
untagged_addr() now. Not sure what else needed.

> If you have it fail, the library might choose a less optimal path if one is
> available.
> 
> Cheers,
> Ashok

diff --git a/arch/x86/include/uapi/asm/prctl.h b/arch/x86/include/uapi/asm/prctl.h
index a31e27b95b19..e5c04ced36c9 100644
--- a/arch/x86/include/uapi/asm/prctl.h
+++ b/arch/x86/include/uapi/asm/prctl.h
@@ -23,5 +23,6 @@
 #define ARCH_GET_UNTAG_MASK		0x4001
 #define ARCH_ENABLE_TAGGED_ADDR		0x4002
 #define ARCH_GET_MAX_TAG_BITS		0x4003
+#define ARCH_ENABLE_TAGGED_ADDR_FORCED	0x4004
 
 #endif /* _ASM_X86_PRCTL_H */
diff --git a/arch/x86/kernel/process_64.c b/arch/x86/kernel/process_64.c
index 337f80a0862f..7d89a2fd1a55 100644
--- a/arch/x86/kernel/process_64.c
+++ b/arch/x86/kernel/process_64.c
@@ -774,7 +774,8 @@ static bool lam_u48_allowed(void)
 #define LAM_U48_BITS 15
 #define LAM_U57_BITS 6
 
-static int prctl_enable_tagged_addr(struct mm_struct *mm, unsigned long nr_bits)
+static int prctl_enable_tagged_addr(struct mm_struct *mm, unsigned long nr_bits,
+				    bool forced)
 {
 	int ret = 0;
 
@@ -793,6 +794,11 @@ static int prctl_enable_tagged_addr(struct mm_struct *mm, unsigned long nr_bits)
 		goto out;
 	}
 
+	if (pasid_valid(mm->pasid) && !forced) {
+		ret = -EBUSY;
+		goto out;
+	}
+
 	if (!nr_bits) {
 		ret = -EINVAL;
 		goto out;
@@ -910,7 +916,9 @@ long do_arch_prctl_64(struct task_struct *task, int option, unsigned long arg2)
 		return put_user(task->mm->context.untag_mask,
 				(unsigned long __user *)arg2);
 	case ARCH_ENABLE_TAGGED_ADDR:
-		return prctl_enable_tagged_addr(task->mm, arg2);
+		return prctl_enable_tagged_addr(task->mm, arg2, false);
+	case ARCH_ENABLE_TAGGED_ADDR_FORCED:
+		return prctl_enable_tagged_addr(task->mm, arg2, true);
 	case ARCH_GET_MAX_TAG_BITS: {
 		int nr_bits;
 
diff --git a/drivers/iommu/iommu-sva-lib.c b/drivers/iommu/iommu-sva-lib.c
index 106506143896..a6ec17de1937 100644
--- a/drivers/iommu/iommu-sva-lib.c
+++ b/drivers/iommu/iommu-sva-lib.c
@@ -4,6 +4,7 @@
  */
 #include <linux/mutex.h>
 #include <linux/sched/mm.h>
+#include <asm/mmu_context.h>
 
 #include "iommu-sva-lib.h"
 
@@ -32,6 +33,15 @@ int iommu_sva_alloc_pasid(struct mm_struct *mm, ioasid_t min, ioasid_t max)
 		return -EINVAL;
 
 	mutex_lock(&iommu_sva_lock);
+
+	/* Serialize against LAM enabling */
+	mutex_lock(&mm->context.lock);
+
+	if (mm_lam_cr3_mask(mm)) {
+		ret = -EBUSY;
+		goto out;
+	}
+
 	/* Is a PASID already associated with this mm? */
 	if (pasid_valid(mm->pasid)) {
 		if (mm->pasid < min || mm->pasid >= max)
@@ -45,6 +55,7 @@ int iommu_sva_alloc_pasid(struct mm_struct *mm, ioasid_t min, ioasid_t max)
 	else
 		mm_pasid_set(mm, pasid);
 out:
+	mutex_unlock(&mm->context.lock);
 	mutex_unlock(&iommu_sva_lock);
 	return ret;
 }
-- 
  Kiryl Shutsemau / Kirill A. Shutemov


  reply	other threads:[~2022-09-04  0:40 UTC|newest]

Thread overview: 67+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-08-30  1:00 Kirill A. Shutemov
2022-08-30  1:00 ` [PATCHv8 01/11] x86/mm: Fix CR3_ADDR_MASK Kirill A. Shutemov
2022-08-30  1:00 ` [PATCHv8 02/11] x86: CPUID and CR3/CR4 flags for Linear Address Masking Kirill A. Shutemov
2022-08-30  1:00 ` [PATCHv8 03/11] mm: Pass down mm_struct to untagged_addr() Kirill A. Shutemov
2022-08-30  1:00 ` [PATCHv8 04/11] x86/mm: Handle LAM on context switch Kirill A. Shutemov
2022-08-30  1:00 ` [PATCHv8 05/11] x86/uaccess: Provide untagged_addr() and remove tags before address check Kirill A. Shutemov
2022-08-30  1:00 ` [PATCHv8 06/11] x86/mm: Provide arch_prctl() interface for LAM Kirill A. Shutemov
2022-08-30  1:01 ` [PATCHv8 07/11] x86: Expose untagging mask in /proc/$PID/arch_status Kirill A. Shutemov
2022-08-30  1:01 ` [PATCHv8 08/11] selftests/x86/lam: Add malloc and tag-bits test cases for linear-address masking Kirill A. Shutemov
2022-08-30  1:01 ` [PATCHv8 09/11] selftests/x86/lam: Add mmap and SYSCALL " Kirill A. Shutemov
2022-09-07  3:19   ` Robert Hoo
2022-09-09 11:24     ` Zhang, Weihong
2022-08-30  1:01 ` [PATCHv8 10/11] selftests/x86/lam: Add io_uring " Kirill A. Shutemov
2022-08-30  1:01 ` [PATCHv8 11/11] selftests/x86/lam: Add inherit " Kirill A. Shutemov
2022-09-01 17:45 ` [PATCHv8 00/11] Linear Address Masking enabling Ashok Raj
2022-09-04  0:39   ` Kirill A. Shutemov [this message]
2022-09-09 16:08     ` Ashok Raj
2022-09-12 20:39       ` Jacob Pan
2022-09-12 21:41         ` Dave Hansen
2022-09-12 22:55           ` Jacob Pan
2022-09-13  0:06             ` Kirill A. Shutemov
2022-09-13  0:23           ` Ashok Raj
2022-09-12 22:49     ` Kirill A. Shutemov
2022-09-13  0:08       ` Jacob Pan
2022-09-13  0:18         ` Kirill A. Shutemov
2022-09-14 14:45       ` Kirill A. Shutemov
2022-09-14 15:11         ` Ashok Raj
2022-09-14 15:18           ` Kirill A. Shutemov
2022-09-14 15:31             ` Ashok Raj
2022-09-14 15:45               ` Kirill A. Shutemov
2022-09-14 23:51                 ` Jacob Pan
2022-09-15  9:01                   ` Kirill A. Shutemov
2022-09-15 17:28                     ` Kirill A. Shutemov
2022-09-20 13:14                       ` Jason Gunthorpe
2022-09-20 14:57                         ` Ashok Raj
2022-09-20 16:06                         ` Dave Hansen
2022-09-20 16:27                           ` Jason Gunthorpe
2022-09-20 18:41                             ` Jacob Pan
2022-09-20 18:50                               ` Jason Gunthorpe
2022-09-20 20:44                                 ` Jacob Pan
2022-09-21  0:01                                   ` Jason Gunthorpe
2022-09-21  9:36                       ` Tian, Kevin
2022-09-21 16:57                       ` Dave Hansen
2022-09-21 17:08                         ` Ashok Raj
2022-09-21 17:11                           ` Dave Hansen
2022-09-21 17:29                             ` Ashok Raj
2022-09-21 18:11                             ` Jason Gunthorpe
2022-09-23  0:42                               ` Kirill A. Shutemov
2022-09-23  5:27                                 ` Ashok Raj
2022-09-23  9:38                                   ` Kirill A. Shutemov
2022-09-23 11:46                                     ` Jason Gunthorpe
2022-09-23 14:18                                       ` Dave Hansen
2022-09-23 14:42                                         ` Jason Gunthorpe
2022-09-23 14:59                                           ` Ashok Raj
2022-09-23 15:28                                         ` Ashok Raj
2022-09-23 15:31                                           ` Dave Hansen
2022-09-23 15:44                                             ` Ashok Raj
2022-09-23 16:23                                               ` Dave Hansen
2022-09-23 16:44                                                 ` Jason Gunthorpe
2022-09-04  1:00 ` Kirill A. Shutemov
2022-09-05  5:05   ` Bharata B Rao
2022-09-05 13:44     ` Kirill A. Shutemov
2022-09-05 14:30       ` Peter Zijlstra
2022-09-05 15:35         ` Kirill A. Shutemov
2022-09-05 15:46           ` Peter Zijlstra
2022-09-05 16:47             ` Kirill A. Shutemov
2022-09-06  8:39               ` Peter Zijlstra

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20220904003952.fheisiloilxh3mpo@box.shutemov.name \
    --to=kirill@shutemov.name \
    --cc=ak@linux.intel.com \
    --cc=andreyknvl@gmail.com \
    --cc=ashok.raj@intel.com \
    --cc=ashok_raj@linux.intel.com \
    --cc=dave.hansen@linux.intel.com \
    --cc=dvyukov@google.com \
    --cc=glider@google.com \
    --cc=hjl.tools@gmail.com \
    --cc=jacob.jun.pan@intel.com \
    --cc=kcc@google.com \
    --cc=kirill.shutemov@linux.intel.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-mm@kvack.org \
    --cc=luto@kernel.org \
    --cc=peterz@infradead.org \
    --cc=rick.p.edgecombe@intel.com \
    --cc=ryabinin.a.a@gmail.com \
    --cc=tarasmadan@google.com \
    --cc=x86@kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox