基于细胞膜演算的Dryad形式化描述

• 作者: 任俊绮 刘丰 刘磊 吕帅
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 云计算 编程模型 Dryad 细胞膜演算 形式化 有向无环图
• 年，卷（期）: 2016,（11）
• 页码范围: 1539-1545
• 页数: 7页
• 分类号: TP301
• 字数: 5171字
• 语种: 中文
• DOI: 10.11990/jheu.201509081

摘要

由于Dryad编程模型的实现并不开源，导致关于Dryad编程模型的理论研究较为缺乏。本文利用细胞膜演算在描述并发系统的优势，对Dryad编程模型中任务执行过程进行了准确清晰的形式化描述，并对Dryad编程模型的容错机制进行了描述，最后通过一个实例检验了形式化描述结果。本文的形式化描述方法有效地丰富了编程模型的理论体系，为编程人员提供了任务调度的优化依据，同时该形式化描述还可作为验证程序正确性的辅助工具。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	吕帅	吉林大学计算机科学与技术学院	42	204	8.0	13.0
6	刘丰	吉林大学计算机科学与技术学院	18	17	2.0	3.0
7	任俊绮	吉林大学计算机科学与技术学院	4	4	1.0	1.0