新闻动态
驱动控制设计分析并发性
http://sytm.net 发布日期:2014/1/14 13:42:02

通过面向对象分析建立起来的动态模型,是分析并发性的主要依据。如果两个对象彼此间不存在交互,或者它们同事接受触发事件,则这两个对象在本质上是并发的。通过检查各个对象的状态图及它们之间交换的事件,能够把若干个非并发的对象归并到一条控制线中。所谓控制线,是一条遍及状态图集合的路径,在这条路径上每次只有一个对象是活动的,。在计算机系统中用任务(Task)实现控制线,一般认为任务是进程(Process)的别名。通常把多个任务的并发执行称为多任务。

对于某些应用系统来说,通过划分任务,可以简化系统的设计及编码工作。不同的任务标识了必须同时发生的不不同行为。这种并发行为既可以在不同的处理器上实现,也可以在单个处理器上利用多任务操作系统仿真实现(通常采用时间分片策略仿真多处理器环境)。




在众多的并发性分析方法当中,基于Petri网的方法是经常被使用的。作者经过多年研究基于Petri网建立了一套并发性分析、挖掘和延拓方法。

在构成待开发的所有类当中,若两个类之间存在消息传递,则称之为相关。如图8-7所示,相关性可以分为4类:正相关、反相关、输出相关和控制相关,其中O1和O2分别表示两个类。

一般认为凡是具有相关性的类之间均不能实现并发,反之则可以实现并发。基于相关性的分类给出了并行性挖掘和延拓方法。其中并行性挖掘将顺序执行的任务序列进一步分解成为抽象层次更低的多个任务集合的活动序列,根据相关性分析方法,使相关性局部化,达到了让部分活动并行进行的目的。并行性延拓是将并行性由局部延拓到全局的方法。该方法的意义在于使系统活动在全局范围内并行,达到进一步提高软件效率的目的。

如图8-8所示,通过并行性分析可以知道再ATM系统中打印收据活动与更新ATM日志活动可以并发执行。而由于身份验证活动与取钱活动存在正相关,因此,不能实现并发。





更多阅读
返回列表
© 2010 TianMei Technology All rights reserved. ICP:辽B-2-4-20100065辽公网安备 21010202000010号  网站地图