权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Program Dependence Theory of Concurrent Programs and Its Applications

并发程序的程序依赖理论及其应用

基本信息

批准号：
04650319
负责人：
CHENG Jingde
金额：
$ 1.47万
依托单位：
KYUSHU UNIVERSITY
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1992
资助国家：
日本
起止时间：
1992 至 1993
项目状态：
已结题

项目摘要

1. We proposed two new representations for concurrent programs, named the nondeterministic parallel control-flow net and nondeterministic parallel definition-use net, and showed how to use them to represent multiple control flows and multiple data flows in concurrent programs written in concurrent programing languages such as Ada, Occam2, and SR.2. In addition to the usual control and data dependencies proposed and studied for sequential programs, we introduced three new types of primary program dependencies in concurrent programs, named the selection dependence, synchronization dependence, and communication dependence and proposed two new program representations for concurrent programs, named the process dependence net and the process influence net, which are arc-classified digraphs to explicitly represent the five types of primary program dependencies in the programs. We also showed some applications of the representations including concurrent program understanding, optimization, testing, debugging, maintenance, and complexity measurement.3. We developed a group of tools to transform concurrent programs into their nondeterministic parallel control-flow nets, nondeterministic parallel definition-use nets, process dependence nets, and program influence nets.4. We extended the notion of slicing, which was originally proposed and studied for sequential programs, to concurrent programs and a graph-theoretical approach to slicing concurrent programs.5. We proposed a number of new complexity metrics for concurrent programs and evaluated a part of them.

1.提出了两种新的并发程序表示方法，即非确定并行控制流网和非确定并行定义使用网，并给出了在Ada、Occam2和SR.2等并发程序设计语言中如何用它们来表示并发程序中的多个控制流和多个数据流。除了已提出和研究的用于顺序程序的控制依赖和数据依赖外，我们还引入了并发程序中三种新的主要程序依赖类型，称为选择依赖、同步依赖和通信依赖，并提出了两种新的并发程序的程序表示，称为进程依赖网和进程影响网，它们是弧分类有向图，显式地表示程序中的五种主要程序依赖。我们还展示了这些表示在并发程序理解、优化、测试、调试、维护和复杂性度量等方面的应用。我们开发了一组工具来将并发程序转换为它们的非确定并行控制流网、非确定并行定义使用网、进程依赖网和程序影响网。我们将最初针对顺序程序提出和研究的切片的概念扩展到并发程序，并提出了一种图论方法对并发程序进行切片。我们为并发程序提出了一些新的复杂性度量，并对其中的一部分进行了评估。