获取和设置简单的静态属性线程安全吗?[副本]

此用途是线程安全的:

string[] localValues = Shared.Values;
for (int index = 0; index < localValues.length; index++)
    ProcessValues(localValues[index]);

此使用不是线程安全的,可能会导致越界异常:

for (int index = 0; index < Shared.Values.Length; index++)
    ProcessValues(Shared.Values[index]);

static class Shared   
{
    private static string[] values;   
    public static string[] GetValues() { return values; }
    public static void SetValues(string[] values) { Shared.values = values; }
}

当然,用户仍然可以将GetValues()放在循环中,这也会很糟糕,但至少它显然很糟糕。

static class Shared
{
    private static string[] values;
    public static string[] GetValues()
    {
        string[] currentValues = values;
        if (currentValues != null)
            return (string[])currentValues.Clone();
        else
            return null;
    }
    public static void SetValues(string[] values)
    {
        Shared.values = values;
    }
}

没有任何额外的保护,就没有 保证 一条阅读线索 曾经 查看新值。在实践中,只要阅读线索是做任何有意义的事情,它 将

如果你成功了 volatile ,我相信即使这种危险也被消除了-但是无锁编程通常很难推理。当然,这意味着放弃它作为自动实现的属性。

read和replacement保证是原子的,但是不能保证在write之后的read必然会读取新的值。

现有代码不会有什么不好的情况发生(例如,读取错误),但是不能保证您的读者会这样做 曾经 查看新值。例如,旧引用有可能(尽管可能不太可能)永远缓存在寄存器中。

这不是线程安全的。是的,你需要用锁。

ReaderWriterLockSlim -效率比 ReaderWriteLock .

static class Shared
{
    private static ReaderWriterLockSlim _rwLock = new ReaderWriterLockSlim();
    private static string[] _values;

    public static string[] Values 
    {
        get
        {
            _rwLock.EnterReadLock();
            try
            {
                return _values;
            }
            finally
            {
                _rwLock.ExitReadLock();
            }
        }
        set
        {
            _rwLock.EnterWriteLock();
            try
            {
                _values = value;
            }
            finally
            {
                _rwLock.ExitWriteLock();
            }
        }
    }
}

Java theory and practice: Fixing the Java Memory Model, Part 2 ):

• 易失性读/写也是内存障碍。
• final 字段在构造函数外部完全初始化。

后者是一个有趣的例子:你曾经能够 foo = new String(new char[]{'a','b','c'}); 在一个线程和 foo = "123"; System.out.println(foo) 在另一个线程中,并打印空字符串,因为无法保证对foo的final字段的写入将发生在对foo的写入之前。