1 Semantica Operazionale di un frammento di Java: intro estensione (con piccole varianti) di quella di FP | v |

Presentazione sul tema: "1 Semantica Operazionale di un frammento di Java: intro estensione (con piccole varianti) di quella di FP | v |"— Transcript della presentazione:

1 1 Semantica Operazionale di un frammento di Java: intro estensione (con piccole varianti) di quella di FP | v |

2 2 Cosa aggiungiamo 4 le gerarchie di classi –trattiamo ereditarietà ed overriding 4 l’attributo “static” per variabili e metodi –esistono variabili e metodi propri della classe, oltre a quelli propri degli oggetti 4 i costruttori (forma semplificata) –metodi che vengono invocati al momento della creazione di una istanza di classe

3 3 Inoltre 4 Espressioni per accedere ai nomi del tipo Path.I variabile Path.I(ListP) chiamata di metodo Path generico (puo’ riferirsi ad un oggetto, una classe, puo’ essere vuoto) Dobbiamo generalizzare le regole di accesso e ricerca dei nomi

4 4 Semantica operazionale piu’ orientata all’implementazione –per esempio le strutture dati che si usano per descrivere lo stato e le transizioni 4 simile alle strutture a run-time della JVM, che esegue il byte-code prodotto dal compilatore

5 5 Se c1 è una sottoclasse di (estende) c2 le variabili e metodi statici di c2 (e delle sue superclassi) sono visibili direttamente da c1 variabili e metodi di istanza di c2 (e delle sue superclassi) diventano anche variabili e metodi di istanza di c1 (a meno di overriding) Semantica informale dell’ereditarieta’

6 6 Semantica statica 4 nella formalizzazione trascuriamo tutti gli aspetti legati alla semantica statica –in particolare, quelli che darebbero origine a messaggi di errore durante la compilazione –tipi, visibilità dei nomi, vincoli sull’overriding 4 semantica semplificata solo per programmi che supererebbero con successo l’analisi statica

7 7 Nota 4 La semantica non e’ completa 4 Tratteremo solo le regole che differiscono da quelle gia’ viste (blocchi, if, while…) 4 Inoltre non consideriamo gli specificatori di accesso (supponiamo che sia tutto public)

8 8 Lo stato  pila di attivazioni  –per la valutazione dei metodi –pila dei record di attivazione dei metodi  heap  –contiene gli oggetti (istanze di classi)  ambiente delle classi  –contiene le classi dichiarate prima dell’inizio dell’esecuzione

9 9 Ambiente delle classi  4 Quali informazioni dobbiamo memorizzare? 4 le informazioni per accedere alla superclasse (per implementare le regole di visibilita’ dei nomi) 4 le variabili ed metodi statici (condivise da tutti gli oggetti della classe) 4 le informazioni per creare oggetti istanze della classe (quali variabili e metodi d’istanza)

10 10 Ambiente delle classi    è una funzione da identificatori di classe a descrizioni di classe –  : Cenv –Cenv = Id -> Cdescr 4 cos’è una descrizione di classe? 4 vediamo prima la sintassi (semplificata) che usiamo per le dichiarazioni di classe

11 11 Sintassi Class_decl := class Id extends Id { Static_var_decl_list Static_meth_decl_list Inst_var_decl_list Inst_meth_decl_list Costruttore } La sintassi del costruttore (sequenza di assegnamenti), non nome non parametri Inoltre assumiamo che ogni classe sia definita come sottoclasse di qualcosa (per default Object)

12 12 Descrizione di classe Cdescr = Id * Frame * Menv * Frame * Menv superclasse variabili statiche metodi statici variabili istanza metodi istanza E’ una quintupla:

13 13 Osservazione 4 Il frame delle variabili statiche e l’ambiente dei metodi statici appartengono alla classe (per esempio il frame contiene il valore effettivo delle variabili etc..) 4 variabili e metodi statici sono condivisi tra tutti gli oggetti istanza della classe

14 14 Osservazione 4 Il frame delle variabili d’istanza e l’ambiente dei metodi d’istanza memorizzati nella classe verranno utilizzati per creare gli oggetti 4 variabili e metodi d’istanza sono propri degli oggetti istanza della classe, vanno mantenuti nella descrizione degli oggetti (come vedremo nello heap)

15 15  è una funzione  che mantiene associazioni fra –identificatori (di variabili) –valori interi, booleani locazioni (puntatori ad oggetti) 4 è una tabella modificabile (il valore associato ad un identificatore puo’ cambiare) Frame

16 16 Operazioni su frame 4 newframe() crea un frame vuoto  l’operazione bind( , i, v) estende  inserendo l’associazione tra i e v  l’operazione update( , i, v) modifica in  l’associazione per i (che deve esistere)  l’operazione copy(  ) costruisce una copia di   l’operazione defined( , i) dice se  contiene un’associazione per i  per ottenere il valore di una variabile, si applica il frame all’Id,  i 

17 17 Ambiente di metodi    è una funzione da identificatori di metodo a descrizioni di metodo –  : Menv –Menv = Id -> Mdescr 4 cos’è una descrizione di metodo?

18 18 Descrizione di metodo 4 deve contenere le informazioni per eseguirlo – lista dei parametri formali –corpo –una informazione per implementare le regole di visibilita’ dei nomi, ovvero per sapere dove andare a cercare gli identificatori

19 19 In particolare 4 manteniamo un puntatore –alla classe (se metodo statico) –all’oggetto a cui appartiene (se metodo d’istanza), ovvero this 4 Tramite il puntatore potremmo differenziare le regole di ricerca dei nomi nei due casi

20 20 Dichiarazione di metodo: sintassi Method_decl := Id (Idlist) Blocco –ignoriamo i tipi Mdescr = Idlist * Blocco * ( Loc | Id ) parametri formali corpo del metodo puntatore a oggetto nome di classe

21 21 Operazioni sugli ambienti di metodi e di class 4 cemptyenv() costruisce un ambiente di classi “vuoto”  cbind((  :Cenv), (i:Id), (c:Cdescr)) estende  associando ad i il valore c  cdefined( , i) dice se  è definita per i 4 memptyenv() costruisce un ambiente di metodi “vuoto”  mbind((  :Menv), (i:Id), (m:Mdescr)) estende  associando ad i il valore m  mdefined( , i) dice se  è definita per i  instantiate((  :Menv), (l: Loc)) crea un nuovo ambiente  diverso da  perché tutte le descrizioni di metodi contengono l’oggetto l

22 22 Lo heap    è una funzione da locazioni a descrizioni di oggetto –  : Heap –Heap = Loc -> Odescr 4 cos’è una descrizione di oggetto?

23 23 Descrizione di oggetto 4 deve contenere  il puntatore alla classe di appartenenza  valore delle variabili d’istanza proprie dell’oggetto  le informazioni per eseguire metodi d’istanza e costruttori(le loro descrizioni)

24 24 Descrizione di oggetti   è una funzione da locazioni a descrizioni di istanza (oggetto) Odescr = Id * Frame * Menv classevariabili di istanzametodi di istanza

25 25 Osservazione I metodi d’istanza nel modello visto in precedenza erano mantenuti in modo comune a tutti gli oggetti (nella descrizione della classe) erano invocati tramite il puntatore che lega l’oggetto alla classe  La modifica semplifica il problema della ricerca dei nomi dovuto alla coesistenza di variabili e metodi statici e d’istanza I metodi d’istanza stanno gia’ nell’oggetto e possono essere trattati in modo uniforme alle variabili d’istanza Il puntatore alla classe servira’ invece per accedere alle variabili ed ai metodi statici

26 26 Operazioni sulla heap 4 newheap() genera una heap vuota  newloc(  )  genera una nuova locazione in   hbind((  :Heap), (l:Loc), (o:Odescr)) estende  associando ad l il valore o

27 27 La pila di attivazioni    è una pila di records di attivazione di metodi 4 Last In First Out (LIFO) 4 Ogni record di attivazione descrive uno dei metodi annidati che sono in esecuzione 4 Quello al top e’ l’unico attivo 4 Gli altri sono sospesi

28 28 Attivazione/disattivazione 4 Invocazione di metodo: viene messo al top della pila un corrispondente record di attivazione 4 Terminazione di metodo: viene tolto dal top della pila il corrispondente record di attivazione 4 in modo che il record di attivazione del metodo chiamante (metodo che e’ stato sospeso) torni al top della pila, ovvero possa riprendere l’esecuzione

29 29 Record di attivazione 4 il record di attivazione descrive il metodo in esecuzione –oggetto o classe a cui il metodo appartiene –pila di frames (blocchi annidati) che descrivono sia le variabili locali che le associazioni tra parametri formali ed attuali Record = ( Id | Loc ) * Stack(Frame) classeoggettovariabili locali

30 30 Osservazione 4 il puntatore all’oggetto o alla classe indicano se il metodo e’ d’istanza o statico rispettivamente –e’ utilizzato per andare a cercare i nomi in base alle regole di visibilita’

31 31 La pila di attivazioni    è una pila di records di attivazione di metodi –  : Astack –Astack = Stack (Record) 4 il record di attivazione Record = ( Id | Loc ) * Stack(Frame) classeoggettovariabili locali

32 32 Operazioni sulle pile ( di record o frame)  emptystack()  genera una pila vuota  top((  :Stack(x)) restituisce l’elemento di tipo x in testa a   pop((  :Stack(x)) modifica  eliminando l’elemento  in testa  push((  :Stack(x),(e:x)) modifica  inserendo l’elemento e in testa  empty((  :Stack(x)) verifica se  è vuota

33 33 Uno stato (1) 4 Ambiente delle classi Object A B C A A a b c 23 5 d e ? ? f3 C () ? (x)? ()? f4 f1 f2 (y,z) (w) C C codice blocco f2 codice blocco f3 codice blocco f4 codice blocco f1 codice blocco C puntatore ad oggetto

34 34 Osservazioni 4 la classe C e’ sottoclasse di A 4 Il frame delle variabili statiche contiene i valori attuali delle variabili 4 L’ambiente dei metodi statici contiene le descrizioni dei metodi (puntano a C) 4 La parte che descrive variabili e metodi d’istanza (incluso il costruttore) e’ un prototipo (valori ?), servono per creare gli oggetti

35 35 Uno stato (2) 4 Pila e heap (è in esecuzione il metodo d’istanza f4 di una istanza di C) C d e 3 f3 C () (x) () f4 puntatori al codice dei metodi stack x heap

36 36 Osservazioni 4 I valori delle variabili d’istanza dell’oggetto stanno nello heap 4 La descrizione dei metodi d’istanza sta nello heap (puntano all’oggetto stesso, quando verranno chiamati manterranno il puntatore) 4 Il costruttore e’ trattato come un metodo d’istanza

37 37 Cosa si “vede” in questo stato 4 tutti i nomi delle classi –attraverso queste, le variabili ed i metodi statici C d e 3 f3 C () (x) () f4 puntatori al codice dei metodi stack x heap

38 38 Da un oggetto sono direttamente visibili i propri nomi d’istanza (inclusi quelli ereditati) e la classe; tramite questa le variabili statiche sue e delle superclassi I metodi d’istanza hanno la visibilita’ dell’oggetto su cui sono eseguiti (vedi f4) Ricordiamo (visibilita’ dei nomi)

39 39 4 nomi di variabili (nell’ordine) –stack locale (per esempio x) –frame dell’oggetto a cui appartiene il metodo (per esempio la sua varibile d’istanza d) –frames (statici) della classe C e delle superclassi (per esempio la varibile statica a della classe C) 4 come vi accediamo? –Direttamente dal record di attivazione –Tramite il puntatore dal record all’oggetto nello heap –Tramite il puntatore dall’oggetto alla sua classe e poi la catena di puntatori tra classi Per esempio

40 40 Cosa si “vede” in questo stato 4 nomi di metodi (nell’ordine) –ambiente di metodi dell’oggetto a cui appartiene il metodo lui incluso (ricorsione) –ambienti di metodi (statici) lungo la catena di sottoclassi C d e 3 f3 C () (x) () f4 puntatori al codice dei metodi stack x heap

41 41 Se fosse in esecuzione un metodo statico (per esempio f1della classe C) il suo record di attivazione al top dello stack punterebbe alla classe C In questo caso potremmo vedere  stack locale  frames (statici) della classe C e delle superclassi Metodi statici 4 come vi accediamo? –Direttamente dal record di attivazione –Tramite il puntatore dal record alla sua classe ed la catena di puntatori alle superclassi