A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
JATO: Native Code Atomicity for Java
[chapter]
2012
Lecture Notes in Computer Science
Atomicity enforcement in a multi-threaded application can be critical to the application's safety. In this paper, we take the challenge of enforcing atomicity in a multilingual application, which is developed in multiple programming languages. Specifically, we describe the design and implementation of JATO, which enforces the atomicity of a native method when a Java application invokes the native method through the Java Native Interface (JNI). JATO relies on a constraint-based system, which
doi:10.1007/978-3-642-35182-2_2
fatcat:gy4hh6arejdfdesj35kbb6guhi