Method of accessing multiple virtual address spaces and computer system

Claim 3

A method according to claim 1, further comprising the step of invalidating a translation pair in the translation pair memory associated with a particular guest virtual machine by accessing the translation pair memory using sequentially generated invalidation addresses and invalidating those entries of the translation pair memory which contain a machine identifier corresponding to the machine identifier of said particular quest virtual machine.

Claim 6

A computer system operable as a virtual machine system capable of accessing multiple virtual address spaces in a computer system comprising a plurality of access registers, each for retaining a space identifier in correspondence with a general register usable as a base register; access register translation means for translating a space identifier, which is retained in an access register, into an origin address for use in virtual-physical address translation; and a translation pair memory accessible in response to a space identifier for storing translation pairs, each including a space identifier, which was subjected to translation by said access register translation means, and an origin address, and for supplying said origin address upon access by the space identifier of the translation pair, wherein each entry of the translation pair memory is exclusively used for a respective one of a plurality of guest virtual machines for supplying to a virtual-physical address translator an origin address accessed in response to an applied space identifier.

Claim 7

A computer system operable as a virtual machine system capable of accessing multiple virtual address spaces in a computer system comprising a plurality of access registers, each for retaining a space identifier in correspondence with a general register usable as a base register; access register translation means for translating a space identifier, which is retained in an access register, into an origin address for use in virtual-physical address translation; and a translation pair memory accessible in response to a space identifier for storing translation pairs, each including a space identifier, which was subjected to translation by said access register translation means, and an origin address, and for supplying said origin address upon access by the space identifier of the translation pair, wherein each entry of the translation pair memory is exclusively used for a respective one of a plurality of guest virtual machines for supplying to a virtual-physical address translator an origin address accessed in response to an applied space identifier.

Claim 8

A computer system operable as a virtual machine system capable of accessing multiple virtual address spaces, the computer system comprising: (a) a plurality of access registers for retaining respective space identifiers, each access register being provided in association with a general register usable as a bass register; (b) access register translation means for translating a space identifier, which is retained in an access register, into an origin address for use in virtual-physical translation; (c) a translation pair memory, accessible in response to a space identifier received from an access register, for storing translation pairs, each including a translated space identifier and an associated origin address and for supplying an origin address when accessed by a space identifier, said translation pair memory also having storage areas each for storing a machine identifier of a guest virtual machine which is accessible in association with each translation pair.

Claim 9

A computer system operable as a virtual machine system capable of accessing multiple virtual address spaces, the computer system comprising: (a) a plurality of access registers for retaining respective space identifiers, each access register being provided in association with a general register usable as a bass register; (b) access register translation means for translating a space identifier, which is retained in an access register, into an origin address for use in virtual-physical translation; (c) a translation pair memory, accessible in response to a space identifier received from an access register, for storing translation pairs, each including a translated space identifier and an associated origin address and for supplying an origin address when accessed by a space identifier, said translation pair memory also having storage areas each for storing a machine identifier of a guest virtual machine which is accessible in association with each translation pair.

Claim 10

A computer system according to claim 5, wherein the machine identifier includes an identifier of a host computer.

Claim 11

A computer system operable as a virtual machine system capable of accessing multiple virtual address spaces, the computer system comprising: (a) a plurality of access registers for retaining respective space identifiers, each access register being provided in association with a general register usable as a base register; (b) access register translation means for translating a space identifier, which is retained in an access register, into an origin address for address translation; (c) means for retaining a machine identifier of a guest virtual machine during operation of the guest virtual machine; (d) a translation pair memory, accessible in response to a space identifier received from one of said access registers, for storing translation pairs, each including a translated space identifier and an associated origin address obtained from said access register translation means and for supplying an origin address to a virtual-physical address translator when accessed by a space identifier, said translation pair memory also having storage area each for storing a machine identifier in association with each translation pair; (e) means for causing one of said storage areas to store the machine identifier of the guest virtual machine, which is retained in said retaining means, when the associated translation pair is stored in said translation pair memory; and (f) means for detecting whether or not a translation pair with the machine identifier of the guest virtual machine is stored in said translation pair memory in association with the space identifier given in an operation of the guest virtual machine, by comparing the space identifier in the stored translation pairs associated with the machine identifiers of the quest virtual machine with the space identifier in said retaining means.

Claim 12

A computer system operable as a virtual machine system capable of accessing multiple virtual address spaces, the computer system comprising: (a) a plurality of access registers for retaining respective space identifiers, each access register being provided in association with a general register usable as a base register; (b) access register translation means for translating a space identifier, which is retained in an access register, into an origin address for address translation; (c) means for retaining a machine identifier of a guest virtual machine during operation of the guest virtual machine; (d) a translation pair memory, accessible in response to a space identifier received from one of said access registers, for storing translation pairs, each including a translated space identifier and an associated origin address obtained from said access register translation means and for supplying an origin address to a virtual-physical address translator when accessed by a space identifier, said translation pair memory also having storage area each for storing a machine identifier in association with each translation pair; (e) means for causing one of said storage areas to store the machine identifier of the guest virtual machine, which is retained in said retaining means, when the associated translation pair is stored in said translation pair memory; and (f) means for detecting whether or not a translation pair with the machine identifier of the guest virtual machine is stored in said translation pair memory in association with the space identifier given in an operation of the guest virtual machine, by comparing the space identifier in the stored translation pairs associated with the machine identifiers of the quest virtual machine with the space identifier in said retaining means.

Claim 13

A computer system according to claim 7, further comprising: (a) designating means for sequentially designating entries of said translation pair memory, when invalidating a stored translation pair, using sequentially generated invalidation addresses to access said translation pair memory; (b) discriminating means for discriminating whether or not the respective machine identifier of the entries designated by the designating means coincide with machine identifiers of guest virtual machines which identifiers are to be invalidated; and (c) means for invalidating the translation pair only for the entry for which coincidence is detected by said discriminating means.

Claim 14

A computer system according to claim 7, wherein the machine identifier includes an identifier of a host computer.

Claim 15

A computer system according to claim 8, wherein the machine identifier includes an identifier of a host computer.