Invariant 的意思和并行、并发关系不大。不变量就是说“数据的组织形式符合该数据结构的要求”，比如一个双向链表里任何非尾节点 x 都有 x.next.prev 等于 x 且任何非头节点 x 都有 x.prev.next 等于 x 。

当编辑链表时，要对多个对象的 prev 、next 分别重新赋值，几个赋值操作之间的时刻，不满足不变量。编辑操作保证：操作前符合不变量，则操作完成后还是符合。

如果链表被并行修改则可能出问题，这是因为有的时候，编辑开始的时候链表不满足它的不变量（例如另一个人也在编辑它）。于是你可以用一个 mutex 保护链表，设原先的不变量是命题 P，则新的不变量改成：当 mutex 未锁定时，P 成立。

如果 mutex 不可重入，则上述命题的简单推论是：当 mutex 刚被获取时，P 成立。
如果 mutex 可重入，则上述推论不成立，因为重入时 P 不一定成立。

那段教程就是在说，大家都希望该推论成立（从而验证正确性会更简单），所以我们设计的 mutex 不可重入。