23、利用OSTM实现可组合性的高效方法及原子对象读写优化

利用OSTM实现可组合性的高效方法及原子对象读写优化

在分布式计算领域，实现高效的原子读写对象模拟以及构建高并发、可组合的数据结构是重要的研究方向。本文将围绕这两个方面展开，介绍相关算法的原理、性能评估以及创新点。

1. 基于OSTM的数据结构实现

在基于对象的事务内存（OSTM）技术中，如HT - OSTM，方法被视为区间，证明其方法的部分排序或线性化较为复杂。不过，证明并发数据结构（cds）的正确性需要考虑语义和实现细节。

1.1 HT - OSTM的操作原理

以删除节点 k5 为例，在STM的 tryC() 函数中，节点 k5 先设置其标记字段，然后从链表（bl）中分离。具体过程如下：
- 初始状态：链表中包含节点 k1 、 k3 和 k5 。
- 删除操作： k5 设置标记字段后，通过将 k1 的链表指针连接到 +∞ ，从而将 k5 从链表中移除。

graph LR
    classDef startend fill:#F5EBFF,stroke:#BE8FED,stroke-width:2px;
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    A([初始状