Fix race condition when adding a dependency

This commit is contained in:
gingerBill
2021-08-16 15:33:26 +01:00
parent 5f072591ba
commit 94d298755a
3 changed files with 14 additions and 8 deletions
+2 -1
View File
@@ -300,7 +300,8 @@ struct CheckerInfo {
BlockingMutex global_untyped_mutex;
BlockingMutex builtin_mutex;
// NOT recursive & Only used at the end of `check_proc_body`
// NOT recursive & only used at the end of `check_proc_body`
// and in `add_dependency`.
// This is a possible source of contention but probably not
// too much of a problem in practice
BlockingMutex deps_mutex;