# Occam (langage)

Le langage de programmation Occam est un langage de programmation adapté à l'architecture parallèle, apparu en 1983. Il a été développé par Inmos pour la programmation de ses architectures en parallèle Transputer, mais a également été porté sur d'autres plates-formes.
Le nom est un hommage à Guillaume d'Occam (parfois orthographié Ockham) et au principe méthodologique du rasoir d'Occam.
Le langage Occam est un langage procédural qui offre, outre l'exécution d'instructions séquentiellement (avec SEQ), l'exécution des instructions en parallèle (avec PAR) et même la mise en « parallèle asynchrone » de processus (avec ALT) pour une exécution non-déterministe d'un parmi plusieurs. L'exécution en PAR des processus se fait avec des rendez-vous, comme en Ada.
Occam contient aussi les « commandes gardées » de Edsger Dijkstra : un processus n'est lancé que si la valeur de sa garde, évaluée par le système, est vraie.
Le Transputer Development System (TDS) d'Inmos était l'outil de développement classique pour ce langage, mais il était possible d'utiliser Parallel C ou d'autres outils. L'éditeur du TDS permettait le pliage de code, ce qui était très innovant.

## Principes de base

En Occam l'indentation est significative, ce qui évite les marqueurs de début et de fin de blocs communs à d'autres langages héritant de Pascal et C (begin...end, {...}, loop...endloop etc.). Une expression est terminée par une fin de ligne. Plusieurs expressions peuvent être regroupées dans un bloc dont toutes les lignes commencent à la même indentation.
La communication entre processus parallèles se fait avec des "canaux" définis par l'expression "CHAN OF". Ces canaux sont implémentés par les liens bidirectionnels série rapides (2 Mb/s, 4 liens/Transputer, communication indépendante du CPU). Un processus envoie des données sur le canal avec "!" tandis qu'un autre processus reçoit les données avec "?", l'émission et la réception étant synchrones :
SEQ introduit une liste d'expressions qui sont évaluées en séquence, l'une après l'autre. Exemple:
PAR annonce une liste d'expressions qui sont susceptibles d'être évaluées simultanément. Exemple:
ALT indique une liste d'instructions gardées. Les gardes sont des combinaisons de conditions binaires et d'entrées sur canal. Une alternative parmi celles dont les conditions sont vraies et dont les canaux en entrée sont prêts, est exécutée. Exemple:
Cet exemple va lire les données des canaux "c1" et "c2" (s'ils sont prêts) et les fusionner dans un unique canal "merged" de sortie . Si le compteur countN atteint 100, la lecture du canal N sera désactivée. Une requête sur l'état du canal aura pour réponse les deux compteurs.

## Exemples de code

Quelques exemples de code réel
Autre exemple :
Exemple de multiplexeur de canaux :

## Évolution

* occam 1 (1983) fut une version préliminaire, inspiré du travail de David May sur EPL, et de celui de Tony Hoare sur CSP. Cette version n'admettait qu'un type de donnée, noté VAR, désignant un entier ayant pour longueur le mot de la machine-cible, et des tables à une dimension.
* occam 2 (1987) en est une extension opérationnelle produite par INMOS Ltd ; elle ajoute la virgule flottante,les fonctions, les tables à plusieurs dimensions, et divers types d'entiers (BYTE, INT16, INT32). occam 2 est beaucoup plus pratique et utile, occam 1 gardant un caractère exploratoire ; toutefois, le compilateur occam 1 ayant été écrit en occam 1, cela prouvait déjà qu'occam 1 pouvait suffire à diverses applications de taille modeste.
* occam 2.1 (1994) fut la dernière contribution d'INMOS, influencée par une proposition antérieure de Geoff Garett dénommée occam91 puis occam 3 ; une définition révisée de cette proposition fut distribuée pour commentaires, mais cet occam 3 ne fut pas totalement implémenté. Il 2.1 introduit notamment :
** la nomination de types (DATA TYPE x IS y)
** la nomination d'articles (normaux ou compressés)
** l'assouplissement de certaines règles de conversion
** de nouveaux opérateurs (ex: BYTESIN)
** les tableaux de canaux et leur retypage ;
** la possibilité pour les fonctions de rendre une table de taille imposée.
* occam-π désigne la variante d'occam proposée par les dernières versions de KRoC (pour Kent Retargetable occam Compiler). L'addition du symbol "π" (pi) signale le que cet occam reprend diverses idées du pi-calcul. Il introduit notamment :
** l'imbrication de protocoles
** la création dynamique de processus
** la mobilité de canaux, de données et de processus
** la récursivité
** l'héritage de protocoles
** les constructeurs de tables
** l'extension des rendez-vous.