Per-vector software-interrupt masking
Per-vector software-interrupt masking
Posted Feb 17, 2019 17:24 UTC (Sun) by marcH (subscriber, #57642)In reply to: Per-vector software-interrupt masking by chantecode
Parent article: Per-vector software-interrupt masking
Sounds cool but I suspect PJ was hoping for some kind of *static* analysis finding all instances without having to run the corresponding code.
Posted Feb 18, 2019 2:43 UTC (Mon)
by chantecode (guest, #54535)
[Link]
Per-vector software-interrupt masking
That wouldn't be easy to do. It could easily miss out some subtleties, callback mazes, things hidden behind macros. Careful reviews plus some help from runtime analysis with lockdep seem to me the most reliable approach. But you have a point: we may not be able to test all the code we need to convert. The coverage is huge.