Return of an Object in Two-Stack Dynamic Memory

Abstract

In a two-stack dynamic memory implementation a function returning an object is required to shift the object from locations in its local variables and parameters area to new locations at the top of the calling function’s local variables and parameters area. Special actions are implemented when the object to be shifted is referenced by one or more pointers. These pointers may be located outside the function’s local variables and parameters area and their locations may be unknown within the function. Pointers may also be within the object to be returned. During shifting the addresses are changed and the corresponding pointers must be adjusted. The authors have proposed a solution to this problem using a new pointer type, along with a modification of the call procedure for two-stack dynamic memory.