LES PARADIGMES DE LA CONCURRENCE

Briques de base pour toute étude, analyse ou construction de système ou d’application coopérative.(“design patterns”)

PARADIGMES

Exemples-type qui permettent de modéliser des classes de problèmes réels fréquemment rencontrés et présents à tous les niveaux dans les systèmes et dans les applications concurrentes.
Acceptés par la communauté pour leur capacité à fournir des schémas de conception
ARCHÉTYPES
Solutions des paradigmes pouvant servir de schémas de construction de programmes.

l’exclusion mutuelle qui modélise l’accès cohérent à de ressource partagées,
la cohorte qui modélise la coopération d’un groupe de taille maximale donnée,
les producteurs-consommateurs, exemple qui modélise la communication par un canal fiable,
les lecteurs-rédacteurs exemple qui modélise la compétition cohérente,
le repas des philosophes schéma qui modélise l’allocation de plusieurs ressources.
la terminaison d’un traitement coopératif
l’élection d’un coordonnateur
la diffusion de messages fiable et avec ordre de réception (total, causal) identique pour tous les processus