%0 Conference Proceedings
%T A Type Theory for Robust Failure Handling in Distributed Systems
%+ Darmstadt University of Technology [Darmstadt]
%+ State University of New York (SUNY)
%+ Purdue University [West Lafayette]
%A Chen, Tzu-Chun
%A Viering, Malte
%A Bejleri, Andi
%A Ziarek, Lukasz
%A Eugster, Patrick
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Heraklion, Greece
%Y Elvira Albert
%Y Ivan Lanese
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-9688
%P 96-113
%8 2016-06-06
%D 2016
%R 10.1007/978-3-319-39570-8_7
%K Session types
%K Partial failure handling
%K Distributed systems
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X This paper presents a formal framework for programming distributed applications capable of handling partial failures, motivated by the non-trivial interplay between failure handling and messaging in asynchronous distributed environments. Multiple failures can affect protocols at the level of individual interactions (alignment). At the same time, only participants affected by a failure or involved in its handling should be informed of it, and its handling should not be mixed with that of other failures (precision). This is particularly challenging, as through the structure of protocols, failures may be linked to others in subsequent or concomitant interactions (causality). Last but not least, no central authority should be required for handling failures (decentralisation). Our goal is to give developers a description language, called protocol types, to specify robust failure handling that accounts for alignment, precision, causality, and decentralisation. A type discipline is built to statically ensure that asynchronous failure handling among multiple endpoints is free from orphan messages, deadlocks, starvation, and interactions are never stuck.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01432930/document
%2 https://inria.hal.science/hal-01432930/file/426757_1_En_7_Chapter.pdf
%L hal-01432930
%U https://inria.hal.science/hal-01432930
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-9688