On 04/10/2012 10:43 AM, Roberto Bielli wrote:
> Hi Gilles,
> I don't find the end of last __ipipe_grab_irq in the trace that i send you.
> Is it correct ?
Yes, because the timer interrupt reschedules and wakes up the periodic
task. I had a look at the timer programming events, it is true that the
timer ticks more often than it should. Generally, this is an indication
that the timer frequency is not what xenomai believe it is. xenomai idea
of the timer frequency is given by __ipipe_mach_ticks_per_jiffy. Anyway,
this should not cause the timer not to tick, only to tick it more often.
What you should do now is try and reproduce the same conditions under an
unpatched linux to see if you get the same phenomenon.
Did you have a look a the processor errata ?
Xenomai-core mailing list