基于带抑止弧Petri网C多线程程序分析.docVIP

基于带抑止弧Petri网C多线程程序分析 　　摘要：在.net开发环境中使用C#语言编写多线程代码可以大大提高代码的运行效率，更好的利用计算机的资源。但是多线程代码在运行过程中有着不确定性会导致代码中的潜在错误难以发现，使得代码的正确性和健壮性受到影响。本文通过Petri网对一个C#多线程程序建立模型并且通过对该模型的结构和行为进行分析从而对程序中的错误进行定位，然后分析了引发错误的原因并给出了解决方案。 　　关键词：带抑止弧Petri 网；多线程；模型；C#编程 　　中图分类号：TP311 文献标识码：A 　　 　　 引言。在单个程序里面同时运行多个线程来完成不同任务,称为多线程。多线程主要目的是为了节约CPU时间,提高CUP的利用率。但多线程会给程序带来更多难以发现的bug。Petri是一种功能强大的分布式系统的建模分析工具。在描述、模拟、分析系统的顺序、冲突、并发和同步等关系上有着其他模拟分析工具难以比拟的优势。 　　 1带抑止弧Petri 的概念。定义：一个五元组Σ=(S,T,F,I,M)组成一个带抑止弧的Petri网,(S,T,F)代表一个网,其中M表示一个网的标识,I。 　　 2 应用实例。生产者/ 消费者问题是线程同步控制的非常典型的例子,本文的程序中 Producer 线程负责生产商品,Consumer 线程负责在有商品的时候消费商品。PandC 类的对象是生产商品线程和消费商品线程共同访问的商品数据。 　　 程序如下: 　　using System; 　　using System.Threading; 　　namespace ProductAndConsume 　　{ 　　//主程序 　　public class Program 　　{ 　　public static void Main(string[] args) 　　{ 　　PandC t = new PandC(5); 　　Procedure p = new Procedure(t); 　　Consumer c = new Consumer(t); 　　Thread t1= new Thread(p.show); 　　Thread t2 = new Thread(c.show); 　　t1.Start(); 　　t2.Start(); 　　Console.ReadLine(); 　　} 　　} 　　} 　　//PandC类 　　public classPandC 　　{ 　　public int number = 0 ; 　　public int size ; 　　public bool available = false ; 　　public PandC(int size) 　　{ 　　this.size = size ; 　　} 　　 } 　　//Procedure类 　　class Procedure 　　{ 　　PandC t = null; 　　public Procedure(PandC t) 　　{ 　　this.t = t; 　　} 　　public void show() 　　{ 　　while (t.number t.size) 　　{ 　　Console.WriteLine(Product Commodity + (++t.number).ToString()); 　　t.available = true; 　　} 　　} 　　} 　　//Consumer类 　　class Consumer{ 　　PandC t = null; int i = 0; 　　public Consumer(PandC t) 　　{ 　　this.t = t; 　　} 　　public void show() 　　{ 　　while (i t.size) 　　{ 　　if (t.available == true i t.number) 　　Console.WriteLine(Consume Commodity + (++i).ToString()); 　　if (i == t.number) t.available = false; 　　} 　　} 　　} 　　 这个程序没有对线程进行同步,运行程序时不会出现问题,但是多次运行程序后会陷入死机程序出现错误。这个错误发生的几率很小,错误的原因也难以查找。但是依据上文的建模规则建立这个程序的Petri网模型,依靠Petri网的理论就能够分析和定为错误。该程序的Petri网模型如图1，当库所p8,p14,p15,p16同时都有标记时,Petri网中没有