FPs with RwLock::read_recursive
BurtonQin opened this issue · comments
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.