10、空间数据更新与地理服务中介技术解析

空间数据更新与地理服务中介技术解析

1. 空间数据更新的渐进式再处理事务模型

1.1 移动事务示例

移动事务首先要显示给定区域内的所有空间对象，以便交互式地更新部分空间对象。假设事务提交顺序为 commit(T2) < commit(T1) < commit(T3) < commit(RT11)。T1 更新房屋的两个对象，T2 更新道路的一个对象。当 T1 针对 T2 的写集进行验证测试时，由于 T1 的两个对象与 T2 的对象存在交集关系，测试失败。T1 生成冲突对象(T1)和外部冲突对象(T1)，并启动再处理事务 RT11。RT11 突出显示冲突对象(T1)并显示外部冲突对象(T1)。

RT11 更新冲突对象(T1)以解决冲突并重新提交。在 RT11 执行期间，T3 更新房屋的一个对象并成功提交。由于 RT11 的写集再次与 T3 的写集冲突，RT11 启动 RT12。RT12 在移动客户端显示冲突对象(RT11)和外部冲突对象(RT11)。RT11 的非冲突对象暴露给其他事务，RT12 仅重新执行冲突对象(RT11)，最终 RT12 成功重新提交，T1 最终提交，所有冲突得到妥善解决。

1.2 再处理事务模型的优势与挑战

基于验证的协议自然适用于处理移动事务，但会面临验证条件失败时是否丢失长事务工作的问题。提出的再处理事务模型旨在避免中止冲突事务，仅重新处理冲突对象。通过使用从先前提交事务的写集中计算出的外部冲突对象重新执行冲突对象，可以轻松实现更新冲突的再处理。

然而，再处理事务模型存在新的困难，即再处理事务重新提交时与新到达事务重复发生更新冲突。可以通过渐进式再处理方案来解决这个问题，