利用双向推导检测Java程序中的内存泄漏

来源 :计算机科学 | 被引量 : 0次 | 上传用户:DNGOUSIYMMY
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Java应用程序中大量使用动态内存。Java程序运行过程中会自动对不可达的动态内存进行回收,但不能及时地对应用程序中可达但不活跃的动态内存进行回收,从而造成内存泄漏。为有效地检测内存泄漏,提出了采用双向推导进行内存泄漏检测的方法,在推导的过程中利用分离逻辑理论对应用程序中的动态内存进行分析,确定到达程序中每条语句的可达的动态内存和活跃的动态内存,辅助完成动态内存泄漏的检测。
其他文献
电磁场数据的生成和体绘制是密集型计算,且十分耗时。为了实现数据的快速生成,提出基于CUDA加速的电磁场数据计算框架,亦即将大量的传播模型计算移植到GPU中。同时,为了达到可交互性,将光线投射算法移植到GPU上执行。鉴于电磁场数据的特点,提出相交投影的概念,并利用其判断光线与数据场的相交情况。仿真结果显示,基于CUDA的数据生成可以达到158的加速比,光线投射算法也能以高达63的帧速进行绘制,满足了
传统上对网络流时间序列分析多采用线性分析方法,没有充分利用到网络流客观存在的非线性特征息,从而使数据分析能力受限.提出了基于定量递归分析递归率REC特征的网络流量相空
根据基于视频监控客流量统计的应用要求,得到了一种改进的背景检测和跟踪计数方法,实现了多人准确跟踪计数。传统的高斯背景建模是对一帧图像的每个像素点进行更新且分配固定的高斯分布个数,使得资源消耗量增大;这里通过先判断待更新区域,然后对更新区域采用动态调节高斯分布的方法对像素点进行更新,同时考虑到均值与方差的特点,分别设置了各自的更新速率。跟踪部分利用连通域分析创建人体结点并得到目标的形心,采用向前优先
数据和信息系统是现代企业运营的基本要素,确保数据的完整性和信息系统的高可用性成为了信息化部门关注的焦点。针对中、小型企业应用容灾问题的要求和特点,提出了基于vSpher
通过在近似空间中扩入二元关系以及若干评估因子,得到了粗糙评估系统。基于各评估因子,定义了权重和综合权重的概念,引出了边集合的综合下限值。利用综合下限值对路径进行优化分
通过低倍检查、金相检测及能谱分析等手段,在厚度方向性能不合格的马氏体超高强度HG980 钢板厚度中心处发现偏聚带.针对组织、成分及夹杂物形态进行逆向工序分析,结果表明HG9
采用超低C、低Si、低Mn成分体系设计,配合VD残氧脱碳+LF精炼+VD真空处理的冶炼工艺,保证C≤0.05%,充分降低有害气体N、H含量,通过适当的控轧和正火工艺,成功生产出厚度规格达80
舞钢采用超低碳贝氏体成分设计思路和TMCP + 回火工艺,开发生产了厚度1 4 - 5 0m m的TMCP +回火型A709M -HPS -485WT2钢板,各项性能指标及焊接性能优良,成功应用于美国某岸桥
通过低碳当量高强钢相变规律研究,对100 mm厚690 MPa级别钢种的化学成分进行了低碳当量优化设计。经过静态CCT曲线测定,发现低碳当量成分体系钢的马氏体完全转变临界冷速为60
基于行为的判别已成为恶意代码检测技术研究的主流方向,现有方法容易受到拟态攻击或影子攻击的影响。针对这些问题,提出了一种全新的使用谓词时序逻辑描述恶意代码行为的方法,该