Formal requirements for virtualizable third generation architectures 论文
1974Communications of the ACM引用 947
Parallel Computing and Optimization TechniquesDistributed and Parallel Computing SystemsEmbedded Systems Design Techniques
详细信息
- 发表期刊/会议
- Communications of the ACM
- 发表日期
- 1974-07-01
- 发表年份
- 1974
关键词
Parallel Computing and Optimization TechniquesDistributed and Parallel Computing SystemsEmbedded Systems Design Techniques
摘要
Virtual machine systems have been implemented on a limited number of third generation computer systems, e.g. CP-67 on the IBM 360/67. From previous empirical studies, it is known that certain third generation computer systems, e.g. the DEC PDP-10, cannot support a virtual machine system. In this paper, model of a third-generation-like computer system is developed. Formal techniques are used to derive precise sufficient conditions to test whether such an architecture can support virtual machines.