C++ Academy · Lekcja

std::mutex, lock_guard i unique_lock

Chroń współdzielony stan za pomocą muteksów i pomocniczych blokad RAII

std::mutex, lock_guard i unique_lock to bezpłatna lekcja C++ Academy na CoddyKit. To lekcja 2 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej C++ Academy, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs C++ Academy zawiera 4 lekcji w sumie.

Dlaczego mutex?

Wiele wątków uzyskujących dostęp do tych samych danych konkuruje o nie. Mutex gwarantuje wzajemne wykluczanie: w danym momencie blokadę posiada tylko jeden wątek.

Podstawy std::mutex

Należy utworzyć mutex, zablokować go, a następnie odblokować. Ręczne zarządzanie blokadami jest podatne na błędy — zawsze należy używać pomocników RAII.

#include <mutex>
std::mutex mtx;

mtx.lock();
// critical section
mtx.unlock();

std::lock_guard: blokada RAII

To najprostsza blokada RAII. Blokuje mutex w konstruktorze i odblokowuje go w destruktorze. Doskonale sprawdza się w sekcjach krytycznych, które nie zgłaszają wyjątków.

std::mutex mtx;
int counter = 0;

void increment() {
    std::lock_guard<std::mutex> lock(mtx);
    ++counter;
}

std::scoped_lock (C++17)

Działa podobnie jak lock_guard, ale może jednocześnie zablokować wiele mutexów bez ryzyka zakleszczenia. We współczesnym kodzie należy preferować to rozwiązanie.

#include <mutex>
std::scoped_lock lock(mtx1, mtx2, mtx3);  // locks all atomically

std::unique_lock: elastyczna blokada

Zapewnia więcej możliwości niż lock_guard:

Można ją odblokować i ponownie zablokować w obrębie tego samego zakresu
Można ją przenosić (przenoszenie własności)
Jest używana ze zmiennymi warunkowymi

std::unique_lock<std::mutex> lock(mtx);
lock.unlock();        // release temporarily
// ... do something without the lock ...
lock.lock();           // reacquire

Unikanie zakleszczeń

Dwa wątki mogą się wzajemnie zakleszczyć, jeśli uzyskują blokady w różnej kolejności. Należy stosować spójną globalną kolejność blokowania albo użyć std::scoped_lock z wieloma mutexami.

std::lock dla wielu mutexów

Przed C++17 należy używać std::lock do atomowego uzyskiwania wielu mutexów. W C++17 rozwiązanie std::scoped_lock jest czytelniejsze.

Mutex rekurencyjny

std::recursive_mutex pozwala wątkowi wielokrotnie zablokować ten sam mutex. Zwykle wskazuje to na problemy projektowe — zamiast tego należy zrefaktoryzować kod.

try_lock i timed_mutex

try_lock natychmiast zwraca wynik, jeśli blokada jest już zajęta. std::timed_mutex obsługuje ograniczone czasowo próby uzyskania blokady.

Blokada czytelnik-pisarz

std::shared_mutex (C++17) pozwala na jednoczesny dostęp wielu czytelników albo jednego wyłącznego pisarza. Należy go używać w przypadku obciążeń z przewagą odczytów.

std::shared_mutex sm;
void read()  { std::shared_lock lk(sm);   /* read */ }
void write() { std::unique_lock lk(sm);   /* write */ }

Kompromis dotyczący ziarnistości

Zbyt gruboziarniste blokowanie ogranicza współbieżność. Zbyt drobnoziarniste blokowanie zwiększa narzut. Należy wykonać profilowanie i dostroić rozwiązanie.

Alternatywy bez blokad

W sytuacjach silnej rywalizacji o zasoby warto rozważyć struktury danych bez blokad (atomiki, kolejki bez blokad). Ich poprawna implementacja jest znacznie trudniejsza — należy używać ich tylko wtedy, gdy są potrzebne i zweryfikowane.

Szybkie sprawdzenie

Którą blokadę RAII należy preferować podczas jednoczesnego blokowania wielu mutexów?

Podsumowanie

Należy używać std::lock_guard w prostych sekcjach krytycznych, std::scoped_lock dla wielu mutexów oraz std::unique_lock, gdy potrzebna jest elastyczność (zmienne warunkowe, ręczne odblokowywanie). Zawsze należy używać RAII — nigdy nie wywoływać ręcznie lock/unlock.

Często zadawane pytania

Czy lekcja „std::mutex, lock_guard i unique_lock” jest bezpłatna?

Tak — pełny tekst „std::mutex, lock_guard i unique_lock” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu C++ Academy, przejdź na CoddyKit PRO. Kurs C++ Academy zawiera 4 lekcji w sumie.

Co nauczysz się w „std::mutex, lock_guard i unique_lock”?

Chroń współdzielony stan za pomocą muteksów i pomocniczych blokad RAII Ćwiczysz C++ Academy z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.

Czy potrzebuję doświadczenia, aby zacząć C++ Academy?

Nie wymagamy żadnego doświadczenia. C++ Academy w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 2 z 4.

Ile czasu zajmuje lekcja „std::mutex, lock_guard i unique_lock”?

Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.

Czy mogę pisać i uruchamiać kod w tej lekcji C++ Academy?

Tak. Każda lekcja C++ Academy zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.

Wszystkie lekcje w tym kursie

← Powrót do C++ Academy