Hvad er sporteori?
Sporteori vedrører, hvordan computerhardware og softwareprocesser kommandoer samtidig. Det omtales undertiden som samtidig computing og kan sammenlignes med ideen om parallel computing. Hovedideen bag samtidig computing er, at flere processer bruger den samme ressource og er afhængige af hinanden. Den centrale for sporteori er tanken om, at der er et uendeligt antal mulige mønstre og forhold, som processer kan danne.
De fleste computerhardware og programmeringssprog er designet omkring sporteori. Samtidig beregning undersøger, hvad der behandles, og hvordan behandlingsaktiviteten forekommer. Mens samtidige processer, der bruger de samme ressourcer normalt er uafhængige af hinanden, kan de også interagere. Ideen om indbyrdes afhængige processer udgør kernen i samtidige beregnings- og afhængighedsgrafer.
Selvom hver computerproces kan ske separat, viser afhængighedsgrafer, hvilke processer der muligvis bruger den samme hardware eller software. I disse grafer og beregninger kan den afhængige faktor være mærket med bogstavet "C" eller "D." Afhængighedsgrafer illustrerer, at hvis to processer bruger en bestemt faktor, så vil andre processer, der indeholder identiske identifikatorer, også være afhængige af den samme faktor.
Da sporteori forsøger at forklare, hvordan forskellige databehandlingsprocesser og kommandoer opstår, identificerer afhængighedsgraferne ikke kun, hvilke ressourcer der bruges, men de stier og ruter, som processerne tager. Det er vigtigt at tage i betragtning, at teorien siger, at der kun er et vist antal afhængigheder eller relationer, der kan forekomme med én faktor. Mens antallet af mønstre i samtidig beregning er uendelig, udgør kun et udvalgt antal processer den samme afhængighed eller bruger den samme ressource.
Sporteori illustrerer, at parallelle processer er matematisk ens med hinanden. Det ligner ideen om at tage to parallelle linjer, tegne en krydsende linje gennem dem og måle vinklerne på den modsatte side af hvert krydsende punkt. Selvom de parallelle linjer ikke krydser hinanden, er de identiske med hinanden og har den samme værdi. I tilfælde af samtidig beregning vil den krydsende linje være ækvivalent med en afhængighed.
Det sprog, der bruges til at repræsentere de forskellige processer, der bruger de samme afhængigheder, er binært. For eksempel kan en proces være repræsenteret med bogstaverne "AC", mens en anden proces er repræsenteret med bogstaverne "AB." Den binære værdi af "0" kunne tildeles til processen "AC", og den binære værdi på 1 vil blive tildelt til processen mærket "AB."