基于Petri网的任务并行依赖图的研究.pdfVIP

基于Petri网的任务并行依赖图研究 赵菁 窦万峰 南京师范大学计算机科学与技术学院 江苏省信息安全保密技术工程研究中心 [摘要]随着多核技术的普及，串行算法不能充分发挥硬件的优势，因此需要对算法进行并行化改造。本文首先针对地形分 析算法的特征，提出了一个统一的任务粒度模型及量化方法。由于传统的任务并行化使用有向无环图来描述任务之间的关系， 缺少对资源竞争的分析，因此本文提出了基于Petri网的任务并行依赖图及其量化分析方法，为任务调度策略提供了理论依据。 [关键词]Petri网；任务粒度模型；任务并行依赖图；数字地形分析 _Q匿突破与提升·2012高校GIs论坛论文集 有助于任务拆分策略以及负载均衡策略的制定。 衡量任务粒度的大小是进行任务调度的关键。根 3．1基本模壁 据计算节点的资源进行任务的调度，不仅可以提高节 任务粒度模型与数据粒度模型具有统一的抽象模 点计算资源的利用率，而且可以实现节点问的负载均 型，表达式如下： 衡。 G=怛，彳，尺)(1) 并行算法的效率与并行计算机(节点)的CPU性能 在公式(1)中：G代表粒度，E表示粒度实体名密切相关，CPU性能一般使用单位时间内浮点运算的次 称，A表示粒度实体所具有的属性，R代表粒度实体之间 数(FLOP)来进行衡量，因此任务粒度负载的衡量也使 的关系。 用FLOP作为度量单位。任务粒度的负载通过计算任务 本文中，任务泛指可以产生一次调度操作的算 中所涉及的运算操作符个数来进行度量。对于程序中 法、程序段或语句集，调度操作指进程或者线程的创 的其他类型的常用运算，可按照以下规则折合成浮点 建。粒度可以分为原子粒度与组合粒度，原子粒度是进 运算的次数： 行独立调度的最小单位，组合粒度是可以进行再次划 算}翻蹬1串等粒，复 分的实体。按照数字地形分析的算法特征，任务粒度可 以分为三个屡级，由高到低分别为：算法级任务粒度、 程睁级侄务柑度I l档序缓f【务”度l…I程序组f￡务转度 程序级任务粒度和语句级任务粒度。 定义1：算法级任务粒度(ATO)：由程序级任务粒 碥f1J纽fIl l谓幻级侄 务”窿I…l务”度lI嚣菇府 器嚣1．．．I黼lI‘燃1 并l＆疳I…l并杖霄 度组成，每个程序级任务粒度之间存在数据的输入输 出关系。因此算法级任务粒度属于组合粒度，可进行多 图1任务粒度层次关系 次拆分，主要面向数字地形分析中的水文结构特征算 法等综合性分析算法。 ●赋值操作、变址计算等均不予考虑，因此折合 定义2：程序级任务粒度(PTG)：可触发一个独立成FLOP； 任务，也可与其他程序级任务粒度组成更高一级的算 ●单独赋值操作、加法、减法、乘法、比较、数 法级任务粒度。在粒度模型的范畴内，此任务粒度属于 据类型转换等运算均折合成1FLOP； 组合粒度，可进行二次拆分并行。但从语义的角度看， ●除法、开平方运算折合成4FLOP： 程序级任务粒度是最小的语义单位，再次拆分后只具 ●指数类运算、三角函数运算折合成8FLOP： 有语法意义，失去语义。程序级任务粒度多用于描述地