SR (programmation)

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

SR (abréviation de Synchronizing Resources) est un langage de programmation destiné à la programmation concurrente.

Ce langage utilise essentiellement deux types d'objets : les ressources et les opérations. Les ressources désignent les processus et leurs variables, elles peuvent être compilées séparément. Les opérations sont chargées des interactions entre processus.

Le langage SR fournit des mécanismes pour invoquer et contrôler les opérations. Il permet par conséquent les appels à des procédures locales et distantes, les barrières de synchronisation, les passages de messages, les sémaphores, la création dynamique de processus, le multicast et le partage de mémoire.

Voir aussi

Occam
MPD (en)

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « SR (programming language) » (voir la liste des auteurs).
(en) Gregory R. Andrews, Ronald A. Olsson: The SR Programming Language: Concurrency in Practice, (ISBN 0-8053-0088-0)
(en) Stephen J. Hartley: Operating Systems Programming: The SR Programming Language, Oxford University Press, (ISBN 0-19-509579-0)
(en) Gregory R. Andrews, « The distributed programming language SR—Mechanisms, design and implementation », Software: Practice and Experience, vol. 12, n^o 8,‎ août 1982, p. 719-753 (lire en ligne)