Mi a Trace elmélet?

A nyomkövetés elmélete arra vonatkozik, hogy a számítógépes hardver és a szoftver folyamatok egyidejűleg parancsot adnak.Ezt néha egyidejű kiszámításnak nevezik, és összehasonlíthatjuk a párhuzamos számítástechnika gondolatával.Az egyidejű számítástechnika mögött az a fő gondolat, hogy több folyamat ugyanazt az erőforrást használja, és egymástól függ.A nyomkövetési elmélet központi eleme az a gondolat, hogy végtelen számú lehetséges mintát és kapcsolatot alakíthat ki.Az egyidejű számítástechnika megvizsgálja, hogy mi történik, és hogyan történik a feldolgozási tevékenység.Míg az ugyanazon erőforrások felhasználását használó egyidejű folyamatok általában függetlenek egymástól, ezek is kölcsönhatásba léphetnek.Az egymástól függő folyamatok gondolata alkotja az egyidejű számítástechnikai és függőségi grafikonokat.Ezekben a grafikonokban és számításokban a függő tényezőt a C vagy a D betűvel lehet jelölni. A függőségi grafikonok azt mutatják, hogy ha két folyamat egy bizonyos tényezőt használ, akkor más olyan folyamatok, amelyek azonos azonosítókat tartalmaznak, ugyanabból a tényezőtől is függnek.A nyomkövetési elmélet megkísérel megmagyarázni, hogy miként fordulnak elő a különféle számítástechnikai folyamatok és parancsok, a függőségi grafikonok nemcsak azonosítják, hogy milyen erőforrásokat használnak, hanem a folyamatok útját és útvonalait is.Fontos figyelembe venni, hogy az elmélet kijelenti, hogy csak bizonyos számú függőség vagy kapcsolat fordulhat elő egy tényezővel.Noha az egyidejű kiszámításban szereplő minták száma végtelen, csak egy kiválasztott folyamat lesz ugyanazt a függőséget, vagy ugyanazt az erőforrást használja.

A nyomkövetési elmélet azt szemlélteti, hogy a párhuzamos folyamatok matematikailag megegyeznek egymással.Hasonló ahhoz a gondolathoz, hogy két párhuzamos vonalat vegyen be, áthúzza a keresztező vonalat rajtuk, és megmérje az egyes keresztező pontok ellentétes oldalán lévő szögeket.Annak ellenére, hogy maguk a párhuzamos vonalak nem keresztezik egymást, azonosak egymással, és ugyanaz az érték.Egyidejű kiszámítás esetén a keresztező vonal megegyezik a függőséggel.

Az azonos függőségeket alkalmazó különféle folyamatok ábrázolására használt nyelv bináris.Például egy folyamatot az AC betűk képviselhetnek, míg a második folyamatot az AB betűk képviselik.A 0 bináris értéket hozzá lehet rendelni az AC feldolgozásához, és az 1 bináris értéket az AB jelölt folyamathoz rendeljük.