Re: [Xenomai-core] [RFC] Fixes for domain migration races

2011-07-28 Thread Jan Kiszka
On 2011-07-27 20:44, Gilles Chanteperdrix wrote: On 07/19/2011 08:44 AM, Jan Kiszka wrote: Hi, I've just uploaded my upstream queue that mostly deals with the various races I found in the domain migration code. One of my concerns raised earlier turned out to be for no reason: We do not

Re: [Xenomai-core] [RFC] Fixes for domain migration races

2011-07-27 Thread Gilles Chanteperdrix
On 07/19/2011 08:44 AM, Jan Kiszka wrote: Hi, I've just uploaded my upstream queue that mostly deals with the various races I found in the domain migration code. One of my concerns raised earlier turned out to be for no reason: We do not allow Linux to wake up a task that has

[Xenomai-core] [RFC] Fixes for domain migration races

2011-07-19 Thread Jan Kiszka
Hi, I've just uploaded my upstream queue that mostly deals with the various races I found in the domain migration code. One of my concerns raised earlier turned out to be for no reason: We do not allow Linux to wake up a task that has TASK_ATOMICSWITCH set. So the deletion race can indeed be