Presentation is loading. Please wait.

Presentation is loading. Please wait.

Low-Overhead Memory Leak Detection Using Adaptive Statistical Profiling ZHANG Hansheng 1 Nov 2013.

Published byJeffery Kennedy Modified over 9 years ago

Similar presentations

Presentation on theme: "Low-Overhead Memory Leak Detection Using Adaptive Statistical Profiling ZHANG Hansheng 1 Nov 2013."— Presentation transcript:

1 Low-Overhead Memory Leak Detection Using Adaptive Statistical Profiling ZHANG Hansheng 1 Nov 2013

2 In Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2004) Trishul M. Chilimbi, Microsoft Research, One Microsoft Way, Redmond, WA Matthias Hauswirth, University of Colorado at Boulder, Boulder, CO About the Paper

3 Arnold-Ryder framework startup:nCheck = nCheck0 If nCheck > 0 run checking code decrease nCheck else run instrumented code nCheck = nCheck0

4 Bursty Tracing startup: nCheck = nCheck0 nInstr = 0 If nCheck > 0 run checking code decrease nCheck if nCheck=0 nInstr=nInstr0 if nInstr>0 run instrumented code decreate nInstr if nInstr=0 nCheck=nCheck0

5 Adaptive Bursty Tracing (ABT)

6 Requirements AllocateObject(ip, startAddress, size) FreeObject(ip, startAddress) FindObject(ip, addresss) GetObjectIterator Implementations Hash table (address->objectInfo) Hash table (startAddress->objectInfo) Hash table (address->offsetToStartAddress) Address tree Heap Model

7 0 0 0 0 0 000 0000000 0000100001001100 1 1 1 1 1 111 1111111 Address: 0101 0101 Heap Model Slides showing heap model are copied from: http://research.microsoft.com/en-us/um/people/trishulc/swatpresentation3.ppt

8 8 0 0 0 0 0 000 0000000 0000100001001100 1 1 1 1 1 111 1111111 8 byte0101 Heap Model

9 0 0 0 0 0 000 0000000 0000100001001100 1 1 1 1 1 111 1111111 Heap Model

10 10 0 00 000 00000 0000100001001100 1 11 111 11111 Heap Model

11 11 0 00 000 00000 0000100001001100 1 11 111 11111 Heap Model

12 12 0 00 00 00 0000100001001100 1 11 11 11 Heap Model

13 13 0 00 00 00 1 11 11 11 Start address:0101 Size:8 Access count:19 Last access time:19’000’000 Alloc site:EIP 0x400019 Last access site:EIP 0x400190 Heap Model

14 Leak Reporting

15 Benchmarks SPECInt2000 Largest data Case study Large Interactive Web Application 3 rd Party PC Game (Strategy) Multimedia Application First Party PC Game (Simulation) Experiments

16 Runtime Overhead

17 Space Overhead

18 Impact of Adaptive Profiling on Leak Detection

19 Staleness Prediction Evaluation

20 Case Studies

Download ppt "Low-Overhead Memory Leak Detection Using Adaptive Statistical Profiling ZHANG Hansheng 1 Nov 2013."

Similar presentations

An Implementation of Mostly- Copying GC on Ruby VM Tomoharu Ugawa The University of Electro-Communications, Japan.

An Implementation of Mostly- Copying GC on Ruby VM Tomoharu Ugawa The University of Electro-Communications, Japan.
Borland Optimizeit™ Profiler for the Microsoft .NET Framework

Borland Optimizeit™ Profiler for the Microsoft .NET Framework
SPEED: Precise & Efficient Static Estimation of Symbolic Computational Complexity Sumit Gulwani MSR Redmond TexPoint fonts used in EMF. Read the TexPoint.

SPEED: Precise & Efficient Static Estimation of Symbolic Computational Complexity Sumit Gulwani MSR Redmond TexPoint fonts used in EMF. Read the TexPoint.
Zhiguo Ge, Weng-Fai Wong, and Hock-Beng Lim Proceedings of the Design, Automation, and Test in Europe Conference, 2007 (DATE’07) April 2007 2015/4/17.

Zhiguo Ge, Weng-Fai Wong, and Hock-Beng Lim Proceedings of the Design, Automation, and Test in Europe Conference, 2007 (DATE’07) April /4/17.
HeapMD: Identifying Heap-based Bugs using Anomaly Detection Trishul M. Chilimbi Microsoft Research Redmond, WA Vinod Ganapathy University.

HeapMD: Identifying Heap-based Bugs using Anomaly Detection Trishul M. Chilimbi Microsoft Research Redmond, WA Vinod Ganapathy University.
Tamper-Tolerant Software: Modeling and Implementation International Workshop on Security (IWSEC 2009) October 28-30, 2009 – Toyama, Japan Mariusz H. Jakubowski.

Tamper-Tolerant Software: Modeling and Implementation International Workshop on Security (IWSEC 2009) October 28-30, 2009 – Toyama, Japan Mariusz H. Jakubowski.
Resurrector: A Tunable Object Lifetime Profiling Technique Guoqing Xu University of California, Irvine OOPSLA’13 Conference Talk 1.

Resurrector: A Tunable Object Lifetime Profiling Technique Guoqing Xu University of California, Irvine OOPSLA’13 Conference Talk 1.
1 Framework for Profile-Analysis Data-Layout Optimizations Shai RubinRas BodikTrishul Chilimbi Microsoft ResearchUniversity of Wisconsin.

1 Framework for Profile-Analysis Data-Layout Optimizations Shai RubinRas BodikTrishul Chilimbi Microsoft ResearchUniversity of Wisconsin.
Memory Leak WEBLOGIC SERVER.  Overview of Java Heap  What is a Memory Leak  Symptoms of Memory Leaks  How to troubleshoot  Tools  Best Practices.

Memory Leak WEBLOGIC SERVER.  Overview of Java Heap  What is a Memory Leak  Symptoms of Memory Leaks  How to troubleshoot  Tools  Best Practices.
Guoquing Xu, Atanas Rountev Ohio State University Oct 9 th, 2008 Presented by Eun Jung Park.

Guoquing Xu, Atanas Rountev Ohio State University Oct 9 th, 2008 Presented by Eun Jung Park.
How to Detect a Memory Leak By Using System Performance Monitor in Windows 2000.

How to Detect a Memory Leak By Using System Performance Monitor in Windows 2000.
Hastings Purify: Fast Detection of Memory Leaks and Access Errors.

Hastings Purify: Fast Detection of Memory Leaks and Access Errors.
LOW-OVERHEAD MEMORY LEAK DETECTION USING ADAPTIVE STATISTICAL PROFILING WHAT’S THE PROBLEM? CONTRIBUTIONS EVALUATION WEAKNESS AND FUTURE WORKS.

LOW-OVERHEAD MEMORY LEAK DETECTION USING ADAPTIVE STATISTICAL PROFILING WHAT’S THE PROBLEM? CONTRIBUTIONS EVALUATION WEAKNESS AND FUTURE WORKS.
CORK: DYNAMIC MEMORY LEAK DETECTION FOR GARBAGE- COLLECTED LANGUAGES A TRADEOFF BETWEEN EFFICIENCY AND ACCURATE, USEFUL RESULTS.

CORK: DYNAMIC MEMORY LEAK DETECTION FOR GARBAGE- COLLECTED LANGUAGES A TRADEOFF BETWEEN EFFICIENCY AND ACCURATE, USEFUL RESULTS.
1 SWAT Memory Leak Detection Matthias Hauswirth. 2 Agenda Approaches to memory leak detection SWAT infrastructure Heap model Staleness predicates Leak.

1 SWAT Memory Leak Detection Matthias Hauswirth. 2 Agenda Approaches to memory leak detection SWAT infrastructure Heap model Staleness predicates Leak.
SKELETON BASED PERFORMANCE PREDICTION ON SHARED NETWORKS Sukhdeep Sodhi Microsoft Corp Jaspal Subhlok University of Houston.

SKELETON BASED PERFORMANCE PREDICTION ON SHARED NETWORKS Sukhdeep Sodhi Microsoft Corp Jaspal Subhlok University of Houston.
Increasing Memory Usage in Real-Time GC Tobias Ritzau and Peter Fritzson Department of Computer and Information Science Linköpings universitet

Increasing Memory Usage in Real-Time GC Tobias Ritzau and Peter Fritzson Department of Computer and Information Science Linköpings universitet
ATOM: A System for Building Customized Program Analysis Tools.

ATOM: A System for Building Customized Program Analysis Tools.
Memory Allocation. Three kinds of memory Fixed memory Stack memory Heap memory.

Memory Allocation. Three kinds of memory Fixed memory Stack memory Heap memory.
Partisan Webs (Including the media). The Partisan Webs paper Set up fictitious names and addresses Bought subscriptions/made contributions Traced what.

Partisan Webs (Including the media). The Partisan Webs paper Set up fictitious names and addresses Bought subscriptions/made contributions Traced what.

Similar presentations

Ads by Google