El grafo de un algoritmo es un grafo dirigido formado por vértices correspondientes a las operaciones del algoritmo y arcos dirigidos correspondientes a la transferencia de datos (los resultados de unas operaciones se pasan como argumentos a otras operaciones ) entre ellos. No debe confundirse con el gráfico de control del programa , y más aún con su diagrama de flujo .
Se utiliza activamente en estudios de paralelismo oculto en algoritmos escritos en lenguajes de programación en serie tradicionales.
Las características del gráfico del algoritmo son:
En algunos casos (ver, por ejemplo, la clase lineal de programas), es posible librarse del excesivo orden lexicográfico y obtener del texto del programa, por ejemplo, en Fortran , la gráfica del algoritmo, utilizando un Técnica puramente formal que se puede implementar en sistemas de software. Después de eso, puede usarlo para preparar una implementación paralela de este algoritmo explorando sus características, como barridos o formas paralelas en niveles . Esta metodología de paralelización se ha desarrollado desde principios de la década de 1980. y descrito en los trabajos de VV Voevodin y su equipo de seguidores. En base a él, se han desarrollado algunos sistemas para estudiar estructuras paralelas en programas , el más famoso de ellos es V-Ray , desarrollado en el Centro de Investigación y Desarrollo de la Universidad Estatal de Moscú .
Un tipo de gráfico similar se encuentra en TensorFlow bajo el concepto de "gráfico de cálculo", donde las operaciones se representan como vértices y los tensores como bordes . [una]