3 Feb
2021
3 Feb
'21
3:46 p.m.
On 1/30/21 11:20 AM, Jarkko Sakkinen wrote: ...
Example scenario would such that all removals "side-channel" through the notifier callback. Then mmu_notifier_unregister() gets called exactly zero times. No MMU notifier srcu sync would be then happening.
NOTE: There's bunch of other examples, I'm just giving one.
Could you flesh this out a bit? I don't quite understand the scenario from what you describe above.
In any case, I'm open to other implementations that fix the race we know about. If you think you have a better fix, I'm happy to review it and make sure it closes the other race.