کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9657408 | 1441790 | 2005 | 38 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Static insertion of safe and effective memory reuse commands into ML-like programs
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Static insertion of safe and effective memory reuse commands into ML-like programs Static insertion of safe and effective memory reuse commands into ML-like programs](/preview/png/9657408.png)
چکیده انگلیسی
We present a static analysis that estimates reusable memory cells and a source-level transformation that adds explicit memory reuse commands into the program text. For benchmark ML programs, our analysis and transformation system achieves a memory reuse ratio from 5.2% to 91.3% and reduces the memory peak from 0.0% to 71.9%. The small-ratio cases are for programs that have a number of data structures that are shared. For other cases, our experimental results are encouraging in terms of accuracy and cost. Major features of our analysis and transformation are: (1) polyvariant analysis of functions by parameterization for the argument heap cells; (2) use of multiset formulas in expressing the sharings and partitionings of heap cells; (3) deallocations conditioned by dynamic flags that are passed as extra arguments to functions; (4) individual heap cells as the granularity of explicit memory reuse. Our analysis and transformation system is fully automatic.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 58, Issues 1â2, October 2005, Pages 141-178
Journal: Science of Computer Programming - Volume 58, Issues 1â2, October 2005, Pages 141-178
نویسندگان
Oukseh Lee, Hongseok Yang, Kwangkeun Yi,