-
题名MemPort:内存访问可移植性检测的设计和实现
- 1
-
-
作者
岳佳圆
曹宇
李弋
-
机构
复旦大学软件学院
上海市数据科学重点实验室(复旦大学)
上海计算机软件技术开发中心
-
出处
《小型微型计算机系统》
CSCD
北大核心
2016年第4期664-669,共6页
-
基金
上海市科委科研计划项目(13DZ1108800)资助
-
文摘
在程序可移植性问题中,运行时访存相关的可移植性问题具有极高的隐蔽性,现有技术难以准确地检测这些问题.如果程序存在这类移植性问题,开发人员需要花大量时间进行分析改正.本文基于符号执行的方法,提出一套完整的检测程序运行时潜在的访存相关可移植性问题的方法和技术,并实现了相应的工具.对一些有移植性特性的开源程序的源代码进行实验、测试和分析,检测模型和工具能准确地在程序源代码中指出存在潜在移植性问题的代码区域,并且实验结果也显示出了较高的检测准确率.
-
关键词
程序可移植性
程序分析
符号执行
编译器
-
Keywords
software portability
program analysis
symbolic execution
compiler
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一个基于图像代数的并行图像处理环境
被引量：3
- 2
-
-
作者
董开坤
胡铭曾
方滨兴
季振洲
-
机构
哈尔滨工业大学计算机科学与工程系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2004年第1期201-206,共6页
-
基金
"九五"国防预研基金项目 ( 16 6 2 5 )
-
文摘
系统可用性和应用程序可移植性差是许多现有的并行图像处理计算结构难以获得实际应用的重要原因 基于Ritter提出的图像代数理论 ,研究、实现了一个并行图像处理环境 用户在并行计算结构上进行程序设计时 ,只需用图像处理环境提供的图像代数运算描述算法即可 ,处理环境能够根据用户算法的描述 ,依据一个时间开销模型 ,自动从并行实现函数库中提取出最优或近似最优的并行代码完成算法的运行
-
关键词
图像处理
图像代数
并行处理
系统可用性
应用程序可移植性
-
Keywords
image processing
image algebra
parallel processing
system usability
portability of application program
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
-
