[Xen-changelog] [xen-unstable] Out-of-sync L1 shadows: always unsync pages on guest writes.

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1213983710 -3600
# Node ID 6563ea38e0020be1eabc1ead5dc34cbe7dc701a9
# Parent  7b66b4e9f7436f2010bd47510c087cd5b2a862f0
Out-of-sync L1 shadows: always unsync pages on guest writes.

Signed-off-by: Gianluca Guida <gianluca.guida@xxxxxxxxxxxxx>
---
 xen/arch/x86/mm/shadow/multi.c |    7 +++++++
 1 files changed, 7 insertions(+)

diff -r 7b66b4e9f743 -r 6563ea38e002 xen/arch/x86/mm/shadow/multi.c
--- a/xen/arch/x86/mm/shadow/multi.c    Fri Jun 20 18:41:09 2008 +0100
+++ b/xen/arch/x86/mm/shadow/multi.c    Fri Jun 20 18:41:50 2008 +0100
@@ -3287,6 +3287,13 @@ static int sh_page_fault(struct vcpu *v,
         shadow_unlock(d);
         return 0;
     }
+
+#if (SHADOW_OPTIMIZATIONS & SHOPT_OUT_OF_SYNC)
+    /* Always unsync when writing to L1 page tables. */
+    if ( sh_mfn_is_a_page_table(gmfn)
+         && ft == ft_demand_write )
+        sh_unsync(v, gmfn, va);
+#endif /* OOS */
 
     /* Calculate the shadow entry and write it */
     l1e_propagate_from_guest(v, gw.l1e, gmfn, &sl1e, ft, p2mt);

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog