信息科学技术学院.pptVIP

理论模型：LilyTask并行计算模型 处理任务并行的基础模型 描述任务关系图 实现任务关系驱动 有效地描述并实现多个问题协同工作 START 第六十二页，共九十一页。 LilyTask计算模型中的基本概念（1） 任务：解决一个问题所需要完成的一段工作，这个工作具有如下两个性质： 只有在这段工作启动前能够接收其它工作传递的数据 只有在这段工作完成后才能够向其它工作传递数据 任务间关系：一个具有指向性的有序四元组 源任务, 源任务数据, 目标任务, 目标任务数据位置 从“源任务”指向“目标任务”，标志着源任务完成时，需要将指定的源任务数据，放入目标任务的指定数据位置中 一条关系描述的数据传递（可以为空）完成后，标志着这条关系的完成 同时表达着任务启动条件：一个任务可以启动，当且仅当所有指向它的任务间关系已经完成 第六十三页，共九十一页。 LilyTask计算模型中的基本概念（2） 任务组，简化任务间关系的描述形式 任务关系图、任务关系驱动 START 第六十四页，共九十一页。 子系统处理任务过程[1] 第二部分：若干思路 NX1 NX2 NY1 NY2 NZ1 NZ2 NUx | CX NUy | CY NUz | CZ CU TAll 1、子系统X首先把任务TAll在X内部面向NXi进行处理 X 第三十页，共九十一页。 子系统处理任务过程[2] 第二部分：若干思路 NX1 NX2 NY1 NY2 NZ1 NZ2 NUx | CX NUy | CY NUz | CZ CU TIM 2、当X能力不足时，通过CX将无法完成的部分任务TIM提交到U U T1 T2 第三十一页，共九十一页。 子系统处理任务过程[3] 第二部分：若干思路 NX1 NX2 NY1 NY2 NZ1 NZ2 NUx | CX NUy | CY NUz | CZ CU 3、U把TIM面向NUi进行，选定一个（或多个）信息点，例如NUz，即CZ T1 T2 TIM U 第三十二页，共九十一页。 子系统处理任务过程[4] 第二部分：若干思路 NX1 NX2 NY1 NY2 NZ1 NZ2 NUx | CX NUy | CY NUz | CZ CU 4、Z把通过CZ得到的TIM在Z内部面向NZi进行处理 T1 T2 Z TIM 第三十三页，共九十一页。 子系统处理任务的最终结果 第二部分：若干思路 NX1 NX2 NY1 NY2 NZ1 NZ2 NUx | CX NUy | CY NUz | CZ CU TIM1 TIM2 T1 T2 现在，X和Z都有任务在运行 第三十四页，共九十一页。 管理逻辑模型小结 两个重要问题 对于子系统内部调度框架的思考 信息负责点分层连动制 似乎都是 “显而易见”的想法 但是把整个理论完善起来并不容易 关键在于能否根据此理论实现高效的实用系统 尚属初步的研究阶段，具有很大的研究空间 尚需工作 模型的具体细节，如一个任务所需处理器个数超过任何一个最底层子系统怎么办？ 需要证明，将猜想转变为理论 结合管理性能模型进一步优化 实现高效的实用系统 第二部分：若干思路 第三十五页，共九十一页。 管理模型之性能模型 尚未开始研究 必须在得出基本逻辑模型后才可进行 将与逻辑模型交互发展 得到基本性能模型后，结合实测数据，指导逻辑模型的优化 优化后的逻辑模型，得到优化的性能模型 第二部分：若干思路 第三十六页，共九十一页。 学界对管理模型的相关研究 还没有一个针对大规模的，可能具有计算能力异构性质的、多层并行性的集群系统的完善的逻辑模型和性能模型 考察IEEE TPDS近5年的文章 所有的模型都缺少理论上的完善 面向实际系统的资源管理和调度策略都是基于自提出的启发式算法，只是用“实验数据”来说明问题 基本没有见到完善的、统一的多层次管理模型 可能的多层次管理：网格系统 Globus Tookit 3 GRAM 第二部分：若干思路 第三十七页，共九十一页。 综合考虑 理论研究 机器模型、任务模型、管理模型 集中体现：猜想中的信息团模型 以信息团为基础，分层次连动管理 第二部分：若干思路 第三十八页，共九十一页。 信息团模型的自然简单描述 基础描述 参考网络自然拓扑等情况，最底层组成多个子系统，每个由少量（如10台）计算机构成对等结构，形成信息团 这些信息团子系统可以继续组织成多个层次，各个层次所需信息的空间粒度及时间粒度不同 各子系统间使用分层连动制进行交互 基本的任务管理策略：具有分时性质的分区共享 主要优势 可在大规模集群系统中充分利用系统计算资源 层次化管理，可将多个不同网络的系统组织成更大系统，适应Grid环境 第二部分：若干思路 第三十九页，共九十一页。 对信息团模型形式化的初步考虑 传统问题 给定资源集R、任务集T 存在调度方法D(R,