rhashtable: Fix potential deadlock by moving schedule_work outside lock
BugLink: https://bugs.launchpad.net/bugs/2111953 [ Upstream commit e1d3422c95f003eba241c176adfe593c33e8a8f6 ] Move the hash table growth check and work scheduling outside the rht lock to prevent a possible circular locking dependency. The original implementation could trigger a lockdep warning due to a potential deadlock scenario involving nested locks between rhashtable bucket, rq lock, and dsq lock. By relocating the growth check and work scheduling after releasing the rth lock, we break this potential deadlock chain. This change expands the flexibility of rhashtable by removing restrictive locking that previously limited its use in scheduler and workqueue contexts. Import to say that this calls rht_grow_above_75(), which reads from struct rhashtable without holding the lock, if this is a problem, we can move the check to the lock, and schedule the workqueue after the lock. Fixes: f0e1a0643a59 ("sched_ext: Implement BPF extensible scheduler class") Suggested-by: Tejun Heo <tj@kernel.org> Signed-off-by: Breno Leitao <leitao@debian.org> Modified so that atomic_inc is also moved outside of the bucket lock along with the growth above 75% check. Signed-off-by: Herbert Xu <herbert@gondor.apana.org.au> Signed-off-by: Sasha Levin <sashal@kernel.org> Signed-off-by: Manuel Diewald <manuel.diewald@canonical.com> Signed-off-by: Mehmet Basaran <mehmet.basaran@canonical.com>
This commit is contained in:
committed by
Mehmet Basaran
parent
a9f50dcd08
commit
ff0b4cdb65
+6
-4
@@ -580,10 +580,6 @@ static struct bucket_table *rhashtable_insert_one(
|
||||
*/
|
||||
rht_assign_locked(bkt, obj);
|
||||
|
||||
atomic_inc(&ht->nelems);
|
||||
if (rht_grow_above_75(ht, tbl))
|
||||
schedule_work(&ht->run_work);
|
||||
|
||||
return NULL;
|
||||
}
|
||||
|
||||
@@ -620,6 +616,12 @@ static void *rhashtable_try_insert(struct rhashtable *ht, const void *key,
|
||||
data = ERR_CAST(new_tbl);
|
||||
|
||||
rht_unlock(tbl, bkt, flags);
|
||||
|
||||
if (PTR_ERR(data) == -ENOENT && !new_tbl) {
|
||||
atomic_inc(&ht->nelems);
|
||||
if (rht_grow_above_75(ht, tbl))
|
||||
schedule_work(&ht->run_work);
|
||||
}
|
||||
}
|
||||
} while (!IS_ERR_OR_NULL(new_tbl));
|
||||
|
||||
|
||||
Reference in New Issue
Block a user