Check to verify that the optimistic lock can be set, that is, there is no external exclusive lock.
当同一条记录有其余的 exclusive lock 时,无奈再上 O 锁。
The lock does not protect against external changes to data, but it does help to identify them.
O 锁不能保障以后拜访的数据被其余过程或者用户批改,但可能有助于检测出这种 external change 的状况。
O 锁的降级状况:
- 查看读取数据和乐观锁的一致性。
- 查看并验证乐观锁到排他锁的转换,不会与现有锁发生冲突。
- 将以后内部持有的所有乐观锁设置为有效 (即所谓的 invalidation 操作),将此更改流传到乐观锁的内部所有者。
- 以后的乐观锁转换为排它锁。
- 批改以后数据,尔后这批改对所有人可见。
- 锁被开释。
其中上述步骤 1~4 必须是原子操作。
可能呈现的锁抵触场景
- 如果资源曾经被用户 A 加上了 E 锁,则其余用户对同一资源试图加 O 锁的申请会失败。
后果是,其余用户无奈切换到 Change 模式。
- 用户 A 曾经胜利加上了 O 锁,即切换到了 change mode,然而当用户 A 试图保留批改的数据时,另一个用户持有的 O 锁曾经提前升级成了 E 锁。
In conflicts, an optimistic lock (lock mode O) behaves like a shared lock (type S hared), which means it conflicts with type E or type X locks.
当抵触产生时,O 锁的行为和共享锁统一。
如果存在属于其余所有者的 E 锁,则无奈设置乐观锁。至于这个 E 锁是其余用户间接调配的,还是通过传统的 O 锁降级而成的,并不重要。
现有的乐观锁还能够避免其余所有者间接上 E 或 X 锁。
下图显示了无奈设置乐观锁的状况,因为对象上曾经设置了排他锁。
属于不同所有者的乐观锁彼此兼容。第一个尝试将乐观锁转换为排他锁的所有者能够胜利实现此操作(前提是未设置其余一般共享锁)。其余乐观锁变得有效(从锁表中删除)。果您尝试更改它们,则无奈设置排他锁。
下图是一个例子:
事务 1 将乐观锁转换为 E 锁。这使得事务 2(锁定同一个对象)的 O 锁有效。这意味着事务 2 无奈转换 O 锁,抵触必须由程序员解决。