-
题名一种具有容错功能的移动代理间通信技术
被引量：1
- 1
-
-
作者
陈鹏
温涛
刘爽
-
机构
辽宁石油化工大学计算机系
大连东软信息技术学院
-
出处
《计算机应用》
CSCD
北大核心
2003年第9期35-38,共4页
-
文摘
提出一种基于双向指针链的移动代理间通信算法,不仅能够保证移动代理间的可靠通信,而且能够通过迭起移动代理在移动过程中形成的前向指针链,有效地提高通信效率。在移动代理完成计算任务后,算法能够利用移动代理在迁移过程中形成的后向指针链回收其所占用的资源。
-
关键词
移动代理
分布式目录服务
容错
前向指针
后向指针
双向指针链
-
Keywords
mobile agent
distributed directory service
fault-tolerant
forwarding pointer
backwarding pointer
dual-direction chain
-
分类号
TP393.01
[自动化与计算机技术—计算机应用技术]
-
-
题名空指针解引用错误检测的静态方法研究
被引量：2
- 2
-
-
作者
徐厚峰
马晓东
-
机构
并行与分布处理重点实验室
-
出处
《计算机工程与科学》
CSCD
北大核心
2009年第3期92-96,共5页
-
基金
国家自然科学基金资助项目(60725206
60673118
+3 种基金
90612009)
国家863计划资助项目(2006AA01Z429)
国家973计划资助项目(2005CB321802)
新世纪优秀人才计划资助项目(NCET-04-0996)
-
文摘
空指针解引用是C语言中的一类常见的动态内存错误。Manevich R等提出了一种适用于检测空指针解引用错误的后向分析方法。本文将后向分析的思想和流敏感、上下文敏感的指针分析结合在一起,给出了一种需求驱动的空指针解引用检测静态分析算法。该算法首先由指针分析获得别名信息,然后针对所关心的数据做后向数据流分析,追踪数据传递的源头,以确定程序中的表达式是否产生解引用错误。我们在SUIF2平台上实现了这一算法。实验结果表明,算法具有较高的检测精度。
-
关键词
空指针解引用
指向图
后向分析
指针分析
-
Keywords
null pointer dereference
points-to graph
backwards analysis
pointer analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
