Efficient memory-reference checks for real-time java
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Application of redundant computation in program debugging
Journal of Systems and Software
| Hi-index | 0.00 |
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus maintaining the pointer safety of Java. This paper provides an implementation solutionto ensure the checking of these rules before each assignment statement, where the check is performed dynamically using write barriers. The presented solution includes write barriers for both region-based memory management and a real-time garbage collector within the heap.