Как гарантировать, что обновление элемента «ссылочный тип» в массиве будет видно другим потокам?

Этот вопрос был перенесен из Code Review Stack Exchange, поскольку на него можно ответить на Stack Overflow. Перенесено7 лет назад.

private InstrumentInfo[] instrumentInfos = new InstrumentInfo[Constants.MAX_INSTRUMENTS_NUMBER_IN_SYSTEM];

public void SetInstrumentInfo(Instrument instrument, InstrumentInfo info)
{
    if (instrument == null || info == null)
    {
        return;
    }
    instrumentInfos[instrument.Id] = info;  // need to make it visible to other threads!
}

public InstrumentInfo GetInstrumentInfo(Instrument instrument)
{
    return instrumentInfos[instrument.Id];  // need to obtain fresh value!
}

SetInstrumentInfoи GetInstrumentInfoвызываются из разных потоков. InstrumentInfo— неизменяемый класс. Гарантировано ли, что у меня будет самая последняя копия при вызове GetInstrumentInfo? Боюсь, что могу получить "кэшированную" копию. Должен ли я добавить вид синхронизации?

Объявление instrumentInfosкак volatileне поможет, потому что мне нужно объявить элементы массива как volatile, а не сам массив.

Есть ли у моего кода проблема, и если да, то как ее исправить?

UPD1:

Мне нужно, чтобы мой код работал в реальной жизни, а не соответствовал всем спецификациям!Так что, если мой код работает в реальной жизни, но не будет работать «теоретически» на каком-то компьютере в какой-то среде -, это нормально!

Мне нужен мой код для работы на современном сервере X64 (, в настоящее время 2 процессора HP DL360p Gen8 )под Windows с использованием последней версии.NET Framework.
Мне не нужно работать со своим кодом на чужих компьютерах, в Mono или еще где-то
Я не хочу вводить задержку, так как это программное обеспечение HFT. Так как «реализация Microsoft использует сильную модель памяти для записи. Это означает, что записи обрабатываются так, как если бы они были энергозависимыми», мне, вероятно, не нужно добавлять дополнительные Thread.MemoryBarrier, которые ничего не сделают, кроме увеличения задержки. Я думаю, мы можем быть уверены, что Microsoft продолжит использовать «сильную модель памяти» в будущих выпусках. По крайней мере, очень маловероятно, что Microsoft изменит модель памяти. Так что будем считать, что не будет.

UPD2:

Самым последним предложением было использовать Thread.MemoryBarrier();. Теперь я не понимаю, куда именно я должен его вставить, чтобы моя программа работала на стандартной конфигурации (x64, Windows, Microsoft.NET 4.0 ). Помните, что я не хочу вставлять строки «только для того, чтобы можно было запустить вашу программу на IA64 или.NET 10.0». Скорость для меня важнее мобильности. Однако было бы также интересно, как обновить мой код, чтобы он работал на любом компьютере.

UPD3

Решение.NET 4.5:

    public void SetInstrumentInfo(Instrument instrument, InstrumentInfo info)
    {
        if (instrument == null || info == null)
        {
            return;
        }
        Volatile.Write(ref instrumentInfos[instrument.Id], info);
    }

    public InstrumentInfo GetInstrumentInfo(Instrument instrument)
    {
        InstrumentInfo result = Volatile.Read(ref instrumentInfos[instrument.Id]);
        return result;
    }

задан user2864740 9 January 2018 в 06:42

0 ответов

Другие вопросы по тегам:

multithreading synchronization volatile c#

Как гарантировать, что обновление элемента «ссылочный тип» в массиве будет видно другим потокам?

0 ответов

Похожие вопросы: