A copy of the data consistency articles

Disclaimer: This article is a blogger original article, follow the CC 4.0 BY-SA copyright agreement, reproduced, please attach the original source link and this statement.

This link: https://blog.csdn.net/duxingxia356/article/details/102738519

https://blog.csdn.net/hit_shaoqi/article/details/79515335

http://udn.yyuap.com/thread-109249-1-1.html

https://www.jianshu.com/p/dcead11b3da9

 

Algorithm [1] in the design and certification processes running on the multi-computer - [3] correctness, generally based on the following assumptions: the execution result with the processors in a serial execution result of the same order, with each the processor performs internal operations and appears consistent with the order described in the program. Multi-processor systems to meet the conditions that we think are the sequential consistent. "Processor here represents an independent execution processes (or threads), each process (thread) is the internal serial execution. If the parallel execution the results are consistent with the results of a legitimate serial execution order (in the order of execution in the order of execution within each thread to be retained), we believe it is in line with the order of consistency