00_A Primer on Memory Consistency and Cache Coherence APrimeronMemoryConsistencyandCacheCoherence,主要介绍了Memory同一性和cache一致性的定义以及相关模型和协议。例如SC模型,TSO模型,松散序模型和cache一致性的两种协议:snoopy协议和目录一致性协议。对于学习比较有用
二分法讲解文档 二分法(dichotomie) 即一分为二的方法. 设[a,b]为R的紧区间. 逐次二分法就是造出如下的区间序列([an,bn]):a0=a,b0=b,且对任一自然数n,[an+1,bn+1]或者等于[an,cn],或者等于[cn,bn],其中cn表示[an,bn]的中点