Безопасен ли метод расширения?

Question

Является ли этот метод расширения потоком безопасным?

public static class Extensions 
    { 
     public static void Raise<T>(this EventHandler<T> handler, 
     object sender, T args) where T : EventArgs 
     { 
     if (handler != null) handler(sender, args); 
     } 
    } 

или мне нужно изменить его на это?

public static class Extensions 
    { 
     public static void Raise<T>(this EventHandler<T> handler, 
     object sender, T args) where T : EventArgs 
     { 
     var h = handler; 
     if (h!= null) h(sender, args); 
     } 
    } 

Answer 1

Вы нашли интересное отверстие в петле, оно сработало все. Нет, это не потокобезопасно.

Пока он выглядит, как EventHandler <> ссылка копируется с помощью аргумента метода, это не то, что происходит во время выполнения. Методы расширения должны быть встроены, как обычный метод экземпляра. Фактически, это чрезвычайно, вероятно, получится встроенным, так как он настолько мал. Нет копии, вы должны сделать ее самостоятельно.

Answer 2

Ни одна из версий не является потокобезопасной, в зависимости от того, что вы подразумеваете под «threadsafe». Рассмотрим вашу вторую версию:

var h = handler;   
    if (h!= null) 
     h(sender, args); 

«обработчик» - это копия некоторого поля, в котором есть непреложный делегат. Предположим, что это поле мутировалось до «null» в другом потоке после нулевой проверки. В этом случае ваш код не сбой, потому что вы сделали копию исходного значения, отличного от нуля. Но просто не сбой не делает программу нить безопасной. Программа, которая не разбивается, но все же производит неверные результаты, по-прежнему не является потокобезопасной.

Предположим, что, когда другой поток установил поле события в значение null, он также изменил некоторые состояния, что предыдущее содержимое должно было работать правильно. Теперь вы собираетесь запустить обработчик событий, который зависит от состояния, которое было просто изменено на другой поток; вы запускаете обработчик события stale.

Существует нет простого способа защитить эту проблему; если это та ситуация, в которой вы находитесь, тогда вам придется тщательно разработать свою логику потоков, чтобы справиться с ситуацией.