Ada-I:支持保护对象继承的Ada95扩充语言

面向对象并发程序设计语言能够帮助程序员利用面向对象技术编写并发程序,从而获得面向对象技术给软件开发带来的种种好处.然而,由于继承异常现象的存在,影响了并发程序设计语言引入继承特性.Ada95语言是支持并发程序设计的面向对象语言之一,但并不支持保护对象的继承.Ada-I语言在Ada95语言的基础上进行扩充,从而支持保护对象的继承,并且避免了继承异常现象的出现.     

一种基于虚拟机技术的并发程序实现方法

基于一种虚拟机设计思想,用C语言实现了一个虚拟机平台,通过在虚拟机中加入管理程序以实现对用户作业的并发控制。该方法提供了利用串行程序设计语言进行并发程序开发的一种实现方法。通过实验证明不通过机器低层及硬件的手段也能有效地在顺序执行的平台上实现并发程序。     

Ada并发程序设计

<正> 死锁,不一定的时序和不一定的轮询都是并发程序设计问题,这些问题通常对顺序程序设计不感兴趣,甚至无关。这些问题发生在并发程序设计之中,而不管程序设计语言提供了什么样的并发程序设计设施。但是,程序设计语言中的并发设施的精确特性对这些问题的严重性与经常性确有影响。本章讨论三个并发程序设计问题:死锁,程序中的最大并发特性,以及Ada中的轮询偏向。 1.死锁当程序中的一个或多个任务被永远阻塞时,死锁就发生了,因为需求不能满足。在一些任务中,死锁会成为某些任务中的一种     

SCOOP并发机制应用研究

SCOOP扩展了串行Eiffel程序设计语言以支持并发应用的构建.SCOOP通过一组编译规则回避了显式线程声明、同步阻塞、显式等待,并经构造消除了竞争条件和原子化违背.SCOOP意图通过一个全局调度程序来保证合理性.JSCOOP作为一种高层并发框架,是SCOOP在Java中的实现.JSCOOP引入了一组模型化注释和核心库类以提供实现SCOOP语义的必要支持.本文详细分析了SCOOP模型和JSCOOP模型的体系结构以及面向对象并发程序实现机制,并总结了SCOOP在并发程序设计中的发展现状.     

基于偏序约简程序可达图的并发程序切片方法

并发程序切片是一种重要的并发程序分析手段.基于程序可达图可构造以程序状态和语句二元组为节点的、依赖关系具有可传递性的并发程序依赖图,解决依赖关系的不可传递性问题,提高切片精度.程序可达图通过交织执行模拟并发活动,分析代价较高.偏序约简是一种十分有效的并发系统状态空间约简技术,约简的并发系统状态空间包含所有的并发程序执行代表.为提高效率,该文将偏序约简技术扩展到程序可达图的约简中,在偏序约简理论的基础上,证明了基于未约简和约简的并发程序可达图构造的并发程序依赖图在进行切片计算时是等价的.实验结果表明,采用偏序约简技术使基于程序可达图的并发程序切片方法在保证切片精度不受损失的前提下显著提高切片效率.与其它高精度切片方法相比,基于约简程序可达图的切片方法的精度更高,在大多数情况下,切片效率也有一定提高.     

并发PL/M语言

本文介绍并发程序设计语言CPL/M(concurrent PL/M).CPL/M程序设计语言是在顺序语言PL/M中加入并发成分而实现的,对PL/M语言本身没有进行任何修改。文中重点讨论了并发成分:进程、管程和SHARED类型。最后对CPL/M语言的实现情况作了简单介绍。     

智能教学系统IPTS

本文系统地介绍了一个在 MV/8000小型机上实现的智能 PASCAL 语言的数学系统IPTS。该系统在一定程度上可以独立指导学生学习 PASCAL 语言。文中先给出了该系统的设计思想和基本功能,并讨论了实观中的一些技术问题,并在中间提出了我们对 ICAI 的一些看法和观点.     

基于回放机制的并发程序中的错误重现方法

为了帮助程序员检测并发程序中的错误,提出了一种重现错并发误场景的方法.使用对Java字节码插装的方法,生成记录和回放版本的程序.在记录程序运行时,自动记录下线程间执行的逻辑循序,同时在程序发生崩溃后自动生成测试用例,这些测试用例运行在回放版本上具有确定性地重现并发错误的能力.实现了一个基于Java程序的原型工具,实验结果表明,该原型具有重现并发程序错误的能力,并且性能开销在一个可接受的范围内.     

MultiobjectC─一个面向对象的并发程序设计语言的设计

ＭｕｌｔｉｏｂｊｅｃｔＣ语言是我们设计的一个面向对象的并发程序设计语言，它以Ｃ语言为基语言，引入了类和对象等机制以及并发对象间的通信设施，支持面向对象的并发程序设计。本文讨论了我们在设计过程中的考虑，并与ＡＴ＆ＴＢｅｌｌ实验室的ＣｏｎｃｕｒｒｅｎｔＣ＋＋语言作了一些比较。     

Multiobject C—一个面向对象的并发程序设计语言的设计

Ｍｕｌｔｉｏｂｊｅｃｔ Ｃ语言是我们设计一个面向对象的并发程序设计语言，它以Ｃ语言为基语言，引入了类和对象等机制以及并发对象间的通信设施，支持面向对象的并发程序设计。本文讨论了我们在设计过程中的考虑，并与ＡＴ＆Ｔ Ｂｅｌｌ实验室的Ｃｏｎｃｕｒｒｅｎｔ Ｃ＾＋＋语言作了一些比较。     

Ada并发程序设计

<正> 该书1984年出版,作者系美国贝尔实验室的Narain Gehani。该书从公认的第一个提供高级通用并发程序设计设施的Ada语言着手,全面地介绍了Ada语言中的并发程序设计设施,以及如何有效利用这些设施编写并发程序;概述了在其它语言的并发程序设计设施;讨论了并发程序设计中的一些细节问题;书末还附录了Ada顺序程序设计的概要。目前,各种大小的并行计算机及操作系统都已相继问世并投入实际使用。并行处理将是今后几年计算机工程和应用的发展方向之一,也是新一代计算机的核心技术之一。但是如果缺乏高度并行的程序设计语言和方法,将会给广泛的应用带来很大障碍,这已引起计算机各     

第一章 并发程序设计要点综述

<正> 1.导论 Ada程序设计语言象PL/I和Algo168一样为并发程序设计提供设施,但是数大多数其它主要的程序设计语言,例如Algol 60,Pascal,Cohol,Fortran或C不具备这种并发设施。一个程序设计语言不提供这种设施就有碍於程序员用并发的方法解决他们的问题——Ludwig Wittgentein有句名言: 限制我的语言意味着限制我的世界用在这里是十分恰当的。由于下述许多原因,编写并发程序的功能,即程序的各成分能以并行的方式执行是合乎需要的: 在编写操作系统,实时系统,数据库系统和仿真程序中都可能有许多事件并发的产     

基于嵌入式平台的并发虚拟机研究

并发程序对提高应用系统的处理能力具有重要作用,基于嵌入式平台的并发程序开发尚无统一的工具支持.本文提出了一种基于嵌入式平台的并发虚拟机(CVM)设计思想,并采用标准C实现了一个CVM模型.研究表明,它可以支持嵌入式平台中的并发程序,实现了嵌入式平台中并发程序的平台无关性和可移植性.     

基于Java多线程的并发机制的研究和实现

针对高可靠性、高质量的Java并行多任务程序设计,分析了Java多线程机制的原理及其实现技术,研究了程序并发过程中的同步机制和交互通信机制,比较了基于操作系统级和基于Java多线程级并发机制的实现结构,总结了并发程序中死锁预防的一些编程规则和策略.所构造的一个具有完全意义上的并发同步的框架实例有一定的实用价值.     

DPC—C＋＋语言的并发性实现

ＤＰＣ－Ｃ＋＋语言是一个支持分布式应用程序设计的面向对象的并发程序设计语言，本文侧重介绍了ＤＰＣ－Ｃ＋＋语言的并发性实现及其程序模型，并简要给出其运行支持系统的设计。     

PASCAL语言辅助教学系统PT的设计与实现

PT 是一个 PASCAL 语言辅助教学系统,它提供了 PASCAL 程序的语法制导编辑,具有良好的人机接口和较强的交互能力,使用方便,适用于 PASCAL 语言的初学者。本文介绍了 PT 的设计思想和实现方法,并对 PT 开发过程中遇到的有关问题进行了讨论。     

Ada程序的会合次序图

针对Ａｄａ程序提出了一种会合次序图，用以表达程序中的会合次序和任务的流程。同已有的其他多任务描述工具相比，更容易理解，可以用做并发程序的设计描述手段和程序理解工具。它也适用于其他具有舍并并发机构的语言。     

用优先图辅助并发程序设计

提出用优先图PG(Precedence Graph)辅助并发程序设计的思想,阐述了将程序描绘成优先图的步骤,以及将优先图转换为并发程序的方法.由此得出了利用优先图辅助并发程序设计使得并发程序的设计更加直观、快捷和准确,通过优先图的化简可以降低并发程序复杂性的结论.     

基于事件结构的并发程序可视化调试方法

在多核和并发技术得到广泛应用的今天,如何有效地调试并发程序,成为一个重要且亟待解决的研究课题.并发程序的不确定性及其行为的复杂性,使得传统的调试技术难以得到有效的应用;而软件维护场景中错误发现与错误调试过程的分离使得错误重现难以实现,面向缺陷报告的调试需求使得自动的错误定位技术难以应用,加剧了调试的困难.针对软件维护阶段由缺陷报告导向的程序调试场景,提出了可视化的并发程序调试方法.该方法能够根据缺陷报告中的信息对程序进行切片,缩小需要分析的代码范围;通过静态分析构造出程序行为的全局视图,帮助程序员发现隐含的程序执行路径;根据事件结构的语义简化程序行为视图,使得行为模型规模可控;根据图形中的分支,引导用户关注路径中的关键操作,从而更快地发现程序中的缺陷.与动态调试方法相比,该方法能够避免错误重现的代价.借助缺陷报告中的信息以及事件结构模型的特点,该方法能够尽量减少状态爆炸的发生.已开发出的交互式并发程序调试工具原型JESVis Debugger,初步实现了所提出的方法.     

PASCAL程序到NS-结构图的自动变换

根据自己在程序设计、调试以及编制程序说明文件的实践中产生的想法以及对PASCAL语言研究学习的结果,我于1982年在西德埃尔朗根大学进修期间,实现了直接从PASCAL程序变换成NS-结构图,亦即Nassi-Shneiderman Diagramm,研制了一个PASCAL结构变换程序STRUCTRAN。该程序有68个子程序,一共约1100条语句,这