强弱混合一致性语义模型*

80年代末出现的分布式共享存储(dsm)技术为解决可扩展性和易编程的矛盾提供了一种可行的方案．但是，由于dsm建立在消息传递机制的基础之上，而且存在对本地内存访同和对远程内存访问的差异，简单地照搬多处理机cache一致性语义往往效率很低．因此，人们提出了一些弱化的、放松的一致性语义，这些语义与用户采用的顺序一致性语义差别较大，给用户在程序设计、调试上造成很大困难．本文提出了一种强弱混合一致性语义模型．解决了假共事问题，提供了进一步开发时甸、空间局部性的可能性，而且还可以保证顺序一致性．试验结果证明，强弱混合一致性语义与严格一致性语义相比，消除了“颠簸”现象，大大改善了系统性能．