Лекции

Разбираем, что меняется в программе, когда появляется второй поток: почему порядок событий становится недетерминированным, чем отличается race condition от data race, и почему UB — это не «редкий баг», а выход за правила языка. На примерах со std :: thread, join (), общими переменными и ++ counter учимся проектировать минимально безопасные контракты владения данными.

Разбираем базовую работу с потоками в C++: как запускать std::thread функцией и лямбдой, как передаются аргументы (копия, ссылка через std::ref/ std::cref, перемещение через std::move), что гарантирует join(), как пользоваться joinable(), почему забытый join() ведёт к std::terminate, и закрепляем всё мини-проектом TextStats.

Разбираем, почему вызов detach() у std::thread часто превращает поток в «потерянный»: вы теряете точку завершения ( join()), получаете риски ошибок времени жизни ( lifetime) из-за захватов по ссылке ( [&]) и this, а также ухудшаете архитектуру и отладку. На практике смотрим на мини-проект TaskBook и сравниваем подходы: detached-копия против честного ожидания через join().

Разбираем, зачем в C++20/23 появились std::jthread и std::stop_token: как jthread делает управление потоком «по умолчанию безопасным» через RAII, чем он отличается от std::thread, как устроена кооперативная остановка через request_stop() и stop_requested(), и почему «остановка» — это протокол, а не убийство потока. В конце — практический пример со спиннером и разбор типичных ошибок.

Разбираем, что в многопоточном C++ считать «общими данными»: не только переменные в памяти, но и ввод/вывод вроде std::cout, файлы, внешние сервисы и даже порядок событий. Учимся начинать синхронизацию с договора о владении, использовать границы обмена через join(), избегать совместного доступа с помощью snapshot-копий и thread confinement, а также почему для остановки лучше брать std::stop_token, а не «общий» bool.