Dispensa in PDF - Dipartimento di Scienze Ambientali, Informatica e ...

Carnielli Efrem: Programmazione a componenti
Principi di progettazione
nuovo activation record specifico per quella chiamata che rimane sullo stack per
tutto il tempo in cui la funzione è in esecuzione.
Le funzioni che chiamano altre funzioni danno luogo a una sequenza di record di
attivazione organizzata a pila, per l'appunto lo stack di attivazione, questa struttura
consente chiamate a funzioni ed ottimizza la ricorsione.
La sequenza dei link dinamici costituisce la cosiddetta catena dinamica che collega
gli activation record, e rappresenta la storia delle attivazioni.
Quando una funzione termina, il controllo torna alla funzione chiamante, che deve
riprendere la sua esecuzione dall’istruzione successiva alla chiamata della
funzione, mentre l'activation record della funzione chiamata viene smontato, (se ne
perde traccia), per lasciare spazio per nuove chiamate. Nell'esempio sopra, si vede
che gli activation record tengono traccia del punto di ritorno, che in entrambi i casi
consiste nell'assegnamento del risultato della funzione.
Quali altre informazioni possono mancare?
Se avessi una variabile z che rappresenta l'istanza di una classe devo avere
all'interno dell'activation record un riferimento all'oggetto che rappresenta, che si
troverà in java in memoria heap, mentre per alcuni linguaggi potrebbe essere
caricato nell'activation record.
Per le funzioni, spesso il record di attivazione prevede anche un’ulteriore cella,
destinata a contenere il risultato della funzione (come nell'esempio dove abbiamo
la variabile ret); altre volte, il risultato viene restituito dalla funzione al chiamante
semplicemente lasciandolo in un registro della CPU.
52