面向同步规范的并行代码自动生成

• 作者: Jean-Pierre TALPIN 尚利宏 张腾 杨志斌 胡凯
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 同步规范 SIGNAL 并行程序 代码生成 OpenMP
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1698-1712
• 页数: 15页
• 分类号: TP311
• 字数: 10698字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005056

摘要

随着对安全攸关实时系统功能与非功能要求的日益增加,使用多核技术将成为发展趋势.如何在多核平台条件下保证系统运行的可信任性及可靠性是学术上和应用上的关键问题.目前基于形式化方法的系统设计、验证以及自动代码生成已在单核平台上形成很多研究成果,但在多核平台上的研究仍面临许多科学问题.同步语言SIGNAL是一种被广泛应用于安全攸关实时系统功能设计的形式化方法,适用于对系统确定性并发行为的描述.SIGNAL编译器也支持将同步规范(synchronous specification)生成仿真代码,以对其进行验证与分析.然而,现有研究较少关注从SIGNAL同步规范到支持跨平台并行代码的生成方法.研究了面向SIGNAL同步规范的并行自动代码生成方法.提出了方程依赖图EDG的概念,将SIGNAL规范转换为EDG以分析其全局数据依赖关系;研究了对EDG进行任务划分获取规范中可以并行执行部分的算法;最后,以跨平台并行编程API-OpenMP作为对象,结合程序中信号的时钟关系,将并行任务映射到OpenMP并行代码,并进行了实例验证.