多处理器系统的结构验证方法

作者：倪林多处理器数据染色有效集真共享伪共享

摘要：　随着近年来多处理器的出现，使得处理器的验证变得越来越重要，同时也给验证工作带来了极大的困难和挑战。越来越多的时间和精力要花在处理器的验证工作上。这篇文章将介绍一种在弱一致性多处理器系统中内存一致性的验证方法——数据染色。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社