论文阅读 之 “ THE”多程序系统的结构《The Structure of the "THE"-Multiprogramming System》

目录

1.摘要

2.论文内容介绍

2.1系统特点

2.2系统目标

2.3系统架构概览

3.验证调试和信号量介绍

4.总结

---

1.摘要

在本论文中，描述了一个多程序系统，其中所有活动都被划分为多个顺序过程。 这些顺序过程位于各个层次结构级别，在每个层次结构中都实现了一个或多个独立的抽象。 事实证明，层次结构对于验证设计的逻辑合理性及其实现的正确性至关重要。

在资源十分有限的条件下为系统的设计做出贡献-包括概念，构建和验证的所有阶段，作者面临如何获得必要经验的问题。为了解决此问题，采用了以下三个指导原则：

（1）选择一个可以设想的，尽可能雄心勃勃的项目，希望将日常工作量降到最低；

（2）选择一台具有良好基本特征的机器；

（3）要有意识地努力，从以前的经历中学习尽可能多的东西。

2.论文内容介绍

2.1系统特点

(1)其核心内存周期2.5微秒, 系统存储字节为27位;存储容量为32 k;
       (2) 系统磁鼓存储512K字节，每个磁道存储1024字，磁鼓转速为4毫秒/圈;
       (3)非常适合于堆栈实现的间接寻址机制;
       (4)指挥外围设备和控制中断的声音系统;
       (5)潜在的大量低容量