¿Qué es la teoría del rastro?

La teoría de rastreo se relaciona con la forma en que el hardware y el software de la computadora procesan los comandos simultáneamente. A veces se le conoce como computación concurrente y se puede comparar con la idea de computación paralela. La idea principal detrás de la computación concurrente es que varios procesos usan el mismo recurso y dependen uno del otro. Central para trazar la teoría es la idea de que hay un número infinito de posibles patrones y relaciones que los procesos pueden formar.

La mayoría de los lenguajes de programación y hardware están diseñados en torno a la teoría de trazas. La computación concurrente examina lo que se está procesando y cómo ocurre la actividad de procesamiento. Si bien los procesos simultáneos que utilizan los mismos recursos suelen ser independientes entre sí, también pueden interactuar. La idea de procesos interdependientes constituye el núcleo de la computación concurrente y los gráficos de dependencia.

Aunque cada proceso informático puede ocurrir por separado, los gráficos de dependencia muestran qué procesos podrían estar usando el mismo hardware o software. En estos gráficos y cálculos, el factor dependiente podría etiquetarse con la letra "C" o "D". Los gráficos de dependencia ilustran que si dos procesos usan un determinado factor, entonces otros procesos que contienen identificadores idénticos también dependerán del mismo factor.

Dado que la teoría de rastreo intenta explicar cómo ocurren los diversos procesos y comandos informáticos, los gráficos de dependencia no solo identifican qué recursos se están utilizando, sino también las rutas y rutas que están tomando los procesos. Es importante tener en cuenta que la teoría establece que solo hay un cierto número de dependencias o relaciones que pueden ocurrir con un factor. Si bien el número de patrones en el cómputo concurrente es infinito, solo un número selecto de procesos formará la misma dependencia o usará el mismo recurso.

La teoría de la traza ilustra que los procesos paralelos son matemáticamente iguales entre sí. Es similar a la idea de tomar dos líneas paralelas, dibujar una línea de intersección a través de ellas y medir los ángulos en el lado opuesto de cada punto de intersección. Aunque las líneas paralelas en sí no se cruzan, son idénticas entre sí y tienen el mismo valor. En el caso del cómputo concurrente, la línea de intersección sería equivalente a una dependencia.

El lenguaje utilizado para representar los diversos procesos que utilizan las mismas dependencias es binario. Por ejemplo, un proceso puede estar representado por las letras "AC", mientras que un segundo proceso está representado por las letras "AB". El valor binario de "0" podría asignarse al proceso "AC" y el valor binario de 1 sería asignado al proceso etiquetado "AB".