blog/concurent-pb-1

Radu Grigore
26 martie 2012

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

{ X = Y = 0 }
  parallel
    Y := 1
    a := X
  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.