在不锁定集合的情况下从通用集合中获取 Count 值是否安全？

Question

我有两个线程，一个将对象放入通用列表集合的生产者线程和一个将这些对象从同一个通用列表中拉出的消费者线程。我已经使用 lock 关键字正确同步了对集合的读取和写入，并且一切正常。

我想知道的是是否可以在不首先锁定集合的情况下访问 Count 属性。

JaredPar 将 Count 属性 in his blog 称为可能导致竞争条件的决策过程，如下所示：

if (list.Count > 0)
{
    return list[0];
}

如果列表有一个项目，并且在访问 Count 属性之后但在索引器之前删除了该项目，则会发生异常。我明白了。

但是可以使用 Count 属性来确定一个完全不同的集合的初始大小吗？ MSDN documentation 表示不能保证实例成员是线程安全的，所以我应该在访问 Count 属性之前锁定集合吗？

Answer 1

我怀疑就“它不会导致任何灾难性错误”而言，它是“安全的”——但您可能会得到陈旧的数据。那是因为我怀疑它只是保存在一个简单的变量中，而且将来很可能会出现这种情况。但是，这与保证不同。

我个人会保持简单：如果您正在访问共享的可变数据，请仅在锁定中进行（对相同的数据使用相同的锁定）。如果您有适当的隔离，那么无锁编程会非常好（所以您知道您有适当的内存屏障，并且您知道在读取它时永远不会在一个线程中修改它在另一种情况下），但听起来情况并非如此。

好消息是，获得无争议的锁非常便宜 - 所以如果我是你，我会选择安全的路线。线程在不引入竞争条件的情况下已经足够困难，竞争条件可能不会带来显着的性能优势，但会以罕见且不可重现的错误为代价。