无锁生产者/消费者集合：递增索引是否需MemoryBarrier？

针对你的三个核心疑问 #

1. 指令重排与执行顺序保证 #

编译器或CPU不会把array[count] = value; count++;重排成array[count++] = value;——因为这两条指令存在数据依赖：赋值操作使用的是自增前的count值，CPU和编译器不会破坏这种依赖关系来做重排。
但要注意：这种顺序保证只限于当前执行线程。如果是其他线程读取count和array，完全可能先看到count的增量，再看到数组元素的赋值，导致读到未初始化的垃圾数据。

2. 是否需要添加Interlocked.MemoryBarrier() #

分两种情况：

• 单生产者线程：如果只有一个线程写入，其他线程只读，可以不用内存屏障。单线程内的指令顺序对自身是一致的，其他线程即使看到乱序，最多是读到旧的count值，但读到的数组元素一定是对应count值之前的有效数据。
• 多生产者线程：必须加内存屏障（或者直接用Interlocked.Increment来更新count）。否则多个生产者的赋值和count自增操作会交叉执行，导致数据覆盖、count值与实际元素数量不匹配。

3. 是否需要将count标记为volatile #

需要，原因有两点：

• 防止编译器把count的值缓存到寄存器，导致当前线程看不到其他线程更新后的count值。
• 保证count的读写操作是可见的——volatile会强制线程每次读取count都从主内存取，写入时直接刷到主内存，避免缓存不一致。
  注意：volatile只能解决单个变量的可见性问题，不能保证数组赋值和count自增的顺序，所以多线程场景下还是要配合内存屏障或原子操作。

关于List.Add的指令顺序 #

首先纠正一个误区：.NET的List.Add实际实现是先把元素赋值到数组，再自增_size，代码大致如下：

public void Add(T item)
{
    _version++;
    if (_size == _items.Length) EnsureCapacity(_size + 1);
    _items[_size] = item;
    _size++;
}

List从设计之初就明确是非线程安全的，所以它的指令顺序完全是为单线程场景优化，没有任何线程安全层面的考量。就算调换顺序（先自增_size再赋值），也不可能让它变成线程安全的——多线程同时Add依然会出现数组索引越界、数据覆盖、_size与实际元素数不符的问题。

内容的提问来源于stack exchange，提问作者Adassko