信息科学技术学院.pptVIP

理论模型：LilyTask并行计算模型 处理任务并行的基础模型 描述任务关系图 实现任务关系驱动 有效地描述并实现多个问题协同工作 START LilyTask计算模型中的基本概念（1） 任务：解决一个问题所需要完成的一段工作，这个工作具有如下两个性质： 只有在这段工作启动前能够接收其它工作传递的数据 只有在这段工作完成后才能够向其它工作传递数据 任务间关系：一个具有指向性的有序四元组 源任务, 源任务数据, 目标任务, 目标任务数据位置 从“源任务”指向“目标任务”，标志着源任务完成时，需要将指定的源任务数据，放入目标任务的指定数据位置中 一条关系描述的数据传递（可以为空）完成后，标志着这条关系的完成 同时表达着任务启动条件：一个任务可以启动，当且仅当所有指向它的任务间关系已经完成 LilyTask计算模型中的基本概念（2） 任务组，简化任务间关系的描述形式 任务关系图、任务关系驱动 START LilyTask计算模型的命题 命题 描述任务关系图，实现任务关系驱动的LilyTask计算模型能够有效地描述并实现多个子问题协同工作 基础认定 一个问题可以分解为多个子问题（也许递归继续分解），这些子问题协同工作，共同完成待解决问题 问题之间可以进行数据传递 除了最初工作的问题，一个问题必须由另外一个问题通知运行，我们将这个过程称作“激活”；我们假定最初工作的问题也是由一个特殊