计算机科学与探索
計算機科學與探索
계산궤과학여탐색
JOURNAL OF FRONTIERS OF COMPUTER SCIENCE & TECHNOLOGY
2008年
5期
545-552
,共8页
cache一致性协议%广播%NuSMV验证
cache一緻性協議%廣播%NuSMV驗證
cache일치성협의%엄파%NuSMV험증
在全互联的网络结构下,提出了一种基于广播的cache一致性协议的详细设计,使请求传输不再像目录协议中的那样,经过第三方中转,而是直接发给所有节点,由最新拥有副本者给出响应.对协议进行了分析证明,并建立了模型,通过模型检测工具NuSMV验证了协议的正确性.
在全互聯的網絡結構下,提齣瞭一種基于廣播的cache一緻性協議的詳細設計,使請求傳輸不再像目錄協議中的那樣,經過第三方中轉,而是直接髮給所有節點,由最新擁有副本者給齣響應.對協議進行瞭分析證明,併建立瞭模型,通過模型檢測工具NuSMV驗證瞭協議的正確性.
재전호련적망락결구하,제출료일충기우엄파적cache일치성협의적상세설계,사청구전수불재상목록협의중적나양,경과제삼방중전,이시직접발급소유절점,유최신옹유부본자급출향응.대협의진행료분석증명,병건립료모형,통과모형검측공구NuSMV험증료협의적정학성.