Skip to content

solfonte/Simplified-eBPF-program-checker

Repository files navigation

TP2-taller

Descripción general del trabajo realizado
Para el desarrollo del trabajo práctico se implementaron distintas clases con el fin de encapsular los distintos comportamientos. Se implementó la clase grafo, junto con el método de búsqueda DFS, la lógica del parseo de las instrucciones del programa, entre otras. Para cada hilo creado, en función de la cantidad de hilos pedidos por el usuario, cada hilo pide un archivo, este se parsea, se inicializa un grafo y luego un detector verifica si hay problemas con el programa procesado, mostrando por pantalla los resultados de cada hilo.

Parseo de instrucciones Las instrucciones primero se leen, se agregan al grafo, y una vez hecho esto se relacionan entre sí según cada tipo de instrucción. El tipo de instrucción y la condición de etiqueta se tratan como casos separados.

Diseño del grafo
El grafo se implementó como una lista de adyacencia y cada nodo contiene su orden topológico el cual se les asigna al insertarlos dentro del grafo en orden. Se utiliza el orden topológico para la búsqueda de ciclos dentro del programa. Si un nodo dentro del grafo, ya fue visitado durante el recorrido DFS y su orden topológico es mayor que uno de sus adyacentes, entonces estamos ante un ciclo.

Detección de ciclos e instrucciones sin usar Tanto para la detección de ciclos y la detección de instrucciones sin utilizar se usa el recorrido DFS. Este recorre los nodos partiendo desde el nodo origen, o sea, el nodo que se añadió primero. Se parte de este nodo ya que es la primera instrucción del programa y se sabe que por la naturaleza de los programas, la primera instrucción que se ejecuta es la primera de todo el programa. Sabiendo esto, partimos entonces de esta instrucción y dentro del recorrido de DFS se marcan como visitados los nodos que contienen instrucciones que se podrían ejecutar. Previamente se mencionó la detección de ciclos, pero para la detección de instrucciones sin utilizar solo basta con preguntarle a la instancia de la clase Dfs cuantos nodos visito y comparar este numero con la cantidad de nodos en el grafo.

objetos compartidos
Se implementó una clase contenedora de datos, la cual se instancia para guardar los archivos y para guardar los resultados, debido a que no había una diferencia significativa en cuanto al comportamiento del objeto que contiene los archivos y el que contiene los resultados, y se decidió generalizar el comportamiento para poder crear la clase que sirve tanto para un objeto como para otro.

Diagrama de clases
Alt Text

Modificaciones
-Se modifico el uso de atoi por stoi.
-Ahora cada contenedor tiene su propio mutex, y ya no reciben un puntero a este.
-Al instanciarse el contenedor de datos para almacenar los archivos, el contenedor es quien se inicializa recibiendo el buffer de archivos en su contructor.
-Los threads ya no se allocan en el stack, si no que se guardan ahora en el heap.
-Ahora los hilos si se lanzan y luego se les realiza el join correspondiente luego de procesar todos los archivos. El lanzamiento de los hilos ya no depende de si el contenedor tiene o no archivos pendientes por procesar, sino que cada hilo se encarga de procesar hasta que no le entreguen mas archivos.
-Se añadio el metodo imprimir_datos() en la clase Contenedor_de_datos(), de manera que este comportamiento quede encapsulado en dicha clase.
-Se cambio el lock() y unlock() del mutex, por la clase RAII lock_guard que se encarga de realizar estas operaciones internamente.
-Se implemento el metodo obetener_dato_si_no_estoy_vacio() en la clase Contenedor_de_datos que verifica que hayan datos para entregar antes de entregar un dato, pero de manera protegida.
-Se creo la clase Dfs que, ademas de realizar el recorrido dfs devolviendo si hubo ciclos o no, se guarda la cantidad de nodos visitados de manera que ya no es necesario procesar dos veces el grafo para chequear si hay ciclos o instrucciones sin usar.
-Se modificaron los parametros recibidos por punteros (salvo para el caso del constructor del contenedor de datos, que recibe char**).
-Se elimino el constructor por copia de la clase Thread.
-Se modificaron las copias por pasajes por referencias.
-Se elimino el constructor por copia de la clase Nodo y se definio una asignación por movimiento. -Se elimino la clase Detector.
-se agrego la clase BpfProcessor que hereda de Thread, y ademas se encarga del procesamiento de los archivos.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages