Paper Info
Title
Dependency Safety for Java: Implementing Failboxes.
Abstract
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.
Year
DOI
Venue
2016
10.1145/2972206.2972216
PPPJ
Field
DocType
Citations 
Java Native Interface,Programming language,Scala,Computer science,Java concurrency,Real time Java,Real-time computing,strictfp,Generics in Java,Java Modeling Language,Java
Conference
0
PageRank 
References 
Authors
0.34
10
9
Name
Order
Citations
PageRank
Dragan Bosnacki127626.95
Mark Van Den Brand21298110.20
Philippe Denissen300.34
Cornelis Huizing48520.56
Bart Jacobs 00025226.28
Ruurd Kuiper6566105.58
Anton Wijs720322.84
Maciej Wilkowski800.34
Dan Zhang941.79