GoVirtual: Formal Requirements for Virtualizable Third Generation Architectures

Currently Being Moderated

Formal Requirements for Virtualizable Third Generation Architectures (7,526 Views)

VERSION 5

Published

Created on: Jul 1, 2008 8:55 AM by admin - Last Modified: Dec 17, 2009 4:24 PM by Amitabh

<div class='jive-rendered-content'>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. Authors: Gerald J. Popek and Robert P. GoldbergDate: July 1974|||||<a class="jive-link-external-small" href="http://portal.acm.org/citation.cfm?id=361073" target="_blank">http://portal.acm.org/citation.cfm?id=361073</a></div>

Abstract

Revision history:

Length of course:

Course level:

Pre-Requisite courses:

Link to file hosted off-site:

7,526 Views Tags: papers, vmm, hardware, third_generation

Average User Rating

(0 ratings)

Comments (0)

There are no comments on this document

ONLINE DESTINATION FOR VIRTUALIZATION RESEARCHERS AND ACADEMICS

Formal Requirements for Virtualizable Third Generation Architectures (7,526 Views)

Created on: Jul 1, 2008 8:55 AM by admin - Last Modified: Dec 17, 2009 4:24 PM by Amitabh

Abstract

Post a comment

Actions

More Like This