Types for Active Objects with Static Deadlock Prevention

• Autorzy: Puntigam F. , Peter Ch.
• Języki publikacji: EN

Abstrakty

EN

Process types statically ensure the acceptability of all messages sent to an object even if the set of acceptable messages changes dynamically. As proposed so far, process types do not ensure the return of answers; deadlocks may prevent objects from behaving as expected. In this article we propose an object calculus with types distinguishing between obligatory messages (that must be sent, for example, as answer to a question) and optional messages (that can, but need not be sent). A type checker enforces the sending of obligatory messages and ensures that obligatory messages are not suppressed by deadlocks. The proposed type concept supports subtyping.

Słowa kluczowe

EN

types; subtyping; object calculus; concurrency; deadlocks

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 48, nr 4
• Strony: 315--341
• Opis fizyczny: bibliogr. 43 poz.

Twórcy

autor

Puntigam F.

autor

Peter Ch.

• Technische Universität Wien, Institut für Computersprachen Argentinierstrasse 8, A-1040 Vienna, Austria,