Apparatus and method for maintaining processing consistency in a computer system having multiple processors

• US 5,420,991 A
• Filed: 01/04/1994
• Issued: 05/30/1995
• Est. Priority Date: 01/04/1994
• Status: Expired due to Term

• Current Assignee: Intel Corporation
• Original Assignee: Intel Corporation
• Inventors: Akkary, Haitham, Glew, Andrew F., Hinton, Glenn J., Konigsfeld, Kris G., Abramson, Jeffrey M.
• Primary Examiner(s): Harrell, Robert B.
• Application Number:
  US08/177,239
• Time in Patent Office: 511 Days
• Field of Search: 395/425, 395/375, 395/400, 395/800, 364/DIG. 1 MS File, 364/DIG. 2 MS File
• US Class Current: 711/150
• CPC Class Codes: G06F 12/0831 using a bus scheme, e.g. with bus monitoring or watching means
• CPC Class Codes: G06F 9/30043 LOAD or STORE instructions; Clear instruction
• CPC Class Codes: G06F 9/3834 Maintaining memory consistency

Abstract

An apparatus for maintaining processor ordering in a multi-processor computer system wherein loads are performed speculatively. Speculative loads of each processor are temporarily stored in their respective processors'"'"' load buffer. When one of the processors performs a store, a snoop operation is performed on the other processors'"'"' load buffers. If the snoop results in a hit, a determination is made as to whether that load buffer contains any prior conflicting speculative loads which have been completed. If the load buffer does contain a prior conflicting load, a processor ordering violation signal is generated. In response to this signal, the violating load and all subsequent operations are canceled and re-executed at a later time.

Claims

1. In a computer system having a processor, an agent, and a bus coupling said processor to said agent, a method of executing read operations of a computer program on said processor in an execution sequence that is different from a program sequence while programming consistency is maintained, said method comprising the steps of:

said processor storing a plurality of read operations in a buffer of said processor;

said agent performing a write operation;

said processor comparing an address of said write operation to addresses of said read operations stored in said buffer;

if said address of said write operation matches one of said addresses of said read operations stored in said buffer, said processor making a determination whether said buffer contains an earlier read operation that is outstanding, wherein said earlier read operation is earlier in said program sequence than said read operation having said address that matches said address of said write operation;

generating a violation signal if said buffer contains said earlier read operation that is outstanding;

said processor clearing said read operation having said address that matches said address of said write operation in response to said violation signal; and

said processor re-executing said read operation that had been cleared.

2. The method of claim 1 further comprising the step of clearing all operations subsequent to said read operation having said address that matches said address of said write operation in response to said violation signal.

3. The method of claim 1 further comprising the step of clearing operations dependent on said read operation.

4. The method of claim 1 further comprising the step of:

retiring read operations of said buffer if said write operation address of said agent corresponds to one of said addresses of said read operations stored in said buffer and there are no prior outstanding read operations stored in said buffer.

5. The method of claim 1, wherein said comparing step compares a partial address of said write operation.

6. In a computer system having a processor means, an agent means, and a bus means coupling said processor means to said agent means, an apparatus for executing read operations of a computer program in an execution sequence that is different from a program sequence while maintaining programming consistency, said apparatus comprising:

storage means for storing a plurality of read operations of said processor, wherein said read operations are stored in said execution sequence;

means for said agent performing a write operation;

comparing means for comparing an address of said write operation to addresses of said read operations stored in said storage means;

means for determining whether said storage means contains an earlier read operation that is still outstanding if said address of said write operation matches one of said addresses of said read operations stored in said storage means, wherein said earlier read operation is earlier in said program sequence than said read operation having said address that matches said address of said write operation;

means for generating a violation signal if said storage means contains said earlier read operation;

means for clearing said read operation having said address that matches said address of said write operation in response to said violation signal; and

means for re-executing said read operation that had been cleared.

7. The apparatus of claim 6 further comprising a means for clearing all operations subsequent to said read operation having said address that matches said address of said write operation in response to said violation signal.

8. The apparatus of claim 6 further comprising a means for clearing operations dependent on said read operation.

9. The apparatus of claim 6 further comprising means for retiring read operations of said buffer if said write operation of said agent means corresponds to one of said addresses of said read operations stored in said memory means and there are no prior outstanding read operations stored in said memory means.

10. The apparatus of claim 6, wherein said comparing means compares a partial address of said write operation.

11. In a computer system having a processor, an agent, and a bus coupling said processor to said agent, an apparatus for maintaining processor ordering corresponding to speculative read operations, said apparatus comprising:

a load buffer for temporarily storing addresses of read operations of said processor;

a comparator coupled to said load buffer for determining whether an address of a write operation of said agent matches one of said addresses of said load buffer;

a circuit for determining whether said load buffer contains an earlier read operation that is outstanding, wherein said earlier read operation is earlier in a program sequence than said read operation having said address that matches said address of said write operation;

a generator for generating a processor ordering violation signal if said load buffer does contain said earlier read operation that is outstanding; and

a cancellation circuit for canceling said read operation having said address that matches said address of said write operation in response to said violation signal.

12. The apparatus of claim 11, wherein said cancellation circuit cancels all operations subsequent to said read operation having said address that matches said address of said write operation in response to said violation signal.

13. The apparatus of claim 11, wherein said cancellation circuit cancels operations dependent on said read operation.

14. The apparatus of claim 11 further comprising a retirement circuit for retiring read operations corresponding to said addresses stored in said load buffer if said write operation of said agent corresponds to said one of said addresses of said read operations and there are no prior outstanding read operations.

15. The apparatus of claim 11, wherein said comparator compares a partial address of said write operation.

16. A computer system comprising:

a bus;

a main memory coupled to said bus for storing digital data;

an agent coupled to said bus for performing read/write operations; and

a microprocessor coupled to said bus for processing said digital data, said microprocessor including,

a load buffer for temporarily storing addresses of read operations of said microprocessor,

a comparator coupled to said load buffer for determining whether an address of a write operation of said agent matches one of said addresses of said load buffer,

a circuit for determining whether said load buffer contains an earlier read operation that is outstanding, wherein said earlier read operation is earlier in a program sequence than said read operation having said address that matches said address of said write operation,

a generator for generating a processor ordering violation signal if said load buffer does contain said earlier read operation that is outstanding, and

a cancellation circuit for canceling said read operation having said address that matches said address of said write operation in response to said violation signal.

17. The computer system of claim 16, wherein said cancellation circuit cancels all operations subsequent to said read operation having said address that matches said address of said write operation in response to said violation signal.

18. The computer system of claim 16, wherein said cancellation circuit cancels operations dependent on said read operation.

19. The computer system of claim 16 further comprising a retirement circuit for retiring read operations corresponding to said addresses stored in said load buffer if said write operation of said agent corresponds to said one of said addresses of said read operations and there are no prior outstanding read operations.

20. The computer system of claim 16, wherein said comparator compares a partial address of said write operation.