Why is locking a std::mutex twice ‘Undefined Behaviour’?

by

Because it never happens in a correct program, and making a check for something that never happens is wasteful (and to make that check it needs to store the owning thread ID, which is also wasteful).

Note that it being undefined allows debug implementations to throw an exception, for example, while still allowing release implementations to be as efficient as possible.

More Related Contents:

  1. Has C++ standard changed with respect to the use of indeterminate values and undefined behavior in C++14?
  2. Is signed integer overflow still undefined behavior in C++?
  3. Optimizing away a “while(1);” in C++0x
  4. Why do constant expressions have an exclusion for undefined behavior?
  5. Is this infinite recursion UB?
  6. Are multiple mutations within initializer lists undefined behavior?
  7. How to give priority to privileged thread in mutex locking?
  8. In C++11, does `i += ++i + 1` exhibit undefined behavior?
  9. How can I use something like std::vector?
  10. So why is i = ++i + 1 well-defined in C++11?
  11. Is it smart to replace boost::thread and boost::mutex with c++11 equivalents?
  12. C++11 equivalent to boost shared_mutex
  13. reinterpret_cast from object to first member
  14. In which versions of the C++ standard does “(i+=10)+=10” have undefined behaviour?
  15. Why does reading a record struct fields from std::istream fail, and how can I fix it?
  16. Compiling C++11 with g++
  17. reinterpret_cast creating a trivially default-constructible object
  18. How do I pass a unique_ptr argument to a constructor or a function?
  19. Why does C++11’s lambda require “mutable” keyword for capture-by-value, by default?
  20. What are the rules for the “…” token in the context of variadic templates?
  21. What exactly is a ‘side-effect’ in C++?
  22. How Does std::enable_if work?
  23. Vector of std::function with different signatures
  24. How to enforce copy elision, why it won’t work with deleted copy constructor?
  25. Why are std::atomic objects not copyable?
  26. With explicitly deleted member functions in C++11, is it still worthwhile to inherit from a noncopyable base class?
  27. generic member function pointer as a template parameter
  28. How can I use std::imbue to set the locale for std::wcout?
  29. GCC std::thread not found in namespace std
  30. using extern template (C++11) to avoid instantiation

Leave a Comment