Define which mutexes are blocking and recursive explicitly

This commit is contained in:
gingerBill
2021-07-27 23:14:01 +01:00
parent 4bc3796f9b
commit a5d6fda433
14 changed files with 151 additions and 133 deletions
+3 -3
View File
@@ -300,10 +300,10 @@ struct CheckerInfo {
// too much of a problem in practice
BlockingMutex deps_mutex;
gbMutex lazy_mutex; // Mutex required for lazy type checking of specific files
RecursiveMutex lazy_mutex; // Mutex required for lazy type checking of specific files
gbMutex gen_procs_mutex; // Possibly recursive
gbMutex gen_types_mutex; // Possibly recursive
RecursiveMutex gen_procs_mutex;
RecursiveMutex gen_types_mutex;
Map<Array<Entity *> > gen_procs; // Key: Ast * | Identifier -> Entity
Map<Array<Entity *> > gen_types; // Key: Type *