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

本文在虚拟计算环境之上,研究支持具有自主能力、高并发的新型互联网应用开发方法,在已有的基于进程、面向并发的编程模型中引入实体建模机制,扩展出一种兼具进程和自主并发实体的程序设计模型ConEntity,并给出了形式化定义和描述.ConEntity模型具有表达性、并发性和可伸缩性的特点,能对虚拟计算环境资源高效、透明访问.通过扩展Erlang/OTP将其实现为Erlang语言设施UniAgent.本文的模型为在虚拟计算环境上快速直接构建具有自主、高并发能力实体的新型互联网应用提供了模型和语言上的支持.     

C＋＋目标对象的抽象与并发控制

C＋＋作为一种面向对象程序设计语言具有非常强大的功能。文章描述了C＋＋面向对象程序设计语言中实体描述（数据抽象）以及程序（进程）的并发控制。     

C++目标对象的抽象与并发控制

描述了C^ 面向对象程序设计语言中实体描述（数据抽象）,以及程序（进程）的并发控制。     

分布式C语言的实现

计算机微处理器技术与通信技术的发展推动了分布式系统的研究.在分布式计算机语言方面,人们已作了大量的研究工作,并推出了各种分布式程序设计语言.本文提出并在SUN4工作站上实现了基于PVM的分布式程序设计语言—ConC.     

PROLOG语言在计算机网络环境下的开发与应用

本文讨论了分布式计算机系统中进程通信的一种机制──远程过程调用（ＲＰＣ）的设计与实现。在此基础上，将ＲＰＣ机制扩充到ＰＲＯＬＯＧ语言中，使该语言具有网络通信能力，初步实现了计算机局域网络环境下ＰＲＯＬＯＧ语言的应用，为分布式专家系统的程序实用于网络探索新路。     

用PAR方法构建三种Java集合类

分析了抽象程序设计语言Apla(Abstract Programming Language)定义的集合摄作的实现算法思想,用PAR方法（分划递推法,Partition-and-Recur)推导了实现集合操作的Apla程序,并分别将这些抽象程序用三种数据结构（向量（Vector)、数组（Aarray)、链表（noldep,自定义））实现,构成了自定义Java集合类库。该类库可用于Apla-Java程序自动转换系统和体现数据抽象思想的Java程序开发。     

增量静态语义分析的一个对象模型

本文给出了一个对象模型用以描述类ＰＡＳＣＡＬ程序设计语言的静态语义（语义对象，语义依赖）．讨论了基于该模型的增量静态语义分析的过程，动作，并发机制与实现手段．在文章的最后部分对模型扩充讨论了在多用户，分布式环境中的增量语义分析．文中的模型可稍加扩充以适应一般的高级程序设计语言．     

一种基于加锁粒度的分布式高优先级两段锁的并发控制模型

本文通过分析并发控制中的几种锁模型及其在分布式环境下的拓展，提出了一种基于加锁粒度的分布式高优先级两段锁模型。在该模型中，引入一种加锁检测机制，通过该机制可以确定哪些冲突事务可以通过降低加锁粒度来解决冲突。同时提出了该模型的算法。该算法在避免死锁、提高事务的并发度上有很大的改善。     

局域网上分布式操作系统HZDOS

本文介绍了局域网上异种机分布式操作系统的系统结构及功能,着重讨论了该系统的设计方法及实现技术。其中包括:在实现多任务核心时,为保证及时响应和系统不可重入而采取的措施;分布式文件系统中,透明的文件存取和任务通信、并发控制、基于钥锁技术的存取控制方法、通信中的加密/解密技术的实现以及一个基于C的分布式程序设计语言的实现方法和异常处理机制。     

基于NOW的对象式分布式程序设计语言NC++

提出了一个基于工作站网(networkofworkstations,简称NOW)的分布式程序设计语言NC++(NOWC++).它是DC++语言的扩充.NC++提供了一个完备的编程环境,包括NC++预编译器、图视编程界面、多目通信机制和测试系统.它完善了组管理机制和进程通信机制,提出了一个基于信度推理网络的分布共享内存(distributedsharedmemory,简称DSM)机制以管理C++公共变量.实践证明,NC++语言在确保编程方便性的前提下保证了分布式程序的性能.     

A definition of and linguistic support for partial quiescence

The global quiescence (GQ) of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provide GQ detection as a built‐in feature so that programmers do not need to write special synchronization code to detect quiescence. This paper introduces partial quiescence (PQ), which generalizes quiescence detection to a specified part of a distributed computation. PQ is useful, for example, when two independent concurrent computations that both rely on GQ need to be combined into a single program. The paper describes how we have designed and implemented a PQ mechanism within an experimental version of the JR concurrent programming language, and have gained experience with several representative applications. Our early results are promising qualitatively and quantitatively. Copyright © 2007 John Wiley & Sons, Ltd.     

Concurrent C语言单处理机版本的实现

Concurrent C是一种支持并发程序设计的语言,它是C语言的一个超集。本文讨论Concurrent C语言在运行XENIX或UNIX操作系统的单处理机上的实现。     

An implementation of the object-oriented concurrent programming language SINA

SINA is an object-oriented language for distributed and concurrent programming. The primary focus of this paper is on the object-oriented concurrent programming mechanisms of SINA and their implementation. This paper presents the SINA constructs for concurrent programming and inter-object communication, some illustrative examples and a message-based implementation model for SINA that we have used in our current implementation.     

Distributed dynamic programming using concurrent object-orientedness with actors visualized by high-level Petri nets

This paper deals with application of concurrent object-oriented programming with Actors to solve dynamic programming problems in a distributed computing environment. This area of research is often called distributed artificial intelligence. Using a dynamic programming example of chained matrix multiplication, a method of managing dynamic programming searches in a distributed programming environment with Actors is presented. Distributed computations with Actors are visualized by means of Time-Varying Automata (for cases with no intra-actor concurrency) or using a class of high-level nets called Hierarchical Colored Petri Nets (for cases with intra-actor concurrency). Design and implementation features of the specific Actor-based programming environment, using a concurrent extension of C++, are also discussed.     

Concurrent intelligent rapid prototyping environment

Rapid prototyping technology enables rapid production of complex objects directly from a computer-aided design model without involving any tooling or conventional part programming. This has created a new set of problems associated with part design, process planning, support design and value engineering analysis of rapid prototyping parts. In this paper, a methodology for resolving these problems is described, which uses concurrent engineering, distributed blackboard, value engineering, knowledge-based and feature-based technologies. The functionality, design methodology and knowledge representation techniques of a concurrent intelligent rapid prototyping system for stereolithography form the main focus of this paper.     

Java并发机制研究

针对高质量Java多线程并发程序设计，结合实例分析研究了Java多线程同步机制、通信机制以及并发机制的扩展，给出了防止死锁现象的编程策略，有助于解决实际编程中的并发问题。     

Concurrent modeling language (CML) for discrete process modeling,simulation and control

Modern manufacturing systems can be viewed as distributed concurrent discrete processes, using extensive communication internally and with the environment. The concurrency and reactive nature of the system make it difficult to model and analyze correctly. This paper presents a genuine high level and concurrent modeling language, CML, that can be used for modeling and control of manufacturing processes. In addition, it can be used for simulation and analysis of the system's operation. The CML language is based on flat concurrent prolog which is a declarative concurrent logic programming language, therefore, highly expressive, and theoretically sound.     

The development of the HiPE system: design and experience report

The concurrent functional programming language Erlang has been designed to ease the development of large-scale distributed soft real-time control applications. So far, it has been used quite successfully in industry, both within Ericsson Telecom, where it was designed and developed, and by other companies. This declarative language success-story has taken place despite the fact that Erlang implementations are slow compared with implementations of other functional languages. Wanting to improve the performance aspects of publicly available Erlang implementations, which are based on emulators, we embarked on a project called HiPE (High-Performance Erlang) whose aim has been to develop an efficient just-in-time native code compiler for Erlang (called the HiPE system). Since its start in 1996, the system has gone through various (re-)design phases, partly due to implementation choices that did not turn out to be as promising as they appeared on paper, but mainly due to changes in Ericssons Erlang system upon which the HiPE system is built. In this article, we describe how the HiPE system was developed, what it currently looks like, and its current performance. We critically examine design decisions that we took, and the main lessons learnt from implementing them. Finally, we also report on our experiences from trying to keep up with the concurrent development of Ericssons base Erlang system. As such, this article both documents the HiPE system and can serve as possible guidance to anyone wishing to attempt a similar feat.     

基于分布式数据缓存技术的Web-OLAP系统研究

为了解决在分布式环境下,Web-OLAP系统并发访问量急剧增加导致OLAP服务器负担过重的问题,提出一种基于分布式数据缓存技术的Web-OLAP系统。给出了该系统的总体框架和分布式缓存数据的表示,并设计了分布式缓存数据的管理算法。具体的应用实例表明,该方法可以有效地提高分布式环境下Web-OLAP系统的访问效率,较大缩短系统的响应时间。     

DOPS——分布式面向对象编程系统

ＤＯＰＳ是我们在Ｓｕｎ工作站网络中设计实现的分布式面向对象编程系统。目前包括并发面向对象编程语言ＣＣ＋＋和该语言在松散耦合分布式环境中的运行支撑系统ＤＲＴＳ。本文分别介绍ＣＣ＋＋和ＤＲＴＳ的设计与实现，最后给出检测结果。