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

第 l9卷 第 4期 计 算 机 技 术 与 发 展 Vo1．19 No．4 2009年 4月 C0M 1丌 R TECHNoLC)(jY ANDDEVEL0PM吒NT Apr． 2009 基于 Petri网的Java多线程程序分析 郭 娟 ，许志才2，方贤文 (1．安徽理工大学理学院，安徽 淮南 232001； 2．滁州学院，安徽 滁州 239012) 摘 要 ：多线程程序可以更好地利用计算机资源，提高程序运行效率。但是 由于多线程执行的不确定性，程序设计中的潜 在错误不易被发现。作为系统建模和分析的工具，Petri网适合对具有 同步、并发、冲突的离散事件系统进行建模和分析 。 文中探讨利用Petri网对 Java多线程程序建模，并通过分析模型的结构性质和动态性质定位程序设计中的错误。通过对 一 个多线程程序实例的建模以及对模型的分析 ，定位了引发错误的原因，并给出了解决方案。从而说明Petri网在分析多 线程程序和提高程序稳定性方面具有优越性。 关键词 ：Petri网；抑制弧；多线程 ；模型 中图分类号：TP391．9 文献标识码：A 文章编号：1673—629X(2009)04—0051—03 Multi。。ThreadAnalysisaboutJavaProgram BasedonPetriNet GUOJuan，XU Zhi—cai2，FANGXian-wenI (1．SchoolofScience，AnhuiUniversityofScienceandTechnology，Huainan232001，China； 2．ChuzhouUniversity，Chuzhou239012，China) Abstract：M ulti—threadprogramsCaDoperatemoreefficientlybymakinggooduseofcomputersourel~．However，duetotheuncertainty ofmulti—threads．themistakesinpmgrarnmingcannotbefoundeasily．ThePetriNetissuitabletomodelandanalyzediscreteeventsys— temswithpropertiesofbeingsynchronizing．concurrentnadconflicting．Pm~．zintohow tomodelprogramswiththePetriNetnadlocate themistakes byanalyzing thestructuralpropertyanddynamicpropertyofthemode1．Specifically，itfindsthereasonsformistakesna d thenofferssolutionsbymodelingnadanalyzingaconcretemulti—threadprogram．ItcomestotheocnclusionthatthePet Nethasitsad- vnatageinnaalyzingmulti—thraedprogramsna dimproving theprograms’stabilization． Keywords：petrinet；inhibiotrarcs；multi—thraeds；model O 引 言 错误的定位往往比较困难。在很多情况下，一个线程 多线程是指同时存在几个执行体 ，按几条不同的 必须与其他线程合作才能共 同完成任务，若配合不当 执行线索共同工作的情况。多线程的程序能更好地表 会造成系统的严重错误。比如，