lezione 08/05 - teledidattica
Schema della sezione
-
variabili statiche interne: esempio https://repl.it/@MarcoTessarotto/static-variablesesempio con operatori . e -> : https://repl.it/@MarcoTessarotto/struct-accessLittle book of semaphores: syncronization, execution model, serialization with messages, non-determinism, shared variables: concurrent writes, concurrent updates, mutual exclusion with messages. Semaphores: definition.esempio di sincronizzazione sbagliata: https://repl.it/@MarcoTessarotto/counter2proc