LISP语言的并行性研究

本文讨论了源串行LISP语言的并行性开发,包括任务的划分和表示、并行处理策略、任务的环境控制、任务的调度和通讯,并给出了提高任务并行度的特殊函数处理、伪结果控制、自定义函数任务提升策略等算法,上述思想已在实验系统MTASKLISP上初步实现.     

UNIX在多机系统中的应用和发展

并行处理是90年代计算机发展的主要方向之一。本文简单介绍了多机系统的发展和对UNIX操作系统的要求;结合多机实时操作系统RTU分析了并行UNIX的改造和实现方法;针对多机系统的特点讨论了UNIX实时化的新途径。     

LISP—ELP的设计和应用

1.引言 在本文中描述了LISP-ELP的特性、实现和应用。LISP-ELP是作者设计的一种支持专家系统程序设计的逻辑程序设计语言,它继承了LISP和Prolog两者的优点,改进了Prolog的控制结构,并具有极强的知识表达能力,该语言已经在IBM-PC微机上用C语言实现。 在“函数+逻辑”型语盲的研究中有[1,2]的工作.为了推进“函数+逻辑”型语言走向     

AutoCAD新增的开发工具Visual LISP

本文介绍了ＡｕｔｏＣＡＤ新增的开发工具Ｖｉｓｕａｌ ＬＩＳＰ在开发环境、文件管理、面向对象编程以及监控能力等方面的功能特点。     

知识程序设计语言LISP和PROLOG综述

通过对知识程序设计语言LISP和PROLOG两种语言进行分析比较,揭示了二者间的差异和以及所具有的共同特点。     

高可靠性群机系统的通信和切换

本文讨论高可靠性并行处理群机系统的通信互连网络及切换技术。首先介绍存储器通道，然后研究基于该结构的一个四处理结点的高可靠性并行处理群机系统，并对通信及系统切换性能进行了分析。     

群机系统的容错和恢复

工作站群机系统已成为分布式并行处理发展的主流方向之一。随着群机系统应用领域的逐渐拓展和规模的不断扩大,人们对其可靠性的要求日益提高。设计高可靠的群机系统,需要着重研究其系统容错技术。本文主要论述Linux群机分布式系统进程的容错和恢复。重点讲述用户层中的检查点设置、卷回和进程迁移关键技术。     

多机系统ZDMP的结构设计与实现

本文提出了一个基于IBM PC/XT微机的多机系统ZDMP的系统结构设计方案。系统将各个处理机节点通过多总线(Multibus)以紧耦合方式连接起来,并带有共享存贮器作为各处理机之间通信的媒介。整个系统具有结构简单、扩展性好、可靠性高等特点。本文着重介绍ZDMP的系统结构,同时,对系统性能作了扼要的分析、评价。     

拥有共享Cache和独享Cache的多机系统

本文提出了一种新颖的两级Cache结构的多机系统模型及其相应的管理策略,并圆满地解决了数据相关问题.该体系结构除了具有单一的共享或独享Cache的特点外,尤其适合于共享数据量较大的情形.通过对其性能的评价,我们指出了它较其它结构的优越性.     

单片机分布式多机系统的管理

本文对MCS—51单片机分布式多机系统监控程序的特点进行了讨论,包括主机和从机监控程序的编制、由管态到目态的转换以及目态管理等问题.     

使用LISP编程空间不够的问题之解决方法

本文总结了使用LISP语言编程的实际经验，介绍了使用此种语言编程空间不够的问题之解决途径。     

Transputer多机系统的软件可靠性研究

本文讨论Transputer多机系统的软件可靠性，研究了如何在多机系统上进行容错并发程序设计，给出了实现并行性时划分模块的一般性方法。     

多机系统的动态负载平衡

在计算机硬件价格下降、计算机网络拓扑发展的情况下,分布式计算机系统给用户提供了一个丰富的资源集合。人们在研究分布式系统时,就注意到了这样一个问题:在一个由网络所连接起来的多计算机环境中,在某一时刻,一些计算机的负载极重,而另外一些计算机的负载极为空闲。平衡各计算机之间的负载是任务分配与调度的一个主要目标,     

基于群机系统的Ada编译程序

为了使Ａｄａ程序运行在松散耦合分布式系统并且降低程度员开发分布Ａｄａ的程序的工,设计并实现了基于该环境下的Ａｄａ编译程序。