snoopy協定

基本點

1）向所有的處理器傳送數據請求；

2）處理器通過窺視匯流排發現請求，當它們有一個拷貝時回響請求；

3）因為緩衝信息在處理器中，需要進行廣播，；

4）在匯流排支持下可以良好的工作。適用於小規模系統。

1)使用匯流排完成無效操作：

處理器取得匯流排控制權，然後在匯流排上廣播無效數據的地址，所有處理器窺探匯流排來監測地址，檢查各自的cache中是否有匯流排上廣播的地址，若有，則將cache中相應的塊置為無效。

2)在cache失效時對數據項進行定位。

採用寫穿透方式時，寫穿透保證了主存中的信息總是最新的，讀失效時讀主存；

採用回寫方式時，需要窺視所有的緩衝區以獲得最新的備份，具體實現為——向匯流排發讀失效訊息，擁有該數最新值的cache發現自己是最新的，則回寫，要讀的處理器就可以讀到了。

3)通過每個節點的有限狀態控制器實現。

這個控制器對每個來自處理器和匯流排的請求做出回響，然後改變選定的cache的狀態，同時可以使用匯流排來訪問數據使之無效。

4)利用cache中標識為實現窺探過程。

5)為每個數據塊增加一個狀態位，跟蹤一個cache數據塊是否共享。執行寫操作時，根據該位判定是否需要傳送無效操作。

例子

下面給出一個採用寫無效和回寫策略的snoopy協定。

該協定中，每一個記憶體塊處於以下三種狀態之一：

1）Shared。記憶體中信息是最新的，所有Cache中信息也是有效的；

2）Exclusive。除了一個Cache中外其它的全部是無效的；

3）不在任何快取中。

每一個Cache塊處於以下三種狀態之一：

1）shared。其中的數據是有效的；

2）Exclusive。除了這個Cache中外其它的全部是無效的

3）invalid。塊中沒有數據。

當發生讀失效時，所有的cache塊窺視匯流排。

寫空塊時看作失效。

兩個簡化

1）該協定中，只有在匯流排上傳送寫失效才能從其他狀態轉換到獨占狀態，並且假定提出請求cache總是用返回的數據來修改該數據塊。

2）沒有區分下面兩種情況：真正被共享的cache塊、僅存在於一個cache中但又是乾淨狀態的塊。將它們都用share狀態來描述。

實際上存在4個狀態的協定，invalid、shared、exclusive（表示上面的第二種情況）、modified

（這兩段可不描述）任何一個cache塊要么處於share狀態，要么處於exclusive狀態，任何狀態要轉換到獨占狀態，必須要在匯流排上放置一個寫失效（write miss）信號，使所有cache把數據塊置為無效invalid。