前一篇文章提到的是使用Lockset最经典的方法,但是存在很多误报,针对这些误报产生的原因,有很多分析并改进了原始的Lockset方法,今天主要和大家谈的就是有关Lockset中状态ownership transition的一种改进。
Reference
von Praun C, Gross T R. Object race detection[C]//ACM SIGPLAN Notices. ACM, 2001, 36(11): 70-82.
前一篇文章提到的是使用Lockset最经典的方法,但是存在很多误报,针对这些误报产生的原因,有很多分析并改进了原始的Lockset方法,今天主要和大家谈的就是有关Lockset中状态ownership transition的一种改进。
Reference
von Praun C, Gross T R. Object race detection[C]//ACM SIGPLAN Notices. ACM, 2001, 36(11): 70-82.