WARNING - OLD ARCHIVES

This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
   
 
 
Xen 
 
Home Products Support Community News
 
   
 

xen-devel

[Xen-devel] Question about linear mapping of shadow page tables for 64bi

To: gianluca.guida@xxxxxxxxxxxxx, Tim.Deegan@xxxxxxxxxx, xen-devel@xxxxxxxxxxxxxxxxxxx
Subject: [Xen-devel] Question about linear mapping of shadow page tables for 64bit HVM guest
From: Abe Petrov <abe.petrov@xxxxxxxxx>
Date: Sat, 21 Nov 2009 13:38:54 -0500
Cc:
Delivery-date: Sat, 21 Nov 2009 10:39:20 -0800
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type; bh=sNTVQSgqiyQlU+fvGkk8YQJ+PB5EDjzgixtl+cH7Rqs=; b=KRsSj1HlrEuuUelQXtB0nXKQCYDG1SysPivcRoEhgFk9xCeoROSxjwv5nnCKR0u2le k7mqIu8pcLjHk2HFIxqTmqsUW6pAffCxvumpHjU8LYgoSetxt35GxKg1q/bGC6nfOT4L RDAW57Pna2UkUQfdXMP/XUSjIGQkv3wfUdtI4=
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=ZsGarpaQwbjpZR4j5S2OUhLzFrXgBcfIxV3fGB25WFv1Ow+AvlBaV86GU0HrhHnFLB iCDnlfgXZ1BI8D+rVJhbsVVy9U2P25jBs7xD3X+ov0fjHQ1vzCbTcDn83MKzDfscP5xn JBF/OVLrKB3Bkelu3T+8jfZCaMsUGSJ9FkD+o=
Envelope-to: www-data@xxxxxxxxxxxxxxxxxxx
List-help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-id: Xen developer discussion <xen-devel.lists.xensource.com>
List-post: <mailto:xen-devel@lists.xensource.com>
List-subscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
List-unsubscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
Sender: xen-devel-bounces@xxxxxxxxxxxxxxxxxxx
Linear mapping of shadow page tables is used to find shadow PTEs that
map a given guest VA. If I understand the following macros correctly

    #define __sh_linear_l1_table ((shadow_l1e_t *)(SH_LINEAR_PT_VIRT_START))
    #define __sh_linear_l2_table ((shadow_l2e_t *)
          \
        (__sh_linear_l1_table +
shadow_l1_linear_offset(SH_LINEAR_PT_VIRT_START)))

there is an overlap between L1 and L2 (also L3 and L4) tables. That
creates potential conflicts between different guest VAs.

For example L1 shadow PTE for guest VA1 = 0x818000000000 (the same as
SH_LINEAR_PT_VIRT_START) coincides with L2 shadow PTE for the guest
VA2 = 0x0. So updating L1 shadow PTE for guest VA1 would overwrite L2
shadow PTE for the guest VA2.

What am I missing? Sorry for the novice question.

Thank you,

Abe.

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

<Prev in Thread] Current Thread [Next in Thread>