一个操作系统不确定性的讲解实例【荐】.pdfVIP

第24卷第1期 海南大学学报自然科学版 Vol_24No．1 NATURALSCIENCE OFHAINANUNIVERSITY Mar．2006 2006年3月 JoI瓜NAL 文章编号：1004—1729(2006)01—0090—07 一个操作系统不确定性的讲解实例 顾 剑 (海南大学信息科学技术学院，海南海口570228) 摘要：用一个简洁的C程序，实际演示1+11=2，到达用程序来证明操作系统不确定性问题 关键词：操作系统教学；操作系统的不确定性；C程序 316 中图分类号：G343；1P 文献标识码：A 如何用计算机程序来讲解“操作系统”课中的基础理论，特别是对那些只用理论很难讲述 清楚的内容，是每一位教师都要着力研究的问题．操作系统属性之一：不确定性，就是这类问题 的典型代表． 依据多年的实际教学经验，笔者用一个简短的C程序，非常清楚地解决了如何在UNIX操 作系统下演示这个属性．学生可以通过实际运行该程序，形象地看到计算机操作系统的不确定 性，从而达到理解和掌握操作系统不确定性的教学目的． 虽然笔者只给出了UNIX平台下的程序，但读者可以仿造笔者的程序，编写出其他平台下 的演示程序． 1 操作系统不确定性问题的基本描述 1．1 理论上的不确定性问题在理论上可以非常清楚和准确地推导出操作系统的不确定性， 但这一点却让许多学生感到不可理解．为什么操作系统不能保证程序的执行结果(一个简单例 子就是操作系统不能保证“1+1”程序的执行结果是2)?教师一般在理论上做这样的解释：这 是因操作系统并行的结果(并行：简单地讲就是系统在同一个瞬间允许2个以上的活动同时发 生．如2个人在银行同时存取款；又比如一个人一边通过网络与别人聊天，又一边做作业等)，理 论上可以推导出并行后的系统(不论是计算机的操作系统还是其他任何系统)已经不具备了顺 序性、封闭性和可再现性．没有可再珊陛，其运行的结果就会不同，从而操作系统就具备了不确 定性这个基本属性(由于理论上的推导太过于专业，笔者在此省略)． 理论分析可知：为保证结果的确定性，就要保证运行的顺序性．但非常遗憾的是：现代操作 系统必须运行在并行条件下(顺序执行的操作系统任何一个瞬间只能做一件事，现实世界通用 的操作系统中已经没有了纯顺序执行的操作系统)． 理论的推导结束后，学生都非常希望能亲眼看到或演示操作系统的这个属性，否则很多学 生都会有疑问(注意：一般百姓——非计算机专业人员，对计算机的信赖程度是非常高的，认为 收稿日期：2005—08—26 作者简介：顾剑(1958一)，男，湖南宁远人，海南大学信息科学技术学院副教授 万方数据 第1期 顾剑：一个操作系统不确定性的讲解实例 91 只要是计算机做事，就可靠．现实世界也要求计算机系统必须可靠，否则谁还敢用计算机!但 是，不论在理论还是实际上，操作系统确实不能保证系统是确定的，这也是个事实．换句话说：就 是计算机做的事，在理论上讲就是不确定的．如何保证计算机系统做事的确定性是计算机专业 人员，主要是程序员和系统设计人员要做的事情．现实世界中的某些操作系统确实也让百姓深 刻地体会到了操作系统的不确定性，比如经常会“死机”、“兰屏”等等．这时大家一般也不会学 究式地去讨论这是怎么一回事，只是用关机重新启动来处理．这事虽然很让人烦，但一般人也没 有办法．除非你用一个“好”一些的操作系统，但“好”一些的操作系统使用和价钱都是问题)． 1．2实际问题的理论抽象 1．2．1 演示程序需要解决的主要问题 1)演示程序应非常清楚地模拟大家经常在计算机上使用的程序，就是非计算机专业的人 员，也可以非常清楚地看出这是什么操作．为此，可选择每次进入网站时显示的计数器程序．这 个程序的功IIII常直观，就是每进入一个人，程序就把进人人数加1，然后显示人数． 2)演示程序应非常简单地显示运行结果．为此，可选择程序每次做加1操作后，立即显示 结果和本身识别信息的方式． 3)要有可以控制和选择并行、串行运行的环境．