[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [PATCH] x86/shadow: replace p2m_is_valid() uses
The justification for dropping p2m_mmio_dm from p2m_is_valid() was wrong for two of the shadow mode uses. In _sh_propagate() we want to create special L1 entries for p2m_mmio_dm pages. Hence we need to make sure we don't bail early for that type. In _sh_page_fault() we want to handle p2m_mmio_dm by forwarding to (internal or external) emulation. Pull the !p2m_is_mmio() check out of the || expression (as otherwise it would need adding to the lhs as well). In both cases, p2m_is_valid() in combination with p2m_is_grant() still doesn't cover foreign mappings. Hence use p2m_is_any_ram() plus (as necessary) p2m_mmio_* instead. Fixes: be59cceb2dbb ("x86/P2M: don't include MMIO_DM in p2m_is_valid()") Reported-by: Luca Fancellu <Luca.Fancellu@xxxxxxx> Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx> --- This still leaves the p2m_mmio_dm vs p2m_invalid unaddressed. While propagating #PF to the guest based on P2M type isn't quite right, not doing so in sh_page_fault() would lead to no forward progress in the guest anymore: If we put in place a non-present shadow PTE, another #PF will occur right after exiting to the guest. Doing so is only okay as a transient measure, e.g. while paging back in a paged-out page (where the respective type is included in P2M_RAM_TYPES). There could likely be at least one more Fixes: tag (to cover the lack of handling foreign mappings); the one supplied is merely to indicate the connection to the recent regression. --- a/xen/arch/x86/mm/shadow/multi.c +++ b/xen/arch/x86/mm/shadow/multi.c @@ -471,9 +471,7 @@ _sh_propagate(struct vcpu *v, /* We don't shadow PAE l3s */ ASSERT(GUEST_PAGING_LEVELS > 3 || level != 3); - /* Check there's something for the shadows to map to */ - if ( (!p2m_is_valid(p2mt) && !p2m_is_grant(p2mt)) - || !gfn_valid(d, target_gfn) ) + if ( !gfn_valid(d, target_gfn) ) { *sp = shadow_l1e_empty(); goto done; @@ -503,6 +501,13 @@ _sh_propagate(struct vcpu *v, goto done; } + /* Check there's something for the shadows to map to */ + if ( !p2m_is_any_ram(p2mt) && p2mt != p2m_mmio_direct ) + { + *sp = shadow_l1e_empty(); + goto done; + } + // Must have a valid target_mfn unless this is a prefetch or an l1 // pointing at MMIO space. In the case of a prefetch, an invalid // mfn means that we can not usefully shadow anything, and so we @@ -2366,8 +2371,8 @@ static int cf_check sh_page_fault( gmfn = get_gfn(d, gfn, &p2mt); if ( shadow_mode_refcounts(d) && - ((!p2m_is_valid(p2mt) && !p2m_is_grant(p2mt)) || - (!p2m_is_mmio(p2mt) && !mfn_valid(gmfn))) ) + !p2m_is_mmio(p2mt) && + (!p2m_is_any_ram(p2mt) || !mfn_valid(gmfn)) ) { perfc_incr(shadow_fault_bail_bad_gfn); SHADOW_PRINTK("BAD gfn=%"SH_PRI_gfn" gmfn=%"PRI_mfn"\n",
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |