Concorrenza di basso livello: interlacciamento dei thread e condizioni di gara

Per scrivere codice sicuro e ad alte prestazioni, è necessario comprendere esattamente cosa accade quando più thread accedono alle risorse condivise al livello più basso. Questo corso di solo testo ti guida attraverso i meccanismi fondamentali della concorrenza, degli interrupt della CPU e della programmazione dei thread.Impara a tracciare gli interleaving dei thread, identificare le sezioni critiche e diagnosticare le condizioni di gara attraverso passaggi dettagliati di esecuzione simulata a basso livello. In questo corso, potrai: 1) Comprendere i concetti di concorrenza di base, inclusi thread, memoria condivisa e commutazione di contesto; 2) Analizzare i modelli di interlacciamento dei thread per vedere esattamente come si verificano le condizioni di gara a livello di istruzione; 3) Identificare le sezioni critiche nel codice e applicare primitive di sincronizzazione come mutexes e semafori; 4) Esplora come 4) Applicare moderni modelli di sicurezza della memoria e operazioni atomiche per prevenire le gare di dati; 5) Esercitarsi nella diagnosi di bug di concorrenza leggendo e tracciando percorsi di esecuzione simulati. Il corso inizia con le definizioni fondamentali di thread e memoria condivisa prima di passare all'esecuzione di istruzioni di basso livello, analisi delle tracce e moderni modelli di sicurezza dei thread.Studierai scenari di codice realistici e guide di esecuzione passo-passo per costruire un forte modello mentale di sistemi concorrenti. Questo corso è progettato per i principianti e i programmatori intermedi che vogliono demistificare la programmazione multi-threaded e non è richiesta alcuna esperienza precedente di assemblaggio o sistemi di basso livello.