Received: by 2002:a05:6358:3188:b0:123:57c1:9b43 with SMTP id q8csp2812731rwd; Fri, 26 May 2023 11:35:29 -0700 (PDT) X-Google-Smtp-Source: ACHHUZ51GKwXYY1e9awUzmL7SHCzYE7j3zTjd+CO1r728vomnAWKNA8NO5X/CAs8NQCEcWjZ3tkZ X-Received: by 2002:a17:902:b941:b0:1ac:a661:a4b0 with SMTP id h1-20020a170902b94100b001aca661a4b0mr2953169pls.57.1685126128711; Fri, 26 May 2023 11:35:28 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1685126128; cv=none; d=google.com; s=arc-20160816; b=JHhp2o9zO3rncCt4tlpRhvbgCOzwNuCTn8WAJqiMq6hAj7xG4PwU1QrM98LxULEuVP mpMJONvQGEHqqgOow3WuYXTXcJRYRbQHPNb47x344qnyxMMnu57ziOULPC2FmExsqf6k 0i35zTgVBJQlYq6qTblY2RNjuo17k/0CtCfYP5t2EEzwR9cum4QqoWGZxNfxqPkWQEYt 6VwRPl5q7x6lcmotNeUtrBsxYPwLlotkGSHIWOe1F257+poJUlWdrjwoUd3nA88eVld5 UhijG7CMuN/kOPnnzVbKWSEyQ/GySMeQBUb+nDWIFFWzzE8DXvVCJKgujgQwfpOb5USr Gw8g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:cc:to:from:subject:message-id:references :mime-version:in-reply-to:date:dkim-signature; bh=8723Sfa2idjuBQyBmaDZ+sDNH51vHhk7kq9m2RHFfPo=; b=blIELnKy+R+0OI6R/gDYepgKnkJRRNTlA1o5Jvs7Ikz4x4CDtB+tKYsvey0hdcWWcL 565eGBTcgPSSqIY27OdBn9VCkmIGogEy4rfnVhTT/m2xle6pmPTUaxcu+8if8HGsXO79 nOLHh2mnsxLIWDkOwknn5M2m7Nx6u1Kf/dPjQM8XGthWRB9oWFxZow8h4zWYsx6md6WQ Yeo46Q/5ZzjBSlkFbfzMMUKxG3RipKCzYme6U/8BLlxB5jGUh2E+QNBw+KY+qlr5yhSC 73HBO0phztZ8GmkVIqOZ1hxNiKpt3P8VJk8IRD4kb1lWkYYdbPqyNLwqwUoKAaD1TyM8 wV7Q== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@google.com header.s=20221208 header.b=phFaQo+Y; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id j13-20020a170902da8d00b001ac8daed841si4863019plx.646.2023.05.26.11.35.13; Fri, 26 May 2023 11:35:28 -0700 (PDT) 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; Authentication-Results: mx.google.com; dkim=pass header.i=@google.com header.s=20221208 header.b=phFaQo+Y; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231343AbjEZSNG (ORCPT + 99 others); Fri, 26 May 2023 14:13:06 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:33598 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229923AbjEZSNF (ORCPT ); Fri, 26 May 2023 14:13:05 -0400 Received: from mail-pg1-x549.google.com (mail-pg1-x549.google.com [IPv6:2607:f8b0:4864:20::549]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 6946CD3 for ; Fri, 26 May 2023 11:13:03 -0700 (PDT) Received: by mail-pg1-x549.google.com with SMTP id 41be03b00d2f7-5340957a1f1so695762a12.1 for ; Fri, 26 May 2023 11:13:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20221208; t=1685124783; x=1687716783; h=cc:to:from:subject:message-id:references:mime-version:in-reply-to :date:from:to:cc:subject:date:message-id:reply-to; bh=8723Sfa2idjuBQyBmaDZ+sDNH51vHhk7kq9m2RHFfPo=; b=phFaQo+YrscBxZ4dCTRlBjVL4pmD4DdWCACjQdTVYBaRZdnSp2rdTXqVB/UWwgr4M4 /xCclCbfcj/rmH54dDvHRJQJMFWVkDOrFJX9i17QTyocpAv55VhyK4bMV0RTKxPb9ove Wss+h0JL9nsYapeRI+aMTvInNeBDtWl84Q2QbZZYT6VzRAHfq61xWYvnDbasvi/JWePI ZGWQPvdvsTT6VRfjovZ2wf5WzCY63S02m6VLIGprrWqtaJ+IqtQA57EurgYvvEU4CUp+ PzWGGDCEL+J17Pvjx++8WmIi/2WC/WMLZnpp9g2nvWHRui1QMKMGLyHd9nkSOI4BMnQV mMvA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1685124783; x=1687716783; h=cc:to:from:subject:message-id:references:mime-version:in-reply-to :date:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=8723Sfa2idjuBQyBmaDZ+sDNH51vHhk7kq9m2RHFfPo=; b=MnryzVBfsj4eKipZDpYwU76bwsF5xrkYB65inNuZRh3APoMUkL5OfCMqjnVOmF6JdR CiScAHn7pm4Risa33c+pz9Y8YRULDyaqfa9IYhhmLhM+M0r0EBj0y0koWBYIkGxjvVdX lQJNDqeVygGFDqWlZ6kAv8pMTojK96LXFMInuwZnJ08nxoiSzWHLlqKK+RtARuDQA+0I plg6iS5xPwwDLTIMptD54jSRSa8DNHsTCGLEzZarwaO6amead/CNUZkGejm8z2elKyyp k6AkbQLOTXWCLis9i4wI+XPZvaLA/RQwvD8f0xnEi3NGg0hT456m3hKrXUAmqyzb+kNk 49jQ== X-Gm-Message-State: AC+VfDwPNFLNjO3i2VDpe9lLPVMANGEZsYsuhkW5+0IwYowHxAJkZcF/ 7eb7MSJA/tUJTq15egOd9ej1WTaZYQg= X-Received: from zagreus.c.googlers.com ([fda3:e722:ac3:cc00:7f:e700:c0a8:5c37]) (user=seanjc job=sendgmr) by 2002:a17:902:da82:b0:1a5:25db:5bc0 with SMTP id j2-20020a170902da8200b001a525db5bc0mr786579plx.3.1685124782889; Fri, 26 May 2023 11:13:02 -0700 (PDT) Date: Fri, 26 May 2023 11:13:01 -0700 In-Reply-To: <20230425113932.3148-1-ubizjak@gmail.com> Mime-Version: 1.0 References: <20230425113932.3148-1-ubizjak@gmail.com> Message-ID: Subject: Re: [PATCH] KVM: x86/mmu: Add comment on try_cmpxchg64 usage in tdp_mmu_set_spte_atomic From: Sean Christopherson To: Uros Bizjak Cc: kvm@vger.kernel.org, linux-kernel@vger.kernel.org, Paolo Bonzini , David Matlack Content-Type: text/plain; charset="us-ascii" X-Spam-Status: No, score=-9.6 required=5.0 tests=BAYES_00,DKIMWL_WL_MED, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE, SPF_HELO_NONE,SPF_PASS,T_SCC_BODY_TEXT_LINE,USER_IN_DEF_DKIM_WL 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: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Apr 25, 2023, Uros Bizjak wrote: > Commit aee98a6838d5 ("KVM: x86/mmu: Use try_cmpxchg64 in > tdp_mmu_set_spte_atomic") removed the comment that iter->old_spte is > updated when different logical CPU modifies the page table entry. > Although this is what try_cmpxchg does implicitly, it won't hurt > if this fact is explicitly mentioned in a restored comment. > > Cc: Paolo Bonzini > Cc: Sean Christopherson > Cc: David Matlack > Signed-off-by: Uros Bizjak > --- > arch/x86/kvm/mmu/tdp_mmu.c | 10 +++++++++- > 1 file changed, 9 insertions(+), 1 deletion(-) > > diff --git a/arch/x86/kvm/mmu/tdp_mmu.c b/arch/x86/kvm/mmu/tdp_mmu.c > index 7c25dbf32ecc..5d126b015086 100644 > --- a/arch/x86/kvm/mmu/tdp_mmu.c > +++ b/arch/x86/kvm/mmu/tdp_mmu.c > @@ -655,8 +655,16 @@ static inline int tdp_mmu_set_spte_atomic(struct kvm *kvm, > * Note, fast_pf_fix_direct_spte() can also modify TDP MMU SPTEs and > * does not hold the mmu_lock. > */ > - if (!try_cmpxchg64(sptep, &iter->old_spte, new_spte)) > + if (!try_cmpxchg64(sptep, &iter->old_spte, new_spte)) { > + /* > + * The page table entry was modified by a different logical > + * CPU. In this case the above try_cmpxchg updates > + * iter->old_spte with the current value, so the caller > + * operates on fresh data, e.g. if it retries > + * tdp_mmu_set_spte_atomic(). > + */ If there's no objection, when applying I'll massage this to extend the comment above the try_cmpxchg64(), e.g. /* * Note, fast_pf_fix_direct_spte() can also modify TDP MMU SPTEs and * does not hold the mmu_lock. On failure, i.e. if a different logical * CPU modified the SPTE, try_cmpxchg64() updates iter->old_spte with * the current value, so the caller operates on fresh data, e.g. if it * retries tdp_mmu_set_spte_atomic() */ if (!try_cmpxchg64(sptep, &iter->old_spte, new_spte)) return -EBUSY;