Hay una forma en la que se pueden evitar mutexes y que el programa sea mas rapido. Es usar un rama de control que escriba en un variable de cerrar program y lea de un array de variables que sirven para saber si ha muerto un filosofo o no ha muerto, en estas variables escriben los filosofos. Las ramas del resto de variables dependen de esta variable de stop program. Porque en el momento que el programa tenga que entrar en modo stop se tiene que liberar el mutex de escritura, borrar la informacion y desde el mutex de la rama de control escribir que se ha parado el programa.