Vad är spårteori?
Spårteori relaterar till hur datormaskinvara och programvaruprocesser kommandon samtidigt. Det kallas ibland samtidiga beräkningar och kan jämföras med idén om parallell databehandling. Huvudtanken bakom samtidig datoranvändning är att flera processer använder samma resurs och är beroende av varandra. Central för spårteorin är idén att det finns ett oändligt antal möjliga mönster och förhållanden som processer kan bilda.
De flesta hårdvara och programmeringsspråk är utformade kring spårteori. Samtidig beräkning undersöker vad som bearbetas och hur behandlingsaktiviteten sker. Medan samtidiga processer som använder samma resurser vanligtvis är oberoende av varandra, kan de också interagera. Idén om inbördes beroende processer utgör kärnan i samtidiga beräknings- och beroendegrafer.
Även om varje beräkningsprocess kan ske separat, visar beroendegrafer vilka processer som kan använda samma hårdvara eller mjukvara. I dessa diagram och beräkningar kan den beroende faktorn vara märkt med bokstaven "C" eller "D." Beroendegrafer illustrerar att om två processer använder en viss faktor, så är andra processer som innehåller identiska identifierare också beroende av samma faktor.
Eftersom spårteori försöker förklara hur olika beräkningsprocesser och kommandon uppstår identifierar beroendegraferna inte bara vilka resurser som används, utan de vägar och rutter som processerna tar. Det är viktigt att beakta att teorin säger att det bara finns ett visst antal beroenden eller relationer som kan uppstå med en faktor. Medan antalet mönster i samtidig beräkning är oändligt, kommer endast ett utvalt antal processer att bilda samma beroende eller använda samma resurs.
Spårteori illustrerar att parallella processer är matematiskt lika med varandra. Det liknar idén att ta två parallella linjer, dra en korsande linje genom dem och mäta vinklarna på motsatt sida av varje korsningspunkt. Även om de parallella linjerna inte korsar varandra är de identiska med varandra och har samma värde. I fallet med samtidig beräkning skulle den korsande linjen motsvara ett beroende.
Det språk som används för att representera de olika processerna som använder samma beroenden är binärt. Till exempel kan en process representeras av bokstäverna "AC", medan en andra process representeras av bokstäverna "AB". Det binära värdet på "0" kan tilldelas processen "AC" och det binära värdet på 1 skulle tilldelas processen märkt "AB."