Estimado,
Cómo estás? Con respecto a tu primer consulta, incluir o no el for para el caso de n = n + 1 no debería cambiar el resultado. El entrelazado que hacés al principio (a la izquierda en el screenshot de abajo), es correcto. El de la derecha no, Fijate donde marqué, ese pasaje es incorrecto. La idea es que n = n + 1 se ejecuta de forma atómica, por lo tanto, al ejecutar 2, estás realizando la lectura de n y la escritura de n + 1. Teniendo eso en cuenta, el n leído es 39 porque inmediatamente antes el proceso 2 había incrementado n a 39, y por tanto el resultado final es n = 40.
La idea es generalizar un poco esos entrelazados para llegar a concluir que en las 20 iteraciones, el resultado de n va a ser siempre 40.
Luego, la idea de la parte 2 es probar otros caminos del entrelazado para obtener diferentes valores del resultado (ya viste que 39 es un posible resultado). Acá sí te va a convenir hacer un entrelazado un poco más grande (4 o 5 iteraciones, diría), para intentar deducir cuáles son los posibles resultados.
Saludos,
Federico