Tecniche di instrumentazione statica per il supporto alla trasparenza verso il programmatore nelle STM

Fernando Visca



pdf Download PDF

Abstract:
Il presente lavoro riguarda la trasparenza al programmatore nel progetto di applicazioni basate su sistemi Software Transactional Memory (STM). Più in dettaglio, si vuol far sì che, durante la scrittura di applicazioni basate su STM, sia possibile, per le operazioni su memoria (i.e., letture e scritture), utilizzare i costrutti messi a disposizione dal linguaggio di programmazione scelto astraendo da qualsiasi riferimento alle funzioni di lettura/scrittura messe a disposizione dall’implementazione STM e dalla loro logica di funzionamento.

BibTeX Entry:

@mastersthesis{tVisc11,
author = {Visca, Fernando},
school = {Sapienza, University of Rome},
title = {Tecniche di instrumentazione statica per il supporto alla trasparenza verso il programmatore nelle STM},
year = {2011},
type = {bathesis},
comment = {Supervisor: F. Quaglia - Co-Supervisors: A. Pellegrini, R. Palmieri}
}