MethodImplOptions.Synchronized的一点讨论

Review代码发现有一个方法加了[MethodImpl(MethodImplOptions.Synchronized)] 属性，这个属性的目的，从名字上就可以看出，是要对所有线程进行同步执行。

对方法加上这个属性之后，会把整个方法体加在一个同步块中，比如下面的代码：

[MethodImpl(MethodImplOptions.Synchronized)]
public static void syncDemo()
{
       if (count % 10 != 0)
       {
              Thread.Sleep(50);   
              count++;
       }       
}

其实和下面的代码是一样的（SyncMethodCls是包含这个方法的类）：

public static void lockDemo()
{
       lock (typeof(SyncMethodCls))
       {
              if (count % 10 != 0)
              {
                     Thread.Sleep(50);   
                     count++;
              }   
       }
}

从第二个方法中，可以看到使用[MethodImpl(MethodImplOptions.Synchronized)]这个属性是对整个类型进行加锁的，同步块是整个方法。如果这个类中只有一个静态同步方法还好，如果有两个同步静态方法都使用这个属性进行标注，这两个方法之间就会出现竞态，在一些情况下，你可能并不想让两个不是很相关的方法出现竞态的情况。同一个类型中越多这种静态同步方法，出现的竞争越激励，系统性能也会越差。

上面也说了，使用这个属性之后，是对整个方法进行同步，但是有时候有些条件判断并不需要放在同步块中，比如上面方法中的if 条件，我并不想放到同步块中，因为有时候已经满足条件的线程就不需要再次阻塞了。这种情况在单例中最明显了，首先判断单例的实例是否为空，只有为空的时候，才会去加锁重新生成一个新的实例。

以上方法可以参考单例进行改造，改造后的代码如下：

private static object syncObj = new object();
public static void syncObjDemo()
{
    if (count % 10 !=0)
    {
        lock(syncObj)
        {
            if (count % 10 != 0)
            {
                Thread.Sleep(50);
                count++;
            }
        }
    }       
}

改造之后，竞争数量明显减少。 

下面附上使用[MethodImpl(MethodImplOptions.Synchronized)]竞争情况：

改造之后的竞争情况：

多线程调用情况如下：

for (int i = 0; i <= 1000; i++)
{
    ThreadPool.QueueUserWorkItem((t) =>
    {
        // syncMethodCls.syncDemo();
        syncMethodCls.syncObjDemo();
    });
}

到此，需要好好说说这个[MethodImpl(MethodImplOptions.Synchronized)]了，MSDN上这样解释：“该方法一次性只能在一个线程上执行。 静态方法在类型上锁定，而实例方法在实例上锁定。 只有一个线程可在任意实例函数中执行，且只有一个线程可在任意类的静态函数中执行。” 总结一句话就是：静态方法锁整个类，实例方法锁整个实例。这句话乍一看挺吓人的，但是如果你的类中只有一个同步方法的话，锁整个类和整个实例影响也不大，但是要确保类和实例在其他地方不会再次被锁，否则会造成死锁的。

所以这个属性，还是尽量不要使用了，不光有可能造成性能问题不说，还有可能造成死锁的严重问题。

说到锁整个类，最近看java多线程的部分，java中有个和C#的lock类似的同步关键字synchronized，好多例子都是直接在方法上加这个关键字，实现方法的同步实现。这个关键字实现的方式应该类似MethodImplOptions.Synchronized，静态方法锁类型，实例方法锁实例，而且如果有条件判断可能还会造成不必要的阻塞。而且由于jdk对synchronized的不断优化，在有些时候并不会马上进行加锁，而是会先自旋一会（以通过浪费CPU时间减少阻塞），可能在某些时候造成CPU时间片的浪费。所以使用的时候，也需要注意。