-
题名需求驱动的流敏感别名检查
被引量:1
- 1
-
-
作者
马晓东
匡碧英
尉红梅
-
机构
江南计算技术研究所
-
出处
《计算机工程与应用》
CSCD
2013年第10期35-39,共5页
-
基金
"核高基"重大专项(No.2009ZX01036-001-001)
-
文摘
别名分析的精度影响着很多其他编译优化的效果。在对展开后的循环体做指令调度的时候,不精确的别名分析结果会导致冗余数据依赖的产生,从而限制了调度。流敏感的别名分析因为代价过高而扩展性不好。在流不敏感别名信息的基础上,提出了一种需求驱动的流敏感别名检查方法,能够以流敏感的方式判断两个表达式在某程序点上是否为别名。该方法假设两个表达式之间具有别名关系,从而获取初始的数据流事实。用数据流分析技术计算逆向程序点上的数据流事实。如果在所有逆向路径上的数据流事实中都产生了矛盾,则认为别名关系不成立。实验结果表明,该方法能较好地提高别名分析的精度。
-
关键词
别名检查
流敏感
需求驱动
-
Keywords
alias checking
flow-sensitive
demand-driven
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名域一致性新型锁同步机制的实现
- 2
-
-
作者
余洋
匡碧英
沈金山
卢德平
-
机构
解放军信息工程大学
江南计算技术研究所
-
出处
《微计算机信息》
北大核心
2005年第07X期141-143,共3页
-
基金
国家863计划课题
编号2002aa112010
-
文摘
域一致性新型锁同步机制的实现将软件分布式共享存储系统所使用的基于域一致性协议锁机制以新的方式加以实现。它充分利用SMP结构所具有的特点,以多级方式实现锁同步机制,在结点内部使用了共享空间来实现锁的进程间信息的传递,让锁的获得、释放所需消息总量及消息传送次数大大减少,提高了锁的实现效率,进而程序的执行速度获得了提高。
-
关键词
DSM
分布式共享存储
SMP
新型锁
域一致性协议锁
-
Keywords
DSM
SMP
new type lock
Scope consistory
lock
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名域一致性新型锁同步机制的实现
- 3
-
-
作者
余洋
匡碧英
沈金山
卢德平
-
机构
郑州解放军信息工程大学
无锡江南计算技术研究所
-
出处
《微计算机信息》
北大核心
2005年第12X期193-195,共3页
-
基金
国家 863 计划课题
编号 2002aa112010
-
文摘
域一致性新型锁同步机制的实现将软件分布式共享存储系统所使用的基于域一致性协议锁机制以新的方式加以实现。它充分利用 SMP 结构所具有的特点, 以多级方式实现锁同步机制, 在结点内部使用了共享空间来实现锁的进程间信息的传递, 让锁的获得、释放所需消息总量及消息传送次数大大减少, 提高了锁的实现效率, 进而程序的执行速度获得了提高。
-
关键词
DSM
分布式共享存储
SMP
域一致性协议
同步机制
-
Keywords
DSM, SMP, new type lock, Scope consistory, lock
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件脆弱性检测方法综述
- 4
-
-
作者
秦晓军
匡碧英
肖健
-
机构
江南计算技术研究所
解放军
-
出处
《保密科学技术》
2012年第5期10-14,共5页
-
文摘
软件脆弱性是影响信息系统安全性的关键因素之一,软件脆弱性检测是保密技术领域的重要研究内容,本文对软件脆弱性的静态检测和动态检测方法进行了系统的总结,分析了各种检测技术的主要思想和实现算法,并对这两类方法的优缺点进行了定性比较。
-
关键词
软件脆弱性
静态分析
动态分析
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-