کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
433840 1441677 2014 29 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Summary-based inference of quantitative bounds of live heap objects
ترجمه فارسی عنوان
استنتاج خلاصه مبتنی بر محدودیت های کمی از اجسام کج زنده
کلمات کلیدی
مصرف منابع، تجزیه و تحلیل کمی، الزامات حافظه
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی

This article presents a symbolic static analysis for computing parametric upper bounds of the number of simultaneously live objects of sequential Java-like programs. Inferring the peak amount of irreclaimable objects is the cornerstone for analyzing potential heap-memory consumption of stand-alone applications or libraries. The analysis builds method-level summaries quantifying the peak number of live objects and the number of escaping objects. Summaries are built by resorting to summaries of their callees. The usability, scalability and precision of the technique is validated by successfully predicting the object heap usage of a medium-size, real-life application which is significantly larger than other previously reported case-studies.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 92, Part A, 15 October 2014, Pages 56–84
نویسندگان
, , , ,