Formal Requirements for Virtualizable Third Generation Architectures
The work
| Authors | Gerald J. Popek; Robert P. Goldberg |
|---|---|
| Type | article |
| Year | 1974 |
| Citekey | popek1974formal |
Where it appeared
| Published in | Communications of the ACM |
|---|---|
| Publisher | Association for Computing Machinery |
| Volume | 17 |
| Issue | 7 |
| Pages | 412--421 |
Identifiers
| DOI | 10.1145/361011.361073 |
|---|
Abstract
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.
A copy is held
pdf, 1005.0 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-08 00:00 UTC |
| Approved by | a person 2026-08-16 15:39 UTC |
Cite it as
@article{popek1974formal,
title = {Formal Requirements for Virtualizable Third Generation Architectures},
author = {Gerald J. Popek and Robert P. Goldberg},
year = {1974},
journal = {Communications of the ACM},
volume = {17},
number = {7},
pages = {412--421},
publisher = {Association for Computing Machinery},
doi = {10.1145/361011.361073},
}
This record lives at https://refs.drheap.org/popek1974formal/ and will keep doing so.