occam og vranglås

occam syntaks

Blokk

Definert vha. innrykk på to

Parallelle prosesser

PAR

Sekvensielle "prosesser"

SEQ

Kanal sending

kanal ! data

Kanal mottak

kanal ? data

Kommentar

-- Tilsvarer Standard C //

CHAN OF INT a,b:
PAR
  SEQ
    a ! 1 -- V1
    b ! 2 -- V2
  INT x,y:
  SEQ
    a ? x -- V3
    b ? y -- V4
:

CHAN OF INT a,b:
PAR
  SEQ
    a ! 1 -- H1
    b ! 2 -- H2
  INT x,y:
  SEQ
    b ? x -- H3
    a ? y -- H4
:

Kompilering

Begge går greit

Program til venstre

Kjører og terminerer (ok)

Program til høyre

• Mottak i motsatt rekkefølge av sending
• Terminerer..
  • ..med feilmelding..
  • ..om at programmet..
  • ..ikke har noe å gjøre fordi..
  • ..alle kjøre-køer er tomme

Husk at kommunikasjon er

• Blokkerende
• Synkron
• Ubufret
• Over en-veis kanaler..
• ..med sender/mottak protokoll typesjekk