资源服务链

为了得到没有资源依赖关系冲突的RSC,需要对RSC 进行正确性检测. 需要说明的是,本文规定任务只能从为其配置的每个资源集中仅选取一个资源,不会同时选取两个互为选择依赖关系的资源,从而避免了选择依赖关系冲突的出现. 因此本文只需要对其它6 种资源依赖关系进行检测.
依据资源的实际使用情况及使用经验,得到资源依赖关系式,进而得到同种资源依赖关系式的集合RandSet、RprevSet、PnextSet、RcdSet、RuncdSet、RsdSet,以上6 个资源依赖关系式集合可分别作为判断RSC 是否存在某一种资源依赖关系冲突的依据,即作为一种资源依赖关系检测算法的输入,分别设计出6 种资源依赖关系检测算法VA4Rand、VA4Rprev、VA4Rnext、VA4Rcd、VA4Runcd、VA4Rsd,由于6 种算法都是对资源依赖关系检测,有相同的算法框架,具体到每种检测算法,只需对算法框架中的可替换代码块针对性的设计即可.

你可能感兴趣的:(软件工程,软件需求,需求分析)