* <a href="http://en.cppreference.com/w/cpp/thread/mutex>std::mutex</a>.
*
* As for any S4U object, Mutexes are using the @ref s4u_raii "RAII idiom" for memory management.
* <a href="http://en.cppreference.com/w/cpp/thread/mutex>std::mutex</a>.
*
* As for any S4U object, Mutexes are using the @ref s4u_raii "RAII idiom" for memory management.