Ada并发程序设计

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

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

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

基于消息传递的程序设计语言

本文扼要介绍了几个著名的基于消息传递的程序设计语言(如CSP, PLITS, Ada, SR, DP和MOD等)的主要特点,并简单讨论了并发程序设计语言的分类模型。     

P—Ada：一个基于工作站机群的Ada95编译系统

Ada95语言是一种功能十分强大的高级程序设计语言,其诸多特征,例如强类型检查,数据抽象以及面向对象等,反映了现代软件工程的要求,便于程序员开发高可靠性、高可移植性的大规模实时软件系统。在并行处理方面,Ada95语言提供了任务描述机制用以支持并发程序设计。在现有的Ada95编译器中,任务机制一般都是在单机上或共享内存的多机系统上利用多线程实现的,因而在不存在共享内存的松散耦合的系统中无法使用。     

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

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

Ada并发软件的图形化设计方法研究

研究的目标：为Ada并发软件的设计提供一种图形化的方法和支撑工具，以便用图形表达并发软件的设计，并生成并发程序的框架（并发程序单元的划分和它们之间的通信）。这样做的好处在于提高软件的生产率，改善软件质量。在提出用于并发软件理解的会合次序图的基础上，给出了并发设计语言CONDL的语法、语义描述和图形化表示（泳道），并简单介绍了所研制的一个工具CONDLAS（生成Ada代码框架）。     

Ada并发程序设计

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

支撑程序包用户指南专辑 前言

<正> Ada是一种用于大型和实时嵌入式系统的设计和实现的高级语言。Ada的特点之一是其可扩充性。这不仅体现于APSE的开放式,也体现予Ada语言本身。Ada本身只定义了必需的数据结构和控制结构以及有限的高级I/O,更多的设施都可以Ada程序包的形式进行实现所允许的扩充。Ada的分别编译、库单元和程序包机制保证这种扩充可以为所有的Ada用户共享。     

一种并发程序依赖性分析方法

并发程序的依赖性分析是并发程序分析，理解，调试，测试和维护的重要手段，由于并发程序执行的不确定性，目前，尚有很多难点有待解决，针对Ada任务机制，首先提出了一种简洁，有效的并发程序表示方法－并发程序流图，然后讨论了由任务间同步引起的同步依赖和由访问共享变量引起的任务数据依赖，建立了并发程序依赖图，并在此基础上给出了一种有效的并发程序依赖性分析算法，得到一个比较精确的依赖性，较好地解决了并发程序依赖关系不可传递性问题。     

Ada分别编译及其实现

为了辨明并解决Ada语言分别编译所要解决的问题,我们实现了一个Ada分别编译模型,根据该模型,本文分析了Ada分别编译所需支撑设施,提出了一种实际可行的实现方案。