This ticket will introduce RWMutex, a reader-writer mutex type that assumes reads are more frequent than writes. This new primitive should mimic the public APIs and the behavior of std::shared_mutex, while providing lower cost for locking/unlocking the mutex in both read and write modes. This ticket should also replace the mutex in here and here with the newly added RWMutex.