CSP

Utviklet av Hoare etter at han beskrev monitor

• I 1978, pusset på i 1985 [CSP - Hoare 85]
• I 1985 ble restriksjonen at prosessene måtte være sekvensielle fjernet, men da var CSP allerede innarbeidet
• Communicating Sequential/Parallel Processes

CSP er et verktøy for å beskrive og resonnere
om systemer av parallelle prosesser..

• ..som gjensidig påvirker hverandre v.h.a. eksplisitte meldinger
• ..på kanaler som har navn (ikke til prosesser som har navn)

Hver prosess har kun tilgang på egne variable

• "Vanntett" innkapsling
• "Brannmur" mellom hver prosess

Meldinger er synkrone:
de overføres kun når begge prosesser er klare

Dette kan være sanne meldinger, interrupt, klokketikk etc.

En komponent må være villig
til å ta del i en gitt hendelse
før helheten kan utføre transisjonen

occam kan vente på flere inngangs-kanaler og sette brytere på dem:

Multi-tråd applikasjoner

• Analyserbare
  • For livelock
  • For utsulting
  • For vranglås (Design-regler: [Martin 94])
  • Manuelt analyserbar: bedre forståelse
    Vranglås: mulig løsning: legg inn OverskrivingsBuffer
  • Automatisk analyserbar med tekstlig CSP som input. Slike verktøy fins [CSP - Formal Systems].
• Sikre
  • Fordi de er analyserbare
• Predikterbare
• Skalerbare
  • Fingradert parallellitet..
  • .. kan skaleres opp

CSP overbygninger over

• C++ (kalt sC++): [Petitpierre 98] (egentilig CCS)
• Java:  [Stiles 98],  [Java CSP - CJP],  [Java CSP - JCSP]
• Petri nett kan med fordel benyttes til å modellere CSP [TC Jan96]