一种用于分布式同步的令牌算法

本文提出了一种称为令牌算法的分布式同步算法.按此算法每达成一次互斥协议仅需发送信件N封,此处N为网络中结点的个数,而采用其它的几种分布式同步算法时需发送2N或更多的信件.本文还讨论了分布式同步算法的好环标准.按本文提出的标准,令牌算法是最佳的分布式同步算法.     

处理器调度的一种策略

本文给出单处理器系统的一种处理器调度策略。这种策略适用于既有终端作业又有批量作业的系统。我们让不同类型的就绪进程排入不同的队列,对它们采用不同的调度算法。从而,既能有满意的响应时间又只化费较小的开销,这种策略已在设计磁盘操作系统DJS200/XTIP时采用。     

基于知识的人机接口开放模型

本文基于对用户表达模型的研究,提出了一种人机接口的开放模型,它将交互式系统划分为六层:输入/出介质层、概念层、语法/语义层、领域层、方式/风格层和计算层,并采用知识作为描述各层功能的规范说明语言.知识成为开放模型人机接口的开发设计维护的基础.本文着重介绍了开放模型及其各层使用的知识,并讨论了它具有的特征,最后给出了一个交互实例及结论.     

磁盘操作系统DJS200/XTIP

磁盘操作系统DJS200/XTIP(以下简称XTIP)是为DJS200系列机的220型和210型计算机设计的通用磁盘操作系统。系统具有批量处理和分时处理的能力,能控制6道批量和终端作业同时运行。XTIP采用内核进程结构,采用组合的同步机构,采用混合的资源调度算法。这样做使得系统的积木性较强、效率较高、正确性较好。整个系统只占用内存10K个字。本文叙述操作系统XTIP的功能、结构和实现。     

LSZ2同构/异构型分布式数据库系统的设计与实现

虽然同构型是异构型的特例,但若用异构型代替同构型,必然引起效率的降低。根据设计异构型分布式数据库系统LSZ的经验,LSZ2被设计成既重点考虑同构型环境,又考虑(可扩充到)异构型环境。本文介绍这个系统的设计思想和实现问题,以及充分利用硬件资源开发DDB系统的并行性。此外,依据我们的实现体会,讨论异构型和同构型的差别,构成DDBS的不同方法及其优缺点。     

防止死锁的一种方法

一、引言近几年来,计算机的程序系统发展得很快。它的规模和作用都在日益增大。因此,程序系统的正确性问题就愈来愈重要了。“死锁”是保证操作系统正确所必须考虑的一个问题。过去,由于对这个问题没有足够的认识,有些操作系统,例如ExecⅡ,把好些死锁都搞进系统去了。这样的系统在运行时就难免要发生故障。所谓死锁是指两个或两个以上的进程因为竞争资源而使得它们都不能继续进行下去的那种现象。例如在时刻t两个进程P_1和P_2各自占有资源r_a和r_b。到时刻t_1>t时,P_1申请     

促进计算机发展的良性循环

中国科学院技术科学部于9月14日～18日在北京召开了扩大会议。除技术科学部委员外,还邀请了工业部和高等院校的专家学者参加会议。会议中科委、计委和教委的负责同志作了报告。会议的目的是为了充分实现决策的民主化和科学化,广泛听取各方面专家学者们对我国技术科学发展远景及"七五"、"八五"发展规划的意见和建议。会议选择了八个课题作为第一批的调研和提供咨询的对象,计划在一年內提出较高科学性、现实性的研究报告。这里刊登的是部分专家学者在会议上的发言摘要。     

操作系统DJS200/XTI的结构

一、引言 DJS200/XTI(下简称XTI)是为DJS 200系列计算机中210和220两个型号[1]设计的一个通用操作系统。它的主要功能有: 1.作业的组织、控制和菅理; 2.作业的预输入; 3.文件菅理; 4.存贮管理; 5.中断处理。