System of selective purging of address translation in computer memories

Claim 1

An address translation system for use in a data processing system which employs virtual addressing for referencing a physical memory, said processing system comprising: A. translation buffer means for storing a plurality of entries, which entries are accessed by virtual addresses to yield a translation word comprised of the physical memory location and a series of tag bits indicating the corresponding virtual memory address, B. data cache means for storing data words that are used by the data processing system and outputting said word in response to the input of a virtual address from the data processing system, said data words comprising a series of tag bits for indicating the physical memory address of the data, C. validation code generator means for generating a sequence of validation codes, each code being defined by a unique series of at least two validity bits, and for storing one of said codes in said translation buffer means in association with each entry, D. control means for activating said generator means when said data processing system requires invalidation of existing entries in said translation buffer means, E. first comparator means having at least two input terminals and an output terminal and including separate conductor means for coupling from said translation buffer means and said validation code generator means, respectively, to said input terminals and for comparing the validation code of an entry in the translation buffer means with the code currently being generated by the validation code generator means to determine whether said entry is still valid, and outputting at said output terminal a valid translation signal if the codes match, and F. second comparator means having at least three input terminals and an output terminal and including separate conductor means for respectively coupling from said first comparator output terminal to a first input terminal so as to be enabled by the output of said valid translation signal, coupled from said data cache means to a second input terminal, and translation buffer means to a third input terminal for comparing the tag bits from the data cache means with the tag bits from the translation buffer means and outputting a data "valid" signal if said tag bits match and a cache "miss" signal otherwise.

Claim 9

A system for retrieving data from an auxiliary memory in a data processing system having a larger main memory and which employs virtual addressing for referencing memory, comprising: means for supplying a virtual address to the system; an encoder having an input coupled to the means for supplying a virtual address, for hashing the virtual address and having a first output for supplying the hashed virtual address and a second output for supplying confirmation bits of the hashed virtual address; an address translation buffer for storing a plurality of entries, each entry accessed by a hashed virtual address and having an input coupled to the first output of the encoder, a second input for receiving a validation code, a first output for supplying physical memory location corresponding to the virtual address and at a second output for supplying a series of bits indicating the corresponding virtual address and validation code; a validation code generator for generating a sequence of validation codes, each code being a unique series of, at least two, validity bits and having an output coupled to the address translation buffer to supply a validation code for each entry in the address translation buffer; control means for causing the validation code generator to generate the next code in the sequence when the data processing system requires invalidation of existing entries in the address translation buffer; a data cache for storing a plurality of data words, having an input coupled to the means for supplying a virtual address each data word accessed by a virtual address from the data processing system, said data cache outputting at a first output, a series of tag bits for indicating the physical address of the data and, at a second output, data for the data processing system; a first comparator having a first input coupled to the output of the validation code generator, a second input coupled to the second output of the encoder and a third input coupled to the second output of the address translation buffer, said first comparator comparing the second output of the address translation buffer with the high order virtual address bits from the encoder and the validation code currently generated by the validation code generator, and further having an output which outputs a valid translation signal if a match is detected; and second comparator means having a first input coupled from the output of said first comparator so as to be enabled by the valid translation signal from said first comparator and having a second input coupled from the first output of said address translation buffer and a third input coupled from the first output of said data cache, said second comparator outputting a data valid signal when enabled and the second and third inputs match.

Claim 10

A system for retrieving data from an auxiliary memory in a data processing system having a larger main memory and which employs virtual addressing for referencing memory, comprising: means for supplying a virtual address to the system; an encoder having an input coupled to the means for supplying a virtual address, for hashing the virtual address and having a first output for supplying the hashed virtual address and a second output for supplying confirmation bits of the hashed virtual address; an address translation buffer for storing a plurality of entries, each entry accessed by a hashed virtual address and having an input coupled to the first output of the encoder, a second input for receiving a validation code, a first output for supplying physical memory location corresponding to the virtual address and at a second output for supplying a series of bits indicating the corresponding virtual address and validation code; a validation code generator for generating a sequence of validation codes, each code being a unique series of, at least two, validity bits and having an output coupled to the address translation buffer to supply a validation code for each entry in the address translation buffer; control means for causing the validation code generator to generate the next code in the sequence when the data processing system requires invalidation of existing entries in the address translation buffer; a data cache for storing a plurality of data words, having an input coupled to the means for supplying a virtual address each data word accessed by a virtual address from the data processing system, said data cache outputting at a first output, a series of tag bits for indicating the physical address of the data and, at a second output, data for the data processing system; a first comparator having a first input coupled to the output of the validation code generator, a second input coupled to the second output of the encoder and a third input coupled to the second output of the address translation buffer, said first comparator comparing the second output of the address translation buffer with the high order virtual address bits from the encoder and the validation code currently generated by the validation code generator, and further having an output which outputs a valid translation signal if a match is detected; and second comparator means having a first input coupled from the output of said first comparator so as to be enabled by the valid translation signal from said first comparator and having a second input coupled from the first output of said address translation buffer and a third input coupled from the first output of said data cache, said second comparator outputting a data valid signal when enabled and the second and third inputs match.