13、原始同步操作的相对能力解读

原始同步操作的相对能力解读

在并发编程领域，同步操作的能力对于系统的性能和正确性至关重要。不同的数据类型和操作具有不同的同步能力，这可以通过共识数（consensus number）来衡量。共识数反映了一个对象在解决共识问题时的能力，共识问题是指多个线程需要就一个值达成一致的问题。

1. 多种数据类型的共识数

许多常见的数据类型，如集合、栈、双端队列和优先队列等，它们的共识数恰好为 2。这意味着这些数据类型在解决共识问题时，最多只能支持两个线程达成一致。

2. 多赋值对象

在 (m, n - 赋值) 问题中，当 n ⩾ m > 1 时，我们有一个包含 n 个字段的对象（有时是一个 n 元素的数组）。 assign() 方法接受 m 个值和 m 个索引值作为参数，将值原子地赋给数组元素； read() 方法接受一个索引参数，返回该索引对应的数组元素。

2.1 (2, 3) - 赋值对象的实现

以下是一个基于锁的 (2, 3) - 赋值对象的实现代码：

public class Assign23 {
    int[] r = new int[3];
    public Assign23(int init) {
        for (int i = 0; i < r.length; i++)
            r[i] = init;
    }
    public synchronized void assign(T v0, T v1, int i0,