lock-set方法

lock-set方法最早由 Savage等人在 Eraser系统中提出。

这种方法的基本思想是提取并记录不同线程所申请的锁的集合，当每个线程访问共享资源时，取不同线程针对该共享资源锁的交集，如果两个线程对该共享资源没有使用同一个锁保护，那么两个线程就可能同时对该共享资源进行操作，认为存在竞态漏洞。