Understanding std::shared_mutex from C++17

When shared_mutex was first introduced I did some benchmarking and found that it had significant overhead compared to just a normal mutex. More recently (last year) I revisited my tests and found that the implementation had improved so much that there was no overhead at all, I assume due to the new atomics in c++20

Kudos to the std library developers.