diff options
| author | Uladzislau Rezki (Sony) <[email protected]> | 2020-05-25 23:47:47 +0200 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2020-06-29 11:59:25 -0700 |
| commit | 594aa5975b9b5cfe9edaec06170e43b8c0607377 (patch) | |
| tree | 9fe7d144b47dd3e8049e242713d080a7e9135219 /tools/perf/scripts/python/export-to-sqlite.py | |
| parent | 4d2919411867848fab78c7cb13139e17ad8b85bc (diff) | |
rcu/tree: Repeat the monitor if any free channel is busy
It is possible that one of the channels cannot be detached
because its free channel is busy and previously queued data
has not been processed yet. On the other hand, another
channel can be successfully detached causing the monitor
work to stop.
Prevent that by rescheduling the monitor work if there are
any channels in the pending state after a detach attempt.
Fixes: 34c881745549e ("rcu: Support kfree_bulk() interface in kfree_rcu()")
Acked-by: Joel Fernandes (Google) <[email protected]>
Signed-off-by: Uladzislau Rezki (Sony) <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/export-to-sqlite.py')
0 files changed, 0 insertions, 0 deletions