论文部分内容阅读
针对Cache一致性协议状态空间爆炸问题，提出共享集合伪临界值（Pseudo-cutoff）的概念，并以采用释放一致性模型的CC-NUMA系统为例，分析了共享数据的分布情况，推导出在一定条件下共享集合伪临界值为4的结论，有效优化了目录Cache协议状态空间，并提出了解决小概率的宽共享事件的方法。实验数据表明，基于伪临界值的协议模型优化，能够有效缩小Cache协议状态空间，加快验证速度，扩大验证规模。