Doua fire, patru variabile

blog/concurent-pb-1

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

== code(c) |

== code |

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