跳到主要内容
文章
开放式访问

CSP中异步进程的同步

出版:1989年10月1日出版历史
跳过抽象节

摘要

许多并发编程语言(包括CSP和Ada)使用同步消息传递来定义一对异步进程之间的通信。建议的原语,如CSP的通用替代命令和Ada的对称选择语句,允许进程非确定性地选择几个通信语句中的一个来执行。通信语句可以是输入语句或输出语句。我们提出了一个简单的算法来实现广义替代命令,并表明它比现有算法使用更少的消息。

工具书类

  1. 1Ada编程语言参考手册。乌尔特德州国防部,华盛顿特区,1983年。]]谷歌学者谷歌学者
  2. 2APT,K.、FRANCEZ,N.和KATZ,S.评估分布式编程中语言的公平性。分布式计算。2 (1988), 226-241.]]谷歌学者谷歌学者
  3. 3BACK,R.和KURKI-SUONIO,R.与行动系统的分布式合作。ACM事务处理。程序。语言系统。第10、4页(1988年10月),第513-554页。]]谷歌学者谷歌学者
  4. 4BAGRODIA,R.实现CSP广义替代命令的分布式算法。《第六届分布式系统国际会议论文集》(剑桥,1986年5月)。]]谷歌学者谷歌学者
  5. 5BAGRODIA,R.进程同步:分布式算法的设计和性能评估。IEEE传输。柔和。工程15、9(1989年9月),1053-1065。]]谷歌学者谷歌学者
  6. 6BERNSTEIN,A.J.通信顺序过程中的输出保护和不确定性。ACM事务处理。程序。语言系统。第2页,第2页(1980年4月),第234-238页。]]谷歌学者谷歌学者
  7. 7BUCKLEY,G.和SILBERSCHATZ,A.CSP广义输入输出结构的有效实现。ACM事务处理。程序。语言系统。第5、2页(1983年4月),第223-235页。]]谷歌学者谷歌学者
  8. 8CHANDY,K.M.和MISRA,J.并行程序设计:基础。Addison-Wesley,雷丁,马萨诸塞州,1988年。]]谷歌学者谷歌学者
  9. 9DIJKSTRA、E.W.保护命令、不确定性和程序的形式派生。Commun公司。ACM 18,8(1975年8月),453-457。]]谷歌学者谷歌学者
  10. 10FORMAN,I.R.关于大型分布式系统的设计。技术代表STP-098-86,微电子和计算机技术公司,德克萨斯州奥斯汀,1987年1月。《第一届国际计算机语言会议记录》(佛罗里达州迈阿密,1986年10月25-27日)的初步版本。]]谷歌学者谷歌学者
  11. 11FRANCEZ,N.公平。施普林格,纽约,1986年。]]谷歌学者谷歌学者
  12. 12FRANCEZ,N.、HA1LPERN,B.和TAUBENFELD,G.脚本:通信抽象机制。科学。计算。程序。(1986年1月)。]]谷歌学者谷歌学者
  13. 13HOARE,C.A.R.传达顺序过程。Commun公司。ACM 21、8(1978年8月),666-677。]]谷歌学者谷歌学者
  14. 14KIEBURTZ,R.B.和SILBERSCHATZ,A.关于“通信顺序过程”的评论。ACM Trans。程序。语言系统。1, 2 (1979), 218-225.]]谷歌学者谷歌学者
  15. 15RAMESH,S.和MEHNDIRATTA,S.L.开发分布式程序的方法。IEEE传输。柔和。工程SE-13,8(1987年8月),967-976。]]谷歌学者谷歌学者
  16. 16SCHNEIDER,F.分布式程序中的同步。ACM事务处理。程序。语言系统。4,2(1982年4月),125-148。]]谷歌学者谷歌学者
  17. 17SCHWARZ,J.S.通信顺序过程的分布式同步。爱丁堡大学人工智能技术代表部,1978年7月。]]谷歌学者谷歌学者
  18. 18SISTLA,A.P.用于确保公平进程间通信的分布式算法。《第三届ACM分布式计算原理研讨会论文集》(1984年),ACM,纽约,1984年,第266-277页。]]谷歌学者谷歌学者
  19. 19TSAY,Y.-K。进程间同步中的公平性和优化。加州大学洛杉矶分校计算机科学系硕士论文,1989年,准备中。]]谷歌学者谷歌学者
  20. 20VAN DE SNEPSCHEUT,g.L.A.异步组件之间的同步通信。IPL 13,3(1981年12月),127-130。]]谷歌学者谷歌学者

索引术语

  1. CSP中异步进程的同步

          建议

          评论

          Violet R.Syrotiuk公司

          许多并发编程语言使用同步消息传递在两个异步进程之间进行通信。在同步消息传递中,二进制集合是指发送方和接收方必须做好通信准备才能进行交互的时间。(这与Ada交会类似但不相同。)通用替代命令(GAC)允许进程不确定地选择几个二进制交会中的一个进行执行。本文提出了一种简单且易于解释的算法来实现一组并发执行的异步进程的GAC。该算法首先在简化的上下文中进行描述,假设每对进程之间最多定义一个交互,并且每个进程的交互集是静态的。要在CSP中实现流程通信,需要放弃这两个假设。作者简要说明了所需的算法修改。作者证明了该算法同时满足安全性和活性。安全意味着流程不会同时致力于包含共同流程的交互。活力对应于弱交互公平的概念。该算法满足四个标准,这四个标准通常用于确定实现GAC的算法的有效性。与以前的算法相比,新算法使用的消息更少。动态交互集引入的修改不会影响复杂性结果。

          访问计算机文献的关键评论在这里

          成为评论员计算评论。

          评论

          登录选项

          检查您是否可以通过登录凭据或您的机构访问本文。

          登录

          完全访问权限

          • 发布于

            封面图片ACM编程语言和系统汇刊
            程序设计语言与系统学报 第11卷第4期
            1989年10月
            178页
            国际标准编号:0164-0925
            EISSN公司:1558-4593
            内政部:10.1145/69558
            期刊目录

            版权所有©1989 ACM

            出版商

            计算机协会

            美国纽约州纽约市

            出版历史

            • 出版:1989年10月1日
            发布于托普拉斯第11卷第4期

            权限

            请求有关此文章的权限。

            请求权限

            检查更新

            限定符

            • 文章

          PDF格式

          以PDF文件查看或下载。

          PDF格式

          电子阅读器

          使用eReader在线查看。

          电子阅读器