Dependency safety for Java - implementing failboxes

D. Bosnacki, M.G.J. van den Brand, P.E.J.G. Denissen, C. Huizing, B. Jacobs, R. Kuiper, A.J. Wijs, Maciej Wiłkowski, D. Zhang

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Downloads (Pure)

Samenvatting

Exception mechanisms help to ensure that a program satisfies the important robustness criterion of dependency safety: if an operation fails, no code that depends on the operation's successful completion is executed anymore nor will wait for the completion. However, the exception handling mechanisms available in languages like Java do not provide a structured way to achieve dependency safety. The language extension failbox provides dependency safety for Java in a compositional manner. So far, there only exists an implementation of failbox in Scala. It requires the assumption of absence of asynchronous exceptions inside the failbox code. In this paper, we are the first to provide an implementation without the above mentioned assumption, this time in Java. First, we present and discuss a direct reimplementation of failbox in Java that is still restricted. Then, we show that using uncaught exception handlers the earlier assumption can be essentially weakened to only concern code before setting the thread handler. Finally, we provide an implementation using the Java native interface that completely removes the assumption.
Originele taal-2Engels
TitelPPPJ '16 Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
Plaats van productieNew York
UitgeverijAssociation for Computing Machinery, Inc
Aantal pagina's6
ISBN van geprinte versie978-1-4503-4135-6
DOI's
StatusGepubliceerd - 2016
EvenementPPPJ '16 - 13th International Conference on Principles and Practices of Programming on the Java Platform: virtual machines, languages, and tools - Laguno , Zwitserland
Duur: 29 aug. 20162 sep. 2016

Congres

CongresPPPJ '16 - 13th International Conference on Principles and Practices of Programming on the Java Platform: virtual machines, languages, and tools
Land/RegioZwitserland
StadLaguno
Periode29/08/162/09/16

Vingerafdruk

Duik in de onderzoeksthema's van 'Dependency safety for Java - implementing failboxes'. Samen vormen ze een unieke vingerafdruk.

Citeer dit