Dieci articoli sulla concorrenza con prove eseguite: event loop, goroutine, asyncio, virtual thread, Rust, race condition, lock-free e sistemi distribuiti.
Questa serie raccoglie 10 articoli (circa 146 minuti di lettura totale), pensati per un livello Avanzato. Gli argomenti principali trattati sono goroutine, event loop, concorrenza, thread.
Mille attese da 100 ms costano 10 secondi con 10 thread e 0,1 con un event loop; quattro calcoli su un thread JS ne costano 12. Scegli il modello misurando.
Perché una Promise batte setTimeout a 0 ms e un ciclo lungo congela Node.js: call stack, microtask e macrotask spiegati con programmi eseguiti.
In Go lanci un compito con go e lo fai parlare con gli altri tramite channel: goroutine, select, context e race detector spiegati con i loro limiti.
gather lascia orfani i task quando uno fallisce, TaskGroup li cancella: errori, except*, cancellazione e timeout in asyncio, con programmi eseguiti.
I virtual thread di Java 21 rendono economica l'attesa, ma il pinning di synchronized costa 4x su Java 21 e StructuredTaskScope è ancora in anteprima.
Una async fn in Rust non fa nulla finché qualcuno non la interroga: Future, Pin e Waker con un mini-runtime, poi Tokio con select!, canali e cancellazione.
counter++ perde incrementi, un metodo synchronized non basta a evitare il saldo negativo e due lock incrociati bloccano tutto: esperimenti in Java e C con TSan.
Ciclo CAS, pila di Treiber, coda di Michael-Scott, ABA e memory ordering provati con programmi Java e C++ eseguiti: dove il lock-free funziona e dove no.
Una coda illimitata fa attendere l'ultimo elemento quasi 3 secondi: code limitate, Reactive Streams, Reactor e asyncio per gestire il producer troppo veloce.
CAP vincola solo durante la partizione: quorum, vector clock, CRDT e saga spiegati con simulazioni Python eseguite, e dove il LWW perde un aggiornamento.
