重新绘制二级封锁协议图和 ReadView 图:二级封锁协议中 T2 读取后释放 S 锁(unlock-s);ReadView 图按正文的三条可见性规则画出事务 ID 的三个区间。 Closes #1176