Почему блокировки выполняются на отдельных объектах?

Question

Можно создать дубликат:
Difference between lock(locker) and lock(variable_which_I_am_using)

Во всех «потокобезопасных» примеры кода я видел, они запирают на отдельный фиктивный объект. Почему автоматические блокировки непосредственно выполняются над данными?

Answer 1

Блокировка на отдельном объекте private дает вам гарантию, что никто не блокирует этот объект.

Если вы заблокируете данные, и тот же самый фрагмент данных виден снаружи, вы потеряете эту гарантию. Например:

public class MyObject 
{ 
    public void SharedMethod() 
    { 
     lock (this) 
     { 
      // Do stuff 
     } 
    } 
} 

class Program 
{ 
    static void Main(string[] args) 
    { 
     MyObject o = new MyObject(); 

     lock (o) 
     { 
      new Thread(() => 
      { 
       // Gets blocked 2s because of external lock 
       o.SharedMethod(); 
      }).Start(); 

      Thread.Sleep(2000); 
     } 
    } 
} 

Answer 2

В блоге Эрика Гуннерсона есть замечательные материалы. См. here и here.

Answer 3

Jeff Richter (автор CLR Via C#) объясняет, почему в этой статье на Safe Thread Synchronization.

В частности, в этой статье раздел «Почему Великая идея не так велика» отвечает на ваш вопрос.

Это на самом деле глава из книги CLR Via C#.

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