溫馨提示：您尚未登錄，請點 登陸 后下載，如果您還沒有賬戶請點 注冊 ，登陸完成后，請刷新本頁查看技術詳細信息。
本發(fā)明提供了一種驗證cache一致性協(xié)議的方法及裝置，該方法，包括：預先設置cache一致性協(xié)議的協(xié)議表項，將每個協(xié)議表項與預設狀態(tài)機的一個狀態(tài)對應；預先根據所述狀態(tài)機和所述協(xié)議表項，建立所述cache一致性協(xié)議的形式化模型；確定待運行的協(xié)...該專利屬于浪潮電子信息產業(yè)股份有限公司所有，僅供學習研究參考，未經過浪潮電子信息產業(yè)股份有限公司授權不得商用。