ConEntity:一种基于进程的自主并发实体编程模型及其实现

Abstract

In the age of the Internet, lots of computing and storage resources are integrated by the Internet. Several new types of computation models are provided to deal with complexity of those distributed resources. Consequently new types of applications and new styles of programming models are required above them. To address this need, a new concurrent programming model with both process and concurrent entity is proposed in this paper, to develop new Internet applications with autonomy, high-concurrency and scalability. The autonomic concurrent entity called is introduced to process-oriented programming for enhancing expressiveness of language, keeping consistency of shared states and implementing transparent access of resources. In addition, the formal definition and description are also given for this model using CSP (communicating sequential process). This paper describes an implementation of ConEntity model in Erlang as a language infrastructure named UniAgent. Several problems are solved including autonomic concurrency, automatic synchronization, scalability, communication and consistency. The goal of this paper is to provide programming model and language infrastructure for quickly and directly building distributed applications with autonomic concurrency. In the end of this paper, a typical application is implemented using UniAgent model in our distributed computing platform called UniAS, varying from a communication-intensive social networking application to a computation-intensive algebra application.