以操作系统为中心的存储一致性模型--线程一致性模型

分布共享存储系统为保证程序的正确执行，必须通过存储一致性模型对共享存储访问顺序加以限制，而现有模型在可扩展性和操作系统级实现方面存在不足。结合多线程的特点，提出了一种以操作系统为中心的线程一致性模型，通过并行程序执行过程中线程状态的变化来观察和限制存储访问事件的正确顺序，有利于系统的可扩展性、一致性维护信息获取的方便性和完备性以及操作系统本身的设计和实现。分别从模型的定义、正确性证明、实现方案和性能分析等几个方面展开了论述。

An Operating System-Centric Memory Consistency Model-Thread Consistency Model

Writing correct and efficient programs for distributed shared memory systems requires a formal specification of memory semantics, named a memory consistency model The main purpose of a memory consistency model is to guarantee the correct event order of shared memory accesses from multiple processes However, current memory consistency models usually face both poor scalability and difficulties of being implemented in operating systems During the research, it is found that to design and implement a memory consistency model from the viewpoint of operating systems and with the support of multithreads may bring great benefits to system performance and scalability And this is both convenient and sufficient for acquiring consistency maintenance information Furthermore, it is also easy to design and implement operating systems In this paper, a new memory consistency model-thread consistency model is proposed, with which correct event order of memory accesses can be observed and constrained through the transformation of threads' state during the execution of parallel programs Definition, correctness proof, implementation schemes and performance analysis are presented