Race condition: differenze tra le versioni
Nessun oggetto della modifica |
→Race Condition in elettronica:
Corretti typo |
||
Riga 9: | Riga 9: | ||
==Race Condition in elettronica== |
==Race Condition in elettronica== |
||
[[File:Race condition.svg|frame|]] |
[[File:Race condition.svg|frame|]] |
||
In elettronica, esistono alcune applicazioni interessanti per quel che riguarda le Race Condition. Ad esempio il circuito logico mostrato in figura, è spesso utilizzato per ottenere un |
In elettronica, esistono alcune applicazioni interessanti per quel che riguarda le Race Condition. Ad esempio il circuito logico mostrato in figura, è spesso utilizzato per ottenere un impulso, corrispondente al fronte di salita del segnale originale A. Il ritardo di commutazione, introdotto dalla porta logica invertente, crea un ritardo nella determinazione del corretto stato logico della [[Algebra_di_Boole#AND|porta AND]]. Così facendo, ogni qual volta ci sarà un fronte di salita sul segnale A, in uscita dal circuito otterremo un impulso di durata Δt<sub>1</sub>. |
||
La competizione tra il segnale originale A ed il segnale Ā, |
La competizione tra il segnale originale A ed il segnale ritardato Ā, genera una Race Condition per determinare lo stato finale del circuito logico. |
||
==Race condition in informatica== |
==Race condition in informatica== |
Versione delle 10:44, 4 nov 2014
La situazione di corsa o più semplicemente corsa (in inglese, race condition) è un fenomeno che si presenta nei sistemi concorrenti e avviene quando, in un sistema basato su processi multipli, il risultato finale dell'esecuzione dei processi dipende dalla temporizzazione o dalla sequenza con cui vengono eseguiti.
Spesso, una situazione di corsa è un effetto indesiderato e produce un malfunzionamento. In questo caso, essa è denominata corsa critica per il sistema.
Race Condition in elettronica
In elettronica, esistono alcune applicazioni interessanti per quel che riguarda le Race Condition. Ad esempio il circuito logico mostrato in figura, è spesso utilizzato per ottenere un impulso, corrispondente al fronte di salita del segnale originale A. Il ritardo di commutazione, introdotto dalla porta logica invertente, crea un ritardo nella determinazione del corretto stato logico della porta AND. Così facendo, ogni qual volta ci sarà un fronte di salita sul segnale A, in uscita dal circuito otterremo un impulso di durata Δt1.
La competizione tra il segnale originale A ed il segnale ritardato Ā, genera una Race Condition per determinare lo stato finale del circuito logico.
Race condition in informatica
Per evitare il verificarsi di queste condizioni in cui sono coinvolti memoria, file o risorse condivise, sono stati studiati diversi algoritmi che prevedano la mutua esclusione, ovvero, assicurarsi che se la risorsa condivisa è occupata da un processo, durante quell'arco di tempo nessun altro processo potrà accedervi.
Se più processi hanno la possibilità di accedere ad una risorsa in modalità di scrittura, è importante prevedere l'utilizzo di questi algoritmi. Se invece questi processi condividono la risorsa unicamente in modalità lettura non ci saranno race condition perché i processi non potranno influenzare lo stato della risorsa.