Scalable Coherent Interface: Difference between revisions

From Expertiza_Wiki
Jump to navigation Jump to search
Line 29: Line 29:


*Home - The block is not cached. It is at "home".
*Home - The block is not cached. It is at "home".
*Gone - The block is cached by at least one cache, and the cached value is probably dirty. When a cache requests the block, the memory will supply an identifier for the first cache in the list.
*Gone
*Fresh - The block is cached by at least one cache, but the cached value is not dirty. The memory will supply the data upon cache requests.
**The block is cached by at least one cache, and the cached value is probably dirty.  
**When a cache requests the block, the memory will supply an identifier for the first cache in the list.
*Fresh  
**The block is cached by at least one cache, but the cached value is not dirty.  
**The memory will supply the data upon cache requests.


=Race Conditions=
=Race Conditions=

Revision as of 18:47, 15 April 2011

SCI is an IEEE standard for shared-memory multiprocessing. The standard was approved in 1992. View the SCI Wikipedia article for more information on the interface's history. The article covers the cache-coherence portions of the IEEE standard.

General Operation

SCI operates by using directories in every processor's memory. When a memory block has not been cached, the directory holds this block in the Home state, signifying that the block is at home. After a read request, the memory holds this block in the Fresh state and will supply the data immediately to any requesting cache. After a write request, the memory holds the block in the Gone state. The memory does not supply the data to further requesting caches, but instead supplies the cache with an identifier for a cache that holds this data.

This cache is called the Head cache. Other caches that hold the data are stored in a distributed linked list, with each cache pointing to the previous and next caches in the list.

Cache State Machine

The caches states cover two different dimensions: the cache's position in a linked list, and the modified state of a block.

  • Head
  • Mid
  • Tail
  • Only
  • Clean
  • Modified
  • Fresh
  • Valid
  • Invalid

File:MattIsawesome.png

Directory State Machine

Each cache block's directory can be in one of three states. These states designate whether the block is cached, and whether the cached block is dirty.

  • Home - The block is not cached. It is at "home".
  • Gone
    • The block is cached by at least one cache, and the cached value is probably dirty.
    • When a cache requests the block, the memory will supply an identifier for the first cache in the list.
  • Fresh
    • The block is cached by at least one cache, but the cached value is not dirty.
    • The memory will supply the data upon cache requests.

Race Conditions

References