OOPS TRACK AT SAC 2004, NICOSIA/CYPRUS

Next article

---

On Re-classification and Multi-threading Ferruccio Damiani, Dip. di Informatica, Univ. di Torino, Italy Mariangiola Dezani-Ciancaglini, Dip. di Informatica, Univ. di Torino, Italy Paola Giannini, Dip. di Informatica, Univ. del Piemonte Orientale, Italy

PDF Version

Abstract

In this paper we consider re-classification in the presence of multi-threading. To this aim we define a multi-threaded extension of the language Fickle, that we call Fickle_MT. We define an operational semantics and a type and effect system for the language. Each method signature carries the information on the possible effects of the method execution. The type and effect system statically checks this information. The operational semantics uses this information in order to delay the execution of some threads when this could cause access to non-existing members of objects. We show that in the execution of a well-typed expression such delays do not produce deadlock. Lastly we discuss a translation from Fickle_MT into Java, showing how the operational semantics can be implemented with the standard Java multi-threading constructs.

Note: Due to the typographical sophistication of this article, no HTML version is available. Please use the PDF version.

About the authors

Ferruccio Damiani is researcher at the Dipartimento di Informatica, Università degli Studi di Torino, Italy. He can be reached at damiani@di.unito.it. His home page is http://www.di.unito.it/˜damiani. Partially supported by EU within the FET - Global Computing initiative, project DART IST-2001-33477.

Mariangiola Dezani-Ciancaglini5 is full professor at the Dipartimento di Informatica, Università degli Studi di Torino, Italy. She can be reached at dezani@di.unito.it. Her home page is http://www.di.unito.it/˜dezani. Partially supported by EU within the FET - Global Computing initiative, project MIKADO IST-2001-32222 and by MURST Cofin’02 project McTati.

Paola Giannini6 is associate professor at the Dipartimento di Informatica, Università del Piemonte Orientale, Italy. She can be reached at giannini@di.unito.it. Her home page is http://www.di.unito.it/˜giannini. Partially supported by EU within the FET - Global Computing initiative, project DART IST-2001-33477, and by MURST Cofin ’02 project McTati.