parking_lot provides an API called RwLock::read_recursive, which allows recursively acquiring read locks.
This kind of FPs is found in https://github.com/Conflux-Chain/conflux-rust
A possible solution is to track the gen places of parking_lot read locks.
If it is read_recursive, then do not report double-read-lock bugs.
parking_lot provides an API called
RwLock::read_recursive, which allows recursively acquiring read locks. This kind of FPs is found in https://github.com/Conflux-Chain/conflux-rustA possible solution is to track the gen places of parking_lot read locks. If it is read_recursive, then do not report double-read-lock bugs.