摘要
从Petri网的角度,异步并发是指两个或多个事件没有因果关系及由因果关系产生的顺序,与是否同时或是否有统一的时间控制没有关系。异步并发系统具有对称性、自返性而不具备传递性。其建模过程涉及到变迁发生的条件、结果以及是否存在冲突、冲撞等问题。用异步并发系统的建模方法改进Linux系统的队列数据结构,用Visobjnet++软件进行模拟,并编程测试,得到了比原结构更高的效率。
From petri net＇s angle, asynchronous simultaneously system is that two or more events haven＇t the relationship of cause and effect, and the sequence produced by them. It hasn＇t something to do with simultaneity and the same time control. It has the property of symmetry, retumingitself, but not transmitting, lts method ofmodeling involves not only the conditions and results oftranslation, but also confliction and collision, etc. Its application of improved queue is simulated by Visobjnet＋＋, programmed and is tested in Linux operation, and its efficiency is higher than the primary structure.
出处
《计算机工程与设计》
CSCD
北大核心
2006年第6期973-975,共3页
Computer Engineering and Design
基金
湖南省教育厅科学研究基金项目(02C088)
