Ovidiu Gheorghioiu. Statically determining memory consumption of real-time Java threads. MEng thesis, Massachusetts Institute of Technology, June 2002.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....can use to structure code based on their understanding of the memory usage behavior of a program; this mechanism may enable programmers to obtain a smaller space overhead. The additional development burden consists of grouping objects into regions and determining the maximum size of LT regions [31, 32]. 5. Conclusions The Real Time Specification for Java (RTSJ) allows programs to create real time threads and use region based memory management. The RTSJ uses runtime checks to ensure memory safety. This paper presents a static type system that guarantees that these runtime checks will never ....

O. Gheorghioiu. Statically determining memory consumption of real-time Java threads. MEng thesis, Massachusetts Institute of Technology, June 2002.

....can use to structure code based on their understanding of the memory usage behavior of a program; this mechanism may enable programmers to obtain a smaller space overhead. The additional development burden consists of grouping objects into regions and determining the maximum size of LT regions [31, 32]. 5. Conclusions The Real Time Speci cation for Java (RTSJ) allows programs to create real time threads and use region based memory management. The RTSJ uses runtime checks to ensure memory safety. This paper presents a static type system that guarantees that these runtime checks will never ....

O. Gheorghioiu. Statically determining memory consumption of real-time Java threads. MEng thesis, Massachusetts Institute of Technology, June 2002.

....two potential bene ts of our analysis. First, it can be used to simplify a computation of the amount of memory required to execute a given program. We have implemented a memory requirements analysis that, when possible, computes a symbolic mathematical expression for this amount of memory [16]. Our results from [16] show that preceding the memory requirements analysis with the analysis presented in this paper, then using the results to compute the memory requirements of unitary sites separately, can signi cantly improve both the precision and the eciency of the subsequent memory ....

....ts of our analysis. First, it can be used to simplify a computation of the amount of memory required to execute a given program. We have implemented a memory requirements analysis that, when possible, computes a symbolic mathematical expression for this amount of memory [16] Our results from [16] show that preceding the memory requirements analysis with the analysis presented in this paper, then using the results to compute the memory requirements of unitary sites separately, can signi cantly improve both the precision and the eciency of the subsequent memory requirements analysis. The ....

Ovidiu Gheorghioiu. Statically determining memory consumption of real-time Java threads. MEng thesis, Massachusetts Institute of Technology, 2002.

No context found.

Ovidiu Gheorghioiu. Statically determining memory consumption of real-time Java threads. MEng thesis, Massachusetts Institute of Technology, June 2002.

No context found.

Ovidiu Gheorghioiu. Statically determining memory consumption of real-time Java threads. MEng thesis, Massachusetts Institute of Technology, June 2002.

No context found.

Ovidiu Gheorghioiu. Statically determining memory consumption of real-time Java threads. MEng thesis, Massachusetts Institute of Technology, June 2002.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC