{"id":343458,"date":"2023-01-02T21:01:04","date_gmt":"2023-01-02T21:01:04","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=343458"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=343458","title":{"rendered":"std::conditional_variable \u0438 std::atomic_flag \u0432 \u0421++20<\/span>"},"content":{"rendered":"
<\/div>\n
\n
\n
\n
\n

\u041e\u0441\u043d\u043e\u0432\u043d\u0430\u044f \u0438\u0434\u0435\u044f \u0441\u0442\u0430\u0442\u044c\u0438 — \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u044c \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c std::conditional_variable<\/code> \u0438 std::atomic_flag::wait<\/code> \u0438\u0437 \u0421++20, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f. <\/p>\n

\u041a\u043e\u0433\u0434\u0430 \u0432\u0441\u0442\u0430\u0435\u0442 \u0432\u043e\u043f\u0440\u043e\u0441 \u043e\u0431 \u043e\u0436\u0438\u0434\u0430\u043d\u0438\u0438 \u043a\u0430\u043a\u043e\u0433\u043e-\u0442\u043e \u0441\u043e\u0431\u044b\u0442\u0438\u044f\/\u0441\u043e\u0431\u044b\u0442\u0438\u0439, \u0442\u043e \u043e\u0434\u043d\u043e \u0438\u0437 \u043f\u0435\u0440\u0432\u044b\u0445 \u0447\u0442\u043e \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442 \u043d\u0430 \u0443\u043c — \u044d\u0442\u043e std::conditional_variable<\/code>. \u0421\u043e\u0433\u043b\u0430\u0441\u043d\u043e cppreference:<\/p>\n

\n

The\u00a0condition_variable<\/code>\u00a0class is a synchronization primitive used with a\u00a0std::mutex<\/a>\u00a0to block one or more threads until another thread both modifies a shared variable (the\u00a0condition<\/em>) and notifies the\u00a0condition_variable<\/code>.<\/p>\n<\/blockquote>\n

\u0442.\u0435. condition_variable<\/code> — \u044d\u0442\u043e \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432 \u0441\u0438\u043d\u0445\u0440\u043e\u043d\u0438\u0437\u0430\u0446\u0438\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043f\u043e\u0432\u0435\u0440\u0445 std::mutex<\/code> (\u0435\u0441\u043b\u0438 \u0431\u044b\u0442\u044c \u0442\u043e\u0447\u043d\u044b\u043c — \u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043d\u0430\u043f\u0440\u044f\u043c\u0443\u044e std::unique_lock<\/code>, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0443\u0436\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043f\u043e\u0432\u0435\u0440\u0445std::mutex<\/code>). \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0431\u044b\u0441\u0442\u0440\u043e \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0438 \u043a\u0440\u0430\u0442\u043a\u043e \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u043a\u0430\u043a \u044d\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442.<\/p>\n

class Example final { public: void produce() { { std::lock_guard lck(m_); update = true; } cv_.notify_one(); }  void consume() { std::unique_lock lck(m_); cv_.wait(lck, [this] { return update;}); if (update) { std::cout << \"update: new message from producer\" << std::endl; } } private: std::mutex m_; std::condition_variable cv_;  bool update{false}; };  int main() { Example example; auto produce_thread = std::thread(&Example::produce, &example); auto consume_thread = std::thread(&Example::consume, &example);  if (produce_thread.joinable()) produce_thread.join();  if (consume_thread.joinable()) consume_thread.join(); }<\/code><\/pre>\n
\u0412\u044b\u0432\u043e\u0434 \u0431\u0443\u0434\u0435\u0442 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c:<\/p>\n
update: new message from producer  Process finished with exit code 0<\/code><\/pre>\n
\u0412\u0441\u0435 \u043f\u0440\u043e\u0441\u0442\u043e: \u0441\u043e\u0437\u0434\u0430\u044e\u0442\u0441\u044f 2 \u043f\u043e\u0442\u043e\u043a\u0430, \u043e\u0434\u0438\u043d \u043f\u0438\u0448\u0435\u0442, \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u0442 \u043d\u043e\u0432\u043e\u0435 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u0435. <\/p>\n
\u041d\u0430\u0447\u043d\u0435\u043c \u0441 produce(). \u0438 \u043f\u0435\u0440\u0432\u043e\u0435, \u0447\u0442\u043e \u0443\u0432\u0438\u0434\u0438\u043c — \u044d\u0442\u043e std::lock_guard<\/code>.<\/p>\n
std::lock_guard<\/h2>\n
\u041d\u0430 (5) \u0441\u0442\u0440\u043e\u043a\u0435 \u043c\u044b \u0437\u0430\u0445\u0432\u0430\u0442\u044b\u0432\u0430\u0435\u043c mutex c \u043f\u043e\u043c\u043e\u0449\u044c\u044e std::lock_guard<\/code>. \u042d\u0442\u043e \u043f\u0440\u0438\u043c\u0435\u0440 RAII. \u041c\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435 \u0448\u0430\u0431\u043b\u043e\u043d, \u0443 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0435\u0441\u0442\u044c \u043c\u0435\u0442\u043e\u0434\u044b lock \u0438 unlock \u0438 \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u043c \u0432\u043d\u0443\u0442\u0440\u0438 non-const-\u0441\u0441\u044b\u043b\u043a\u0443. \u0418 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u043c lock\/unlock \u0432 ctor\/dtor. \u041a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u043f\u043e\u043c\u0435\u0447\u0435\u043d\u043e \u043a\u0430\u043a delete.<\/p>\n
\u0412\u0441\u0435 \u043f\u0440\u043e\u0441\u0442\u043e.<\/p>\n
\n\u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a std::lock_guard<\/summary>\n
\n
template<typename _Mutex>     class lock_guard     {     public:       typedef _Mutex mutex_type;        explicit lock_guard(mutex_type& __m) : _M_device(__m)       { _M_device.lock(); }        lock_guard(mutex_type& __m, adopt_lock_t) noexcept : _M_device(__m)       { } \/\/ calling thread owns mutex        ~lock_guard()       { _M_device.unlock(); }        lock_guard(const lock_guard&) = delete;       lock_guard& operator=(const lock_guard&) = delete;      private:       mutex_type&  _M_device;     };<\/code><\/pre>\n<\/p>\n<\/div>\n<\/details>\n
\u0415\u0441\u0442\u044c \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u0439 \u043c\u043e\u043c\u0435\u043d\u0442, \u0430 \u0438\u043c\u0435\u043d\u043d\u043e \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440:<\/p>\n
lock_guard(mutex_type& __m, adopt_lock_t)<\/code><\/pre>\n
\u042d\u0442\u043e \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u043d\u0435 \u0431\u043b\u043e\u043a\u0438\u0440\u0443\u0435\u0442 \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u043d\u044b\u0439 mutex, \u043d\u043e \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u0432 \u0434\u0435\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0435 \u0432\u0441\u0435 \u0442\u0430\u043a\u0436\u0435 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f unlock. \u0422\u0430\u043a \u0432 \u0447\u0435\u043c \u0436\u0435 \u0434\u0435\u043b\u043e? adopt_lock_t<\/code> \u043c\u043e\u0436\u043d\u043e \u0441\u0447\u0438\u0442\u0430\u0442\u044c \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u043c \u0442\u0435\u0433\u043e\u043c, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0441\u043e\u043e\u0431\u0449\u0430\u0435\u0442 lock_guard<\/code>, \u0447\u0442\u043e \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u043d\u044b\u0439 mutex \u0443\u0436\u0435 \u0437\u0430\u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u0430\u043d, \u043d\u043e \u0432 \u0434\u0435\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0435 \u0435\u0433\u043e \u0442\u0430\u043a\u0436\u0435 \u043d\u0430\u0434\u043e \u043e\u0441\u0432\u043e\u0431\u043e\u0436\u0434\u0430\u0442\u044c. \u0412\u0441\u0435 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u0435\u0449\u0435 \u0431\u043e\u043b\u0435\u0435 \u044f\u0441\u043d\u044b\u043c, \u043a\u043e\u0433\u0434\u0430 \u043f\u0435\u0440\u0435\u0432\u0435\u0434\u0435\u043c \u0441 \u0430\u043d\u0433\u043b\u0438\u0439\u0441\u043a\u043e\u0433\u043e adopt (\u043f\u0440\u0438\u043d\u044f\u0442\u044c, \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c). adopt_lock — \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0443. <\/p>\n
\u0414\u043b\u044f \u0447\u0435\u0433\u043e \u043d\u0443\u0436\u0435\u043d adopt_lock<\/code>?<\/p>\n
\u0414\u043e \u0421++17 \u0438 \u043f\u043e\u044f\u0432\u043b\u0435\u043d\u0438\u044f std::scoped_lock<\/code> \u044d\u0442\u043e \u0431\u044b\u043b \u0441\u043f\u043e\u0441\u043e\u0431 \u0434\u043b\u044f \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 mutex \u0438  \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e\u0439 \u0438\u0445 \u0440\u0430\u0437\u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0438 + exception safe.<\/p>\n
std::mutex m1; std::mutex m2; \/\/ ... std::lock(m1, m2); std::lock_guard lck1(m1, std::adopt_lock); std::lock_guard lck2(m2, std::adopt_lock); \/\/ ...<\/code><\/pre>\n\n
lock_guard<\/code> \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043b\u0438, \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u0434\u0430\u043b\u044c\u0448\u0435 produce. \u041f\u043e\u0434 \u0437\u0430\u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u043c mutex \u0438\u0437\u043c\u0435\u043d\u044f\u0435\u043c \u0434\u0430\u043d\u043d\u044b\u0435.  \u0442\u0435\u043a\u0443\u0449\u0430\u044f \u043e\u0431\u043b\u0430\u0441\u0442\u044c \u0432\u0438\u0434\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0430  (4) \u0438 (7) \u0441\u0442\u0440\u043e\u0447\u043a\u0430\u043c\u0438.  \u041d\u0443\u0436\u043d\u043e \u043b\u0438 \u043f\u043e\u0434 mutex \u0432\u043d\u043e\u0441\u0438\u0442\u044c notify_one<\/code> — \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u0434\u0430\u043b\u044c\u0448\u0435. \u0441\u0430\u043c notify_one()<\/code> \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u0434\u0430\u043b\u044c\u0448\u0435 \u0432\u043c\u0435\u0441\u0442\u0435 \u0441 wait<\/code>.<\/p>\n
\u041f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u043c \u043a consume() \u0438 \u0437\u0434\u0435\u0441\u044c \u043f\u0435\u0440\u0432\u043e\u0435, \u0447\u0442\u043e \u043c\u044b \u0432\u0438\u0434\u0438\u043c — \u044d\u0442\u043e std::unique_lock<\/code>.<\/p>\n
std::unique_lock<\/h2>\n
\u041d\u0430 (12) \u0441\u0442\u0440\u043e\u043a\u0435 \u043c\u044b \u0437\u0430\u0445\u0432\u0430\u0442\u044b\u0432\u0430\u0435\u043c mutex \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e std::unique_lock<\/code>. \u0418 \u044d\u0442\u043e \u0442\u043e\u0436\u0435 RAII. <\/p>\n
\u0412\u043d\u0443\u0442\u0440\u0438 \u044d\u0442\u043e\u0442 \u043b\u043e\u043a \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u0442 \u0441\u044b\u0440\u043e\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430 mutex. \u041f\u043e\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u043f\u043e\u043b\u0435 _M_owns<\/code> — \u043f\u043e \u043a\u043e\u0442\u043e\u0440\u043e\u043c\u0443 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f, \u043a\u0442\u043e \u0432\u043b\u0430\u0434\u0435\u043b\u0435\u0446 \u044d\u0442\u043e\u0439 \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0438.<\/p>\n
mutex_type*_M_device; bool_M_owns;<\/code><\/pre>\n
\u0420\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u043f\u0440\u0438\u043c\u0435\u0440 \u0440\u0430\u0431\u043e\u0442\u044b \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0430:<\/p>\n
\/\/ ... explicit unique_lock(mutex_type& __m)       : _M_device(std::__addressof(__m)), _M_owns(false)       { lock(); _M_owns = true;       } \/\/ ... void lock() { if (!_M_device)   __throw_system_error(int(errc::operation_not_permitted)); else if (_M_owns)   __throw_system_error(int(errc::resource_deadlock_would_occur)); else   {     _M_device->lock();     _M_owns = true;   } } \/\/ ...<\/code><\/pre>\n
\u0421\u043e\u0445\u0440\u0430\u043d\u044f\u0435\u0442 \u0430\u0434\u0440\u0435\u0441 \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u043d\u043e\u0433\u043e mutex \u0432 _M_device<\/code> \u0438 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u043c lock()<\/code>, \u0433\u0434\u0435 \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u043c, \u0447\u0442\u043e \u043c\u044b \u0432\u043b\u0430\u0434\u0435\u043b\u0435\u0446 \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0438. \u0421\u0442\u0440\u0430\u043d\u043d\u043e \u043a\u043e\u043d\u0435\u0447\u043d\u043e, \u0447\u0442\u043e _M_owns = true<\/code> \u0437\u0434\u0435\u0441\u044c \u0431\u0443\u0434\u0435\u0442 \u0432\u044b\u0437\u0432\u0430\u043d\u043e 2 \u0440\u0430\u0437\u0430. \u041d\u0443 \u0434\u0430 \u043b\u0430\u0434\u043d\u043e.<\/p>\n
\u041f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0434\u0435\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440:<\/p>\n
~unique_lock() { if (_M_owns)   unlock(); }<\/code><\/pre>\n
unlock()<\/code> \u0431\u0443\u0434\u0435\u043c \u0437\u0432\u0430\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0435\u0441\u043b\u0438 \u043c\u044b \u0432\u043b\u0430\u0434\u0435\u043b\u0435\u0446 \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0438, \u0432 \u043e\u0442\u043b\u0438\u0447\u0438\u0438 \u043e\u0442 \u0434\u0435\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0430 std::lock_guard<\/code>, \u0433\u0434\u0435 \u0432 \u0434\u0435\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f unlock()<\/code>.<\/p>\n
\u0415\u0441\u0442\u044c \u0437\u043d\u0430\u043a\u043e\u043c\u044b\u0439 \u043d\u0430\u043c \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u0441\u043e \u0437\u043d\u0430\u043a\u043e\u043c\u044b\u043c \u0442\u0435\u0433\u043e\u043c adopt_lock<\/code>:<\/p>\n
unique_lock(mutex_type& __m, adopt_lock_t) noexcept       : _M_device(std::__addressof(__m)), _M_owns(true)       { \/\/ XXX calling thread owns mutex       }<\/code><\/pre>\n
\u041f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u043c \u0437\u0430\u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 mutex \u0438 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u043c\u0441\u044f \u0435\u0433\u043e \u0432\u043b\u0430\u0434\u0435\u043b\u044c\u0446\u0435\u043c.<\/p>\n
\u041d\u043e \u0435\u0441\u0442\u044c \u0438 \u043d\u043e\u0432\u044b\u0435 \u0442\u0435\u0433\u0438. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 defer_lock<\/code>:<\/p>\n
unique_lock(mutex_type& __m, defer_lock_t) noexcept       : _M_device(std::__addressof(__m)), _M_owns(false)       { }<\/code><\/pre>\n
\u0421 \u0430\u043d\u0433\u043b. defer — \u043e\u0442\u043b\u043e\u0436\u0438\u0442\u044c \u0442.\u0435. \u0432 \u0434\u0430\u043d\u043d\u043e\u043c \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0435 \u043e\u0442\u043b\u043e\u0436\u0438\u0442\u044c \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0443. <\/p>\n
\u041d\u043e \u043a\u0442\u043e \u0442\u043e\u0433\u0434\u0430 \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0437\u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u0430\u0442\u044c mutex, \u0435\u0441\u043b\u0438 \u0432 \u0434\u0435\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0435 \u043a\u0430\u043a \u043c\u044b \u0432\u0438\u0434\u0435\u043b\u0438 unlock()<\/code> \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u0435\u0441\u043b\u0438 \u043c\u044b \u0432\u043b\u0430\u0434\u0435\u043b\u0435\u0446 \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0438, \u0430 \u0432 \u044d\u0442\u043e\u043c \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0435 _M_owns(false)<\/code>? std::unique_lock<\/code> \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0433\u043e\u0440\u0430\u0437\u0434\u043e \u0431\u043e\u043b\u044c\u0448\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u043d\u0435\u0436\u0435\u043b\u0438 std::lock_guard.<\/code> \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u043c\u0435\u0442\u043e\u0434 lock()\/unlock(). \u0418 \u043f\u0440\u0438 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0438 unique_lock<\/code> \u0441  defer_lock<\/code> \u043c\u043e\u0436\u043d\u043e \u0432\u043f\u043e\u0441\u043b\u0435\u0434\u0441\u0442\u0432\u0438\u0438 \u044d\u0442\u043e\u0442 unique_lock<\/code> \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u0432 std::lock<\/code>, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432\u044b\u0437\u043e\u0432\u0435\u0442 lock()<\/code> \u0438 \u0441\u0434\u0435\u043b\u0430\u0435\u0442 \u044d\u0442\u043e\u0442 unique_lock<\/code> \u0432\u043b\u0430\u0434\u0435\u043b\u044c\u0446\u0435\u043c \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0438.<\/p>\n
\u0414\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0435\u0441\u0442\u044c try_to_lock_t, duration \u043b\u043e\u0433\u0438\u043a\u0430, \u043d\u043e \u043d\u0430 \u043d\u0438\u0445 \u043e\u0441\u0442\u0430\u043d\u0430\u0432\u043b\u0438\u0432\u0430\u0442\u044c\u0441\u044f \u043d\u0435 \u0431\u0443\u0434\u0443.<\/p>\n
\u0413\u0434\u0435 \u044d\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c?<\/p>\n
\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0442\u043e\u0442 \u0436\u0435 \u043f\u0440\u0438\u043c\u0435\u0440, \u0447\u0442\u043e \u0438 \u0443 lock_guard<\/code> — \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0430 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 mutex \u0434\u043e \u043f\u043e\u044f\u0432\u043b\u0435\u043d\u0438\u044f std::scoped_lock<\/code>.<\/p>\n
std::mutex m1; std::mutex m2; \/\/ ... std::unique_lock lck1(m1, std::defer_lock); std::unique_lock lck2(m2, std::defer_lock); std::lock(lck1, lck2);<\/code><\/pre>\n\n
\u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u0441\u044f \u043a \u043c\u0435\u0442\u043e\u0434\u0443 consume() \u0438 \u0441\u043c\u043e\u0442\u0440\u0438\u043c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0443\u044e \u0441\u0442\u0440\u043e\u0447\u043a\u0443 (13). \u0414\u043e \u043d\u0430\u0447\u0430\u043b\u0430 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f wait \u043c\u044b \u0438\u043c\u0435\u0435\u043c \u0437\u0430\u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 mutex — \u0432\u043b\u0430\u0434\u0435\u043b\u0435\u0446 \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0438 std::unique_lock<\/code>.<\/p>\n
std::condition_variable::wait<\/h2>\n
\u0412 wait<\/code> \u043c\u044b \u043f\u0435\u0440\u0435\u0434\u0430\u0435\u043c \u0437\u0430\u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 std::unique_lock<\/code>, wait<\/code> \u0441\u043d\u0438\u043c\u0430\u0435\u0442 \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0443 \u0438 \u0443\u0441\u044b\u043f\u0430\u0435\u0442 (\u043d\u0435 \u0432\u0441\u0435\u0433\u0434\u0430: \u043a\u043e\u0433\u0434\u0430 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 \u0432  wait \u0438\u0441\u0442\u0438\u043d\u043d\u044b\u0439 \u043c\u043e\u0436\u0435\u0442 \u0438 \u043d\u0435 \u0443\u0441\u043d\u0443\u0442\u044c). \u0427\u0435\u0440\u0435\u0437 \u043a\u0430\u043a\u043e\u0435-\u0442\u043e \u0432\u0440\u0435\u043c\u044f \u043f\u043e\u0442\u043e\u043a \u043f\u0440\u043e\u0441\u044b\u043f\u0430\u0435\u0442\u0441\u044f \u0438 \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442 \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043a\u0443. \u0418\u043c\u0435\u043d\u043d\u043e \u0438\u0437-\u0437\u0430 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u043d\u0443\u0436\u043d\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c lock\/unlock \u0437\u0434\u0435\u0441\u044c \u043d\u0435\u043b\u044c\u0437\u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c std::lock_guard<\/code> — \u0443 \u043d\u0435\u0433\u043e \u043f\u043e\u043f\u0440\u043e\u0441\u0442\u0443 \u043d\u0435\u0442 \u0442\u0430\u043a\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438.<\/p>\n
\u041e\u0442\u0434\u0435\u043b\u044c\u043d\u043e \u0441\u0442\u043e\u0438\u0442 \u043f\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u0442\u044c \u043f\u0440\u043e \u043f\u0440\u043e\u0431\u0443\u0436\u0434\u0435\u043d\u0438\u044f \u043f\u043e\u0442\u043e\u043a\u0430 \u043d\u0430 wait<\/code>. \u0412\u0430\u0440\u0438\u0430\u043d\u0442\u044b \u043f\u0440\u043e\u0431\u0443\u0436\u0434\u0435\u043d\u0438\u044f \u043f\u043e\u0442\u043e\u043a\u0430:<\/p>\n