Branch: refs/heads/new-parallel-parsing Home: https://github.com/dyninst/dyninst Commit: 0777c247db559a2a8d5988a2045c917829f60d7c https://github.com/dyninst/dyninst/commit/0777c247db559a2a8d5988a2045c917829f60d7c Author: Xiaozhu Meng <xm...@cs.wisc.edu> Date: 2018-10-16 (Tue, 16 Oct 2018)
Changed paths: M parseAPI/h/CFG.h M parseAPI/src/ParseData.C M parseAPI/src/ParseData.h M parseAPI/src/Parser.C M parseAPI/src/Parser.h Log Message: ----------- 1. Use a new tbb::concurrent_hash_map to record block end. In addition, when adding out-going edges to a block, we first query the block end hash map to get the accessor to the block. When splitting the block, we also first query the block end hash map to get the access to the block. tbb::concurrent_hash_map provides implicit read-write lock through the accessor. Therefore, we enforce that adding out-going edges are not going to be concurrent with block split. 2. Add a bunch of asserts that check edge consistency. This is for debug purpose and will be removed later **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.
_______________________________________________ Dyninst-api mailing list Dyninst-api@cs.wisc.edu https://lists.cs.wisc.edu/mailman/listinfo/dyninst-api