Data sharing analysis for a database programming language via abstract interpretation (Contributo in atti di convegno)

Type
Label
  • Data sharing analysis for a database programming language via abstract interpretation (Contributo in atti di convegno) (literal)
Anno
  • 1993-01-01T00:00:00+01:00 (literal)
Alternative label
  • Giuseppe Amato, Fosca Giannotti, Giovanni Mainetto (1993)
    Data sharing analysis for a database programming language via abstract interpretation
    in In 19th International Conference on Very Large Data Base, Dublin, Ireland, 24-27 August 1993
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Giuseppe Amato, Fosca Giannotti, Giovanni Mainetto (literal)
Pagina inizio
  • 405 (literal)
Pagina fine
  • 415 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.vldb.org/conf/1993/P405.PDF (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 11 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\", Consiglio Nazionale delle Ricerche (ISTI-CNR) Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche (IIT-CNR) (literal)
Titolo
  • Data sharing analysis for a database programming language via abstract interpretation (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 1-55860-152-X (literal)
Abstract
  • This paper presents an experiment of using a formal technique for static program analysis, based on abstract interpretation, in the context of persistent programming languages. The aim of the analysis is detecting opportunities of safe parallelism for transaction operations scheduling. Transaction operations can be safely interleaved when there is no overlapping among their readsets and writesets. A non-standard interpreter performs the analysis. Such an interpreter, given the text of the transaction and a representation of the data stored in the database, automatically derives in a finite time an approximation of the readset and writeset of the analysed transaction. Information obtained from the non-standard interpretation are provided to the scheduler before beginning the execution of transaction operations. In this way, we obtain a scheduler that implements a conservative two-phase locking protocol for persistent programming language transactions. We apply the analysis to a language that is a significant subset of Galileo. It is worth noting that the goal of the analysis is to count the accesses solely to shareable and modifiable persistent data structures. (literal)
Editore
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Editore di
data.CNR.it