计算机操作系统学术交流会 论文集PDF电子书下载

目录 1

国外操作系统的若干研究动向 张尤腊　周巢尘 1

操作系统结构设计方法（上） 仲萃豪 16

操作系统结构设计方法（下） 仲萃豪　杨芙清 26

防止死锁的一种方法 孙钟秀 38

虚拟存贮器页面调度算法 陈火旺 44

并发进程系统正确性的验证图式 周巢尘 54

W虚拟机的小操作系统——W机操作系统的一个调试工具 王庆元　丁茂顺 64

系统程序设计语言XCY 仲萃豪　徐家福 74

一个模块化操作系统的结构设计 杨芙清　徐联芳 朱慧真　仲萃豪 93

九○五乙机Ⅰ型机操作系统 总参56所操作系统组 109

操作系统DJS200/XT 1—20的结构 孙钟秀 衣文国 谭耀铭 费翔林　谢立 李玉珍 121

151—1等操作系统的设计实践 王鸿武 曹兰斌 127

〈114〉电话查号实时系统 睢重星 133

1001磁盘操作系统 徐仁茂　叶华裕　周小鲁 咸祖芳 143

HOS—130小型操作系统的设计 姚卿达等 149

DJSC4数据处理机操作系统OS1的设计和实现 陈胜凡 朱致远 166

SY操作系统 李远征　万咸明 易钟灵 刘日升 182

GLXT—1结构介绍 中国科学院沈阳计算所软件研究室管理组 191

关于操作系统的功能与结构 周锡令 201