基于带抑止弧Petri网的C#多线程程序分析

来源 :中国新技术新产品 | 被引量 : 0次 | 上传用户:w33599589
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在.net开发环境中使用C#语言编写多线程代码可以大大提高代码的运行效率.更好的利用计算机的资源。但是多线程代码在运行过程中有着不确定性会导致代码中的潜在错误难以发现,使得代码的正确性和健壮性受到影响。本文通过Petri网对一个C#多线程程序建立模型并且通过对该模型的结构和行为进行分析从而对程序中的错误进行定位,然后分析了引发错误的原因并给出了解决方案。
其他文献
低温胁迫是影响植物正常生长的主要障碍因子之一,植物尤其是经济作物的抗冷性强弱直接影响作物产量。近二十年来,广大学者已对植物抗冷性进行了大量研究,对植物抗冷性生理生化机理及各生理生化指标与植物抗冷性的关系有了更深入的了解;通过分子标记技术,在分子水平上对植物抗冷性基因进行分析,获得了部分与抗冷性有关的基因。
对一个政党来讲,党章是其根本大法,是党的领导和执政的根本法规。区别于党内其它法规,它以其权威地位对党内最根本的问题作出相关规定,为党的领导提供明确规范和指导,与此同
随着城市建设经济的快速发展,市政道路工程的建设越来越重要,本文对路基施工技术与施工工艺方法进行了探讨。
为了提高负极片自动化生产线涂膏工序中螺杆泵挤出机挤出锌膏的质量精度,设计了挤出机锌膏挤出过程压力闭环测控系统。介绍了测控系统组成结构及原理。以工控机、USB数据采集
煤制气废水组分复杂,污染物浓度高,含有喹啉、异喹啉、甲基喹啉、吲哚、吡啶、联苯、咪唑、咔唑、烷基吡啶等多种生物难降解的有机物,经生化处理后,仍有较深的色度,CODcr也难
<正>The National Basic Research Program (also called 973 Program) is China&#39;s on-going national keystone basic research program, which was approved by the C
张从正,字子和,号戴人,为金元四大家之一,所著《儒门事亲》一书,宗《黄帝内经》《难经》之经旨,师仲景之汗、吐、下三法,对于汗、吐、下三法的运用有独到的见解,积累了丰富的经验,扩充
期刊
党的十八以来,以习近平同志为总书记的党中央高度重视党风廉政建设和反腐败斗争,坚持无禁区、全覆盖、零容忍,以踏石留印、抓铁有痕的决心坚决“打虎”“拍蝇”,党风政风焕然
近年来,不孕症的发病率居高不下,使得医院生殖中心人满为患,特别是在医护人力及医疗场所严重不足的情况下,矛盾凸显。比如:患者挂号难、排队长、候诊时间长,就诊次序混乱,就诊时间短