流编程模型下的存储一致性模型

Memory Consistency Model for Stream Programming

在流编程模型下建立了一个新的存储一致性模型——流一致性模型,它比传统的释放一致性模型更加松弛。讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂。

A new programming model-the stream programming model is presented on the basis of the stream computing model. A new memory consistency model, named stream consistency for the stream programming model is proposed. In comparison with the traditional release consistency, the stream consistency is more relaxed. The requirements of the stream consistency for the program and system designs are discussed and a correct implementation is presented. The programmability and system overhead of the Stream Consistency is analyzed.