分布并发透明的虚拟计算环境程序设计

项目名称： 分布并发透明的虚拟计算环境程序设计

项目编号： No.61272154

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 曹东刚

作者单位： 北京大学

项目金额： 80万元

中文摘要： 虚拟计算环境中处理器多核化、网络化对主流基于冯o诺依曼硬件体系、以命令式语言为主体的程序设计技术在程序高效编写和执行方面提出新的挑战。本课题针对面向网络的虚拟计算环境，研究支持透明分布并发的程序设计及运行支撑环境关键技术，目标是使得虚拟计算环境程序员可以象现在编写单任务程序那样，较容易地编写可透明分布执行的并发程序，并支持其高效运行。课题拟采用基于开源Erlang/OTP平台进行语言扩展和平台设计的技术方案，利用Erlang语言已有的函数式编程和进程交互机制，引入实体建模设施并设计分布并发透明的编程模型，建立基于Erlang虚拟机集群的运行支持设施。课题预期成果包括一个基于Erlang的分布并发透明的程序设计设施，一个基于Erlang/OTP的面向虚拟计算环境的程序运行平台，一套分布并发程序开发技术与方法。本课题的所有技术代码均将开源，并应用于虚拟计算环境、网构软件、云计算环境等。

中文关键词： 分布式计算；弹性伸缩；编程模型；Actor模型；

英文摘要： In virtual computing environment, the multicore and networking technologies brings about new challenges to currently mainstream programming techniques, which are mainly based on imperative programming languages and best targeted for Von Neumann machine. Multicore and networked computing environment has powerful paralell computing capabilies. However, it is hard to write and execute programs that can fully utilize these capabilies in cost-effective manner. This project aims at developping new distribution and concurrency transparent programming technoglies and the corresponding runtime supporting infrastructure for network-based virtual computing environment. With the help of this project, programmers of virtual computing environment can write concurrent programs that can transparently be executed for networked notes as effectively and easily as traditional C programmers write sequential programs for Von Neumann machine. This project will be carried on top of an existing industry-level open source programming platform named Erlang/OTP. Erlang/OTP is designed for supporting massively concurrent programming in closed network environment. It has functional programming model and message-based process communication facilies. This project will introduce entity modelling facilities into Erlang and design concurrent pro

英文关键词： Distributed Computing；Elastic Scaling；Programming Model；Actor Model；