XMind

Join-Calculus

1. Concurrence

   1. nécessaire

      1. matériel parallèle

      2. performances

      3. flexibilité

   2. problèmes

      1. non déterminisme

      2. conditions de courses

         Exemple : P : i <- i+1 Q : i <- 2*i Résultats possibles avec i initialisé à 0 : 1, 2 ou même 0 si affectations non atomiques.

      3. interblocage

      4. famine

   3. primitives classiques

      1. processus

         1. communication par messages

      2. threads

         1. communication par mémoire partagée

      3. synchronisation

         1. attente active

         2. événements

         3. sémaphores

         4. messages

         5. appels de procédures à distance

      4. contrôle

         1. sections critiques conditionnelles

         2. moniteurs

         3. rendez-vous

2. Modèles formels

   1. le modèle des acteurs

      1. en réponse à un message, un acteur peut

         1. envoyer un nombre fini de messages à des acteurs

         2. créer un nombre fini de nouveaux acteurs

         3. désigner le comportement à utiliser pour le prochain message qu'il recevra

      2. langages de programmation

         1. erlang

         2. scala

   2. calculs de processus

      1. communication par canaux nommés

         1. pas de variables globales

         2. messages

         3. synchones ou asynchrones

         4. FIFO

      2. quelques primitives élémentaires

         1. grande variété

         2. composition

            1. séquentielle

            2. parallèle

      3. variantes

         1. Pi-calculus

            1. Pict

            2. variantes stochastiques

         2. Join-calculus

            1. JoCaml

3. Fondements du Join-Calculus

   1. localité

      de la résolution des questions de synchronisation

      1. découplage

         1. transmission

         2. synchronisation

      2. pour permettre

         1. distribution

         2. mobilité

   2. processus

      1. asynchrones

         1. s'exécutent en concurrence

         2. ne produisent aucun résultat

      2. ou synchrones

         1. ~ appels de fonctions

   3. canaux

      1. eqv à noms de ports

      2. définition conjointe des

         1. canaux

         2. et processus les écoutant

            1. lancés à chaque message sur ces canaux

   4. définition par filtrage de motifs à la ML

      1. seule primitive de synchonisation

      2. état reste dans processus

   5. sémantique

      1. machine chimique abstraite réactive

         reflexive-CHAM messages = atomes de valence le nom de leur canal composition parallèle de messages = molécule simple autres processus = molécules complexes une règle de définition définit une réaction chimique permettant de passer d'une molécule simple à une molécule complexe Les molécules baignent dans une soupe de molécules agitées d'un mouvement brownien

4. implémentation

   1. JoCaml