A Beginners Guide to the DeadLock Analysis ModelReportar como inadecuado

A Beginners Guide to the DeadLock Analysis Model - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 PPS - Preuves, Programmes et Systèmes 2 Dipartimento di Informatica Torino 3 FOCUS - Foundations of Component-based Ubiquitous Systems CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria Bologna 4 UNIBO - Università di Bologna Bologna

Abstract : This paper is an introduction to the framework for the deadlock analysis of object-oriented languages we have defined in 6, 5. We present a basic Java-like language and the deadlock analysis model in an accessible way. We also overview the algorithm for deciding deadlock-freeness by discussing a number of paradigmatic examples. We finally explore the techniques for coping with extensions of the object-oriented language.

Autor: Elena Giachino - Cosimo Laneve -

Fuente: https://hal.archives-ouvertes.fr/


Documentos relacionados