期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
一种同步语言多线程代码自动生成工具 被引量:12
1
作者 杨志斌 袁胜浩 +5 位作者 谢健 周勇 陈哲 薛垒 Jean-Paul BODEVEIX Mamoun FILALI 《软件学报》 EI CSCD 北大核心 2019年第7期1980-2002,共23页
随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用。同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模... 随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用。同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模和验证。目前,同步语言SIGNAL编译器主要支持串行代码生成,较少关注多线程代码生成。提出一种同步语言SIGNAL多线程代码生成工具。首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序;之后将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系;然后对时钟数据依赖图进行拓扑排序划分,并针对划分结果提出优化算法和基于流水线方式的任务划分方法;最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码。通过在多核处理器上的实验,验证了所提方法的有效性。 展开更多
关键词 同步语言 同步时钟动作 线程代码生成
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部