>>> On 26.05.15 at 10:05, wrote:
> No, not really. Protecting against a misbehaving control domain
> (guaranteeing the correctness of the operation) is going
> to be incomplete anyway. I think we just need to make this operation
> safe so even the control domain won't be able to compromise the
> h
Tim Deegan writes:
> At 12:06 +0200 on 25 May (143265), Vitaly Kuznetsov wrote:
>> Tim Deegan writes:
>>
>> > At 17:26 +0100 on 22 May (1432315574), Jan Beulich wrote:
>> >> >>> On 22.05.15 at 17:36, wrote:
>> >> > On 13.05.15 at 11:49, wrote:
>> >> >>> +if ( !source_d->is_dying )
At 12:06 +0200 on 25 May (143265), Vitaly Kuznetsov wrote:
> Tim Deegan writes:
>
> > At 17:26 +0100 on 22 May (1432315574), Jan Beulich wrote:
> >> >>> On 22.05.15 at 17:36, wrote:
> >> > On 13.05.15 at 11:49, wrote:
> >> >>> +if ( !source_d->is_dying )
> >> >>> +{
> >> >>> +
Tim Deegan writes:
> At 17:26 +0100 on 22 May (1432315574), Jan Beulich wrote:
>> >>> On 22.05.15 at 17:36, wrote:
>> > On 13.05.15 at 11:49, wrote:
>> >>> +if ( !source_d->is_dying )
>> >>> +{
>> >>> +/*
>> >>> + * Make sure no allocation/remapping for the source do
At 17:26 +0100 on 22 May (1432315574), Jan Beulich wrote:
> >>> On 22.05.15 at 17:36, wrote:
> > On 13.05.15 at 11:49, wrote:
> >>> +if ( !source_d->is_dying )
> >>> +{
> >>> +/*
> >>> + * Make sure no allocation/remapping for the source domain is
> >>> ongoing
> >>>
>>> On 22.05.15 at 17:36, wrote:
> On 13.05.15 at 11:49, wrote:
>>> +if ( !source_d->is_dying )
>>> +{
>>> +/*
>>> + * Make sure no allocation/remapping for the source domain is
>>> ongoing
>>> + * and set is_dying flag to prevent such actions in future.
>>> +
"Jan Beulich" writes:
On 13.05.15 at 11:49, wrote:
>> --- a/xen/common/memory.c
>> +++ b/xen/common/memory.c
>> @@ -580,6 +580,234 @@ static long
>> memory_exchange(XEN_GUEST_HANDLE_PARAM(xen_memory_exchange_t) arg)
>> return rc;
>> }
>>
>> +static long
>> memory_soft_reset(XEN_GU
>>> On 13.05.15 at 11:49, wrote:
> --- a/xen/common/memory.c
> +++ b/xen/common/memory.c
> @@ -580,6 +580,234 @@ static long
> memory_exchange(XEN_GUEST_HANDLE_PARAM(xen_memory_exchange_t) arg)
> return rc;
> }
>
> +static long
> memory_soft_reset(XEN_GUEST_HANDLE_PARAM(xen_memory_soft_r
