xen/x86: Fix memory leak in vcpu_create() error path

Various paths in vcpu_create() end up calling paging_update_paging_modes(),
which eventually allocate a monitor pagetable if one doesn't exist.

However, an error in vcpu_create() results in the vcpu being cleaned up
locally, and not put onto the domain's vcpu list.  Therefore, the monitor
table is not freed by {hap,shadow}_teardown()'s loop.  This is caught by
assertions later that we've successfully freed the entire hap/shadow memory
pool.

The per-vcpu loops in domain teardown logic is conceptually wrong, but exist
due to insufficient existing structure in the existing logic.

Break paging_vcpu_teardown() out of paging_teardown(), with mirrored breakouts
in the hap/shadow code, and use it from arch_vcpu_create()'s error path.  This
fixes the memory leak.

The new {hap,shadow}_vcpu_teardown() must be idempotent, and are written to be
as tolerable as possible, with the minimum number of safety checks possible.
In particular, drop the mfn_valid() check - if these fields are junk, then Xen
is going to explode anyway.

Reported-by: Michał Leszczyński <michal.leszczynski@cert.pl>
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
This commit is contained in:
Andrew Cooper committed 2020-12-21 14:11:25 +00:00
1 parent 6131dab5f2
commit d162f36848
7 files changed
+69 -42

No files matched your search

+1
View File
@@ -588,6 +588,7 @@ int arch_vcpu_create(struct vcpu *v)
return rc;
fail:
paging_vcpu_teardown(v);
vcpu_destroy_fpu(v);
xfree(v->arch.msrs);
v->arch.msrs = NULL;
+23 -16
View File
@@ -563,30 +563,37 @@ void hap_final_teardown(struct domain *d)
paging_unlock(d);
}
void hap_vcpu_teardown(struct vcpu *v)
{
struct domain *d = v->domain;
mfn_t mfn;
paging_lock(d);
if ( !paging_mode_hap(d) || !v->arch.paging.mode )
goto out;
mfn = pagetable_get_mfn(v->arch.hvm.monitor_table);
if ( mfn_x(mfn) )
hap_destroy_monitor_table(v, mfn);
v->arch.hvm.monitor_table = pagetable_null();
out:
paging_unlock(d);
}
void hap_teardown(struct domain *d, bool *preempted)
{
struct vcpu *v;
mfn_t mfn;
ASSERT(d->is_dying);
ASSERT(d != current->domain);
paging_lock(d); /* Keep various asserts happy */
/* TODO - Remove when the teardown path is better structured. */
for_each_vcpu ( d, v )
hap_vcpu_teardown(v);
if ( paging_mode_enabled(d) )
{
/* release the monitor table held by each vcpu */
for_each_vcpu ( d, v )
{
if ( paging_get_hostmode(v) && paging_mode_external(d) )
{
mfn = pagetable_get_mfn(v->arch.hvm.monitor_table);
if ( mfn_valid(mfn) && (mfn_x(mfn) != 0) )
hap_destroy_monitor_table(v, mfn);
v->arch.hvm.monitor_table = pagetable_null();
}
}
}
paging_lock(d); /* Keep various asserts happy */
if ( d->arch.paging.hap.total_pages != 0 )
{
+8
View File
@@ -794,6 +794,14 @@ long paging_domctl_continuation(XEN_GUEST_HANDLE_PARAM(xen_domctl_t) u_domctl)
}
#endif /* PG_log_dirty */
void paging_vcpu_teardown(struct vcpu *v)
{
if ( hap_enabled(v->domain) )
hap_vcpu_teardown(v);
else
shadow_vcpu_teardown(v);
}
/* Call when destroying a domain */
int paging_teardown(struct domain *d)
{
+32 -24
View File
@@ -2779,6 +2779,34 @@ int shadow_enable(struct domain *d, u32 mode)
return rv;
}
void shadow_vcpu_teardown(struct vcpu *v)
{
struct domain *d = v->domain;
paging_lock(d);
if ( !paging_mode_shadow(d) || !v->arch.paging.mode )
goto out;
v->arch.paging.mode->shadow.detach_old_tables(v);
#ifdef CONFIG_HVM
if ( shadow_mode_external(d) )
{
mfn_t mfn = pagetable_get_mfn(v->arch.hvm.monitor_table);
if ( mfn_x(mfn) )
sh_destroy_monitor_table(
v, mfn,
v->arch.paging.mode->shadow.shadow_levels);
v->arch.hvm.monitor_table = pagetable_null();
}
#endif
out:
paging_unlock(d);
}
void shadow_teardown(struct domain *d, bool *preempted)
/* Destroy the shadow pagetables of this domain and free its shadow memory.
* Should only be called for dying domains. */
@@ -2789,32 +2817,12 @@ void shadow_teardown(struct domain *d, bool *preempted)
ASSERT(d->is_dying);
ASSERT(d != current->domain);
/* TODO - Remove when the teardown path is better structured. */
for_each_vcpu ( d, v )
shadow_vcpu_teardown(v);
paging_lock(d);
if ( shadow_mode_enabled(d) )
{
/* Release the shadow and monitor tables held by each vcpu */
for_each_vcpu(d, v)
{
if ( v->arch.paging.mode )
{
v->arch.paging.mode->shadow.detach_old_tables(v);
#ifdef CONFIG_HVM
if ( shadow_mode_external(d) )
{
mfn_t mfn = pagetable_get_mfn(v->arch.hvm.monitor_table);
if ( mfn_valid(mfn) && (mfn_x(mfn) != 0) )
sh_destroy_monitor_table(
v, mfn,
v->arch.paging.mode->shadow.shadow_levels);
v->arch.hvm.monitor_table = pagetable_null();
}
#endif /* CONFIG_HVM */
}
}
}
#if (SHADOW_OPTIMIZATIONS & (SHOPT_VIRTUAL_TLB|SHOPT_OUT_OF_SYNC))
/* Free the virtual-TLB array attached to each vcpu */
for_each_vcpu(d, v)
+1
View File
@@ -36,6 +36,7 @@ int hap_domctl(struct domain *d, struct xen_domctl_shadow_op *sc,
XEN_GUEST_HANDLE_PARAM(xen_domctl_t) u_domctl);
int hap_enable(struct domain *d, u32 mode);
void hap_final_teardown(struct domain *d);
void hap_vcpu_teardown(struct vcpu *v);
void hap_teardown(struct domain *d, bool *preempted);
void hap_vcpu_init(struct vcpu *v);
int hap_track_dirty_vram(struct domain *d,
+2 -1
View File
@@ -237,7 +237,8 @@ int paging_domctl(struct domain *d, struct xen_domctl_shadow_op *sc,
/* Helper hypercall for dealing with continuations. */
long paging_domctl_continuation(XEN_GUEST_HANDLE_PARAM(xen_domctl_t));
/* Call when destroying a domain */
/* Call when destroying a vcpu/domain */
void paging_vcpu_teardown(struct vcpu *v);
int paging_teardown(struct domain *d);
/* Call once all of the references to the domain have gone away */
+2 -1
View File
@@ -74,7 +74,8 @@ int shadow_domctl(struct domain *d,
struct xen_domctl_shadow_op *sc,
XEN_GUEST_HANDLE_PARAM(xen_domctl_t) u_domctl);
/* Call when destroying a domain */
/* Call when destroying a vcpu/domain */
void shadow_vcpu_teardown(struct vcpu *v);
void shadow_teardown(struct domain *d, bool *preempted);
/* Call once all of the references to the domain have gone away */
Reference in new issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.