教授 博士生导师
招生学科专业:
计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
性别:男
学历:北京航空航天大学
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院/软件学院
电子邮箱:
最后更新时间:..
点击次数:
所属单位:计算机科学与技术学院/人工智能学院/软件学院
发表刊物:软件学报
关键字:同步语言;同步多时钟卫式动作;多线程代码生成;
摘要:随着安全关键系统对计算性能要求的日趋提高,相比单核处理器,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用.同步语言能够表达确定性并发行为且具有精确时间语义等特性,非常适合用于安全关键软件建模和验证.目前,同步语言SIGNAL编译器主要支持串行代码生成,较少关注多线程代码生成.本文提出一种同步语言SIGNAL多线程代码生成工具.首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序;其次将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系;然后对时钟数据依赖图进行拓扑排序划分,并针对划分结果提出优化算法和基于流水线方式的任务划分方法;最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码.通过在多核处理器上实验验证本文所提方法的有效性.
是否译文:否
发表时间:2019-03-29
合写作者:袁胜浩,谢健,周勇,陈哲,薛垒,BODEVEIX Jean-Paul,FILALI Mamoun
通讯作者:杨志斌