摘要：

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

关键词: 线程一致性模型 操作系统 内核 计算机 虚拟分布式共享存储系统