Re-classification and multi-threading: FickleMT

Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini

Re-classification and multi-threading: Fickle_MT

Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini

Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

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

Lingua originale	Inglese
Pagine	1297-1304
Numero di pagine	8
Stato di pubblicazione	Pubblicato - 2004
Evento	Applied Computing 2004 - Proceedings of the 2004 ACM Symposium on Applied Computing - Nicosia, Cyprus Durata: 14 mar 2004 → 17 mar 2004

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	Applied Computing 2004 - Proceedings of the 2004 ACM Symposium on Applied Computing
Paese/Territorio	Cyprus
Città	Nicosia
Periodo	14/03/04 → 17/03/04

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@conference{ebce00d7578d4e0c98ef19f7dfb944ac,

title = "Re-classification and multi-threading: FickleMT",

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

keywords = "Multithreading, Object-oriented Languages, Type and Effect Systems",

author = "Ferruccio Damiani and Mariangiola Dezani-Ciancaglini and Paola Giannini",

year = "2004",

language = "English",

pages = "1297--1304",

note = "Applied Computing 2004 - Proceedings of the 2004 ACM Symposium on Applied Computing ; Conference date: 14-03-2004 Through 17-03-2004",

}

TY - CONF

T1 - Re-classification and multi-threading

T2 - Applied Computing 2004 - Proceedings of the 2004 ACM Symposium on Applied Computing

AU - Damiani, Ferruccio

AU - Dezani-Ciancaglini, Mariangiola

AU - Giannini, Paola

PY - 2004

Y1 - 2004

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

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

KW - Multithreading

KW - Object-oriented Languages

KW - Type and Effect Systems

UR - http://www.scopus.com/inward/record.url?scp=2442552022&partnerID=8YFLogxK

M3 - Paper

SP - 1297

EP - 1304

Y2 - 14 March 2004 through 17 March 2004