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

g(){
.
.
.
y = f(3, obj);
.
.
.
}
f(a,b){
int c;
int d;
MyClass e;
c = d = 1;
e = b;
e.a1 = 7;
return e.a1;
}
(a)
Dynamic Chain
Carnielli Efrem: Programmazione a componenti
Valore di return: 7
a 3
b
c ⊥ 1
d ⊥ 1
e NULL
Activation record
di f
Activation record
di g
Activation Stack
Figura 3.3. Esempi di chiamata di una funzione.
Principi di progettazione
a1 7
a2 1
Memoria Heap
(a) = indirizzo di ritorno
In questo esempio la funzione g in esecuzione (vediamo che l’activation record di g
è già presente nell’activation stack) chiama la funzione f. Di conseguenza viene
inserito nell’activation stack l’activation record di f che presenta i campi dei
parametri passati e delle variabili. Il passaggio dei parametri viene effettuato per
valore, quindi vediamo che b assume il puntatore all’oggetto nella memoria Heap
(frecce in blu). L’activation record memorizza anche l’indirizzo dell’istruzione
successiva alla chiamata di f in g, ovvero y =valore di ritorno .
Con l’esecuzione di f vengono modificati i campi dell’activation record di f, in
particolare viene modificato il valore di c e d, e punta all’oggetto puntato da b,
viene modificato un campo dell’oggetto e impostato il valore da ritornare a g (tutto
visualizzato in rosso).
Un altro importante elemento che potrebbe essere presente all'interno
dell'activation record a seconda del tipo di linguaggio di programmazione che
utilizziamo è lo static link.
Il link statico che da origine alla static chain è un puntatore al contesto della
funzione, ovvero tutto ciò che viene utilizzato dalla funzione ma è locale ad essa;
53