11. [x] MT support: 2 - [x] Updating typesystem put under lock (ClassLinker::AddFile) 3 - [x] (using atomic flag) Verification of method put under lock to exclude double verification at the same time, or make verified_ field atomic 4 (? is writing to the field at the same time from different thread same value needs to be synced, may be set it volatile only?) 5 (double verification is very rare case, and verification is to be expected idempotent operation) 6 - [x] Passing PandaTypes to absint by const ref, because absint is not expected to change PandaTypes 7 (and using RWLock, because of ClassLinker::AddFile) 8 - [x] Minor: type_image is not thread-safe currently 9 101a. Redesign verification into job-queue and separate thread for verifier. 11 Remove all locks in verifier thread for accessing typesystem 12 132. Refactor bitvector and relation to speedup things 143. Refactor typesystem (see todo's in source code files) 15 164. Extend origins setup to all instructions and method entrance 175. Support origins recalc on LUB of contexts 18 196. Currently in CheckMethodsArgs types of arguments are checked with respect to typecasting in past 20 - done Introduce the same mechanism in checkcast 21 - Return error if checkcast fail wrt typecasting in past? 22 237. done Origins: at method entry, give different @start origins to parameters! 248. Think about hash collisions of Method::UniqId(), Class::UniqId(), Field::UniqId().... 25 for class add consideration of file checksum.