An interaction of coherence protocols and memory consistency models in DSM systems

摘要: Coherence protocols and memory consistency models are two improtant issues in hardware coherent shared multiprocessors softare distributed memory(DSM) systems. Over the years, many researchers have made extensive study on these repectively. However, interaction between them has not been studied literature. In this paper, we coherence used by software DSM systems detail. Based our analysis, draw a general definition for model, i.e., model is logical sum of ordering events each processor protocol. We also point that system emphasis relaxing restriction event ordering, while system, focuses mainly Taking Lazy Release Consistency(LRC) as an example, analyze relationship systems, find whether advantages LRC can be exploited or depends greatly it's corresponding conclusion more relaxed is, protocol needed to support it. This very useful when design new model. Furthermore, make some improvements traditional multiple writer protocol, far aware, describe complex state transition first time. end, list main research directions