Co to jest teoria śladu?

Teoria śledzenia odnosi się do tego, w jaki sposób sprzęt komputerowy i oprogramowanie przetwarza polecenia jednocześnie.Czasami jest on określany jako współbieżne obliczenia i można go porównać z ideą obliczeń równoległych.Główną ideą obliczeniowych obliczeń jest to, że kilka procesów używa tego samego zasobu i jest od siebie zależnych.Teoria śledzenia kluczowym jest idea, że istnieje nieskończona liczba możliwych wzorców i relacji, które mogą tworzyć procesy.

Większość języków sprzętu komputerowego i programowania jest zaprojektowana wokół teorii śledzenia.Współistniejące obliczenia bada, co jest przetwarzane i jak występuje aktywność przetwarzania.Podczas gdy jednoczesne procesy wykorzystujące te same zasoby są zwykle niezależne od siebie, mogą również oddziaływać.Idea współzależnych procesów stanowi rdzeń równoczesnych wykresów obliczeniowych i zależności.

Chociaż każdy proces komputerowy może nastąpić osobno, wykresy zależności pokazują, które procesy mogą korzystać z tego samego sprzętu lub oprogramowania.Na tych wykresach i obliczeniach współczynnik zależny może być oznaczony literą C lub D. Wykresy zależności ilustrują, że jeśli dwa procesy używają określonego współczynnika, wówczas inne procesy zawierające identyfikatory będą również zależne od tego samego czynnika.

Śledzenie teorii próbuje wyjaśnić, w jaki sposób występują różne procesy obliczeniowe i polecenia, wykresy zależności nie tylko określają, jakie zasoby są używane, ale także ścieżki i trasy, które podejmują procesy.Ważne jest, aby wziąć pod uwagę, że teoria stwierdza, że istnieje tylko pewna liczba zależności lub relacji, które mogą wystąpić z jednym czynnikiem.Podczas gdy liczba wzorców w obliczeniach równoczesnych jest nieskończona, tylko wybrana liczba procesów utworzy tę samą zależność lub użyje tego samego zasobu. Teoria śledzenia ilustruje, że równoległe procesy są ze sobą równe matematycznie.Jest to podobne do pomysłu przyjmowania dwóch równoległych linii, narysowania przez nich linii przecinającej się i mierzenia kątów po przeciwnej stronie każdego punktu przecinającego.Mimo że same równoległe linie nie przecinają się, są one identyczne i mają tę samą wartość.W przypadku obliczeń równoczesnych linia przecinająca się byłaby równoważna zależności. Język używany do reprezentowania różnych procesów używających tych samych zależności jest binarny.Na przykład jeden proces może być reprezentowany przez litery AC, podczas gdy drugi proces jest reprezentowany przez litery AB.Wartość binarną 0 można przypisać do procesu AC, a wartość binarna 1 zostałaby przypisana do procesu oznaczonego AB.