会议论文《基于伪临界值的Cache一致性协议验证方法》提出了一种新的验证机制，用于检测多核处理器中缓存一致性协议的错误。该方法通过引入伪临界值概念，有效提升了验证效率和准确性。研究在第15届全国计算机辅助设计与图形学学术会议上发表，为提高系统可靠性提供了理论支持和技术参考。
文档为pdf格式，0.28MB，总共5页。
举报
