Gabriele Monaco <[email protected]> writes: > Per-task monitors use a slot in the task_struct->rv[] array and store > that locally (e.g. task_mon_slot), this slot is returned during the > destruction process but currently hanlers can be running while that slot > is returning and this race may lead to accessing an invalid slot. > > Synchronise with all in-flight tracepoint handlers using > tracepoint_synchronize_unregister() before returning the slot. > > Fixes: f5587d1b6ec9 ("rv: Add Hybrid Automata monitor type") > Fixes: a9769a5b9878 ("rv: Add support for LTL monitors") > Suggested-by: Wen Yang <[email protected]> > Signed-off-by: Gabriele Monaco <[email protected]>
Reviewed-by: Nam Cao <[email protected]>
