AOP 框架 PostSharp 的开发公司 SharpCrafters 开发了一款即插即用的死锁检测工具包。只要在项目中增加一行代码，这个工具包就可以对 Mutex、Monitor、ReaderWriterLock 等大部分标准的基本锁机制进行死锁检测。
当线程等待锁超过 200 毫秒，工具包将执行一道死锁检测例程。如果检测到死锁，它会向受该死锁影响的所有线程扔出 DeadlockException。异常中详细报告了所有受影响的线程和锁，供用户分析并修复问题。
死锁检测本身并不十分困难，但需要将大量的刻板代码细致地插入到程序的各个部位。 PostSharp Threading Toolkit 使用 IL 重写技术自动地注入这些代码到锁语句周围。
有几点需要注意。PostSharp 用了十分保守的逻辑去防止误报；他们认为错误地扔出一个 DeadlockException 比一个没有被检测到的死锁更糟糕。而且，它不能用于非对称锁，例如 ManualResetEvent,、AutoResetEvent,、Semaphore 和 Barrier，因为“并不清楚哪个线程负责‘发信号’或‘释放’同步资源”。
它能处理的锁包括：
- Mutex：WaitOne、WaitAll、Release
- Monitor：Enter、Exit、TryEnter、TryExit（包括 C#关键字 lock；不支持 Pulse 和 Wait 方法）
- ReaderWriterLock：AcquireReaderLock、AcquireWriterLock、ReleaseReaderLock、ReleaseWriterLock、UpgradeToWriterLock、DowngradeToReaderLock（不支持 ReleaseLock、RestoreLock）
- ReaderWriterLockSlim：EnterReadLock、TryEnterReadLock、EnterUpgradeableReadLock、TryEnterUpgradeableReadLock、EnterWriteLock、TryEnterWriteLock、ExitReadLock、ExitUpgradeableReadLock、ExitWriteLock
- Thread：Join
PostSharp Threading Toolkit 以 BSD 2-Clause 协议发布于 GitHub 。
查看英文原文： http://www.infoq.com/news/2012/09/PostSharp-Deadlock
感谢郭晓刚对本文的审校。
给InfoQ 中文站投稿或者参与内容翻译工作，请邮件至 editors@cn.infoq.com 。也欢迎大家通过新浪微博（ @InfoQ ）或者腾讯微博（ @InfoQ ）关注我们，并与我们的编辑和其他读者朋友交流。
分布式云行业实践指南（2023）
业内首个分布式云行业实践方法论、工具箱。
评论