Shared Variables

Non-determinism


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;

[Berge93]

Copyright © 1993 by Kluwer Academic Publishers. Reprinted by permission.