Method and system for cache coherence despite unordered interconnect transport
First Claim
1. A method of operation for a state machine associated with a specific copy of a shared memory interval, said method comprising the steps of:
- entering a first transient state from a stable functional state in response to initiation of a first transaction requesting a first action on a shared memory interval;
if initiation of a second transaction requesting a second action be performed on the shared memory interval is received while the state machine is in the first transient state, sending a conclusion to the second transaction directing that an initiator of the second transaction initiate a new transaction requesting the state machine to perform the second action;
entering a stable functional state from the first transient state when the first transaction is concluded by a response other than a request to generate a new transaction requesting the first action;
in response to receiving a conclusion to the first transaction that directs the initiator of the first transaction to initiate a new transaction requesting that the responder perform the first action, initiating a third transaction requesting the responder to perform the first action on the shared memory interval;
entering a second transient state from the first transient state in response to receiving, before the first transaction has concluded the initiation of a fourth transaction by the responder of the first transaction that requests a third action be performed on the shared memory interval;
if the initiation of a fifth transaction is received from an initiator other than the responder of the first transaction that requests a fourth action be performed on the shared memory interval while the state machine is in the second transient state, sending a conclusion to the fifth transaction directing that the initiator of the fifth transaction initiate a new transaction requesting the state machine to perform the fourth action; and
entering the stable functional state from the second transient state when the first transaction is concluded.
0 Assignments
0 Petitions
Accused Products
Abstract
A method and system for providing cache coherence despite unordered interconnect transport. In a computer system of multiple memory devices or memory units having shared memory and an interconnect characterized by unordered transport, the method comprises sending a request packet over the interconnect from a first memory device to a second memory device requiring that an action be carried out on shared memory held by the second memory device. If the second memory device determines that the shared memory is in a transient state, the second memory device returns the request packet to the first memory device; otherwise, the request is carried out by the second memory device. The first memory device will continue to resend the request packet each time that the request packet is returned.
84 Citations
2 Claims
-
1. A method of operation for a state machine associated with a specific copy of a shared memory interval, said method comprising the steps of:
-
entering a first transient state from a stable functional state in response to initiation of a first transaction requesting a first action on a shared memory interval; if initiation of a second transaction requesting a second action be performed on the shared memory interval is received while the state machine is in the first transient state, sending a conclusion to the second transaction directing that an initiator of the second transaction initiate a new transaction requesting the state machine to perform the second action; entering a stable functional state from the first transient state when the first transaction is concluded by a response other than a request to generate a new transaction requesting the first action; in response to receiving a conclusion to the first transaction that directs the initiator of the first transaction to initiate a new transaction requesting that the responder perform the first action, initiating a third transaction requesting the responder to perform the first action on the shared memory interval; entering a second transient state from the first transient state in response to receiving, before the first transaction has concluded the initiation of a fourth transaction by the responder of the first transaction that requests a third action be performed on the shared memory interval; if the initiation of a fifth transaction is received from an initiator other than the responder of the first transaction that requests a fourth action be performed on the shared memory interval while the state machine is in the second transient state, sending a conclusion to the fifth transaction directing that the initiator of the fifth transaction initiate a new transaction requesting the state machine to perform the fourth action; and entering the stable functional state from the second transient state when the first transaction is concluded. - View Dependent Claims (2)
-
Specification