Memory conflict buffer for achieving memory disambiguation in compile-time code schedule

In a computer having a register bank and a device for operand fetch and instruction execution, an apparatus for monitoring a store address to maintain coherency of preloaded data that is fetched by a load operation and should be effected by at least one subsequent store operation, said apparatus comprising:

• an address register bank having entries for holding the address of a load having loaded data which should be affected by at least one subsequent store operation, each of said entries of said address register bank being related to each entry of said register bank which can hold preloaded data, each of said entries of said address register bank having associated therewith a pre-load flag, a type field and a retry flag, said pre-load flag being set when the load is executed and reset when there is no need to be affected by a subsequent store operation, said type field having information denoting an access type, said retry flag being set when the preloaded data is invalid and reloading is required at the point of usage;
• comparison means for comparing the address held in said address register bank with the address of a subsequent store operation in consideration of the access type held in said type field when said pre-load flag is set;
• means for setting said retry flag when said comparison means detect that the locations thus accessed overlap;
• and
• means for resetting said pre-load flag specified by operation when special operations which check the preload status are detected or the value is updated by non-preload operations.

In a computer having a register bank and a device for operand fetch and instruction execution, an apparatus for monitoring a store address to maintain coherency of preloaded data that is fetched by a load operation and should be effected by at least one subsequent store operations, said apparatus comprising:

• comparison means having entries for holding a subset of the addresses of load together with an access type and a register number, whose loaded data held in said register bank should be affected by a subsequent storing operation, and comparing addresses held in said entries with subset of the address of the store operation in consideration of said access type, said register number showing the entry of said register bank;
• a conflict vector having entries for holding a retry flag and a preload pointer, each of said entries of said conflict vector being related to each entry of said register bank which can hold preloaded data through said preload pointer, said retry flag being set when the preloaded data is invalid and reloading is required at the point of usage;
• means for setting said retry flag when said comparison means detect that the addresses are the same location and when addition of a new address to said comparison means requires spilling out an already existing preloaded address;
• and
• means for invalidating the entry of said comparison means according to the entry of said register bank which is specified by operation when special operations which check the preload status are detected or the value is updated by non-preload operations.

In a computer having a register bank and a device for operand fetch and instruction execution, an apparatus for monitoring a store address to maintain coherency of the preloaded data that is fetched by the load operation and should be effected by at least one subsequent store operation, said apparatus comprising:

• an address register bank having entries for holding the address of a store operation, each of said entries of said address register bank being related to each entry of said register bank, each of said entries of said address register bank having associated therewith a type field and a retry flag, said type field having information denoting an access type, said retry flag being set when the preloaded data is invalid and reloading is required at the point of usage;
• comparison means for comparing the address held in said address register bank with an address provided by special operations for use in performing a check in consideration of the access type held in said type field;
• and
• means for setting said retry flag when said comparison means detect that the addresses are at different locations.

In a computer having a register bank and a device for operand fetch and instruction execution, an apparatus for maintaining coherency of the stored data that is saved by the store operation and should be reused instead of a subsequent load operation, said apparatus comprising:

• an address register bank having entries for holding the address of a store operation, each of said entries of said address register bank being related to each entry of said register bank, each of said entries of said address register bank having associated therewith a type field, said type field having information denoting an access type;
• comparison means for comparing the address held in said address register bank with an address provided by special operations for use in performing a check in consideration of the access type held in said type field;
• and
• control means for loading data from the address provided by said special operations and which is used for comparing addresses by said comparison means when said comparison means detect that the addresses are at different locations.

In a computer having a register bank and a device for operand fetch and instruction execution, an apparatus for re-executing only subsequence of operations that depend on the data which should be re-executed in a re-execution mode, said apparatus comprising:

• re-execution flag set having re-execution flags for holding the information of re-execution, which is set when the data should be re-executed or is the result of re-execution, each of said re-execution flags being related to each entry of said register bank;
• control means for activating re-execution of operations when at least one said re-execute flag of operands is set;
• propagate means for setting said re-execution flag when the operations activated by said control means update the entries of said register bank;
• and
• means for exiting re-execution mode when special operation which initiate the re-execution mode appears.

In a computer having a register bank and a device for operand and instruction execution, an apparatus for monitoring a store address to maintain coherency of and update preloaded data that is fetched by a load operation and should be effected by at least one subsequent store operation, said apparatus comprising:

• an address register bank having entries for holding the address of a load having loaded data which should be affected by at least one subsequent store operation, each of said entries of said address register bank being related to each entry of said register bank which can hold preloaded data, each of said entries of said address register bank having associated therewith a pre-load flag and a type field, said pre-load flag being set when the load is executed and reset when there is no need to be affected by a subsequent store operation, said type field having the information denoting an access type;
• comparison means for comparing the address held in said address register bank with the address of a subsequent store operation in consideration of the access type held in said type field when said pre-load flag is set;
• means for replacing the loaded data with the data stored by a subsequent store operation when said comparison means detects that said address are the same location;
• and
• means for resetting said pre-load flag specified by operation when special operations which terminate monitoring addresses are detected or the value is updated by non-preload operations.

In a computer having a register bank and a device for operand fetch and instruction execution, an apparatus for monitoring a store address to maintain coherency of preloaded data that is fetched by a load operation and should be effected by at least one subsequent store operation, said apparatus comprising:

• an address register bank having entries for holding the address of a load having loaded data which should be affected by at least one subsequent store operation, each of said entries being related to each entry of said register bank which can hold preloaded data, each of said entries having associated therewith a pre-load flag, a type field and a retry flag, said pre-load flag being set when the load is executed and reset when there is no need to be affected by a subsequent store operation, said type field having information denoting an access type, said retry flag being set when the preloaded data is invalid and reloading is required at the point of usage;
• comparison means for comparing the address held in said address register bank with the address of a subsequent store operation in consideration of the access type held in said type field when said pre-load flag is set;
• means for setting said retry flag when said comparison means detect that the addresses are the same location;
• and
• means for resetting said pre-load flag specified by operation when special operations which check the preload status are detected or the value is updated by non-preload operations;
• and
• wherein said comparison means includes means to keep subset of the addresses with access type held in said address register bank and said type field, being added new preloaded address when it is added to said address register bank, and being removed when said pre-load flag is reset, and wherein said apparatus further comprises means for storing said retry flag when addition of new address to said comparison means requires the spill out of preloaded address whose said pre-load flag is set.