未来操作系统中的数据管理

引言 随着第二代、第三代计算机系统的出现,数据管理就成为系统设计者和使用者主要关心的事情。此时,许多重要的应用仍然保持顺序性质,调用简单的文件系统业已够用。但是,当数据管理中基本的经常用的操作要牵涉到整个数据库时,就需要其他的数据管理结构。这就导致数据库系统的出现。当前,数据库系统     

管程正确性的证明

1.引言管程是为在多道程序系统中定义共享的抽象对象以及对它们的存取进行调度而设计的一种结构。C.A.R.Hoare 最近写的文章提供了管程的精确定义,并给出了几个管程用法的例子。Hoare 认为数据抽象和不变式这两种方法对大多数例子看来都是处理不了的。本文是对 Hoare 挑战的回答。本文描述了管程的一些重要性质的表示方法,并用Hoare 的公理系统来证明这些性质,还把这些方法应用于 Hoare 文章中举的几个例子,表明这些方法的实用性。本文提出的两种方法是:利用“历史”变量来描述一个管程及使用它的进程过去所执行的操作序列;以及对管程的 Wait 和 Signal 操作的性质公理化,以便能用关于管程的形式断言来表达其调度性质。     

数据检索系统DATATRIEVE-11的分析、改造和开发

一、引言近年来,随着计算机的推广使用,特别是各种微机系统的蓬勃发展,计算机已深入国民经济各部门.用计算机来高速、有效地处理信息已成为各行各业改革、实现自动化的必经之路.而各种数据库管理系统则是处理信息、实现管理自动化的必不可少的工具.而且,通过计算机网络技术和数据库技术的结合,可使分布在各地的数据库中的数据(信息)通过计算机网络而成为全社会共享的财富.     

浅谈水银血压计产生误差的因素

随着我国经济的发展和人民生活水平的提高,人们对健康观念日益增强。血压计作为诊疗和保健的一种常见的医疗器械已经走进人们的生活,其测量准确与否,影响着对病情的诊断和身体的健康。本文通过对水银血压计的工作原理进行分析,得出影响水银血压计测量准确的各种因素。     

CZXT-013作业控制语言的设计和作业控制的实现

本文介绍一种面向科学计算用户的作业控制语言CZXT-013 JCL,着重介绍其设计思想和一些有特色的命令。文章还分析讨论了CZXT-013的作业控制实现中几个关键问题——事件和条件命令、信息通报和监督文件、下机处理和故障处理,介绍了本系统的处理方法。     

OpenDOC部件和WorkplaceShell对象的集成

应用功能现在可以用文件为中心的方法来编写,以使这些功能可以集成到OpenDoc文件和Workplace shell中。本文讨论了在这两种环境间共享代码和功能的一些方法。     

谈主流服务器操作系统

服务器的特点 1.需求方面 作为一个服务器,首先要求有很强的CPU处理能力和I/O能力,这个是由于服务器有大量用户请求,必然要求有很强的性能;其次是要安全可靠。服务器为大量的请求来服务,当然要求服务器是很可靠的。另外应该有安全控制、文件访问控制等;最后是具备可管理性、可靠性、可扩展性和高可用性。     

操作系统研究、设计和实现的近况概述

本文概述操作系统领域内理论和实验方面的最新进展。在理论方面开展了很多工作。如:对操作系统的说明和逻辑结构(层次结构方法,带有用户定义子系统的核心方法等等)给以严格的定义,推导满足各种性质(无死锁,同步限制,保护要求等等)的证明,提出一些新的理论、模型以及结构等。研究工作者们广     

Mach3.0核心的分析

本文基于对Ｍａｃｈ３．０核心的分析，深入剖析了Ｍａｃｈ设计和实现的特点，并扼要介绍了Ｍａｃｈ３．０核心的组成、对外接口和核心线程等。