Cos'è la teoria delle tracce?
Trace Theory si riferisce a come i comandi hardware e software per computer e software comanda contemporaneamente. A volte viene definito calcolo simultaneo e può essere paragonato all'idea del calcolo parallelo. L'idea principale alla base del calcolo simultaneo è che diversi processi usano la stessa risorsa e dipendono l'uno dall'altro. Central to Trace Theory è l'idea che esista un numero infinito di possibili modelli e relazioni che possono formarsi i processi.
La maggior parte degli hardware e dei linguaggi di programmazione del computer sono progettati attorno alla teoria della traccia. L'informatica concomitante esamina ciò che viene elaborato e come si verifica l'attività di elaborazione. Mentre i processi simultanei che utilizzano le stesse risorse sono generalmente indipendenti l'uno dall'altro, possono anche interagire. L'idea di processi interdipendenti costituisce il nucleo dei grafici di calcolo e dipendenza concorrenti.
Anche se ogni processo di calcolo può avvenire separatamente, i grafici della dipendenza mostrano quali processi potrebbero utilizzare lo stesso hardware o software. In questi grafici e calcoli, il fattore dipendente potrebbe essere etichettato con la lettera "C" o "D." I grafici della dipendenza mostrano che se due processi utilizzano un determinato fattore, allora anche altri processi che contengono identificatori identici dipenderanno dallo stesso fattore.
Poiché la teoria delle tracce tenta di spiegare come si verificano vari processi di calcolo e comandi, i grafici delle dipendenze non solo identificano quali risorse vengono utilizzate, ma i percorsi e le rotte che i processi stanno prendendo. È importante prendere in considerazione che la teoria afferma che ci sono solo un certo numero di dipendenze o relazioni che possono verificarsi con un fattore. Mentre il numero di modelli nel calcolo simultaneo è infinito, solo un numero selezionato di processi costituirà la stessa dipendenza o utilizzerà la stessa risorsa.
Trace Theory illustra che i processi paralleli sono matematiciy uguale tra loro. È simile all'idea di prendere due linee parallele, disegnare una linea intersecante attraverso di esse e misurare gli angoli sul lato opposto di ciascun punto di intersezione. Anche se le stesse linee parallele non si intersecano, sono identiche tra loro e hanno lo stesso valore. Nel caso del calcolo simultaneo, la linea intersecante sarebbe equivalente a una dipendenza.
Il linguaggio utilizzato per rappresentare i vari processi che utilizzano le stesse dipendenze è binario. Ad esempio, un processo potrebbe essere rappresentato dalle lettere "AC", mentre un secondo processo è rappresentato dalle lettere "AB". Il valore binario di "0" potrebbe essere assegnato al processo "AC" e il valore binario di 1 sarebbe assegnato al processo etichettato "AB".