[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] [PATCH] x86/altp2m: cleanup p2m_altp2m_lazy_copy


  • To: Tamas K Lengyel <tamas@xxxxxxxxxxxxx>, <xen-devel@xxxxxxxxxxxxxxxxxxxx>
  • From: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
  • Date: Fri, 12 Apr 2019 20:43:57 +0100
  • Autocrypt: addr=andrew.cooper3@xxxxxxxxxx; prefer-encrypt=mutual; keydata= mQINBFLhNn8BEADVhE+Hb8i0GV6mihnnr/uiQQdPF8kUoFzCOPXkf7jQ5sLYeJa0cQi6Penp VtiFYznTairnVsN5J+ujSTIb+OlMSJUWV4opS7WVNnxHbFTPYZVQ3erv7NKc2iVizCRZ2Kxn srM1oPXWRic8BIAdYOKOloF2300SL/bIpeD+x7h3w9B/qez7nOin5NzkxgFoaUeIal12pXSR Q354FKFoy6Vh96gc4VRqte3jw8mPuJQpfws+Pb+swvSf/i1q1+1I4jsRQQh2m6OTADHIqg2E ofTYAEh7R5HfPx0EXoEDMdRjOeKn8+vvkAwhviWXTHlG3R1QkbE5M/oywnZ83udJmi+lxjJ5 YhQ5IzomvJ16H0Bq+TLyVLO/VRksp1VR9HxCzItLNCS8PdpYYz5TC204ViycobYU65WMpzWe LFAGn8jSS25XIpqv0Y9k87dLbctKKA14Ifw2kq5OIVu2FuX+3i446JOa2vpCI9GcjCzi3oHV e00bzYiHMIl0FICrNJU0Kjho8pdo0m2uxkn6SYEpogAy9pnatUlO+erL4LqFUO7GXSdBRbw5 gNt25XTLdSFuZtMxkY3tq8MFss5QnjhehCVPEpE6y9ZjI4XB8ad1G4oBHVGK5LMsvg22PfMJ ISWFSHoF/B5+lHkCKWkFxZ0gZn33ju5n6/FOdEx4B8cMJt+cWwARAQABtClBbmRyZXcgQ29v cGVyIDxhbmRyZXcuY29vcGVyM0BjaXRyaXguY29tPokCOgQTAQgAJAIbAwULCQgHAwUVCgkI CwUWAgMBAAIeAQIXgAUCWKD95wIZAQAKCRBlw/kGpdefoHbdD/9AIoR3k6fKl+RFiFpyAhvO 59ttDFI7nIAnlYngev2XUR3acFElJATHSDO0ju+hqWqAb8kVijXLops0gOfqt3VPZq9cuHlh IMDquatGLzAadfFx2eQYIYT+FYuMoPZy/aTUazmJIDVxP7L383grjIkn+7tAv+qeDfE+txL4 SAm1UHNvmdfgL2/lcmL3xRh7sub3nJilM93RWX1Pe5LBSDXO45uzCGEdst6uSlzYR/MEr+5Z JQQ32JV64zwvf/aKaagSQSQMYNX9JFgfZ3TKWC1KJQbX5ssoX/5hNLqxMcZV3TN7kU8I3kjK mPec9+1nECOjjJSO/h4P0sBZyIUGfguwzhEeGf4sMCuSEM4xjCnwiBwftR17sr0spYcOpqET ZGcAmyYcNjy6CYadNCnfR40vhhWuCfNCBzWnUW0lFoo12wb0YnzoOLjvfD6OL3JjIUJNOmJy RCsJ5IA/Iz33RhSVRmROu+TztwuThClw63g7+hoyewv7BemKyuU6FTVhjjW+XUWmS/FzknSi dAG+insr0746cTPpSkGl3KAXeWDGJzve7/SBBfyznWCMGaf8E2P1oOdIZRxHgWj0zNr1+ooF /PzgLPiCI4OMUttTlEKChgbUTQ+5o0P080JojqfXwbPAyumbaYcQNiH1/xYbJdOFSiBv9rpt TQTBLzDKXok86LkCDQRS4TZ/ARAAkgqudHsp+hd82UVkvgnlqZjzz2vyrYfz7bkPtXaGb9H4 Rfo7mQsEQavEBdWWjbga6eMnDqtu+FC+qeTGYebToxEyp2lKDSoAsvt8w82tIlP/EbmRbDVn 7bhjBlfRcFjVYw8uVDPptT0TV47vpoCVkTwcyb6OltJrvg/QzV9f07DJswuda1JH3/qvYu0p vjPnYvCq4NsqY2XSdAJ02HrdYPFtNyPEntu1n1KK+gJrstjtw7KsZ4ygXYrsm/oCBiVW/OgU g/XIlGErkrxe4vQvJyVwg6YH653YTX5hLLUEL1NS4TCo47RP+wi6y+TnuAL36UtK/uFyEuPy wwrDVcC4cIFhYSfsO0BumEI65yu7a8aHbGfq2lW251UcoU48Z27ZUUZd2Dr6O/n8poQHbaTd 6bJJSjzGGHZVbRP9UQ3lkmkmc0+XCHmj5WhwNNYjgbbmML7y0fsJT5RgvefAIFfHBg7fTY/i kBEimoUsTEQz+N4hbKwo1hULfVxDJStE4sbPhjbsPCrlXf6W9CxSyQ0qmZ2bXsLQYRj2xqd1 bpA+1o1j2N4/au1R/uSiUFjewJdT/LX1EklKDcQwpk06Af/N7VZtSfEJeRV04unbsKVXWZAk uAJyDDKN99ziC0Wz5kcPyVD1HNf8bgaqGDzrv3TfYjwqayRFcMf7xJaL9xXedMcAEQEAAYkC HwQYAQgACQUCUuE2fwIbDAAKCRBlw/kGpdefoG4XEACD1Qf/er8EA7g23HMxYWd3FXHThrVQ HgiGdk5Yh632vjOm9L4sd/GCEACVQKjsu98e8o3ysitFlznEns5EAAXEbITrgKWXDDUWGYxd pnjj2u+GkVdsOAGk0kxczX6s+VRBhpbBI2PWnOsRJgU2n10PZ3mZD4Xu9kU2IXYmuW+e5KCA vTArRUdCrAtIa1k01sPipPPw6dfxx2e5asy21YOytzxuWFfJTGnVxZZSCyLUO83sh6OZhJkk b9rxL9wPmpN/t2IPaEKoAc0FTQZS36wAMOXkBh24PQ9gaLJvfPKpNzGD8XWR5HHF0NLIJhgg 4ZlEXQ2fVp3XrtocHqhu4UZR4koCijgB8sB7Tb0GCpwK+C4UePdFLfhKyRdSXuvY3AHJd4CP 4JzW0Bzq/WXY3XMOzUTYApGQpnUpdOmuQSfpV9MQO+/jo7r6yPbxT7CwRS5dcQPzUiuHLK9i nvjREdh84qycnx0/6dDroYhp0DFv4udxuAvt1h4wGwTPRQZerSm4xaYegEFusyhbZrI0U9tJ B8WrhBLXDiYlyJT6zOV2yZFuW47VrLsjYnHwn27hmxTC/7tvG3euCklmkn9Sl9IAKFu29RSo d5bD8kMSCYsTqtTfT6W4A3qHGvIDta3ptLYpIAOD2sY3GYq2nf3Bbzx81wZK14JdDDHUX2Rs 6+ahAA==
  • Cc: George Dunlap <george.dunlap@xxxxxxxxxxxxx>, Wei Liu <wei.liu2@xxxxxxxxxx>, Jan Beulich <jbeulich@xxxxxxxx>, Roger Pau Monne <roger.pau@xxxxxxxxxx>
  • Delivery-date: Fri, 12 Apr 2019 19:44:30 +0000
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
  • Openpgp: preference=signencrypt

On 12/04/2019 17:39, Tamas K Lengyel wrote:
> The p2m_altp2m_lazy_copy is responsible for lazily populating an altp2m view
> when the guest traps out due to no EPT entry being present in the active view.
> Currently the function took several inputs that it didn't use and also
> locked/unlocked gfns when it didn't need to.
>
> Signed-off-by: Tamas K Lengyel <tamas@xxxxxxxxxxxxx>

Re-reveiwing in light of the discussion.

> diff --git a/xen/arch/x86/mm/p2m.c b/xen/arch/x86/mm/p2m.c
> index b9bbb8f485..140c707348 100644
> --- a/xen/arch/x86/mm/p2m.c
> +++ b/xen/arch/x86/mm/p2m.c
> @@ -2375,54 +2375,46 @@ bool_t p2m_switch_vcpu_altp2m_by_id(struct vcpu *v, 
> unsigned int idx)
>   *     indicate that outer handler should handle fault
>   */
>  
> -bool_t p2m_altp2m_lazy_copy(struct vcpu *v, paddr_t gpa,
> -                            unsigned long gla, struct npfec npfec,
> -                            struct p2m_domain **ap2m)
> +bool_t p2m_altp2m_lazy_copy(struct p2m_domain *ap2m, unsigned long gfn_l,
> +                            mfn_t hmfn, p2m_type_t hp2mt, p2m_access_t hp2ma,
> +                            unsigned int page_order)
>  {
> -    struct p2m_domain *hp2m = p2m_get_hostp2m(v->domain);
> -    p2m_type_t p2mt;
> -    p2m_access_t p2ma;
> -    unsigned int page_order;
> -    gfn_t gfn = _gfn(paddr_to_pfn(gpa));
> +    p2m_type_t ap2mt;
> +    p2m_access_t ap2ma;
>      unsigned long mask;
> -    mfn_t mfn;
> +    gfn_t gfn;
> +    mfn_t amfn;
>      int rv;
>  
> -    *ap2m = p2m_get_altp2m(v);
> -
> -    mfn = get_gfn_type_access(*ap2m, gfn_x(gfn), &p2mt, &p2ma,
> -                              0, &page_order);
> -    __put_gfn(*ap2m, gfn_x(gfn));
> -
> -    if ( !mfn_eq(mfn, INVALID_MFN) )
> -        return 0;

With the rearranged logic, and feeding in some of my cleanup series, you
want something like this:

/* Entry not present in hp2m?  Caller should handle the fault. */
if ( mfn_eq(hmfn, INVALID_MFN) )
    return 0;

There is no point doing the ap2m lookup if you're going to bail because
of the hp2m miss anyway.

> +    p2m_lock(ap2m);
>  
> -    mfn = get_gfn_type_access(hp2m, gfn_x(gfn), &p2mt, &p2ma,
> -                              P2M_ALLOC, &page_order);
> -    __put_gfn(hp2m, gfn_x(gfn));
> +    amfn = __get_gfn_type_access(ap2m, gfn_l, &ap2mt, &ap2ma,
> +                                 0, NULL, false);
>  
> -    if ( mfn_eq(mfn, INVALID_MFN) )
> +    /* Bail if entry is already in altp2m or there is no entry is hostp2m */

This comment then reduces to:

/* Entry already present in ap2m?  Caller should handle the fault. */

> +    if ( !mfn_eq(amfn, INVALID_MFN) || mfn_eq(hmfn, INVALID_MFN) )
> +    {
> +        p2m_unlock(ap2m);
>          return 0;
> -
> -    p2m_lock(*ap2m);
> +    }
>  
>      /*
>       * If this is a superpage mapping, round down both frame numbers
>       * to the start of the superpage.
>       */
>      mask = ~((1UL << page_order) - 1);
> -    mfn = _mfn(mfn_x(mfn) & mask);
> -    gfn = _gfn(gfn_x(gfn) & mask);
> +    hmfn = _mfn(mfn_x(hmfn) & mask);
> +    gfn = _gfn(gfn_l & mask);
>  
> -    rv = p2m_set_entry(*ap2m, gfn, mfn, page_order, p2mt, p2ma);
> -    p2m_unlock(*ap2m);
> +    rv = p2m_set_entry(ap2m, gfn, hmfn, page_order, hp2mt, hp2ma);
> +    p2m_unlock(ap2m);
>  
>      if ( rv )
>      {
>          gdprintk(XENLOG_ERR,
> -         "failed to set entry for %#"PRIx64" -> %#"PRIx64" p2m %#"PRIx64"\n",
> -         gfn_x(gfn), mfn_x(mfn), (unsigned long)*ap2m);
> -        domain_crash(hp2m->domain);
> +        "failed to set entry for %#"PRIx64" -> %#"PRIx64" p2m %#"PRIx64"\n",
> +        gfn_l, mfn_x(hmfn), (unsigned long)ap2m);

This should be a gprintk(), not a gdprintk(), because there is nothing
more infuriating in release builds than a domain_crash() with no
qualification.

Printing the virtual address of the ap2m is also useless as far as
diagnostics go.  How about something like:

"Failed to lazy copy gfn %"PRI_gfn" -> %"PRI_mfn" (type %u, access %u,
order %u) for view %u\n"

if there is an easy way to access the view id.  This at least stands a
chance of being useful when debugging.

> +        domain_crash(ap2m->domain);
>      }
>  
>      return 1;
> diff --git a/xen/include/asm-x86/p2m.h b/xen/include/asm-x86/p2m.h
> index 2801a8ccca..c25e2a3cd8 100644
> --- a/xen/include/asm-x86/p2m.h
> +++ b/xen/include/asm-x86/p2m.h
> @@ -867,8 +867,9 @@ void p2m_altp2m_check(struct vcpu *v, uint16_t idx);
>  void p2m_flush_altp2m(struct domain *d);
>  
>  /* Alternate p2m paging */
> -bool_t p2m_altp2m_lazy_copy(struct vcpu *v, paddr_t gpa,
> -    unsigned long gla, struct npfec npfec, struct p2m_domain **ap2m);
> +bool_t p2m_altp2m_lazy_copy(struct p2m_domain *ap2m, unsigned long gfn_l,
> +                            mfn_t hmfn, p2m_type_t hp2mt, p2m_access_t hp2ma,
> +                            unsigned int page_order);

Can we switch to bool while changing everything else as well?

Thanks,

~Andrew

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.