Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Date:   Wed, 14 Sep 2022 08:11:19 -0700
From:   Ashok Raj <ashok.raj@intel.com>
To:     "Kirill A. Shutemov" <kirill.shutemov@linux.intel.com>
CC:     "Kirill A. Shutemov" <kirill@shutemov.name>,
        Ashok Raj <ashok_raj@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>,
        Jason Gunthorpe <jgg@nvidia.com>,
        Joerg Roedel <joro@8bytes.org>, Ashok Raj <ashok.raj@intel.com>
Subject: Re: [PATCHv8 00/11] Linear Address Masking enabling
Message-ID: <YyHvF2K7ELVSTGvB@araj-MOBL2.amr.corp.intel.com>
References: <20220830010104.1282-1-kirill.shutemov@linux.intel.com>
 <YxDvpLb77lwb8zaT@araj-dh-work>
 <20220904003952.fheisiloilxh3mpo@box.shutemov.name>
 <20220912224930.ukakmmwumchyacqc@box.shutemov.name>
 <20220914144518.46rhhyh7zmxieozs@box.shutemov.name>
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <20220914144518.46rhhyh7zmxieozs@box.shutemov.name>
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?TccHnQTESS2yO5XRpjUSr7x8RCTDbPIPvVWDEGtEFfgkDB//eiMKrVJadrLk?=
 =?us-ascii?Q?3XqRAss8N04KfIWJqEV6fCZgulw4xzhGi1/BvPyeRTIwolbwQptGkTL0LAQP?=
 =?us-ascii?Q?XhCRMk0L+z6QRbZ6p6xyoV1b6gTfTfVTtXU7ztES2qrk/3vSOigc1fprxjqU?=
 =?us-ascii?Q?4hKW9QNEAQ/7Z87q68tJTOSsaNPT26vw/fOr8p+9uvkGRRvAvbMAIibirWd3?=
 =?us-ascii?Q?PEaCHDx4wQxUd05MQSfymjtzkgUy2G9sanUgn4hGcBqK2gUVZFUQY7Q0FNe3?=
 =?us-ascii?Q?pioWTHbESS7zS0fWwk71B3F+nQsYD6856w0TAU9SiWFiGpPzo4bIw5/aHAmp?=
 =?us-ascii?Q?8ZCmDavalOQQW0lU4GQ+sxSCU8+RQ3uGxuiGuye65CsOWgWc9n55HVOFyVAj?=
 =?us-ascii?Q?Vo032FIvf2pkqhWLb2XVOef57CzQJhUJ0Vnw+7KXk8E4riKZAOkuPvC/jaJy?=
 =?us-ascii?Q?KODzpS3oHcnpyAbHOYUVC9eYH31klO9RKcrZH+CCzG0f29jZCaKcIpw+koBu?=
 =?us-ascii?Q?h9FKIdJZbXSBCM89NliOAsjnhpdtal/WfS4zwHOLgHaMPXtz/0yUUoY5ffbK?=
 =?us-ascii?Q?HPhL6bNMDjiv4BCFcobFxIbnX7GcVVkTlTo1MTbGcBOlRgner/FH1PidzgfS?=
 =?us-ascii?Q?VXc9vlBHvQrfg14kT43+J6GnQ1JWq3vY3aTBgu7WNBXjHAaR1PNe6O5GFyWi?=
 =?us-ascii?Q?6FJ77xbzCguhn2F2npXimGvyZ8xM7GuhYis2AUMwXd6ePlb7SPZkWakCKm/5?=
 =?us-ascii?Q?m3giGkIkRdPKhKOQbDK7YK5gXSd0uCHHeKsPeQOhF7o1RDkS0w5xiJW3SQUw?=
 =?us-ascii?Q?eT4yFTuegkuuo9DQAexhWn788wv+r04DZPkQfzOB/6rXS4ntVpSYtF3EDGoz?=
 =?us-ascii?Q?Y0lkgim4DRxeP8cnWgTkWXDQ0q9P9tjZBFiEFCmfHyAwHCXvDVI4u54G+JNb?=
 =?us-ascii?Q?ygyEr2rFo56e+v+MpKrTYfd2/kqyYWKsexVPKqLU7W5mfSrIiPtTB5iIEtUj?=
 =?us-ascii?Q?Zgx8CQpiaE6CJw5C0ayVk2yzazfJTMrpqLGFWhmubhWA0om5nxqlKxZWEIKb?=
 =?us-ascii?Q?t3OdAdo3RSwKymDa9xgmqtWVJmeSJC98tHS0DNMu4TQLBml1NVTHKaTfcu0f?=
 =?us-ascii?Q?gxkGOyUF2RASh+z4rJU3BztOxSSbq0LfPaFMWk+9AkBih63hriFhBt+u4SVt?=
 =?us-ascii?Q?6RZf3y1klI79h4JpdJQ1A9EIXlRMhQnc7s6Cst+rdcQhz6KSFkdrR/EJlSUr?=
 =?us-ascii?Q?p6/LXxMJkFuqA6sZv00oQR/cILBwyNpBIgycTpkTpztXcECZc07yFIeoFF9x?=
 =?us-ascii?Q?8ujebDCAzpLlkixxeMwSOeZFMVbs+1Mzo75njNB68m1jgk/NtHvA9cAL4vyS?=
 =?us-ascii?Q?URMNcHE7oKgYO/EMA4iKL3hRrxeRz+/qCtEl2leR4eSzE+3PlHttQUw4nODV?=
 =?us-ascii?Q?WqvbNLNbof42gM9HSpLVgq6zp/nLhrpWpgYA0lFYVqdA41pskY6FjelcUfZg?=
 =?us-ascii?Q?iE5i1Y/XMYN2K1tQuKdXDXxt6YMhB0zIWcOJPcCdo4AAVdbbyyWFDVVnlNz+?=
 =?us-ascii?Q?9Ikf3Q+oy7vcoHThEsDi8l+ub1KZL794Wv5krvgM?=
X-MS-Exchange-CrossTenant-Network-Message-Id: d561d26f-280d-4556-e47b-08da96636500
X-MS-Exchange-CrossTenant-AuthSource: SJ1PR11MB6201.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Sep 2022 15:11:26.9332
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 46c98d88-e344-4ed4-8496-4ed7712e255d
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: X90L4pG8jvBK6n8J2pyaBVcsuzCYC8SBs9cLaqBK+wjj2zxgBnOiEZhzCGZUVMDB5veNsEE/JQbuSgTQ1bMD/w==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PH0PR11MB5176
X-OriginatorOrg: intel.com
X-Spam-Status: No, score=-7.1 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,
        DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_HI,
        RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_NONE,
        T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Wed, Sep 14, 2022 at 05:45:18PM +0300, Kirill A. Shutemov wrote:
> On Tue, Sep 13, 2022 at 01:49:30AM +0300, Kirill A. Shutemov wrote:
> > On Sun, Sep 04, 2022 at 03:39:52AM +0300, Kirill A. Shutemov wrote:
> > > 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?
> > 
> > Jacob, Ashok, any comment on this part?
> > 
> > I expect in many cases LAM will be enabled very early (like before malloc
> > is functinal) in process start and it makes PASID allocation always fail.
> > 
> > Any way out?
> 
> We need closure on this to proceed. Any clue?

Failing PASID allocation seems like the right thing to do here. If the
application is explicitly allocating PASID's it can opt-out using the
similar mechanism you have for LAM enabling. So user takes
responsibility for sanitizing pointers. 

If some library is using an accelerator without application knowledge,
that would use the failure as a mechanism to use an alternate path if
one exists.

I don't know if both LAM and SVM need a separate forced opt-in (or i
don't have an opinion rather). Is this what you were asking? 

+ Joerg, JasonG in case they have an opinion.

Cheers,
Ashok