On Wed, 2010-10-13 at 11:03 +0200, Pavel Machek wrote:
> Hi!
>
> > > Now... I'm aware that lock_get/put around irq_free should be
> > > unneccessary, as should be irq_disable and my ->ready flag. Those were
> > > my attempts to work around the problem. I'll attach the full source at
> > > the end.
> > >
> > > > > Unfortunately, when the userspace app is ran and killed repeatedly (so
> > > > > that interrupt is registered/unregistered all the time), I get
> > > > > oopses in __ipipe_dispatch_wired() -- it seems to call into the NULL
> > > > > pointer.
> > > > >
> > > > > I decided that "wired" interrupt when the source is shared between
> > > > > Linux and Xenomai, is wrong thing, so I disable "wired" interrupts
> > > > > altogether, but that only moved oops to __virq_end.
> > > >
> > > > This is wrong. The only way to get a determistically shared IRQs across
> > > > domains is via the wired path, either using the pattern Gilles cited or,
> > > > in a slight variation, signaling down via a separate rtdm_nrtsig.
> > >
> > > For now, I'm trying to get it not to oops; deterministic latencies are
> > > the next topic :-(.
> >
> > Could you try the patches below? Absolutely untested as required by the
> > breaktiquette, but might help. Hopefully.
>
> Thanks!
>
> I hope I applied the patch correctly, it was slightly
> tricky... Unfortunately, it causes hang at first attempt to kill
> realtime task :-(.
Ah. Weird. The IRQ drain code is supposed to be called only when an
interrupt is unregistered from the Xenomai layer, which is not directly
related to killing a task. Maybe some of the task cleanup code involves
unregistering IRQs though, so this might explain.
>
> > @@ -1250,6 +1250,32 @@ int ipipe_unregister_domain(struct ipipe_domain
> > *ipd)
> > return 0;
> > }
> >
> > +void ipipe_drain_interrupt(struct ipipe_domain *ipd, unsigned int irq)
> > +{
> > + struct ipipe_percpu_domain_data *p;
> > + unsigned long flags;
> > + int cpu;
> > +
> > + flags = ipipe_critical_enter(NULL);
> > + clear_bit(IPIPE_HANDLE_FLAG, &ipd->irqs[irq].control);
> > + clear_bit(IPIPE_STICKY_FLAG, &ipd->irqs[irq].control);
> > + set_bit(IPIPE_PASS_FLAG, &ipd->irqs[irq].control);
> > + ipipe_critical_exit(flags);
> > +
> > + for_each_online_cpu(cpu) {
> > + local_irq_save_hw(flags);
> > + p = ipipe_percpudom_ptr(ipd, cpu);
> > + do {
> > + local_irq_restore_hw(flags);
> > + cpu_relax();
> > + local_irq_save_hw(flags);
> > + } while (test_bit(irq, p->irqpend_lomask) ||
> > + test_bit(IPIPE_STALL_FLAG, &p->status));
> > + local_irq_restore_hw(flags);
> > + }
> > +}
> > +EXPORT_SYMBOL_GPL(ipipe_drain_interrupt);
> > +
>
> This is the interesting place, right?
Yes. I messed up. We need the test on the STALL bit to make 100% sure
that we are not about clearing the function pointer under the feet of
the wired IRQ dispatcher, but at the same time, we enter the drain
routine with the STALL bit set for the target domain. So this code is
plain silly (patent not granted, way too much prior art).
As a quick check, you could try removing the second test_bit from the
end loop condition.
> I'll stick printks there and see
> what happens.
>
> Pavel
--
Philippe.
_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help
