基于ADT的操作系统基础模型的研究.pdfVIP

2009年第3期 淮南师范学院学报 No．3，2009 1 OFHUAINANNORMALUNIVERSffYGeneralNo．55．V01．1 第11卷(总第55期) JOUrn_TAL 基于ADT的操作系统基础模型的研究 孙淮宁 (淮南师范学院计算机与信息工程系，安徽淮南232001) f摘 要】从需求角度出发定义了操作系统的简洁模型。提出以系统的运行活动实体为核心满足探 作需求的概念。然后以此概念为引申。采用ADT方法详细地定义和讨论了计算机系统、作业、服务、系统 调度和资源的形式化实体结构模型。曩后建立了形式化的操作系统基础模型。从而解决了操作系统形式 化基础模型缺乏的问题。 f关键词1操作系统；形式化模型；抽象数据类型(AD日 【中图分类号】，IN711 【文献标识码】A 【文章编号】1009—9530(2009)03—0037一03 引言 1概念模型 操作系统是面向时代由开发实践催生的年轻 操作系统(OperatingSystem，0S)作为计算机系 统的核心部分．从无到有不断地以其相适应的体系 生命，尽管至今尚无严格定义，但一般认为操作系 和模式支撑着用户的操作平台．GeneralMoters在统是调配资源、组织活动、提供服务的平台15间。 IBM701裸机上建立的简单批处理模式．实现多作定义1：操作系统(Operatingsystem，os)是一 业的自动批处理．免去了作业间的人工操作fjf：麻个基于电子计算机的、面向用户任务操作活动 省理工学院在IBM709与IBM7094上第一个建立 (Aetivity)需求的，提供资源分享、操作交互与服务 的分时模式CTSS，支持用户直接与机器交互：特别支持的环境集合。 是贝尔实验室Ken M．Ritehie等 Thompson、Dennis 约定l：设JOBs是作业控制子集、SP是服务 研究人员在PDP-7上成功开发的UNIX系统．使 子集、RS是资源子集、EI是运行控制子集。而S是 操作系统以较通用的、多用户和多任务模式满足更 计算机系统集合。 广泛的商业用途闭．操作系统功能及结构由简单原 定义2：如果用户在计算机系统上的任务活动 始日渐完整：随着1999年1月25日Liflux内核 是围绕着用户作业展开的，则h阴ES=(JOBsxSPx 2．4版的发布．为人们研究和探索操作系统提供了RSxEI)，其中h叨是基于作业的操作活动。 开源的代码体系翻：面临当今急速增长的多样需求， 2ADT描述的模型 人们虽然获得了一个与机器相关的操作系统代码 2．1ADT的扩充 Richard 体系．但作为一个与机器无关操作系统基础模型的 J．Sutcliffe使用带有输入，输出接口的 Generic 研究问题．并没有因某一操作系统源代码公布就迎 Modula一2模块方法。提出扩充ADT实现m： 刃而解了．它仅仅是为众多的研究者提供了进一步 但笔者认为，在实现描述时，仍缺乏实体所需要的 研究和探索的实验平台．操作系统基础模型研究的 角色和状态描述的细化，这是动态系统定义的需要。 要求更加迫切了{41。因为。即使有开源的0S系统代 定义3：设ADT是描述某种实体的抽象集合、 码．若没有可供演算的操作系统基础模型，进一步 D是数据集合、O是操作集合，其中D表示成数据 研究和设计未来的操作系统依然是困难的。