tokio-rs / loom

Concurrency permutation testing tool for Rust.
MIT License
2.09k stars 110 forks source link

Fix RwLock implementation #140

Closed carllerche closed 4 years ago

carllerche commented 4 years ago

Fixes a RwLock bug where the reader and writer threads were not correctly enabled / disabled in order to respect the RwLock guarantees. This resulted in write() locks being granted while there are outstanding readers.

cc @vakaras @pop