Re: [RFC] Deadlock via recursive wakeup via RCU with threadirqs

Andrea Parri
2019-06-29T18:21:42Z

> Remark: we do have code which (while acknowledging that "interrupts are
> synchronization points") doesn't quite seem to "believe it", c.f., e.g.,
> kernel/sched/membarrier.c:ipi_mb(). So, I guess the follow-up question
> would be "Would we better be (more) paranoid? ..."

should have been "IPIs are serializing" (so all a different "order"...)

Andrea