基于Petri网的Java多线程程序分析

Multi-Thread Analysis about Java Program Based on Petri Net

多线程程序可以更好地利用计算机资源,提高程序运行效率。但是由于多线程执行的不确定性,程序设计中的潜在错误不易被发现。作为系统建模和分析的工具,Petri网适合对具有同步、并发、冲突的离散事件系统进行建模和分析。文中探讨利用Petri网对Java多线程程序建模,并通过分析模型的结构性质和动态性质定位程序设计中的错误。通过对一个多线程程序实例的建模以及对模型的分析,定位了引发错误的原因,并给出了解决方案。从而说明Petri网在分析多线程程序和提高程序稳定性方面具有优越性。

Multi - thread programs can operate more efficiently by making good use of computer sources. However, due to the uncertainty of multi - threads, the mistakes in programming cannot be found easily. The Petri Net is suitable to model and analyze discrete event systems with properties of being synchronizing, concurrent and conflicting. Probes into how to model programs with the Petri Net and locate the mistakes by analyzing the structural property and dynamic property of the model. Specifically, it finds the reasons for mistakes and then offers solutions by modeling and analyzing a conerete multi - thread program. It comes to the conclusion that the Petri Net has its advantage in analyzing multi - thread programs and improving the programs＇ stabilization.