Hvad er sporteori?

Sporteori vedrører, hvordan computerhardware og software behandler kommandoer samtidigt.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.Det centrale i sporteori er ideen 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 computing 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 samtidig computer- 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, vil andre processer, der indeholder identiske identifikatorer, også være afhængige af den samme faktor.

Sporteori forsøger at forklare, hvordan forskellige computerprocesser og kommandoer forekommer, afhængighedsgraferne identificerer ikke kun, hvilke ressourcer der bruges, men stierne og ruterne, som processerne tager.Det er vigtigt at tage hensyn til, at teorien siger, at der kun er et vist antal afhængigheder eller forhold, der kan forekomme med en faktor.Mens antallet af mønstre i samtidig beregning er uendelig, vil kun et udvalgt antal processer danne den samme afhængighed eller bruge den samme ressource. Sporteori illustrerer, at parallelle processer er matematisk lig 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 i sig selv ikke krydser hinanden, er de identiske med hinanden og har den samme værdi.I tilfælde af samtidig beregning ville 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ær.For eksempel kan en proces være repræsenteret af bogstaverne AC, mens en anden proces er repræsenteret af bogstaverne AB.Den binære værdi på 0 kunne tildeles til proces AC, og den binære værdi af 1 ville blive tildelt processen mærket AB.