[发明专利]多任务部署的方法及装置

权利要求书

1.一种多任务部署的方法，其特征在于，包括：

获取目标平台的第一信息，所述第一信息用于表示所述目标平台的属性；

获取待部署的多个任务的第二信息，所述第二信息用于表示所述多个任务的需求；

基于形式化语言对所述第一信息及所述第二信息进行形式化描述，得到形式化模型；

使用状态机，基于所述形式化模型进行形式化分析，生成所述多个任务的部署策略；

根据所述部署策略对所述多个任务进行部署。

2.根据权利要求1所述的方法，其特征在于，所述目标平台包括多个节点，所述第一信息包括用于指示所述目标平台中的节点的个数、所述多个节点中的每个节点的类型、所述每个节点的能力、所述目标平台的功耗模式及各功耗模式的触发条件的信息，所述第二信息包括用于指示所述多个任务中的任务的个数、所述多个任务的依赖关系、所述多个任务中的每个任务的时间约束及执行所述每个任务需要的资源的信息。

3.根据权利要求1或2所述的方法，其特征在于，所述使用状态机，基于所述形式化模型进行形式化分析，生成所述多个任务的部署策略，包括：

使用状态机，基于所述形式化模型进行形式化分析，确定所述多个任务的部署策略是否发生冲突；

在所述多个任务的部署策略未发生冲突的情况下，生成所述多个任务的部署策略。

4.根据权利要求1或2所述的方法，其特征在于，所述使用状态机，基于所述形式化模型进行形式化分析，生成所述多个任务的部署策略，包括：

使用状态机，基于所述形式化模型进行形式化分析，确定所述多个任务的部署策略是否发生冲突；

在所述多个任务的部署策略发生冲突的情况下，确定所述多个任务的部署策略的冲突信息；

根据所述冲突信息调整所述形式化模型。

5.根据权利要求1至4中任一项所述的方法，其特征在于，所述使用状态机，基于所述形式化模型进行形式化分析，生成所述多个任务的部署策略，包括：

使用状态机，基于所述形式化模型进行形式化分析，生成所述多个任务的部署策略及所述目标平台的资源利用信息。

6.根据权利要求5所述的方法，其特征在于，所述方法还包括：

基于所述资源利用信息，在所述部署策略中增加任务；

根据增加的任务，更新所述资源利用信息。

7.根据权利要求1至6中任一项所述的方法，其特征在于，所述状态机包括平台状态机和任务状态机，所述平台状态机包括平台的功耗模式、各功耗模式间的切换条件及各功耗模式的资源约束，所述任务状态机包括任务状态和各任务状态间切换条件。

8.一种多任务部署的装置，其特征在于，包括：

第一获取单元，用于获取目标平台的第一信息，所述第一信息用于表示所述目标平台的属性；

第二获取单元，用于获取待部署的多个任务的第二信息，所述第二信息用于表示所述多个任务的需求；

形式化描述单元，用于基于形式化语言对所述第一信息及所述第二信息进行形式化描述，得到形式化模型；

形式化分析单元，用于使用状态机，基于所述形式化模型进行形式化分析，生成所述多个任务的部署策略；

部署单元，用于根据所述部署策略对所述多个任务进行部署。

9.根据权利要求8所述的装置，其特征在于，所述目标平台包括多个节点，所述第一信息包括用于指示所述目标平台中的节点的个数、所述多个节点中的每个节点的类型、所述每个节点的能力、所述目标平台的功耗模式及各功耗模式的触发条件的信息，所述第二信息包括用于指示所述多个任务中的任务的个数、所述多个任务的依赖关系、所述多个任务中的每个任务的时间约束及执行所述每个任务需要的资源的信息。