18、深入理解持久化数据结构：从理论到实践

深入理解持久化数据结构：从理论到实践

1. 数据一致性与错误假设

在多线程编程中，标记为线程安全的数据通常会使用锁定或其他访问保护/协调机制来防止冲突访问。以 GetValue 函数为例，该函数所代表的工作单元中假定一致的数据存储在两个不同的对象中。理论上，对象可以在其各个属性上实现锁定，但这并不足够，此算法需要在函数级别进行锁定，在计算结果之前获取两个单独的锁。

数据允许改变时会引发一系列问题，而这些问题对程序的影响取决于算法本身以及数据结构的复杂性。示例中的测试仅检查了特定人为环境下业务逻辑实现的功能。若假定数据可能改变，就需要对测试以及数据结构、业务逻辑实现或两者都进行更改，以涵盖所有可能情况。

2. 静态数据结构的优势

作为锁定和其他访问控制机制的替代方案，可以将数据结构实现为具有函数式编程意义上的持久性。以下是一个示例实现，包含与之前相同的单元测试：

public class PersistentProduct
{
    public readonly string Name;
    public readonly decimal Price;

    public PersistentProduct(string Name, decimal Price)
    {
        this.Name = Name;
        this.Price = Price;
    }
}

public class PersistentOrderLine
{
    public readonly PersistentProdu