Back to table

Simple parallelism test

The following is an invalid µOCCAM program. This program tries to access the same variables in two branches of a PAR. This is obviously not a good idea, as the variables could be modified by either branch at any time.

Program file: /public/cs3/web/ipptests/par.reject
INT monkey     :
INT oompa  = 7 :
INT loompa = 9 :

PAR
  SEQ
    oompa := oompa + 2
    monkey := oompa + loompa
  SEQ
    loompa := loompa - 4
    monkey := oompa - loompa

stdout ! monkey