A continuacion te envio los ejemplos prometidos. En todos se supone
que x e y son variables enteras compartidas por ambos procesos, y que
tienen valor inicial 0, por ejemplo.
Los resultados posibles de los programas (por ejemplo, los valores de
x e y al terminar la ejecucion) bajo consistencia causal son los mismos
que bajo consistencia secuencial.
Recuerda que un programa es DRF (CWF) si en todas sus ejecuciones no hay
competencia por datos (escrituras concurrentes).
El primer programa tiene escrituras concurrentes sobre variables
distintas; no tiene competencia por datos.
El segundo tiene competencia por x, pero no tiene escrituras
concurrentes, ya que P2 escribe solo si P1 ha escrito antes.
El tercero tiene competencia por x, y escrituras concurrentes.


Programa DRF, pero no CWF:
P1:                P2:
   x = 1              y = 1


Programa CWF, pero no DRF:
P1:                P2:
   x = 1              if (x == 1)
                          y = 1


Programa ni DRF, ni CWF:
P1:                P2:
   x = 1              y = x