On 27/03/2009 17:22, "Timothy Hayes" <
hayesti@xxxxxx> wrote:
> CONFIG_SMP=y
> CONFIG_X86_FIND_SMP_CONFIG=y
> CONFIG_X86_MPPARSE=y
> # CONFIG_X86_PC is not set
> CONFIG_X86_XEN=y
>
> The problem occurs when I limit the VCPUs in each guest to 1, presumably they
> get scheduled into unique physical CPUs in parallel. Is there anything else I
> should be aware of? I'm quite optimistic that the XenSocket logic is sound,
> the only thing I can attribute this to is a lack of atomicity.