用于解决两个或更多执行线程之间的锁定冲突的方法和系统

摘要

本发明延及用于解决锁定冲突的方法、系统和计算机程序产品。对于状态持久保存系统，本发明的实施例可以为每个持久保存的状态存储位置采用逻辑锁定时钟。锁定时间可以被合并到由命令处理器执行的薄记中，以区分实例在之前的逻辑时间被应用主机锁定的情况和实例通过不同名称被应用主机并发地锁定的情况。还为应用主机向状态持久保存系统发出的命令维护逻辑命令时钟，其中自测地确定哪些所发出的命令可能取得锁定。命令处理器可以通过如下方式来解决冲突：暂停命令执行直到可能发生锁定冲突的命令的效果变为可见；以及检查锁定时间以区分持久保存的状态存储位置的多个副本。