一种分布式系统时序关系建模与仿真分析方法

摘要

本发明提供了一种分布式系统时序关系建模与仿真分析方法，首先通过自底向上的方法对分布式嵌入式系统的关键组成部件进行抽象与建模，分别建立各部件的模型，然后建立分布式系统中系统资源与处理器的映射方式、任务之间的偏序关系、处理器间的同步协议等的模型，引入虚拟时钟的模型，用以实现对系统中时间的控制。本发明得到一个系统模型来描述分布式嵌入式系统，分别建立系统的处理器、资源、任务、通信网络及消息传递、端到端事务、任务偏序关系、时间距离约束的模型，通过系统仿真分析得到分布式嵌入式系统的各类时间指标、资源使用情况、任务时序关系等信息，对设计人员提供量化的指导，帮助设计人员对系统资源与任务进行合理规划。

说明书

技术领域

本发明涉及分布式嵌入式系统技术领域，特别涉及一种分布式系统时序关系建模与仿真分析方法。

背景技术

当前分布式系统规模不断扩大，系统功能愈加复杂，系统中并发、任务依赖和资源竞争等情况引入更多不确定性，对系统时序建模和分析愈加困难。为解决上述问题，研究一种分布式系统的时序建模和仿真技术，对系统时序相关内容进行建模，包括系统中任务的时间属性、任务间偏序关系、处理器和资源的配置以及处理器间的同步等，并对系统的执行过程进行仿真，获取系统时序的仿真结果，为系统时序关系的设计和优化提供参考。

发明内容

为了克服现有技术的不足，本发明提供一种分布式系统时序关系建模与仿真分析方法。首先通过自底向上的方法对分布式嵌入式系统的关键组成部件进行抽象与建模，分别建立各部件的模型，然后建立分布式系统中系统资源与处理器的映射方式、任务之间的偏序关系、处理器间的同步协议等的模型，在对系统进行仿真时，引入虚拟时钟的模型，用以实现对系统中时间的控制，在模型的基础上实现对系统的仿真。

本发明解决其技术问题所采用的技术方案的具体实现步骤如下：

步骤一、建立处理器模型；

首先给出分布式系统处理器模型的描述：

Processor＝

其中，p_id为处理器的标识，type表述处理器的类型，num表示此类型处理器的数量，preemption为处理器的抢占性，表示任务在处理器上的执行被抢占或者不能被抢占，speed为处理器运算速率，处理器的运算速率为一个相对值，处理器的运算速率会影响任务的执行时间，任务在运算速率为x

步骤二、建立系统资源模型；

建立分布式系统中的各类资源的模型：

Resource＝＜preemption,num,type,requesttime,releasetime＞

其中，preemption为抢占性，表示资源是否可以被抢占；num为资源数量，描述该类资源的数量；type用来区分资源的类型，如共享数据对象、缓冲区、内存等可以使用不同的类型表示；requesttime表示任务请求此资源的时间开销；releasetime表示任务释放该资源的时间开销；

步骤三、建立任务模型

分布式系统的任务模型分为周期性任务和偶发性任务，系统中周期任务参数包括：任务标识、优先级、任务周期、释放时间、相位、最差执行时间、最差执行时间分布、响应时间、相对时限、绝对时限、利用率、时间裕量、阻塞时间、所在处理器和资源需求；偶发性任务参数包括任务标识、优先级、释放时间、抖动、最小时间间隔、最差执行时间、最差执行时间分布、响应时间、相对时限、绝对时限、时间裕量、阻塞时间、所在处理器和资源需求；

步骤四、建立通信网络与信息传递模型；

将分布式系统中的网络连接抽象为网络处理器，将分布式系统不同网络节点之间的信息传递抽象为消息传输任务；

网络处理器的模型为：

NetworkProcessor＝＜scheduling_strategy,bandwidth＞

其中：scheduling_strategy表示网络处理器中使用的调度策略；bandwidth表示网络带宽；

消息传输任务的模型为：

MessageTask＝

其中t_id表示消息传输任务的标识，WCET表示消息传输任务的最差执行时间，bandwidth表示执行该任务需要的带宽，sourceProcessor表示发出该消息的处理器，destionProcessoor表示接受该消息的处理器；

步骤五、端到端事务(End-to-End Transaction)建模

定义完成一个特定功能的任务的集合，称为端到端的事务，简称事务；

Transaction＝

式中，Sequences表示该事务中的任务序列，不仅描述所包含的任务，还约束了任务的前后关系；release_time为事务的释放时间，使用第一个任务的释放时间来进行表示，deadline为事务的截止时间，使用最后一个任务的截止时间表示，事务的响应时间response_time为所有任务的执行时间之和，utilization利用率为所有任务的执行时间与最后一个任务截止时间和第一个任务释放时间之差的比值；

步骤六、任务的偏序关系；

对于任务间的偏序关系，包括以下几种类型：

前驱、后继、直接前驱、直接后继、AND/OR前驱、AND/OR后继；

如果任务K在任务T执行完成之前不能开始执行，则称任务T为任务K的前驱，任务K为任务T的后继，使用“<”描述任务之间的先后约束关系，即T

直接前驱：如果任务T执行完成之后，K即可执行，则称T为K的直接前驱，称K为T的直接后继；

AND/OR前驱约束：如果一个任务存在多个直接前驱，那么在它所有的直接前驱完成之前必须等待，然后才能执行，则称为这样的任务为AND任务，他们之间的依赖关系称为AND优先约束。与AND优先约束相反，如果只要任务的一个或者一部分直接前驱已经完成，那么此任务在它的释放时间之后即可执行，则称此任务为OR任务。

AND/OR后继约束：在传统的模型中，一个任务所有的直接后继都必须执行，所有的约束都是AND约束。如果一个任务的直接后继为OR约束，那么此任务只有部分直接后继执行，如果直接后继只有一个需要执行，则称该任务为条件块。

任务之间的偏序关系使用任务图进行描述；

步骤七、时间距离约束建模；

任务之间不仅有顺序约束，在某些情况下要求两个任务完成时间的差值在一定的范围之内，定义时间距离来描述此种情形，时间距离的模型如下：

TemporalDistance＝

其中，preTask表示前序任务；tDistance表示两个任务之间的时间距离；suTask表示后序任务。

步骤八、系统级时序仿真

在完成分布式系统建模的基础上，基于以上模型对系统的执行过程进行仿真。

所述步骤八的仿真步骤如下：

1)定义系统全局时钟和局部时钟，时钟的时刻随着仿真步长的增加而增加；

2)按照预先设定的调度算法对处理器上的任务进行调度执行；

3)在每一个仿真步长内将任务执行的顺序关系和时间属性与系统模型进行比较，如果未出现违背，则继续下一个仿真步长，如果出现违背，则停止仿真；

4)在仿真过程使用局部时钟记录每一个任务的响应时间、阻塞时间，端到端事务的响应时间；使用全局时钟记录任务的释放时刻、任务执行的时间区间、任务的完成时刻，端到端事务的释放时刻和完成时刻；

5)记录系统中不同类型资源随着时间变化的使用量。

本发明的有益效果是通过对分布式系统进行抽象与建模，得到一个系统模型来描述分布式嵌入式系统，分别建立系统的处理器、资源、任务、通信网络及消息传递、端到端事务、任务偏序关系、时间距离约束的模型，通过系统仿真分析得到分布式嵌入式系统的各类时间指标、资源使用情况、任务时序关系等信息，根据以上信息验证系统执行过程是否满足预定要求，据此判断系统任务序列编排、处理器和资源配置等结果是否合理，是否能够满足设计要求，对设计人员提供量化的指导，帮助设计人员对系统资源与任务进行合理规划。

附图说明

图1是本发明资源配置图。

图2是本发明系统任务图。

图3是本发明系统仿真分析过程示意图。

具体实施方式

下面结合附图和实施例对本发明进一步说明。

参照图1-图3，本发明关于分布式系统时序关系建模与仿真分析方法步骤如下：

步骤一、建立处理器的模型

建立分布式系统中处理器的集合，处理器集合如下式所示，其中n表示系统中处理器的数量：

Processors＝

每一个处理器的模型描述如下：

Processor＝

其中：p_id为处理器的标识，type表述处理器的类型，num表示此类型处理器的数量，preemption为处理器的抢占性，表示任务在处理器上的执行被抢占或者不能被抢占，speed为处理器运算速率：处理器的运算速率为一个相对值，处理器的运算速率会影响任务的执行时间，任务在运算速率为x

步骤二、建立系统资源模型

建立分布式系统中的各类资源的模型：

Resource＝＜preemption,num,type,requesttime,releasetime＞

其中，preemption为抢占性，表示资源是否可以被抢占；num为资源数量，描述该类资源的数量；type用来区分资源的类型，如共享数据对象、缓冲区、内存等可以使用不同的类型表示；requesttime表示任务请求此资源的时间开销；releasetime表示任务释放该资源的时间开销。

步骤三、任务模型

分布式系统中的任务包括周期性任务和偶发性任务：

1)周期性任务

2)偶发性任务：

步骤四、建立通信网络与信息传递模型

将分布式系统中的网络连接抽象为网络处理器，将分布式系统不同网络节点之间的信息传递抽象为消息传输任务，消息传输任务所使用的调度算法类似于使用处理器调度的优先级驱动算法。在所有情况下，可以通过在模型中包含网络处理器和消息传输任务，将处理器间通信开销计算在内，而无需单独用特殊的方法考虑这些因素，简化分析过程。

网络处理器的模型为：

NetworkProcessor＝＜scheduling_strategy,bandwidth＞

其中：scheduling_strategy表示网络处理器中使用的调度策略；bandwidth表示网络带宽。

消息传输任务的模型为：

MessageTask＝

其中t_id表示消息传输任务的标识，WCET表示消息传输任务的最差执行时间，bandwidth表示执行该任务需要的带宽，sourceProcessor表示发出该消息的处理器，destionProcessoor表示接受该消息的处理器。

步骤五、端到端事务(End-to-End Transaction)建模

定义完成一个特定功能的任务的集合，称为端到端的事务，简称事务。

Transaction＝

式中，Sequences表示该事务中的任务序列，不仅描述所包含的任务，还约束了任务的前后关系；release_time为事务的释放时间，使用第一个任务的释放时间来进行表示，deadline为事务的截止时间，使用最后一个任务的截止时间表示，事务的响应时间response_time为所有任务的执行时间之和，utilization利用率为所有任务的执行时间与最后一个任务截止时间和第一个任务释放时间之差的比值。

步骤六、任务的偏序关系

对于任务间的偏序关系，包括以下几种类型：

前驱、后继、直接前驱、直接后继、AND/OR前驱、AND/OR后继。

如果任务K在任务T执行完成之前不能开始执行，则称任务T为任务K的前驱，任务K为任务T的后继。使用“<”来描述任务之间的先后约束关系，即T

直接前驱：如果任务T执行完成之后，K即可执行，则称T为K的直接前驱，称K为T的直接后继。

AND/OR前驱约束：如果一个任务存在多个直接前驱，那么在它所有的直接前驱完成之前必须等待，然后才能执行，则称为这样的任务为AND任务，他们之间的依赖关系称为AND优先约束。与AND优先约束相反，如果只要任务的一个或者一部分直接前驱已经完成，那么此任务在它的释放时间之后即可执行，则称此任务为OR任务。

AND/OR后继约束：在传统的模型中，一个任务所有的直接后继都必须执行，所有的约束都是AND约束。如果一个任务的直接后继为OR约束，那么此任务只有部分直接后继执行，如果直接后继只有一个需要执行，则称该任务为条件块。任务之间的偏序关系使用任务图进行描述。

步骤七、时间距离约束建模

任务之间不仅有顺序约束，在某些情况下要求两个任务完成时间的差值在一定的范围之内，定义时间距离来描述此种情形，时间距离的模型如下：

TemporalDistance＝

其中，preTask表示前序任务；tDistance表示两个任务之间的时间距离；suTask表示后序任务。

步骤八、系统级时序仿真

在完成分布式系统建模的基础上，基于以上模型对系统的执行过程进行仿真，步骤如下：

1)定义系统全局时钟和局部时钟，时钟的时刻随着仿真步长的增加而增加；

2)按照预先设定的调度算法对处理器上的任务进行调度执行；

3)在每一个仿真步长内将任务执行的顺序关系和时间属性与系统模型进行比较，如果未出现违背，则继续下一个仿真步长，如果出现违背，则停止仿真；

4)在仿真过程使用局部时钟记录每一个任务的响应时间、阻塞时间，端到端事务的响应时间；使用全局时钟记录任务的释放时刻、任务执行的时间区间、任务的完成时刻，端到端事务的释放时刻和完成时刻；

5)记录系统中不同类型资源随着时间变化的使用量。