General

Pasa que, por ejemplo, si tuviéramos tres procesos hay uno que podría no ejecutarse nunca, supongamos que el primero ejecuta la sección critica, y pone c=0, luego se ejecuta el 2do, y en vez de ejecutarse el 3ero se ejecuta el primero de vuelta, y así sucesivamente. Ahora mi duda es si eso es un error de consistencia, porque por mas que pase eso no entran a la sec_critica dos procesos a la vez.

No me queda del todo claro el tema de la implicancia de la equivalencia a una ejecución indivisible. 

Lo que he pensado va de acuerdo con el comentario "...se ejecutan al mismo tiempo una en cada uno no funcionaría porque las 2 a's se cargarían con el valor que deja entrar a la región crítica". ¿Que sean indivisibles implica que esto no ocurre?

Es decir, ¿nunca podría ser cargado el valor "0" de "c" en los respectivos "a1" y "a2" en el ejercicio 9?

En este contexto indivisible implica que solo la puede ejecutar un proceso, es como si estuviera todo dentro de una región crítica. En caso de que haya varios procesadores solo lo puede ejecutar uno

Sobre el ejercicio 9 no hay que cambiar nada asumiendo que cada proceso tiene su variable a_i local.