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.