Re: [Xen-ia64-devel] [PATCH] Fix domain reboot bug

[Tristan Gingold <Tristan.Gingold@xxxxxxxx>]

Le Jeudi 30 Mars 2006 12:36, Tian, Kevin a écrit :
> From: Tristan Gingold
[...]
> >If I understand the patch correctly, you flush all the vhpt when a domain
> >is
> >destroyed.  Isn't it a little bit too heavy ?
> >
> >Tristan.
>
> Yes, that's too heavy. We hope the flush can be made more accurately
> after guest SMP support is fully ready. At that time, people can depend on
> domain-> domain_dirty_cpumask to decide which LPs should receive IPI.
> Fore example, currently domain_dirty_cpumask is even not updated at
> domain switch. So a most conservative way is chosen here to flush all
> LPs just like flush_tlb_all at domain destroy, and that can also ensure
> guest SMP working at early phase before everything is shot down. :-)
IMHO this is not related to SMP-guest but to VCPU-migration.

Tristan.



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