An object oriented mechanism and method allow allocating a greater number of objects on a method's invocation stack. Each instruction that creates an object (i.e., allocation instruction) is first analyzed to determine whether it is one of the following three types: no escape, global escape, and arg escape. If an allocation instruction is global escape, the object must be allocated from the heap. If an allocation instruction is no escape, it can be allocated on the method's invocation stack frame. If an allocation instruction is arg escape, further analysis is required to determine whether the object can be allocated on an invoking method's stack or must be allocated from the heap. If the method that contains an arg escape allocation instruction can be inlined into a method from which the lifetime of the object does not escape, the object can be allocated on the invoking method's stack. This inlining can be done for several layers up, if needed and possible. This allows for nested objects to be potentially allocated on a method's stack, instead of forcing each of these objects to be allocated from the heap.

Un meccanismo e un metodo orientati oggetto concedono assegnare un numero più grande di oggetti sulla pila di invocation del metodo. Ogni istruzione che genera un oggetto (cioè, istruzione di ripartizione) in primo luogo è analizzata per determinare se sia uno di seguenti tre tipi: nessuna fuga, fuga globale e fuga del arg. Se un'istruzione di ripartizione è fuga globale, l'oggetto deve essere assegnato dal mucchio. Se un'istruzione di ripartizione è fuga, può essere assegnata sulla struttura della pila di invocation del metodo. Se un'istruzione di ripartizione è fuga del arg, ulteriore analisi è richiesta determinare se l'oggetto possa essere assegnato sulla pila del metodo d'invocazione o debba essere assegnato dal mucchio. Se il metodo che contiene un'istruzione di ripartizione di fuga del arg può essere inlined in un metodo da cui il corso della vita dell'oggetto non fuoriesce, l'oggetto può essere assegnato sulla pila del metodo d'invocazione. Ciò che inlining può essere fatta per parecchi strati in su, se necessario e possibile. Ciò tiene conto affinchè gli oggetti annidati potenzialmente sia assegnata sulla pila del metodo, invece di forzatura del ciascuno di questi oggetti per essere assegnato dal mucchio.

 
Web www.patentalert.com

< (none)

< Control information generating apparatus for broadcast system

> Scratch segment subsystem for a parallel processing database system

> (none)

~ 00056