Re: [RFC] Deadlock via recursive wakeup via RCU with threadirqs
From: Andrea Parri
Date: Sat Jun 29 2019 - 14:21:47 EST
> 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"...)