Konklusjon: occam - et blindspor?

CSP vinklingen til occam

I betydningen "programmeringsspråk basert på CSP" er occam forut for sin tid

La oss ta et sidespor først

Angrep kan være godt forsvar:

Java: synchronized

• Primitiven synchronized er basert på Mesas monitor, ikke Hoares monitor: for lavt nivå
• Forskjellige JVM gir ok/feil oppførsel!
• Thread.Stop, suspend, resume fjernes i Java 1.2: plattformen er ikke stabil
• Nå snakker de om å innføre RTsynchronized: ettertankens tid har kommet

Suns eget råd

"Ekstrem forsiktighet er påkrevd når man designer og bygger multitråds applikasjoner, spesielt de som har en GUI komponent" - "vi anbefaler deg å tenke deg om to ganger før du bruker tråder i tilfeller hvor det ikke er absolutt nødvendig" [Java - Swing]

Java: se på CSP-klassene! Gjem wait og notify!

• Erfaringen fra occam har fått miljøene ved
  • Universitetet i Twente i Nederland [Java CSP - CJP]
  • Universitetet i Kent i Canterbury [Java CSP - JCSP]
• ..til å utvikle CSP bibliotek for Java
• Sun sitter på gjerdet og følger med
• Hent bibliotekene og kjør applet'ene!

Tilbake til occam

occam - et blindspor?

• SPOC kan benyttes over alt hvor du har en C kompilator
• KRoC kan benyttes f.eks. over MOTIF
• Occam er enten
  • dødt
  • levende eller
  • forut for sin tid
  • ..eller skal vi si: alt dette på en gang?

Men hva betyr egentlig FoU?

• Forskning
  • Noe du ikke er helt sikker på, prøv da vel!
  • Men synliggjør risikoen
• Utvikling
  • occam har fungert i årevis
  • Det vil det gjøre om du prøver også
  • Vi svarer gjerne på spørsmål

Vi lar occam få siste ordet