用于并发性分析和检测CHD/LCSD图的构造算法及实现

作者:许颖媚; 陈火炎; 孙玉霞
来源:计算机工程与设计, 2004, (4): 496-500.
DOI:10.3969/j.issn.1000-7024.2004.04.006

摘要

Java通过"同步"机制为多线程面向对象程序设计避免"相干性"破坏数据一致性提供了一种可行的手段,但这种手段若使用不当,则会造成死锁.针对Java同步机制提出Java多线程程序死锁潜在可能性分析的一种方法,进一步描述了该方法中使用的CHD/LCSD图的构造算法及实现.

全文