2016/07/03 2457 tester

存储模型明确地规定了在什么时机下，操作存储的线程的动作可以保证被另外的动作看到。规范还规定了要保证操作是按照一种偏序关系进行排序。这种关系称为happens-before，它是规定在独立存储器和同步操作级别之上的。1、happens-before的法则包括…