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=-13.3 required=3.0 tests=BAYES_00,DKIMWL_WL_MED, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED,USER_IN_DEF_DKIM_WL autolearn=no 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 20639C433E9 for ; Mon, 8 Mar 2021 21:50:25 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id E1EA765253 for ; Mon, 8 Mar 2021 21:50:24 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231843AbhCHVty (ORCPT ); Mon, 8 Mar 2021 16:49:54 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:40008 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S232006AbhCHVtT (ORCPT ); Mon, 8 Mar 2021 16:49:19 -0500 Received: from mail-io1-xd31.google.com (mail-io1-xd31.google.com [IPv6:2607:f8b0:4864:20::d31]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 54F64C06174A for ; Mon, 8 Mar 2021 13:49:19 -0800 (PST) Received: by mail-io1-xd31.google.com with SMTP id p16so11684568ioj.4 for ; Mon, 08 Mar 2021 13:49:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=PxGFNYkB+PhlnpyiOlFoWVSJQKIgr40ZX6iXKcdwu4A=; b=gJNLuxmt0KtJp3ttogLnImrqCPW2373mtXzi38n1BVU9eZC/3wENGXcP9pKWCvS6x2 yC5zi+Dj+1ueV+/UJskxqdrYiGSQkXYL+bHeAX4qgKJ86p9are5Lb8+frxC2yPznRIQ+ HGKaTkYEMDK0e07xpgEQoJuhIAUOBXtW4Yh3qXUHCxN8WHepNADEJccNeqTX35wk5qJE /6IOeQ5Z1QsiREl75+0mnumOFDIprze+QMQVc8e7nDLa7Yl1DUD3yBVRmQwMC+1zfe8Q 4mzsr4krTfI3KYCAHsUHM2sHdR4x/oJ7+gw0tBAPRYR7f1QUlrvnlQSYO4AVjED1btEZ eHCA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=PxGFNYkB+PhlnpyiOlFoWVSJQKIgr40ZX6iXKcdwu4A=; b=Qqj3V3XMTED1fEN3HF/VJTML1LWA6409ZHEQBeg5pUzKuMuABFsnjPxpy2Rdjn2jcs qIavHnpLokDjFCXelS6xcstaiW/SgYeyfLjFA6E2mmA8aEqNFp6ZSA47vcVn7QQGLZQe DmPb++/LsNQl49+IOOMjszOgKXgwLzVinxh0elTQeS7DGzz2/FCqTHz9kriO8XRFvyyr wUqXMREDiCOiAKESPIeG0VnftG9KAMjg+gAtt6cCjwtj7clcwgYEbplyQm8RUwoHQOam +MXs+td5OYePkZctyV06Y1ASfYk2LO1ZqM5fga9/DHjFXFIJ3M0NunZh1o06KY2JhVQ4 kTaw== X-Gm-Message-State: AOAM530Z8gGhIs1Qqb2MsyRpcJQyBtHWTTAqkMWheeXwc8Dj3/ykCsf7 5XmUjS+ZWdzKOo6bM1Y/wW0kOC9RBKpXWmU76mtp9SNIf0A= X-Google-Smtp-Source: ABdhPJxlBqh/azr1ukxSIXFdrDYqrJSd2aUrVCrr+PL/A2NM0tCc67jOlSuyo7JBvnYwyMArqxa/F4/qsnUbDS+hSmU= X-Received: by 2002:a6b:c40b:: with SMTP id y11mr19946301ioa.205.1615240158545; Mon, 08 Mar 2021 13:49:18 -0800 (PST) MIME-Version: 1.0 References: <7266edd714add8ec9d7f63eddfc9bbd4d789c213.1612398155.git.ashish.kalra@amd.com> <20210224175122.GA19661@ashkalra_ubuntu_server> <20210225202008.GA5208@ashkalra_ubuntu_server> <20210226140432.GB5950@ashkalra_ubuntu_server> <20210308104014.GA5333@ashkalra_ubuntu_server> In-Reply-To: From: Steve Rutherford Date: Mon, 8 Mar 2021 13:48:43 -0800 Message-ID: Subject: Re: [PATCH v10 10/16] KVM: x86: Introduce KVM_GET_SHARED_PAGES_LIST ioctl To: Sean Christopherson Cc: Ashish Kalra , "pbonzini@redhat.com" , "joro@8bytes.org" , "Lendacky, Thomas" , "kvm@vger.kernel.org" , "linux-kernel@vger.kernel.org" , "venu.busireddy@oracle.com" , "Singh, Brijesh" , Will Deacon , Quentin Perret Content-Type: text/plain; charset="UTF-8" Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, Mar 8, 2021 at 11:52 AM Sean Christopherson wrote: > > On Mon, Mar 08, 2021, Ashish Kalra wrote: > > On Fri, Feb 26, 2021 at 09:44:41AM -0800, Sean Christopherson wrote: > > > +Will and Quentin (arm64) > > > > > > Moving the non-KVM x86 folks to bcc, I don't they care about KVM details at this > > > point. > > > > > > On Fri, Feb 26, 2021, Ashish Kalra wrote: > > > > On Thu, Feb 25, 2021 at 02:59:27PM -0800, Steve Rutherford wrote: > > > > > On Thu, Feb 25, 2021 at 12:20 PM Ashish Kalra wrote: > > > > > Thanks for grabbing the data! > > > > > > > > > > I am fine with both paths. Sean has stated an explicit desire for > > > > > hypercall exiting, so I think that would be the current consensus. > > > > > > Yep, though it'd be good to get Paolo's input, too. > > > > > > > > If we want to do hypercall exiting, this should be in a follow-up > > > > > series where we implement something more generic, e.g. a hypercall > > > > > exiting bitmap or hypercall exit list. If we are taking the hypercall > > > > > exit route, we can drop the kvm side of the hypercall. > > > > > > I don't think this is a good candidate for arbitrary hypercall interception. Or > > > rather, I think hypercall interception should be an orthogonal implementation. > > > > > > The guest, including guest firmware, needs to be aware that the hypercall is > > > supported, and the ABI needs to be well-defined. Relying on userspace VMMs to > > > implement a common ABI is an unnecessary risk. > > > > > > We could make KVM's default behavior be a nop, i.e. have KVM enforce the ABI but > > > require further VMM intervention. But, I just don't see the point, it would > > > save only a few lines of code. It would also limit what KVM could do in the > > > future, e.g. if KVM wanted to do its own bookkeeping _and_ exit to userspace, > > > then mandatory interception would essentially make it impossible for KVM to do > > > bookkeeping while still honoring the interception request. > > > > > > However, I do think it would make sense to have the userspace exit be a generic > > > exit type. But hey, we already have the necessary ABI defined for that! It's > > > just not used anywhere. > > > > > > /* KVM_EXIT_HYPERCALL */ > > > struct { > > > __u64 nr; > > > __u64 args[6]; > > > __u64 ret; > > > __u32 longmode; > > > __u32 pad; > > > } hypercall; > > > > > > > > > > > Userspace could also handle the MSR using MSR filters (would need to > > > > > confirm that). Then userspace could also be in control of the cpuid bit. > > > > > > An MSR is not a great fit; it's x86 specific and limited to 64 bits of data. > > > The data limitation could be fudged by shoving data into non-standard GPRs, but > > > that will result in truly heinous guest code, and extensibility issues. > > > > > > The data limitation is a moot point, because the x86-only thing is a deal > > > breaker. arm64's pKVM work has a near-identical use case for a guest to share > > > memory with a host. I can't think of a clever way to avoid having to support > > > TDX's and SNP's hypervisor-agnostic variants, but we can at least not have > > > multiple KVM variants. > > > > > > > Potentially, there is another reason for in-kernel hypercall handling > > considering SEV-SNP. In case of SEV-SNP the RMP table tracks the state > > of each guest page, for instance pages in hypervisor state, i.e., pages > > with C=0 and pages in guest valid state with C=1. > > > > Now, there shouldn't be a need for page encryption status hypercalls on > > SEV-SNP as KVM can track & reference guest page status directly using > > the RMP table. > > Relying on the RMP table itself would require locking the RMP table for an > extended duration, and walking the entire RMP to find shared pages would be > very inefficient. > > > As KVM maintains the RMP table, therefore we will need SET/GET type of > > interfaces to provide the guest page encryption status to userspace. > > Hrm, somehow I temporarily forgot about SNP and TDX adding their own hypercalls > for converting between shared and private. And in the case of TDX, the hypercall > can't be trusted, i.e. is just a hint, otherwise the guest could induce a #MC in > the host. > > But, the different guest behavior doesn't require KVM to maintain a list/tree, > e.g. adding a dedicated KVM_EXIT_* for notifying userspace of page encryption > status changes would also suffice. > > Actually, that made me think of another argument against maintaining a list in > KVM: there's no way to notify userspace that a page's status has changed. > Userspace would need to query KVM to do GET_LIST after every GET_DIRTY. > Obviously not a huge issue, but it does make migration slightly less efficient. > > On a related topic, there are fatal race conditions that will require careful > coordination between guest and host, and will effectively be wired into the ABI. > SNP and TDX don't suffer these issues because host awareness of status is atomic > with respect to the guest actually writing the page with the new encryption > status. > > For SEV live migration... > > If the guest does the hypercall after writing the page, then the guest is hosed > if it gets migrated while writing the page (scenario #1): > > vCPU Userspace > zero_bytes[0:N] > > > zero_bytes[N+1:4095] > set_shared (dest) > kaboom! > > If userspace does GET_DIRTY after GET_LIST, then the host would transfer bad > data by consuming a stale list (scenario #2): > > vCPU Userspace > get_list (from KVM or internally) > set_shared (src) > zero_page (src) > get_dirty > > > kaboom! > > If both guest and host order things to avoid #1 and #2, the host can still > migrate the wrong data (scenario #3): > > vCPU Userspace > set_private > zero_bytes[0:4096] > get_dirty > set_shared (src) > get_list > > > set_private (dest) > kaboom! > > Scenario #3 is unlikely, but plausible, e.g. if the guest bails from its > conversion flow for whatever reason, after making the initial hypercall. Maybe > it goes without saying, but to address #3, the guest must consider existing data > as lost the instant it tells the host the page has been converted to a different > type. This requires the guest to bail on the conversion flow, and subsequently treat the page as having it's previous value. The kernel does not currently do this. I don't think it should ever do this. Currently, each time the guest changes it's view of a page, it re-zeroes that page, and it does so after flipping the c-bit and calling the hypercall (IIRC). This is much more conservative than is necessary for supporting LM, but does suffice. I think the minimal requirement for LM support is "Flipping a page's encryption status (and advertising that flip to the host) twice is not a no-op. The kernel must reinitialize that page". This invariant should also be necessary for anything that moves pages around on the same host (COPY, SWAP_OUT, SWAP_IN). Relatedly, there is no workaround if the kernel does in-place reencryption (since the page would be both encrypted and unencrypted). That said, I believe the spec affirmatively tells you not to do this outside of SME. There's also no solution if the guest relies on the value of ciphertext, or on the value of "decrypted plaintext". The guest could detect live migration by noticing that a page's value from an unencrypted perspective has changed when it's value from an encrypted perspective has not (or the other way around). This would also imply that a very strange guest could be broken by live migration.