Wat is traceertheorie?
Trace theorie heeft betrekking op hoe computerhardware en -software tegelijkertijd opdrachten verwerkt. Het wordt soms aangeduid als gelijktijdig computergebruik en kan worden vergeleken met het idee van parallel computergebruik. Het belangrijkste idee achter gelijktijdig computergebruik is dat verschillende processen dezelfde bron gebruiken en van elkaar afhankelijk zijn. Centraal in de theorie is het idee dat er een oneindig aantal mogelijke patronen en relaties zijn die processen kunnen vormen.
De meeste computerhardware en programmeertalen zijn ontworpen rond de trace-theorie. Concurrent computing onderzoekt wat er wordt verwerkt en hoe de verwerkingsactiviteit plaatsvindt. Hoewel gelijktijdige processen die dezelfde bronnen gebruiken, meestal onafhankelijk van elkaar zijn, kunnen ze ook samenwerken. Het idee van onderling afhankelijke processen vormt de kern van gelijktijdige computer- en afhankelijkheidsgrafieken.
Hoewel elk computerproces afzonderlijk kan gebeuren, laten afhankelijkheidsgrafieken zien welke processen mogelijk dezelfde hardware of software gebruiken. In deze grafieken en berekeningen kan de afhankelijke factor worden aangeduid met de letter "C" of "D." Afhankelijkheidsgrafieken illustreren dat als twee processen een bepaalde factor gebruiken, andere processen die identieke identifiers bevatten, ook afhankelijk zijn van dezelfde factor.
Aangezien de trace-theorie probeert uit te leggen hoe verschillende computerprocessen en -opdrachten plaatsvinden, identificeren de afhankelijkheidsgrafieken niet alleen welke bronnen worden gebruikt, maar ook de paden en routes die de processen volgen. Het is belangrijk om er rekening mee te houden dat de theorie stelt dat er slechts een bepaald aantal afhankelijkheden of relaties zijn die met één factor kunnen voorkomen. Hoewel het aantal patronen in gelijktijdige berekeningen oneindig is, zal slechts een select aantal processen dezelfde afhankelijkheid vormen of dezelfde bron gebruiken.
Trace theorie illustreert dat parallelle processen wiskundig gelijk zijn aan elkaar. Het is vergelijkbaar met het idee om twee parallelle lijnen te nemen, er een kruisende lijn doorheen te trekken en de hoeken aan de tegenoverliggende zijde van elk kruispunt te meten. Hoewel de parallelle lijnen zelf elkaar niet snijden, zijn ze identiek aan elkaar en hebben ze dezelfde waarde. In het geval van gelijktijdige berekening zou de kruisende lijn gelijk zijn aan een afhankelijkheid.
De taal die wordt gebruikt om de verschillende processen weer te geven die dezelfde afhankelijkheden gebruiken, is binair. Eén proces kan bijvoorbeeld worden voorgesteld door de letters "AC", terwijl een tweede proces wordt vertegenwoordigd door de letters "AB". De binaire waarde van "0" zou kunnen worden toegewezen aan proces "AC" en de binaire waarde van 1 zou worden toegewezen aan het proces met het label "AB".