Intel Corporation

Other

Seungjoon Park

Akhilesh Kumar

Phanindra Mannava

Ching-Tsun Chou

Robert H Beers

Brannon J Batson

Hariharan L Thantry

In one embodiment, the present invention includes a method for associating and storing a code fragment for each cell of a table for a protocol specification in a semantic mapping corresponding to the table, and automatically generating a formal model for the protocol specification using the table and the semantic mapping. Other embodiments are described and claimed.

Methodology and tools for tabled-based protocol specification and model generation

In one embodiment, the present invention includes a directory to aid in maintaining control of a cache coherency protocol. The directory can be coupled to multiple caching agents via an interconnect, and be configured to store a entries associated with cache lines. The directory also includes logic to determine a time delay before the directory can send a concurrent snoop request. Other embodiments are described and claimed.

Optimizing concurrent accesses in a directory-based coherency protocol

Methods and apparatus relating to a fairness mechanism for starvation prevention in directory-based cache coherence protocols are described. In one embodiment, negatively-acknowledged (nack'ed) requests from a home agent may be tracked (e.g., using distributed linked-lists). In turn, the tracked requests may be served in a fair order. Other embodiments are also disclosed.

Fairness mechanism for starvation prevention in directory-based cache coherence protocols

A system and method for implementing a cache coherency protocol are described. The system includes a first caching agent to send a first cache request to a home agent. The system also includes the home agent including a queue to store the first cache request.

Growing community of inventors

Los Altos, CA, United States of America

Seungjoon Park