该会议论文提出了一种带偏置的基于相关性分析的Cache一致性协议验证方法。作者通过引入偏置机制，优化了传统相关性分析在验证Cache一致性协议时的效率和准确性。该方法能够有效检测多处理器系统中的缓存不一致问题，提升系统性能与可靠性。研究为高性能计算领域的Cache管理提供了新的思路和技术支持。
文档为pdf格式，0.66MB，总共4页。
举报
