Lecture overview -- Keyboard shortcut: 'u'  Previous page: Begreber og problemstillinger [Section] -- Keyboard shortcut: 'p'  Next page: Oversigt over væsentlige problemstillinger -- Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  slide -- Keyboard shortcut: 't'  Help page about these notes  Alphabetic index  Course home  Page 7 : 41
Forelæsningsnoter i Objekt-orienteret Programmering
Samtidighed i Java
Grundliggende antagelser

Vi starter denne afdeling med en meget væsentlig antagelse, som på en grundliggende måde vil påvirke vores programmering med samtidige forløb

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