函数式语言并行实现中并行颗粒度的动态控制

本文针对并行处理中并行颗粒度的控制问题，将惰性计值的延迟思想引入并行进程的生成过程中，并与文献［１，２］的ＬＥ计值语义相结合，提出了函数式语言的并行ＬＥ计值语义，由于采用ＩＨＲＥＡＤ来实现对并行归约子进程的延迟处理，使得并行计算进程在运行时可以动态增加其并行颗粒度，从而减少了一些不必要的细粒度并行性的开发，与文献［５］相比，由于基于负载的动态内联思想在延迟处理操作中的引入亦进一步减少了很大一部分延     

函数式语言FP中并行的开发和控制

函数式语言的突出特点是特别适合于并行处理.本文着重讨论函数式语言——FP在多处理机系统中并行实现的方法.文中的FP语言是在John Backus’FP的基础上增加了流的功能和类型定义.在[1,2]原有的理论基础上,提出了一个改进的结合LE计值语义的多步向前驱动法.LE计值中由于引进了延迟对象,使得延迟计值统一为函数对对象的作用,因而简化了编译系统的代码生成.多步向前驱动法是一种结合需求驱动和数据驱动的方法,该方法在开发了尽可能多的并行的同时,又保证了程序并行归约的终止性.根据这些方法,一分布式内存的多处理机软件模拟系统已在MIC-VAX Ⅱ上实现.文中最后给出了一些实验数据,这些数据有力地证明了多步向前驱动法的有效性,从而揭示了函数式语言并行处理是一非常有发展前途的研究方向.     

高阶函数式语言到逻辑式语言的转移

本文给出高阶函数式语言Ｐｒｏｌｏｇ语言的一种转换技术，其中主要用到抽象闭包分析，Ｌａｍｂｄａ提升，顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌｌ技术，本文的研究征顺于高阶性的处理上。     

过程式语言到函数式语言的抽象方法

本文给出了从过程式程序到函数式程序的转换规则，这些转换规则是从语言的接续指称语义推导出来的，我们考虑了ＧＯＴＯ语句的处理，因此，我们的方法可以处理非结构化程序。由于这些转换规则是从指称语义导出的，其正确性得到了保证。     

基于TRANSPUTER网络的函数式语言的并行抽象机模型

本文基于函数式语言的并行ＬＥ计值语义,提出了一个针对ＴＲＡＮＳＰＵＴＥＲ网络的函数式语言的并行抽象机模型──并行ＬＥＭＡＣＨＩＮＥ．在该抽象机中由于ＬＥ计值分析方法的采用减少了函数式语言的惰性语义所带来的开销,并且在并行性开发中引入惰性计值的思想在保证充分利用系统中的并行处理能力的同时,基于ＴＨＲＥＡＤ的惰性进程生成法减少了一些不必要的并行性开发所带来的开销．双向链表的栈模型亦对并行进程的实现效率有较大的提高,原型系统的测试显示系统具有较高的执行效率．     

并行函数/逻辑程序设计语言PRFUNLOG

PRFUNLOG语言是基于顺序RFUNLOG语言基础之上开发的一种并行函数/逻辑型程序设计语言,本文介绍了PRFUNLOG系统的设计思想、系统结构、系统流程以及PRFUNLOG系统较之其他并行系统的特点。     

面向对象语言并行化中的调用局部化优化

该文提出了一种将调用局部化技术应用于并行环境下面向对象语言的方法,文中详细讨论了该技术的适用条件以及如何通过该方法减少循环中的远程过程调用开销,该优化技术产首先将循环分离成多个包含有远程调用的循环,再将分离后的循环分离给循环中对象所在的处理器,最后,化简迭代空间,并且用消息传递来传输数据,这种优化对象分布和循环并行化之后进行,将函数调用局部化于处理器,通过这种优化,可以进一步挖掘循环中的任务并行性,降低计算复杂度,减少函数调用开销,尤其适合面向对象语言中对循环里小函数的优化,该技术已经在作者设计的Java自动并行化编译器JAPS－Ⅱ中实现,在实验中,利用这种优化技术得到了超线性性加速比。     

函数式语言的集合描述方法及其实现算法

本语言介绍函数式语言提供的集合描述方法以及实现集合的一种程序变换优化算法，集合的引入改善限函数式程序的表达能力，并且为提高程序效率创造了条件。     

面向对象的函数式语言及其实现技术

ＯＯＦＬ是我们设计的一种面向对象的函数式语言，该语言具有对象式语言和函数式语言的优点。本文详细介绍了ＯＯＦＬ到Ｃ＋＋的转换技术，构造了ＯＯＦＬ语言的元程序设计环境，探讨了对象函数式语言的一些实现方法，并在微机上实现了ＯＯＦＬ到Ｃ＋＋的转换系统。     

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.     

分布系统与分布对象计算

一、分布系统——发展的必然 分布系统是当前计算机系统发展的主要模式。以计算机网为依托,把多个同时工作的分散计算单元、不同的数据库、不同的操作系统联结成一个整体的布式系统.为多种用户提供一个统一的工作环境。这种分布式系统能够把系统的吞吐能力提高     

Wait-free regular storage from Byzantine components

We consider the problem of implementing a wait-free regular register from storage components prone to Byzantine faults. We present a simple, efficient, and self-contained construction of such a register. Our construction utilizes a novel building block, called a 1-regular register, which can be efficiently implemented from Byzantine fault-prone components.     

Optimal concurrent design based upon distributed product development life-cycle modeling

This research introduces an optimal concurrent design approach based upon a previously developed distributed product development life-cycle modeling method. In this approach, the product realization process alternatives and relevant activities are modeled at different locations that are connected through the Internet. Relations among these alternative activities are described by an AND/OR graph. The optimal product realization process alternative and its parameter values are identified using a multi-level optimization method. Genetic programming (GP) and particle swarm optimization (PSO) are employed for identifying the optimal product realization process alternative and the optimal parameter values of the feasible alternatives, respectively.     

Web-based distributed system and database modeling for concurrent design

This research introduces a new approach for Web-based collaborative concurrent design. In this approach, systems, product libraries, and product databases for modeling different product development life-cycle aspects are distributed at different locations that are linked through the Web. Product modeling libraries are described as class features. A class feature at a remote location can be used for defining a new class feature at the local site. Product modeling systems distributed at different locations are used for creating product databases that are described by instance features. A system at one location can be implemented using the functions provided at other locations as the components. Different life-cycle databases at different locations are associated by their relations. The optimal design considering relevant life-cycle aspects is identified using the distributed product life-cycle modeling systems and databases.     

分布式对象综述

本文首先对各种分布式计算进行了简要介绍,然后对面向过程和面向对象的分布式计算以及几种主流分布式对象技术进行了分析比较,并对分布式对象的应用前景和分布式计算的发展方向进行了探讨。     

分布式计算环境下的并行设计系统

在并行设计过程中,如何把各个部门的设计信息有效的集成是需要解决的重要问题。该文中的并行设计系统利用面向对象技术描述各个部门建模的特征信息,建立起各个部门的类库。而各个部门的建模系统通过基于CORBA的分布式系统的支持可以方便的获取远端或异构建模系统的特征信息,也可以调用异构建模系统的应用程序,从而实现并行设计。     

基于组件的分布式约束管理系统研究

在分析约束管理系统分布性、异构性等特点以及可靠性、可扩展性和可重用性等要求的基础上,提出了基于组件技术设计与实现分布式约束管理系统的方法,并给出了系统的开发实例。