是否有一些Visual Studio扩展可以检查代码是否存在潜在的线程不安全?

Question

是否有一些Visual Studio扩展来检查代码是否存在潜在的线程不安全性并标记这段代码？也许ReSharper有这个能力？

Answer 1

我知道有两个 R# 检查。

对于lock

语句

public class SometimesNotSynchronizedWarning
{
private readonly List<string> _list = new List<string>();
private readonly object _lockObj = new object();
public bool Contains(string item)
{
lock (_lockObj)
{
return _list.Contains(item);
}
}
public void Add(string item)
{
// R# warning: "The field is sometimes used inside synchronized block
// and sometimes used without synchronization":
_list.Add(item);
}
}

用于双重检查锁定实施

public class DoubleCheckedLockingWarning
{
private List<string> _instance;
private readonly object _lockObj = new object();
public List<string> GetInstance()
{
if (_instance != null) return _instance;
lock (_lockObj)
if (_instance == null)
// R# warning: "Possible incorrect implementation of Double-Check Locking.
// Checked field must be volatile or assigned from local variable
// after 'Thread.MemoryBarrier()' call":
_instance = new List<string>(); 
return _instance;
}
}