g0t3nk5
27-11-2013, 16:19
Mi trovo in difficoltà a rispondere a questo quesito di un testo di esame.. :muro:
Si dica cosa e l'aliasing e perche puo rendere difficoltosa la veri fica della correttezza dei programmi.
E' possibile inserire nel compilatore di un ipotetico linguaggio un controllo che permetta di identifi care tutte le situazioni di aliasing? Perchè?
L'aliasing, se non sbaglio, è la situazione che si verifica quando due variabili rappresentano lo stesso oggetto in memoria.
Può rendere difficoltosa la verifica di correttezza perchè l'oggetto può essere modificato da una parte del codice e quindi poi provocare un errore dall'altra parte (se non ci aspettavamo nessuna modifica). Fin qui è tutto corretto?
Ora la domanda è se sia possibile identificare nel compilatore tutte le situazioni di aliasing. :doh: A me verrebbe da dire di si, almeno a runtime.
Si dica cosa e l'aliasing e perche puo rendere difficoltosa la veri fica della correttezza dei programmi.
E' possibile inserire nel compilatore di un ipotetico linguaggio un controllo che permetta di identifi care tutte le situazioni di aliasing? Perchè?
L'aliasing, se non sbaglio, è la situazione che si verifica quando due variabili rappresentano lo stesso oggetto in memoria.
Può rendere difficoltosa la verifica di correttezza perchè l'oggetto può essere modificato da una parte del codice e quindi poi provocare un errore dall'altra parte (se non ci aspettavamo nessuna modifica). Fin qui è tutto corretto?
Ora la domanda è se sia possibile identificare nel compilatore tutte le situazioni di aliasing. :doh: A me verrebbe da dire di si, almeno a runtime.