顺序一致共享存储系统中的乱序执行技术--基本理论

摘要

本文首先研究了共享存储系统中的访存事件及其发生次序,从访存事件次序的角度建立了顺序一致共享存储系统的执行正确性模型,然后在执行正确性模型的基础上,提出并证明了一种乱序执行的方案.根据这个方案,只要满足一定条件,取数操作就可以越过它前面的访存操作执行而不影响系统的正确性.