Coroutines and Networks of Parallel Processes
Coroutines and Networks of Parallel Processes
复制标题
并行进程的协程和网络
DOI：
--
复制
发表时间：
1977
期刊：
影响因子：
--
通讯作者：
David B. MacQueen
中科院分区：
文献类型：
--
作者：
G. Kahn;David B. MacQueen
协程和进程的概念在各种应用程序中相互作用，或者说是产品的一般描述，或者是面向渐进式应用程序开发者的Transformer。我们提出一种语言，旨在建立一种过程间相互作用的语义精确度，以便于动态演化过程研究的编程。这是一种独特的外部动作，它们可以按顺序或平行地执行。简单语义的优点是由程序的优点来说明的。这种编程语言还可以澄清多个概念之间的关系：协同程序、必要的阿佩尔、动态结构和并行计算。
Les concepts de coroutine et de processus interviennent dans une grande variete d'applications, ou il est en general necessaire de produire ou de transformer des donnees de facon progressive. Nous presentons un langage, fonde sur une vue semantique precises de l'interaction entre processus, qui facilite la programmation de reseaux de processus qui evoluent dynamiquement. Ces reseaux ont un comportement externe unique, qu'ils soient executes de maniere sequentielle ou parallele. Les avantages d'une semantique denotationelle simple sont illustres par des preuves de programmes. Ce langage de programmation permet aussi de clarifier les relations entre plusieurs concepts : coroutines, appel par necessite, structures de donnees dynamiques et calcul parallele.