Categoria
Articoli tecnici organizzati per gruppo funzionale.
L'errore a tempo di compilazione impedisce il passaggio di tipi non thread-safe (come Rc o puntatori raw) tra thread diversi o attraverso chiamate 'tokio::spawn', richiedendo l'uso di equivalenti atomici come Arc.
L'errore compare quando si tenta di condividere un riferimento immutabile &T tra più thread simultaneamente senza che il tipo implementi il trait 'Sync', tipicamente risolvibile avvolgendo il tipo in un Mutex o RwLock.
Il panic indica che un thread ha acquisito un Mutex della standard library e poi è andato in panic prima di rilasciarlo, avvelenando (poisoning) il lock per proteggere gli altri thread da dati potenzialmente corrotti.
La barriera di sincronizzazione 'Barrier::new(n)' blocca tutti i thread chiamanti fino a quando esattamente 'n' thread non invocano 'barrier.wait()'; se uno dei thread termina precocemente o va in panic, tutti gli altri rimangono congelati per sempre.
L'anomalia provoca il blocco permanente del thread quando lo stesso thread tenta di acquisire nuovamente un 'std::sync::Mutex' già in suo possesso prima di aver rilasciato il guard del lock precedente.
Se più thread mantengono ininterrottamente lock di lettura ('rwlock.read()'), il thread che richiede l'accesso esclusivo in scrittura ('rwlock.write()') può rimanere bloccato a tempo indefinito a seconda della policy di schedulazione del sistema operativo.
RefCell esegue i controlli del borrow checker a runtime anziché a tempo di compilazione: invocare '.borrow_mut()' mentre è attivo un prestito immutabile '.borrow()' genera panic immediato.
L'errore a runtime compare quando si tenta di richiedere un prestito immutabile o un secondo prestito mutabile su una RefCell che è già attualmente concessa in prestito esclusivo mutabile.