【摘 要】
：
Linux操作系统、嵌入式系统、航电系统、通信系统等一般都是用C/C++语言进行编写。因为C语言具有偏底层硬件、移植性强、执行效率高等优秀特性。但是随着多核并行机的出现,许
【机 构】
：
南京航空航天大学计算机科学与技术学院
论文部分内容阅读
Linux操作系统、嵌入式系统、航电系统、通信系统等一般都是用C/C++语言进行编写。因为C语言具有偏底层硬件、移植性强、执行效率高等优秀特性。但是随着多核并行机的出现,许多语言也开始支持多线程编程。由于C语言本身存在着对内存访问时,不对内存边界进行检查的问题,从而造成软件系统相关的可靠性和安全性问题。对多线程C语言程序来说,由于多线程程序的不确定性,使得运行时验证多线程C程序的内存安全问题变得更加困难。通过使用基于改进的指针运行时验证技术、多核多线程技术、并行计算、无锁数据结构技术、源代码插桩技术方法,
其他文献
冰碛湖溃决泥石流是高山高寒地区一种常见的灾害类型,虽爆发频率低,但造成的危害极大,该类型的泥石流防治是区域开发建设中必须要面对的问题,而流量计算又是其核心问题之一。
重卡车桥作为重卡4大总成(驾驶室、发动机、变速器、车桥)之一,其行业和技术发展水平在一定程度上关乎着重卡行业的发展。重卡车桥行业的发展目前国内重卡车桥生产企业主要有
介绍了近几年国内外塑料管道市场发展现状及趋势;同时分析了国内管道行业的发展特点;提出了我国塑料管道行业目前存在的主要问题;对应用领域塑料管道产品的生产和应用情况进
阐述BA纱的研发思路,采用棉和涤纶为原料,通过3种纺纱工艺纺制36.0 tex棉涤混纺(60∶40)针织纱,并通过生产实践确定最佳的产品开发工艺。详细讨论关键技术,包括清花工序混合
随着世界经济的向前发展和经济全球化的深入,产业转移已经成为世界范围内的突出特征。产业转移不仅是优化生产力空间布局,促进区域间产业合理分工体系形成的重要途径,也是转
清至民国时期,甘肃地区的旱灾十分频繁,给当地人民的生产与生活造成了极大影响。近年来,甘肃地区更是旱情严重,防旱、抗旱事业日渐成为关系甘肃民生的头等大事。研究清至民国
SVG作为一种新型的无功补偿装置，已经成为现代无功补偿的发展方向，在电力系统稳定与经济运行中起着重要的作用。级联结构的SVG具有许多优点，比如不需要多重化变压器，因此体积小、
<正>丽都整形美容集团前身于2002年在上海成立,并于2015年11月24日正式新三板挂牌上市(股票简称:丽都整形股票代码:834480)。丽都集团下属整形医院遍布北京、沈阳、贵阳、太
将肉桂皮用乙醇反复浸泡萃取,然后将浸泡液进行水蒸气蒸馏分离,获得天然有机物肉桂醛,该项研究是应用生物学研究领域从绿色植物中提取有机物的一次有益尝试.具有重要的实践和
<正>纵观近几年全国各地的中考数学试卷,我们发现,有关全等三角形的试题是重点考查题型。下面举例说明全等三角形的重要考点。一、判定两个三角形全等的条件例1如图1,四边形A