Nondeterministic Parallel Programming


Definition. A program is deterministic on a given input if every memory location is updated with the same sequence of values in every execution.

  • The program always behaves the same way.
  • Two different memory locations may be updated in different orders, but each location alwayssees the same sequence of updates.