Shared Variables

ARCHITECTURE non_determinist OF example IS
    SHARED VARIABLE count : INTEGER;
BEGIN
    p1 : PROCESS
    BEGIN 
      count := 1;
      WAIT;
    END PROCESS p1;

    p2 : PROCESS
    BEGIN
      count := 2;
      WAIT;
    END PROCESS p2;
END non_determinist;