Hva er sporeteori?

Sporteori forholder seg til hvordan datamaskinvare og programvare prosesser kommandoer samtidig. Det blir noen ganger referert til som samtidig databehandling og kan sammenlignes med ideen om parallell databehandling. Hovedideen bak samtidig databehandling er at flere prosesser bruker den samme ressursen og er avhengige av hverandre. Sentralt for sporteori er ideen om at det er et uendelig antall mulige mønstre og forhold som prosesser kan danne.

De fleste datamaskinvare og programmeringsspråk er designet rundt sporingsteori. Samtidig databehandling undersøker hva som behandles og hvordan prosesseringsaktiviteten oppstår. Mens samtidige prosesser som bruker de samme ressursene vanligvis er uavhengige av hverandre, kan de også samhandle. Ideen om gjensidig avhengige prosesser utgjør kjernen i samtidige databehandlings- og avhengighetsgrafer.

Selv om hver databehandlingsprosess kan skje separat, viser avhengighetsgrafer hvilke prosesser som bruker den samme maskinvaren eller programvaren. I disse grafene og beregningene kan den avhengige faktoren være merket med bokstaven "C" eller "D." Avhengighetsgrafer illustrerer at hvis to prosesser bruker en viss faktor, vil andre prosesser som inneholder identiske identifikatorer også være avhengig av den samme faktoren.

Siden sporteori prøver å forklare hvordan forskjellige databehandlingsprosesser og kommandoer oppstår, identifiserer ikke avhengighetsgrafene bare hvilke ressurser som blir brukt, men stiene og rutene prosessene tar. Det er viktig å ta i betraktning at teorien sier at det bare er et visst antall avhengigheter eller relasjoner som kan oppstå med en faktor. Mens antall mønstre i samtidig beregning er uendelig, vil bare et utvalg antall prosesser danne samme avhengighet eller bruke den samme ressursen.

Sporteori illustrerer at parallelle prosesser er matematisk lik hverandre. Det ligner ideen om å ta to parallelle linjer, tegne en kryssende linje gjennom dem og måle vinklene på motsatt side av hvert kryssingspunkt. Selv om de parallelle linjene ikke skjærer hverandre, er de identiske med hverandre og har samme verdi. I tilfelle av samtidig beregning, vil kryssingslinjen være ekvivalent med en avhengighet.

Språket som brukes til å representere de forskjellige prosessene som bruker de samme avhengighetene, er binært. For eksempel kan en prosess være representert med bokstavene "AC", mens en andre prosess er representert med bokstavene "AB." Den binære verdien til "0" kan tilordnes prosessen "AC" og den binære verdien på 1 vil bli tilordnet prosessen merket "AB."