Survey of Virtual Machine Research

Computer

Volumn 7, Issue 6, 1974, Pages 34-45

  Goldberg, Robert P ^a  

^a HONEYWELL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84926427148     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.1974.6323581     Document Type: Article

References (72)

1. Adair, R., R. U. Bayles, L. W. Comeau, and R. J. Creasy, “A Virtual Machine System for the 360/40.” Cambridge Scientific Center Report No. G320-2007, May 1966.
2. Alexander, M. T., Time Sharing Supervisor Programs. University of Michigan Comp. Center, May 1969, revised May 1970.
3. Ancilotti, R., R. Cavina, and N. Lijtmaer, “Virtual Input-Output in a Virtual Environment.” ACM AICA International Computer Symposium Proceedings, Venice, Italy, April 12-14, 1972, pp. 302–312.
4. Attansio, C. R., “Virtual Machines and Data Security.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
5. Auroux, A. and C. Hans, “Le Concept de Machines Virtuelles.” Revue Francaise d'Informatique et de Recherche Operationelle, 2e annee, 15, 1968, pp. 45–51.
6. Bard, Y., “Performance Criteria and Measurement for a Time-Sharing System.” IBM Systems Journal, Vol. 10, No.3, 1971, pp. 193–216.
7. Bard, Y., “An Analytic Model of CP-67 – VM/370.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
8. Bairstow, J. N., “Many From One: The Virtual Machine Arrives.” Computer Decisions, January 1970, pp. 29–31.
9. Bellino, J., and C. Hans, “Virtual Machine or Virtual Operating System.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
10. Bellino, J., Mecanismes de Base Dans Les Systemes Superviseurs: Conception et Realisation d'un Systeme a Acces Mutliples. These, L'Universite Scientifique et Medicale de Grenoble, September 28. 1973.
11. Bellino, J., and Ph. Potin, “Mechanismes d‘un Hyperviseur.” Report of IBM Scientific Center, Grenoble, France.
12. Berthaud, M., M. Jacolin, Ph. Potin, and H. Savary, “Coupling Virtual Machines and System Construction.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
13. Bury, C., Conversations with R. P. Goldberg, 1973–1974.
14. Buzen, J. P., P. P. Chen, and R. P. Goldberg, “Virtual Machine Techniques for Improving Software Reliability.” Proceedings IEEE Symposium on Computer Software Reliability, New York, 1973.
15. Buzen, J. P., P. P. Chen, and R. P. Goldberg, “A Note on Virtual Machines and Software Reliability.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
16. Buzen, J. P., and U. O. Gagliardi, “The Evolution of Virtual Machine Architecture.” AFIPS Conference Proceedings, 1973 NCC, AFIPS Press, Montvale, N. J.
17. Buzen, J. P., and U. O. Gagliardi, “Introduction to Virtual Machines.” Honeywell Computer Journal, Vol. 7, No. 4, 1973.
18. Buzen, J. P., and R. P. Goldberg, “Virtual Machine Techniques for Introducing Peripherals into Computer Systems.” Computer Peripherals – Benefactor or Bottleneck? Digest of Papers COMPCON 74, San Francisco, February 1974, pp. 157–160.
19. Calloway, P. H. “Performance Considerations for the Use of the Virtual Machine Capability.” Report RC-3360, IBM Corporation, T. J. Watson Research Laboratory, Yorktown Heights, NY, May 12, 1971.
20. Calloway, P. H., J. P. Considine, and C. H. Thompson, “Uses of Virtual Storage Systems in a Scientific Environment.” IBM Systems Journal, Vol. 11, No. 3, 1972, pp. 200–218.
21. Casarosa, V., and C. Paoli, “VHM: A Virtual Hardware Monitor.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
22. Denning, P. J., “Third Generation Computer Systems.” Computing Surveys, Vol. 3, No. 4, December 1971.
23. Dickman, L. I., “Small Virtual Machines: A Survey.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
24. Field, M. S., “Multi Access Systems – The Virtual Machine Approach.” IBM Cambridge Scientific Center Report 320–2033, September 1968.
25. Frasson, C., “Simulation of Input-Output Units.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
26. Fuchi, K., H. Tanaka, Y. Namago, and T. Yuba, “A Program Simulator by Partial Interpretation.” 2nd Symposium on Operating Systems Principles, Princeton, NJ, October 1969, pp. 97–104.
27. Gagliardi, U. O., “Chairman's Report of the Architecture Panel Recommendation.” Tri-Service Workshop on the High Cost of Software, Monterey, CA, 1973.
28. Gagliardi, U. O., and R. P. Goldberg, “Virtualizable Architectures.” Proceedings of 1972 ACM AICA International Comp. Symposium, Venice, Italy, April 1972, pp. 527–538.
29. Galley, S. W., “PDP-10 Virtual Machines.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
30. Goldberg, R. P., “Virtual Machine Systems.” MIT Lincoln Laboratory Report No. MS-2687 (also 28L-0036), Lexington, MA, September 1969.
31. Goldberg, R. P., “Virtual Machines: Semantics and Examples.” Proceedings IEEE Computer Society Conference, Boston, MA, September 1971, pp. 141–142.
32. Goldberg, R. P., “Hardware Requirements for Virtual Machine Systems.” HICSS-4, Hawaii International Conference on System Sciences, Honolulu, January 1971.
33. Goldberg, R. P., Architectural Principles for Virtual Computer Systems. Ph.D. Thesis, Division of Engineering and Applied Physics Harvard University, Cambridge, MA, 1972.
34. Goldberg, R. P., “Architecture of Virtual Machines.” AFIPS Conference Proceedings, 1973 NCC, AFIPS Press, Montvale, NJ.
35. Goldberg, R. P. (ed.), Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems. Cambridge, MA, 1973.
36. Goldberg, R. P., “Virtual Machines Architecture.” Honeywell Computer Journal, Vol. 7, No. 4, 1973.
37. Goldberg, R. P., and R. Hassinger, “The Double Paging Anomaly.” AFIPS Conference Proceedings, 1974 NCC, AFIPS Press, Montvale, NJ.
38. Hans, C., et al, “GMS Guide de l'Utilisateur.” Report of IBM Scientific Center of Grenoble, Grenoble, France, July 1972.
39. Hans, C., Contribution a l'Architecture de Mecanismes Elementaires Pour Certains Systemes Generateurs de Machines Virtuelles. These, L'Universite Scientifique et Medicale de Grenoble, November 24, 1973.
40. Hoernes, G. E. and H. Hellerman, “An Experimental 360/40 for Time-Sharing.” Datamation, Vol. 14, No. 4, April 1958, pp. 39–42.
41. Hogg, J., and P. Madderom, “The Virtual Machine Facility – How to Fake a 360.” University of British Columbia, University of Michigan Computer Center, Internal Note.
42. Horton, F. R., “Virtual Machine Assist: Performance.” Guide 37, Boston, MA, 1973.
43. IBM Virtual Machine Facility/370 Planning Guide. IBM Corporation, Publication No. GC20-1801-0, 1972.
44. IBM Virtual Machine Facility/370: Release 2 Planning Guide. IBM Corporation Publication No. GC20-1814-0, 1973.
45. Keefe, D. D., “Hierarchical Control Programs for Systems Evaluation.” IBM Systems Journal, Vol. 7, No. 2, 1968, pp. 123–133.
46. Kogut, R. M., “The Segment Based File Support System.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
47. Lauer, H. C. and C. R. Snow, “Is Supervisor-State Necessary?” Proceedings ACM AICA International Computing Symposium, Venice, Italy, 1972.
48. Lauer, H. C., and D. Wyeth, “A Recursive Virtual Machine Architecture.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
49. Lefebvre, P., Spy: Un Systeme de Controle. These, L'University Scientifique de Medicale de Grenoble, July 5, 1972.
50. Madnick, S. E., “Time-Sharing Systems: Virtual Machine Concept vs. Conventional Approach.” Modern Data, Vol. 2, No. 3, March 1969, pp. 34–36.
51. Madnick, S. E., and J. J. Donovan, “Application and Analysis of the Virtual Machine Approach to Information System Security and Isolation.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
52. Madnick, S. E., and J. J. Donovan, Operating Systems. McGraw-Hill, New York, 1974.
53. Mallach, E. G., “Emulation – A Survey”. Honeywell Computer Journal, Vol. 6, No. 4, 1972.
54. Mallach, E. G., “On the Relationship between Emulators and Virtual Machines.” Proceedings ACM SIGOPS-SIGARCH Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
55. March, J. H., “The Design and Implementation of a Virtual Machine Operating System Using a Virtual Access Method.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
56. McGrath, M., “Virtual Machine Computing in an Engineering Environment.” IBM Systems Journal, Vol. 11, No. 2, 1972, pp. 131–149.
57. Meyer, P. A., and L. H. Seawright, “A Virtual Machine Time-Sharing System.” IBM Systems Journal, Vol. 9, No. 3, 1970, pp. 199–218.
58. O'Neill, R. W., “Experience Using a Time-Shared Multi-Programming System with Dynamic Address Translation.” AFIPS Conference Proceedings, Vol. 30, 1967, AFIPS Press, Montvale, NJ.
59. Parmelee, R. P., “Virtual Machines – Some Unexpected Applications.” Proceedings IEEE Computer Society Conference, Boston, MA, September 1971.
60. Parmelee, R. P., T. I. Peterson, C. C. Tillman, and D. J. Hatfield, “Virtual Storage and Virtual Machine Concepts.” IBM Systems Journal, Vol. 11, No. 2, 1972, pp. 99–129.
61. Parmelee, R. P., “Preferred Virtual Machines for CP-67.” IBM Cambridge Scientific Center Report No. G320-2068.
62. Parnas, D. L., and W. R. Price, “The Design of the Virtual Memory Aspects of a Virtual Machine.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
63. Popek, G. J., and C. Kline, “Verifiable Secure Operating Systems Software.” AFIPS Conference Proceedings, 1974 NCC, AFIPS Press, Montvale, NJ.
64. Popek, G. J., “A Survey of Protection Structures.” Computer, Vol. 7, No. 6, June 1974.
65. Popek, G. J., and R. P. Goldberg, “Formal Requirements for Virtualizable Third Generation Architectures.” Communications of the ACM, Vol. 17, No. 7, 1974.
66. Sayre, D., “On Virtual Systems.” IBM Corporation T. J. Watson Research Laboratory, Yorktown Heights, NY, April 15, 1966.
67. Sayre, D., “Adding Computers Virtually.” IBM Corporation Computer Report, Vol. 3, No. 2, March 1967, pp. 12–15.
68. Schroeder, M. D., “Performance of the GE 645 Associative Memory While Multics is in Operation.” Proceedings ACM-SIGOPS Workshop on System Performance Evaluation, Cambridge, MA, April 1971, pp. 227–245.
69. Schwenk, H., “Virtual Micromachines.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.
70. Srodawa, R. J., and L. A. Bates, “An Efficient Virtual Machine Implementation.” Proceedings AFIPS National Computer Conference 1973.
71. Winett, J. M., “Virtual Machines for Developing Systems Software.” Proceedings IEEE Computer Society Conference, Boston, MA, September 1971.
72. Young, C. J., “Extended Architecture and Hypervisor Performance.” Proceedings ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, Cambridge, MA, 1973.