Analisi statica dei Deadlock in Featherweight Java con Futuri

Grazia, Carlo Augusto (2012) Analisi statica dei Deadlock in Featherweight Java con Futuri. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
Documenti full-text disponibili:
[img]
Anteprima
Documento PDF
Download (1MB) | Anteprima

Abstract

Abbiamo studiato ABSFJf, un linguaggio ad oggetti concorrente con tipi di dato futuro ed operazioni per acquisire e rilasciare il controllo delle risorse. I programmi ABSFJf possono manifestare lock (deadlock e livelock) a causa degli errori del programmatore. Per individuare staticamente possibili com- portamenti non voluti abbiamo studiato e implementato una tecnica per l'analisi dei lock basata sui contratti, che sono una descrizione astratta del comportamento dei metodi. I contratti si utilizzano per formare un automa i cui stati racchiudono informazioni di dipendenza di tipo chiamante-chiamato; vengono derivati automaticamente da un algoritmo di type inference e model- lati da un analizzatore che sfrutta la tecnica del punto

Abstract
Tipologia del documento
Tesi di laurea (Laurea magistrale)
Autore della tesi
Grazia, Carlo Augusto
Relatore della tesi
Correlatore della tesi
Scuola
Corso di studio
Indirizzo
Curriculum A: Scienze informatiche
Ordinamento Cds
DM270
Parole chiave
deadlock analysis, contract, inference, deadlock, livelock, static deadlock analysis
Data di discussione della Tesi
14 Novembre 2012
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^