线程一致性模型及其实现

A Thread Consistency Model and Its Implementation

在虚拟分布式共享存储系统(SVM)中,为了保证程序在分布式环境下正确运行,维护存储一致性是关键问题之一。本文提出了一种全新的一致性模型——线程一致性模型(TC),并阐述了基于TC模型的虚拟分布式共享存储系统MTK的实现。线程一致性模型从操作系统内核的角度出发,把程序执行过程中的同步点与线程状态结合起来考虑存储一致性问题,有利于数据局部性的开发。另外,多线程体系结构的一个显著优势就是能把计算和通信重叠起来,从而有效地隐藏通信延迟。在内核级实现线程一致性模型时,线程及同步原语(锁、栅栏)都维护一个写记录,同时定义了同构唤醒线程簇。

To ensure the program to run correctly in SVMs, one of the most important problems is data consistency. In this paper, a new data consistency model is put forward, and MTK,which is based on the model,is introduced . The model considers the data consistency problem from the angle of the OS kernel, and the combination of synchronization points during execution is also taken into account. It is conducive to developing data locality. Moreover , one of the greatest merits of the Multiplex Threads Architecture is the overlap of computation and communications . It will hide the latency of communications. For the implementation of the model, threads and synchronization primitives (lock, barrier) are used to maintain a structure of write-notice-record, and a structure of clustered wake-up threads set(CWTS) is defined.