匡碧英
- 作品数：7 被引量：1H指数：1
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家科技重大专项国家科技攻关计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 软件脆弱性检测方法综述
- 2012年
- 软件脆弱性是影响信息系统安全性的关键因素之一,软件脆弱性检测是保密技术领域的重要研究内容,本文对软件脆弱性的静态检测和动态检测方法进行了系统的总结,分析了各种检测技术的主要思想和实现算法,并对这两类方法的优缺点进行了定性比较。
- 秦晓军匡碧英肖健
- 关键词：软件脆弱性
- 域一致性新型锁同步机制的实现
- 2005年
- 域一致性新型锁同步机制的实现将软件分布式共享存储系统所使用的基于域一致性协议锁机制以新的方式加以实现。它充分利用SMP结构所具有的特点,以多级方式实现锁同步机制,在结点内部使用了共享空间来实现锁的进程间信息的传递,让锁的获得、释放所需消息总量及消息传送次数大大减少,提高了锁的实现效率,进而程序的执行速度获得了提高。
- 余洋匡碧英沈金山卢德平
- 关键词：DSM分布式共享存储SMP
- 一种高动态环境中的P2P存储系统拓扑设计
- 针对高动态环境中节点频繁动态加入和退出问题,提出了一种将长期在线的节点构建为核心P2P网络的分层P2P存储系统拓扑设计。由于IP地址占用和兴趣主机分布呈现聚簇现象,P2P存储系统拓扑也应具有类似的聚簇现象,因此本文采...
- JIANG XIN姜鑫KUANG BI-YING匡碧英WANG BING-BING王兵兵
- 关键词：P2P网络拓扑设计高动态环境
- 文献传递网络资源链接
- 需求驱动的流敏感别名检查被引量：1
- 2013年
- 别名分析的精度影响着很多其他编译优化的效果。在对展开后的循环体做指令调度的时候,不精确的别名分析结果会导致冗余数据依赖的产生,从而限制了调度。流敏感的别名分析因为代价过高而扩展性不好。在流不敏感别名信息的基础上,提出了一种需求驱动的流敏感别名检查方法,能够以流敏感的方式判断两个表达式在某程序点上是否为别名。该方法假设两个表达式之间具有别名关系,从而获取初始的数据流事实。用数据流分析技术计算逆向程序点上的数据流事实。如果在所有逆向路径上的数据流事实中都产生了矛盾,则认为别名关系不成立。实验结果表明,该方法能较好地提高别名分析的精度。
- 马晓东匡碧英尉红梅
- 域一致性新型锁同步机制的实现
- 2005年
- 域一致性新型锁同步机制的实现将软件分布式共享存储系统所使用的基于域一致性协议锁机制以新的方式加以实现。它充分利用 SMP 结构所具有的特点, 以多级方式实现锁同步机制, 在结点内部使用了共享空间来实现锁的进程间信息的传递, 让锁的获得、释放所需消息总量及消息传送次数大大减少, 提高了锁的实现效率, 进而程序的执行速度获得了提高。
- 余洋匡碧英沈金山卢德平
- 关键词：DSM分布式共享存储SMP
