Also known as a shared mutex. `std::shared_mutex` was introduced in C++17, but cppdap is C++11. To be used to fix #35.
Ben Clayton