Samtidighed i Java - slide 7 : 41

Grundliggende antagelser 

 

Den indbyrdes hastighed af samtidige programforløb er ukendt

 

• Et program med samtidighed kan udvise nondeterministisk adfærd:
  • Rækkefølgen af handlinger i forskellige programforløb kendes kun sjældent

  • To kørsler af samme program (med samme input) kan give forskellige resultater

 

Antagelser om programforløb's indbyrdes hastigheder kan ikke benyttes til at ræsonnere om et programs korrekthed