Università di Torino

Research on "Formal Methods in Computing"

Re-classification and Multithreading: FickleMT

Ferruccio DAMIANI , Mariangiola DEZANI-CIANCAGLINI, and Paola GIANNINI

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 messageNotUnderstood errors. We prove that in the execution of a well-typed expression such delays do not produce deadlock.

  • pdf ( ACM, 2004 ). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of SAC'03, {ISBN:1-58113-812-1, (2004)} http://doi.acm.org/10.1145/967900.968163


       title =        {Re-classification and Multithreading: Fickle_MT},
       author =       {Ferruccio Damiani and Mariangiola Dezani-Ciancaglini 
      		   and Paola Giannini},
       booktitle =    {OOPS track at SAC'04},
       publisher =    {ACM},
       year =         {2004},
       volume     =  {2},
       pages =        {1297--1304}

["Formal Methods in Computing" group] [Department's HOME]

Last update: Mar 14, 2007