-
题名控制膨胀的程序结构化
- 1
-
-
作者
张远芳
马国凯
朱嘉华
朱传琪
-
机构
复旦大学并行处理研究所
-
出处
《计算机工程与科学》
CSCD
2002年第1期100-102,107,共4页
-
基金
国防科技重点实验室基金资助项目 (JS94 6 1 JW0 70 3 )
-
文摘
目前人们通常单纯用增加临时变量和相关判断的方法 ,或者使用共享代码拷贝的方法来消除goto语句。但前一种方法会造成判定增加 ,语义分析困难 ;而后一种虽然使转变后的程序结构清晰 ,却造成benchmark中的某些程序急剧膨胀。针对上述问题 ,本文提出了能控制膨胀的代码拷贝算法 。
-
关键词
程序结构化
膨胀
代码拷贝
判定增加
-
Keywords
program structure
expansion
code copy
conditional statement increase
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名非局部跳转控制流的自动消除
- 2
-
-
作者
陈桂林
黄波
臧斌宇
朱传琪
-
机构
复旦大学并行处理研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
2000年第6期585-592,共8页
-
基金
国家自然科学基金
教育部博士点专项科研基金
-
文摘
longjmp是 C语言中实现非局部跳转的库函数调用 ,它破坏了程序的结构性 ,并使常见的数据流分析技术无法在包含 longjmp的程序段上有效地进行 .文中提出一种消除 longjmp的算法 ,该算法用转移语句和返回语句的结合来模拟非局部跳转功能 ,从而使控制流趋于规范并有利于数据流分析的进行 ,进一步地增强了挖掘程序并行性的能力 .
-
关键词
程序结构化
非局部跳转控制流
自动消除
-
Keywords
non-local goto, program structurization, interprocedural analysis, call stack, normalization
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
