同步语言的时间可预测多线程代码生成方法

发布时间：2017-07-18 03:01

  本文关键词：同步语言的时间可预测多线程代码生成方法

  更多相关文章： 安全关键系统 多核处理器 时间可预测 同步语言 AADL(architecture analysis and design language)

【摘要】：能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即,时间可预测多线程代码的构造方法以及到多核硬件平台的映射.提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(architecture analysis and design language)的时间可预测多核体系结构模型,作为研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架.
【作者单位】： 南京航空航天大学计算机科学与技术学院;软件开发环境国家重点实验室(北京航空航天大学);软件新技术与产业化协同创新中心;IRIT
【关键词】： 安全关键系统 多核处理器 时间可预测 同步语言 AADL(architecture analysis and design language)
【基金】：国家自然科学基金(61502231) 国家重点基础研究发展计划(973)(2014CB744904) 江苏省自然科学基金(BK2015 0753) 软件开发环境国家重点实验室开放课题(SKLSDE-2015KF-04) 航空科学基金(2015ZC52027) 中国博士后科学基金~~
【分类号】：TP311.52
【正文快照】： 安全关键系统(safety-critical system)广泛应用于航空电子、航天器、核能、汽车控制等关键信息领域.由于功能和非功能需求的发展,这类系统对处理器计算性能的要求日趋提高.相比单核处理器,能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用.然而,在安全关键系

【共引文献】

中国博士学位论文全文数据库 前2条

1 唐俊杰;基于方程的信息物理融合系统建模与仿真技术研究[D];华中科技大学;2013年

2 唐俊杰;基于方程的信息物理融合系统建模与仿真技术研究[D];华中科技大学;2013年

【相似文献】

中国期刊全文数据库 前10条

1 白红;;浅议Java多线程程序设计[J];计算机光盘软件与应用;2013年02期

2 田晓红;国产多线程浏览器“七仙女”的靓点[J];电脑爱好者;2000年24期

3 谢谦,向国全;多线程串行通信实现技术[J];河南大学学报(自然科学版);2001年01期

4 margiex;;多线程中线程的同步及其应用[J];中文信息;2002年02期

5 肖烨;杨智勇;;Java多线程程序设计入门[J];中文信息;2003年06期

6 苏统华;;多线程串行通信系统的研究[J];中文信息;2003年07期

7 崔立剑;吴平;;Java多线程设计模式研究[J];计算机与现代化;2006年11期

8 甘群文;;C#多线程同步与异步的实现[J];电脑开发与应用;2009年09期

9 王沛礼;;高职学生如何掌握Java多线程同步技术[J];科技信息;2010年03期

10 卢海军;;最小的多线程框架[J];单片机与嵌入式系统应用;2010年04期

中国重要会议论文全文数据库 前10条

1 姚铎;刘亚萍;;一种基于多线程的BGP策略并行模型的研究方法[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年

2 刘阳;李孝辉;;多线程版本的串口读写技术研究[A];第三届全国虚拟仪器大会论文集[C];2008年

3 董光波;吴宁生;高效;曾庆虎;杨进;温京;;一种组件式多线程网络应用架构的设计与实现[A];2009年中国智能自动化会议论文集（第六分册）[中南大学学报（增刊）][C];2009年

4 肖静静;李双峰;彭智勇;;用多线程方式优化PostgreSQL的查询处理[A];第二十届全国数据库学术会议论文集（技术报告篇）[C];2003年

5 高齐新;扬金柱;赵大哲;刘积仁;;基于多线程的三维医学影像的重建[A];第十四届全国图象图形学学术会议论文集[C];2008年

6 闻建芬;何加铭;曾兴斌;陈静;;P2P网络资源多线程传输改进机制[A];浙江省电子学会2010学术年会论文集[C];2010年

7 王楠;慕晓冬;王宁燕;宋洪军;李佳晨;张阳子;;针对多线程架构的决策树查询算法优化及应用[A];中国电子学会第十六届信息论学术年会论文集[C];2009年

8 梁志威;;用Java语言实现蓝牙聊天平台[A];促进企业信息化进程——第九届中国Java技术及应用交流大会文集[C];2006年

9 霍利锋;白凤娥;;基于多线程的移动短信平台设计[A];AECC专题学术研讨会论文集[C];2007年

10 袁小龙;刘增才;李晓霞;郭力;;基于XML的半结构化化学信息提取系统的重构与优化[A];第九届全国计算（机）化学学术会议论文摘要集[C];2007年

中国重要报纸全文数据库 前10条

1 ;为何不能进行多线程下载文件？[N];电脑报;2001年

2 郭长佑;多核与多线程——差别到底在哪里？[N];电子资讯时报;2006年

3 ;网络业未来12件大事(下)[N];网络世界;2007年

4 nfy;IE6也能实现多线程下载[N];电脑报;2002年

5 武汉 Tianyi;创建简单的多线程程序[N];电脑报;2001年

6 CPW记者 凡妮;Sun年末奉硕果 预示复苏在即[N];电脑商报;2005年

7 张志刚;多线程走进网络[N];中国计算机报;2006年

8 凡妮;Sun 2009财年二季度财报总体好于预期[N];电脑商报;2009年

9 赵长林邋姜建华;Sun:“芯”如潮涌[N];中国计算机报;2007年

10 计算机世界实验室 吴挺;英特尔的8倍“核动力”[N];计算机世界;2007年

中国博士学位论文全文数据库 前4条

1 逄龙;多线程程序中关联变量原子性验证关键技术研究[D];哈尔滨工业大学;2015年

2 赵荣彩;多线程低功耗编译优化技术研究[D];中国科学院研究生院（计算技术研究所）;2002年

3 杨华;片上多线程体系结构资源分配策略的研究[D];哈尔滨工业大学;2006年

4 徐海峰;多线程的内存调度[D];浙江大学;2011年

中国硕士学位论文全文数据库 前10条

1 张传勇;基于hadoop影视碎片云存储的设计与实现[D];山东大学;2015年

2 张龙;聊天系统的设计与实现[D];大连理工大学;2015年

3 刘丽;嵌入式WM8960音频驱动及多线程播放器的设计[D];哈尔滨工业大学;2015年

4 陈结;同构多核环境下主从式多线程动态二进制翻译器[D];华中科技大学;2009年

5 殷绍剑;嵌入式多线程远程调试器研究与实现[D];电子科技大学;2013年

6 郜宪东;基于多线程的电信服务开通系统[D];电子科技大学;2011年

7 关旋旋;多线程软件中基于离散控制理论的故障避免[D];浙江工商大学;2014年

8 徐晓展;多线程并行传输技术的设计与实现[D];北京邮电大学;2011年

9 黄仁青;高速多线程剪卷焊一体化钢带生产线的设计[D];天津大学;2012年

10 张昱;多线程复制系统的确定性调度框架MDSF的研究与实现[D];北京邮电大学;2009年

，

本文编号：555699