Doua fire, patru variabile

blog/concurent-pb-1

Toate prezentările legate de modele de memorie încep cu următorul exemplu:

== code(c) |

  { X = Y = 0 }
  parallel
    Y := 1

  and
    X := 1
    b := Y

==
Literele mari X şi Y sunt variabile globale; literele mici a şi b sunt variabile locale.
Explicaţi de ce e posibil ca la final a = b = 0.

Literele mari X şi Y sunt variabile globale; literele mici a şi b sunt
variabile locale.  Explicaţi de ce e posibil ca la final a = b = 0.

protected

private

7574