资料下载
×
同步规范的并行代码自动生成
消耗积分:3 |
格式:rar |
大小:1.39 MB |
2017-12-27
分享资料个
随着对安全攸关实时系统功能与非功能要求的日益增加，使用多核技术将成为发展趋势，如何在多核平台条件下保证系统运行的可信任性及可靠性是学术上和应用上的关键问题．目前基于形式化方法的系统设计、验证以及自动代码生成已在单核平台上形成很多研究成果，但在多核平台上的研究仍面临许多科学问题．同步语言SIGNAL是一种被广泛应用于安全攸关实时系统功能设计的形式化方法，适用于对系统确定性并发行为的描述．SIGNAL编译器也支持将同步规范（synchronous specification）生成仿真代码，以对其进行验证与分析．然而，现有研究较少关注从SIGNAL同步规范到支持跨平台并行代码的生成方法．研究了面向SIGNAL同步规范的并行自动代码生成方法．提出了方程依赖图EDG的概念，将SIGNAL规范转换为EDG以分析其全局数据依赖关系；研究了对EDG进行任务划分获取规范中可以并行执行部分的算法；最后，以跨平台并行编程API-OpenMP作为对象，结合程序中信号的时钟关系，将并行任务映射到OpenMP并行代码，并进行了实例验证．
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
