Qu'est-ce que la théorie des traces?
La théorie des traces concerne la manière dont le matériel informatique et les logiciels traitent les commandes simultanément. Il est parfois appelé informatique simultanée et peut être comparé à l'idée d'informatique parallèle. L'idée principale derrière l'informatique concurrente est que plusieurs processus utilisent la même ressource et dépendent les uns des autres. La théorie des traces repose sur l’idée qu’il existe un nombre infini de modèles et de relations que les processus peuvent former.
La plupart du matériel informatique et des langages de programmation sont conçus autour de la théorie des traces. L'informatique simultanée examine ce qui est en cours de traitement et comment se déroule l'activité de traitement. Bien que les processus simultanés utilisant 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 noyau des graphes de dépendance et d'informatique simultanés.
Même si chaque processus informatique peut se dérouler séparément, les graphiques de dépendance indiquent les processus pouvant utiliser le même matériel ou le même 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 le fait que si deux processus utilisent un certain facteur, les autres processus contenant des identificateurs identiques dépendent également du même facteur.
Puisque la théorie de la trace tente d'expliquer comment se produisent divers processus et commandes informatiques, les graphes de dépendance identifient non seulement les ressources utilisées, mais également les chemins et les itinéraires empruntés par les processus. Il est important de prendre en compte le fait que la théorie stipule qu'un seul nombre de dépendances ou de relations peut exister avec un seul facteur. Alors que le nombre de modèles dans le calcul simultané est infini, seul un nombre choisi de processus formera la même dépendance ou utilisera la même ressource.
La théorie des traces montre que les processus parallèles sont mathématiquement égaux. Cela ressemble à l'idée de prendre deux lignes parallèles, de tracer une ligne d'intersection à travers elles 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 équivaudrait à une dépendance.
Le langage utilisé 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 second processus est représenté par les lettres "AB". La valeur binaire "0" pourrait être affectée au processus "AC" et la valeur binaire de 1 serait affectée au processus étiqueté "AB".