前言

<正> 1.并发程序设计设施的好处并发算法发生在许多的应用领域中:操作系统,数据库,仿真,天气预报,实时系统设计,科学程序设计,人工智能和机器人学都需要并发程序设计设施。具有这种设施的程序设计语言,使这些算法用并发程序来表达会更加自然——如果主计算机确实具有平行性机构的话,这个好处就更明显了。相反,没有并发程序设计设施的话,就迫使这些并发算法写成顺序程序,因而破坏了算法的结构,使之难以理解和分析。对一个编译程序来说,要想从一个用顺序程序表示的并发算法中抽取并发特性,     

Ada并发程序设计

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

程序设计语言C和PASCAL的比较

C语言和PASCAL语言是目前日趋流行的两种程序设计语言,尤其在小型计算机的程序设计者中广泛采用。本文从以下几个方面概述和比较C语言和PASCAL语言:设计思想;数据类型处理;各自所提供的程序设计设施;这些设施对程序质量的影响;以及这些设施在各种应用领域的程序设计中的作用。     

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

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

第二章 任务设施[9]

<正> 在形成一个良好的或者一个适当的并发程序设计设施的构造方面,到现在还没有一致意见。但是,对下列特性却一致认为是合乎需要的[HOA78a]: 1.防止错误的安全措施:写正确的顺序程序任务已够艰难,而并发特性又增添了另一方面的复杂性——那就是同时间有关的错误。同时间有关的错误的测试比其它种类错误的测试更加困难,因为这些错误并不总是容易再现的。而且在许多并发程序设计应用中,一个程序设计错误的代价是非常高的,所以,并发程序设计设施应当允许在编译时作最大数量的错     

传统语言和面向对象程序设计

语言本身的设施决定了其进行面向对象程序设计的能力。本文以几种典型的传统程序设计语言为代表,论述了其语言设施支持面向对象程序设计的级别,并讨论了对传统程序设计语言进行面向对象扩充的一些问题。     

并发约束程序设计语言COPS及其执行模型

约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即为定理证明”的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增大时,其性能严重下降以致崩溃。针对传统逻辑程序设计的这种可伸缩性问题,设计了一个基于并发约束程序设计概念的说明性语言COPS,旨在从语言设计与执行模型两方面降低说明性程序的不确定性,提高搜索与运行效率。在语言设计方面,通过引入确定性语言成分,避免不确定计算用于确定性目标所浪费的系统开销;在执行模型方面,在目标的并发穿叉执行与数据驱动的并发同步机制的基础上,实现“优先执行确定目标”策略与“最少假定”策略,作为约束传播的延伸,最大幅度地剪枝搜索空间,降低搜索复杂性。COPS提供的知识表示、推理与并发机制使其成为构造agent程序的理想语言。论文给出COPS语言的语法规范与执行模型的操作语义描述。     

Ada并发程序设计

<正> 该书1984年出版,作者系美国贝尔实验室的Narain Gehani。 该书从公认的第一个提供高级通用并发程序设计设施的Ada语言着手,全面地介绍了Ada语言中的并发程序设汁设施,以及如何有效利用这些设施编写并发程序;概述了在其它     

处理死锁的几种策略

在多道程序系统中，多个程序并发执行，共享系统资源，若对资源的管理和使用不当，会导致系统死锁。死锁避免是解决死锁问题的常用方法，而银行家算法是最著名的死锁避免算法。用类C语言描述了多项资源银行家算法。     

逻辑程序设计

本文论述逻辑程序设计,并将它与以规则为基础的人工智能语言和函数程序设计相比较。文中还讨论了需要解决的两个主要问题:如何规定由函数程序设计语言中的高阶函数提供的特性;框架问题及其与破坏性赋值的关系。另外,本文还指出,按照 Weyhrauch 在 FOL 中提出的方法,把目标语言与元语言结合起来,这是解决这些问题的有希望的方法。