0Pricing
C++ Academy · Lezione

std::mutex, lock_guard e unique_lock

Protegga lo stato condiviso con mutex e strumenti di lock basati su RAII

std::mutex, lock_guard e unique_lock è una lezione C++ Academy gratuita su CoddyKit. Questa è la lezione 2 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento C++ Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso C++ Academy include 4 lezioni in totale.

Perché un mutex?

Più thread che accedono agli stessi dati competono per accedervi. Un mutex garantisce l'esclusione reciproca: solo un thread alla volta può possedere il lock.

Nozioni di base su std::mutex

Crei, acquisisca e rilasci il lock. Il locking manuale è soggetto a errori: utilizzi sempre gli strumenti RAII.

#include <mutex>
std::mutex mtx;

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

std::lock_guard: lock RAII

Il lock RAII più semplice. Acquisisce il lock nel costruttore e lo rilascia nel distruttore. È perfetto per le sezioni critiche che non generano eccezioni.

std::mutex mtx;
int counter = 0;

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

std::scoped_lock (C++17)

Come lock_guard, ma può acquisire più mutex contemporaneamente senza deadlock. Lo preferisca nel codice moderno.

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

std::unique_lock: lock flessibile

Offre più funzionalità di lock_guard:

  • Può essere rilasciato e acquisito nuovamente nel corso dello scope
  • Può essere spostato, trasferendo la proprietà
  • Viene utilizzato con le variabili di condizione
std::unique_lock<std::mutex> lock(mtx);
lock.unlock();        // release temporarily
// ... do something without the lock ...
lock.lock();           // reacquire

Evitare il deadlock

Due thread possono entrare in deadlock se acquisiscono i lock in ordini diversi. Acquisisca i lock secondo un ordine globale coerente oppure utilizzi std::scoped_lock con più mutex.

std::lock per più mutex

Prima di C++17, utilizzi std::lock per acquisire più mutex in modo atomico. In C++17, std::scoped_lock è più semplice e chiaro.

Mutex ricorsivo

std::recursive_mutex consente a un thread di acquisire più volte lo stesso mutex. Di solito è un segnale di problemi di progettazione: effettui invece un refactoring.

try_lock e timed_mutex

try_lock restituisce immediatamente il controllo se il lock è già detenuto. std::timed_mutex supporta tentativi di acquisizione con un limite di tempo.

Lock lettore-scrittore

std::shared_mutex (C++17) consente a molti lettori concorrenti oppure a un solo scrittore esclusivo. Lo utilizzi per carichi di lavoro con molte operazioni di lettura.

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

Compromesso sulla granularità

Un locking troppo grossolano riduce la concorrenza. Un locking troppo granulare aggiunge overhead. Esegua il profiling e ottimizzi di conseguenza.

Alternative senza lock

Negli scenari ad alta contesa, prenda in considerazione strutture dati senza lock, come atomiche e code senza lock. Sono molto più difficili da scrivere correttamente: le utilizzi solo quando necessario e dopo averne verificato il funzionamento.

Verifica rapida

Quale lock RAII dovrebbe preferire quando acquisisce più mutex contemporaneamente?

Riepilogo

Utilizzi std::lock_guard per sezioni critiche semplici, std::scoped_lock per più mutex e std::unique_lock quando serve flessibilità, ad esempio con variabili di condizione o per rilasciare manualmente il lock. Utilizzi sempre RAII: non chiami mai manualmente lock e unlock.

Domande Frequenti

La lezione «std::mutex, lock_guard e unique_lock» è gratuita?

Sì — il testo completo di «std::mutex, lock_guard e unique_lock» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso C++ Academy, passa a CoddyKit PRO. Il corso C++ Academy include 4 lezioni in totale.

Cosa imparerò in «std::mutex, lock_guard e unique_lock»?

Protegga lo stato condiviso con mutex e strumenti di lock basati su RAII Eserciti C++ Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.

Ho bisogno di esperienza per iniziare C++ Academy?

Non è richiesta alcuna esperienza precedente. C++ Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 2 di 4.

Quanto tempo richiede la lezione «std::mutex, lock_guard e unique_lock»?

La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.

Posso scrivere ed eseguire codice in questa lezione C++ Academy?

Sì. Ogni lezione C++ Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.

Tutte le lezioni di questo corso

  1. std::thread: join e detach
  2. std::mutex, lock_guard e unique_lock
  3. Variabili di condizione e pattern worker
  4. Basi di std::async e std::future
← Torna a C++ Academy