Re: [Xenomai-core] Domain switch during page fault handling

2010-01-24 Thread Philippe Gerum
On Sat, 2010-01-23 at 11:33 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Sat, 2010-01-23 at 11:09 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 19:08 +0100, Philippe Gerum wrote: On Fri, 2010-01-22 at 19:03 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-24 Thread Jan Kiszka
Philippe Gerum wrote: On Sat, 2010-01-23 at 11:33 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Sat, 2010-01-23 at 11:09 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 19:08 +0100, Philippe Gerum wrote: On Fri, 2010-01-22 at 19:03 +0100, Jan Kiszka wrote: Philippe

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-24 Thread Philippe Gerum
On Sun, 2010-01-24 at 11:45 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Sat, 2010-01-23 at 11:33 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Sat, 2010-01-23 at 11:09 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 19:08 +0100, Philippe Gerum wrote: On

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-23 Thread Philippe Gerum
On Fri, 2010-01-22 at 19:08 +0100, Philippe Gerum wrote: On Fri, 2010-01-22 at 19:03 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 18:41 +0100, Jan Kiszka wrote: Gilles Chanteperdrix wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 17:58 +0100, Jan Kiszka

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-23 Thread Jan Kiszka
Philippe Gerum wrote: On Fri, 2010-01-22 at 19:08 +0100, Philippe Gerum wrote: On Fri, 2010-01-22 at 19:03 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 18:41 +0100, Jan Kiszka wrote: Gilles Chanteperdrix wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 17:58 +0100,

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-23 Thread Philippe Gerum
On Sat, 2010-01-23 at 11:09 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 19:08 +0100, Philippe Gerum wrote: On Fri, 2010-01-22 at 19:03 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 18:41 +0100, Jan Kiszka wrote: Gilles Chanteperdrix wrote:

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-23 Thread Jan Kiszka
Philippe Gerum wrote: On Sat, 2010-01-23 at 11:09 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 19:08 +0100, Philippe Gerum wrote: On Fri, 2010-01-22 at 19:03 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 18:41 +0100, Jan Kiszka wrote: Gilles

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-23 Thread Jan Kiszka
Gilles Chanteperdrix wrote: Philippe Gerum wrote: On Sat, 2010-01-23 at 11:09 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 19:08 +0100, Philippe Gerum wrote: On Fri, 2010-01-22 at 19:03 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 18:41 +0100,

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-23 Thread Jan Kiszka
Jan Kiszka wrote: Gilles Chanteperdrix wrote: The arguably less ambitious following patch works for me on x86_32: diff --git a/arch/x86/kernel/ipipe.c b/arch/x86/kernel/ipipe.c index 4442d96..a7e1241 100644 --- a/arch/x86/kernel/ipipe.c +++ b/arch/x86/kernel/ipipe.c @@ -703,6 +703,7 @@

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-22 Thread Jan Kiszka
Jan Kiszka wrote: Hi guys, we are currently trying to catch an ugly Linux pipeline state corruption on x86-64. Conceptual question: If a Xenomai task causes a fault, we enter ipipe_trap_notify over the primary domain and leave it over the root domain, right? Now, if the root domain

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-22 Thread Philippe Gerum
On Fri, 2010-01-22 at 17:58 +0100, Jan Kiszka wrote: Hi guys, we are currently trying to catch an ugly Linux pipeline state corruption on x86-64. Conceptual question: If a Xenomai task causes a fault, we enter ipipe_trap_notify over the primary domain and leave it over the root domain,

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-22 Thread Gilles Chanteperdrix
Philippe Gerum wrote: On Fri, 2010-01-22 at 17:58 +0100, Jan Kiszka wrote: Hi guys, we are currently trying to catch an ugly Linux pipeline state corruption on x86-64. Conceptual question: If a Xenomai task causes a fault, we enter ipipe_trap_notify over the primary domain and leave it

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-22 Thread Gilles Chanteperdrix
Jan Kiszka wrote: Hi guys, we are currently trying to catch an ugly Linux pipeline state corruption on x86-64. Conceptual question: If a Xenomai task causes a fault, we enter ipipe_trap_notify over the primary domain and leave it over the root domain, right? Now, if the root domain

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-22 Thread Jan Kiszka
Gilles Chanteperdrix wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 17:58 +0100, Jan Kiszka wrote: Hi guys, we are currently trying to catch an ugly Linux pipeline state corruption on x86-64. Conceptual question: If a Xenomai task causes a fault, we enter ipipe_trap_notify over the

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-22 Thread Jan Kiszka
Philippe Gerum wrote: On Fri, 2010-01-22 at 17:58 +0100, Jan Kiszka wrote: Hi guys, we are currently trying to catch an ugly Linux pipeline state corruption on x86-64. Conceptual question: If a Xenomai task causes a fault, we enter ipipe_trap_notify over the primary domain and leave it

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-22 Thread Jan Kiszka
Jan Kiszka wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 17:58 +0100, Jan Kiszka wrote: Hi guys, we are currently trying to catch an ugly Linux pipeline state corruption on x86-64. Conceptual question: If a Xenomai task causes a fault, we enter ipipe_trap_notify over the primary

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-22 Thread Philippe Gerum
On Fri, 2010-01-22 at 18:41 +0100, Jan Kiszka wrote: Gilles Chanteperdrix wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 17:58 +0100, Jan Kiszka wrote: Hi guys, we are currently trying to catch an ugly Linux pipeline state corruption on x86-64. Conceptual question: If a

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-22 Thread Jan Kiszka
Philippe Gerum wrote: On Fri, 2010-01-22 at 18:41 +0100, Jan Kiszka wrote: Gilles Chanteperdrix wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 17:58 +0100, Jan Kiszka wrote: Hi guys, we are currently trying to catch an ugly Linux pipeline state corruption on x86-64. Conceptual

Re: [Xenomai-core] Domain switch during page fault handling

2010-01-22 Thread Philippe Gerum
On Fri, 2010-01-22 at 19:03 +0100, Jan Kiszka wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 18:41 +0100, Jan Kiszka wrote: Gilles Chanteperdrix wrote: Philippe Gerum wrote: On Fri, 2010-01-22 at 17:58 +0100, Jan Kiszka wrote: Hi guys, we are currently trying to catch an ugly