lkml.org 
[lkml]   [2022]   [Sep]   [1]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCHv8 00/11] Linear Address Masking enabling
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.
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.

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

Cheers,
Ashok

\
 
 \ /
  Last update: 2022-09-01 19:56    [W:0.260 / U:0.528 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site