Qu'est-ce que la théorie des traces?
La théorie de la trace se rapporte à la façon dont le matériel informatique et les processus logiciels commandes simultanément. Il est parfois appelé informatique simultanée et peut être comparé à l'idée de l'informatique parallèle. L'idée principale derrière l'informatique simultanée est que plusieurs processus utilisent la même ressource et dépendent les uns des autres. La théorie de la trace se trouve l'idée qu'il existe un nombre infini de modèles et de relations possibles que les processus peuvent se former.
La plupart des langages de matériel informatique et de programmation sont conçus autour de la théorie des traces. L'informatique simultanée examine ce qui est traité et comment l'activité de traitement se produit. Bien que les processus simultanés qui utilisent les mêmes ressources soient généralement indépendants les uns des autres, ils peuvent également interagir. L'idée de processus interdépendants constitue le cœur des graphiques informatiques et de dépendances simultanés.
Même si chaque processus informatique peut se produire séparée ou logiciel. Dans ces graphiques et calculs, le facteur dépendant peut être étiqueté avec la lettre "C" ou "D." Les graphiques de dépendance illustrent que si deux processus utilisent un certain facteur, alors d'autres processus contenant des identifiants identiques dépendront également du même facteur.
Étant donné que la théorie des traces tente d'expliquer comment divers processus informatiques et commandes se produisent, les graphiques de dépendance identifient non seulement les ressources utilisées, mais les chemins et les voies que les processus prennent. Il est important de prendre en considération que la théorie indique qu'il n'y a qu'un certain nombre de dépendances ou de relations qui peuvent se produire avec un seul facteur. Bien que le nombre de modèles de calcul simultané soit infini, seul un nombre sélectionné de processus formera la même dépendance ou utilisera la même ressource.
La théorie des traces illustre que les processus parallèles sont mathématiquesy égal les uns aux autres. Il est similaire à l'idée de prendre deux lignes parallèles, de tirer une ligne qui se croit à travers eux et de mesurer les angles du côté opposé de chaque point d'intersection. Même si les lignes parallèles elles-mêmes ne se croisent pas, elles sont identiques les unes aux autres et ont la même valeur. Dans le cas d'un calcul simultané, la ligne d'intersection serait équivalente à une dépendance.
La langue utilisée pour représenter les différents processus qui utilisent les mêmes dépendances est binaire. Par exemple, un processus peut être représenté par les lettres «AC», tandis qu'un deuxième processus est représenté par les lettres «AB». La valeur binaire de "0" pourrait être attribuée au processus "AC" et la valeur binaire de 1 serait attribuée au processus intitulé "AB."