Path and Context Sensitive Inter-procedural Memory Leak Detection

Xu, Zhongxing; Jian, Zhang

doi:10.1109/qsic.2008.12

Cited by 14 publications

(5 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…One major memory-related phenomenon which indicates the existence of software aging is memory leak. Many memory leaking problems are difficult to detect, and there are few symptoms other than the slowing down of system performance and the steady increase in memory consumption [35]. Concisely put, memory leaking occurs when a process allocates memory during its execution, and continues to allocate more memory in each subsequent execution without freeing that previously used.…”

Section: Experimental Studymentioning

confidence: 99%

Software Aging Issues in Streaming Video Player

Araújo¹,

Oliveira²,

Matos³

et al. 2016

JSW

View full text Add to dashboard Cite

Many researchers around the world are working hard to improve cloud-based services focusing on server-side and communication aspects. This is especially true for services which demand high processing power and storage space on their server's infrastructure, such as live video streaming on the web and video on demand. However, issues on client-side applications are often neglected or studied to a lower extent. In this context, this paper evaluates the occurrence of software aging in a web browser plug-in for video streaming. The case study is carried out by using an automated workload that simulates the user behavior accessing videos on YouTube. Time series were used to predict the resources utilization ahead of time, enabling the prevention of performance degradation and unexpected crashes. Finally, the prediction-based strategy is compared to the time-based strategy, showing the impact of both on system's availability.

show abstract

Section: Experimental Studymentioning

confidence: 99%

Software Aging Issues in Streaming Video Player

Araújo¹,

Oliveira²,

Matos³

et al. 2016

JSW

View full text Add to dashboard Cite

show abstract

“…Holley and Rosen [26] have introduced qualified dataflow analysis to distinguish infeasible paths from the remaining paths. Other researchers have used symbolic evaluation to detect infeasible paths [5], [6], [7], [8].…”

Section: Related Workmentioning

confidence: 99%

“…Accurate path-sensitive analyses require that: (a) execution effects along each path in a control-flow graph (CFG) are analyzed in isolation, i.e., without merging effects from different paths, and (b) effects along infeasible paths are excluded. The specific challenges for efficient and accurate path-sensitive analyses are thus: (a) exponential growth of the number of paths with the number of non-nested branch nodes in the CFG [1], [2], and (b) checking path feasibility requires checking satisfiability of branch conditions along the path, a process that also can incur exponential computation [3], [4], [5], [6], [7], [8].…”

Section: Introductionmentioning

confidence: 99%

Event-Flow Graphs for Efficient Path-Sensitive Analyses

Tamrawi¹,

Kothari²

2014

Preprint

View full text Add to dashboard Cite

Efficient and accurate path-sensitive analyses pose the challenges of: (a) analyzing an exponentially-increasing number of paths in a control-flow graph (CFG), and (b) checking feasibility of paths in a CFG. We address these challenges by introducing an equivalence relation on the CFG paths to partition them into equivalence classes. It is then sufficient to perform analysis on these equivalence classes rather than on the individual paths in a CFG. This technique has two major advantages: (a) although the number of paths in a CFG can be exponentially large, the essential information to be analyzed is captured by a small number of equivalence classes, and (b) checking path feasibility becomes simpler. The key challenge is how to efficiently compute equivalence classes of paths in a CFG without examining each path in the CFG? In this paper, we present a linear-time algorithm to form equivalence classes without the need for examination of each path in a CFG. The key to this algorithm is construction of an event-flow graph (EFG), a compact derivative of the CFG, in which each path represents an equivalence class of paths in the corresponding CFG. EFGs are defined with respect to the set of events that are in turn defined by the analyzed property. The equivalence classes are thus guaranteed to preserve all the event traces in the original CFG. We present an empirical evaluation of the Linux kernel (v3.12). The EFGs in our evaluation are defined with respect to events of the spin safe-synchronization property. Evaluation results show that there are many fewer EFG-based equivalence classes compared to the corresponding number of paths in a CFG. This reduction is close to 99% for CFGs with a large number of paths. Moreover, our controlled experiment results show that EFGs are human comprehensible and compact compared to their corresponding CFGs.

show abstract

“…Memory leaking in long running programs can cause system performance degradation, and even system crash [19]. Many memory leaking problems are subtle and hard to be detected.…”

Section: Memory Leakingmentioning

confidence: 99%

“…Many memory leaking problems are subtle and hard to be detected. They have few symptoms other than the slowing down system's performance and steady increase in memory consumption [19]. Memory leaks occur because a block of memory was not freed when it should, hence it is a primary cause for possible further system failure.Since memory leakings may jeopardize computer's performance by reducing the amount of available memory.This study focuses on identifying the existence of memory leaks caused by the Eucalyptus software.…”

Section: Memory Leakingmentioning

confidence: 99%

Experimental evaluation of software aging effects on the eucalyptus cloud computing infrastructure

Araújo

Matos

Maciel

et al. 2011

Proceedings of the Middleware 2011 Industry Track Workshop

View full text Add to dashboard Cite

The need for reliability and availability has increased in modern applications, which need to handle rapidly growing demands while providing uninterrupted service. This work investigates the memory leak and memory fragmentation aging effects on the Eucalyptus cloud-computing framework, which considers workloads composed of intensive requests addressing different virtual machines. We experimentally show the existence of the investigated aging effects in the cloud environment under study. Also, a software rejuvenation strategy to mitigate the observed aging effects is proposed and its benefits are evaluated.

show abstract

Path and Context Sensitive Inter-procedural Memory Leak Detection

Cited by 14 publications

References 6 publications

Software Aging Issues in Streaming Video Player

Software Aging Issues in Streaming Video Player

Event-Flow Graphs for Efficient Path-Sensitive Analyses

Experimental evaluation of software aging effects on the eucalyptus cloud computing infrastructure

Contact Info

Product

Resources

About