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 i programowania komputerowego 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.
Mimo że każdy proces obliczeń może nastąpić osobno, wykresy zależności pokazują, które procesy mogą używać tego samego twardegoe lub oprogramowanie. Na tych wykresach i obliczeniach współczynnik zależny może być oznaczony literą „C” lub „D.” Wykresy zależności pokazują, że jeśli dwa procesy używają określonego współczynnika, wówczas inne procesy zawierające identyczne identyfikatory będą również zależne od tego samego czynnika.
Ponieważ teoria śledzenia 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 to matematykalnely równe sobie. 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.”