作　　者： ; ; ;

机构地区： 暨南大学信息科学技术学院计算机科学系

出　　处： 《计算机工程与设计》 2004年第4期496-500,共5页

摘　　要： Java通过“同步”机制为多线程面向对象程序设计避免“相干性”破坏数据一致性提供了一种可行的手段,但这种手段若使用不当,则会造成死锁。针对Java同步机制提出Java多线程程序死锁潜在可能性分析的一种方法,进一步描述了该方法中使用的CHD/LCSD图的构造算法及实现。 Java has set up the “synchronized” mechanism to avoid destroying the data consistency caused by coherency. However, improper use of the “synchronized” mechanism in Java will result in system deadlock, A method to analysis the possibility of dead-lock in Java was proposed. The algorithm and its implementation for constructing CHD/LCSD diagram used in this analysis method were described.

关 键 词： 同步机制 构造算法 死锁 并发性分析 图

领　　域： [自动化与计算机技术] [自动化与计算机技术]