| commit | fb75be5270dca6eaeff307918b7cdcce077ea758 | [log] [tgz] |
|---|---|---|
| author | Joel Fernandes <joelagnelf@nvidia.com> | Tue Dec 30 02:03:47 2025 -0500 |
| committer | Joel Fernandes <joelagnelf@nvidia.com> | Tue Dec 30 02:03:47 2025 -0500 |
| tree | 50e5a2b426fcee88e8fab07bfadfce47ee98d7d2 | |
| parent | 3b9fc7496d59cea0f961a817125979e1c22da6bb [diff] |
rcu: Update verification invariant for new lock ordering With the previous commit moving rdp removal before rnp lock acquisition, there's now a window where a task can be on rnp->blkd_tasks but not on rdp->blkd_list (in the middle of being removed). Update the verification check from rnp_count != rdp_total to rnp_count < rdp_total to reflect this new invariant. Signed-off-by: Joel Fernandes <joelagnelf@nvidia.com>