期刊文献+

Apla语言中并发分布式机制的研究 被引量:4

Research on Concurrent and Distributed Mechanism of Apla Language
下载PDF
导出
摘要 从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的并发分布式机制,设计了并发算子、并发语句、进程定义、进程通信和进程同步,并通过实例探讨了该设计方案的可行性和实用性,最后阐述了Apla语言中并发分布式机制具有通用性强、抽象层次高、简单易懂、便于并发分布式程序的开发等优点。 From the viewpoint of concurrent and distributed programming,several concurrent and distributed programming languages were analyzed and compared.A novel structured distributed and concurrent language Orc was designed and implemented by Professor Jayadev Misra.After analyzing the fundamental principles and language-characters,a new concurrent and distributed mechanism of Apla(Abstract Programming LAnguage) was originally designed in the paper.The mechanism includes the concurrent operator,concurrent statements,the definition,communication and synchronization of process.The feasibility and practicability of the mechanism were illustrated by giving a representative example.Finally,many advantages(such as generality,simplicity,Abstract,easy-to-writing) of the concurrent and distributed mechanism were presented.
出处 《计算机科学》 CSCD 北大核心 2012年第1期104-108,共5页 Computer Science
基金 国家自然科学基金项目(60573080 60773054) 国家自然基金重大国际合作研究项目(61020100609) 科技部国际科技合作项目(2008DFA11940) 江西师范大学青年成长基金项目(3174)资助
关键词 并发分布式程序设计 Orc语言 Apla抽象程序设计语言 并发分布式机制 Concurrent and distributed programming Orc language Apla language Concurrent and distributed mechanism
  • 相关文献

参考文献18

  • 1Sutter H. The Free Lunch is Over:A Fundamental Turn To- ward Concurrency in Software[J]. Dr. Dobb' s Journal, 2005,30 (3) :202-210.
  • 2张效详.计算机科学技术百科全书[M].北京:清华大学出版社,1998:1-17.
  • 3George C W. The RAISE Specification Language: A Tutorial[C]// Proceedings of VDM' 91, volume 551 of Lecture Notes in Com- puter Science. Springer-Verlag, 1991.
  • 4Woodcock J C P,Cavalcanti A L C. A Concurrent Language for Refinement[C]//Butterfield A, Pahl C, edK IWFM' 01 : 5 th Irish Workshop in Formal Methods. Dublin, Ireland,July 2001.
  • 5Hoare T, Misra J. Verified software: theories, tools, experiments [C]//LNCS 4171. Springer Verlag,July 2005:1-18.
  • 6Chandy K M, Misra J. Parallel Program Design: A Foundation [M]. Addison-Wesley Publishing Co. , 1988.
  • 7Misra J. A Discipline of Multiprogramming: 'A Programming Theory for Distributed Applications [M]. Springer-Verlag, 2001.
  • 8Misra J, Cook W IL Computation Orchestration: A Basis for Wide-Area Computing [J]. Journal of Software and Systems Modeling, March 2007.
  • 9Kitchin D,Quark A. William Cook and Jayadev Misro. The Orc Programming Language [ C ] // Proceedings of FMOODS/ FORTE, LNCS 5522. Springer Verlag, 2009:1-25.
  • 10Ore Language Project [OL]. http://orc, csres, utexas, edu/in- dex shtml, 2011-04-21.

同被引文献33

引证文献4

二级引证文献31

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部