计算网格框架的形式定义

摘要：

计算网格是第三代因特网和高性能并行计算的研究热点,并提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受.但是目前网格系统尚无一个清楚的定义,本文基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型.希望能给认识、研究、推广网格计算扫除一些障碍.

关键词： 计算网格 形式定义 谓词/变迁系统 点火规则 映射函数

作者: 曾国荪

作者单位: 同济大学计算机科学与工程系(上海)

会议类型: 国内会议

会议名称: 2002年全国计算机体系结构学术会议

会议地点: 秦皇岛

会议语种:中文

页码: 276-280

在线出版日期: 2002-08-22（万方平台首次上网日期，不代表论文的发表时间）