主权项 |
一种多任务资源冲突分段检测方法,其特征在于包括以下步骤:1)给定以下数据:资源名称及其总量;各项任务占用资源的开始时间、结束时间、数量;2)根据各项任务占用资源的时间构建资源使用的时间区间,形成各项任务占用资源的时间点的集合{M<sup>1</sup>},{M<sup>1</sup>}的数据结构模型为:M<sub>i</sub><sup>1</sup>{ti<sup>1</sup>,Tk,Rk,type};其中:ti<sup>1</sup>表示时间点,Tk表示第k个任务,Rk表示任务k占用的资源数量,type表示时间点ti<sup>1</sup>对应的任务Tk占用资源的时间类型,该时间类型为开始时间或结束时间;3)将{M<sup>1</sup>}中重合的时间点合并,并按时间的先后顺序排列,形成新的时间点序列的集合{M<sup>2</sup>},集合{M<sup>2</sup>}数据结构模型为:M<sub>i</sub><sup>2</sup>{ti<sup>2</sup>,M<sub>a</sub><sup>1</sup>,M<sub>b</sub><sup>1</sup>,M<sub>c</sub><sup>1</sup>,……};其中:ti<sup>2</sup>表示排序并去除重复时间点后的时间点,M<sub>k</sub><sup>1</sup>表示ti时刻集合{M<sup>1</sup>}的模型;此时,{M<sup>2</sup>}中每两个相邻的时间点都构成一个资源使用时间区间;4)记录{M<sup>2</sup>}中的各时间点的类型是某项任务占用资源的开始时间还是结束时间;5)计算{M<sup>2</sup>}中每个资源使用时间区间内的占用资源量;在以上分析的基础上,得到以下数据:各个时间区间的资源使用量;最大资源使用量以及使用量最大的区间;最少资源使用量以及使用量最少的区间;是否存在资源冲突,以及存在冲突的时间区间,检测资源冲突的方法是看当前时段资源的分配量是否大于资源的总量,是则发生冲突。 |