JNI light

An operational model for the core JNI

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have witnessed a number of systems that analyze FFIs for safety and reliability. However, lack of formal specifications of FFIs hampers progress in this endeavor. We present a formal operational model, JNI Light (JNIL), for a subset of a widely used FFI - the Java Native Interface (JNI). JNIL focuses on the core issues when a high-level garbage-collected language interacts with a low-level language. It proposes abstractions for handling a shared heap, crosslanguage method calls, cross-language exception handling, and garbage collection. JNIL can directly serve as a formal basis for JNI tools and systems. The abstractions in JNIL are also useful when modeling other FFIs, such as the Python/C interface and the OCaml/C interface.

Original languageEnglish (US)
Title of host publicationProgramming Languages and Systems - 8th Asian Symposium, APLAS 2010, Proceedings
Pages114-130
Number of pages17
DOIs
StatePublished - Dec 1 2010
Event8th Asian Symposium on Programming Languages and Systems, APLAS 2010 - Shanghai, China
Duration: Nov 28 2010Dec 1 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6461 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other8th Asian Symposium on Programming Languages and Systems, APLAS 2010
CountryChina
CityShanghai
Period11/28/1012/1/10

Fingerprint

Java
Machine oriented languages
Model
Set theory
Computer programming languages
Interfaces (computer)
Exception Handling
Garbage Collection
Python
Heap
Formal Specification
Software Components
Programming Languages
Safety
Subset
Modeling

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Tan, G. (2010). JNI light: An operational model for the core JNI. In Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Proceedings (pp. 114-130). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6461 LNCS). https://doi.org/10.1007/978-3-642-17164-2_9
Tan, Gang. / JNI light : An operational model for the core JNI. Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Proceedings. 2010. pp. 114-130 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{33467545b9654d64b7bb46c61688690d,
title = "JNI light: An operational model for the core JNI",
abstract = "Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have witnessed a number of systems that analyze FFIs for safety and reliability. However, lack of formal specifications of FFIs hampers progress in this endeavor. We present a formal operational model, JNI Light (JNIL), for a subset of a widely used FFI - the Java Native Interface (JNI). JNIL focuses on the core issues when a high-level garbage-collected language interacts with a low-level language. It proposes abstractions for handling a shared heap, crosslanguage method calls, cross-language exception handling, and garbage collection. JNIL can directly serve as a formal basis for JNI tools and systems. The abstractions in JNIL are also useful when modeling other FFIs, such as the Python/C interface and the OCaml/C interface.",
author = "Gang Tan",
year = "2010",
month = "12",
day = "1",
doi = "10.1007/978-3-642-17164-2_9",
language = "English (US)",
isbn = "364217163X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "114--130",
booktitle = "Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Proceedings",

}

Tan, G 2010, JNI light: An operational model for the core JNI. in Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6461 LNCS, pp. 114-130, 8th Asian Symposium on Programming Languages and Systems, APLAS 2010, Shanghai, China, 11/28/10. https://doi.org/10.1007/978-3-642-17164-2_9

JNI light : An operational model for the core JNI. / Tan, Gang.

Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Proceedings. 2010. p. 114-130 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6461 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - JNI light

T2 - An operational model for the core JNI

AU - Tan, Gang

PY - 2010/12/1

Y1 - 2010/12/1

N2 - Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have witnessed a number of systems that analyze FFIs for safety and reliability. However, lack of formal specifications of FFIs hampers progress in this endeavor. We present a formal operational model, JNI Light (JNIL), for a subset of a widely used FFI - the Java Native Interface (JNI). JNIL focuses on the core issues when a high-level garbage-collected language interacts with a low-level language. It proposes abstractions for handling a shared heap, crosslanguage method calls, cross-language exception handling, and garbage collection. JNIL can directly serve as a formal basis for JNI tools and systems. The abstractions in JNIL are also useful when modeling other FFIs, such as the Python/C interface and the OCaml/C interface.

AB - Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have witnessed a number of systems that analyze FFIs for safety and reliability. However, lack of formal specifications of FFIs hampers progress in this endeavor. We present a formal operational model, JNI Light (JNIL), for a subset of a widely used FFI - the Java Native Interface (JNI). JNIL focuses on the core issues when a high-level garbage-collected language interacts with a low-level language. It proposes abstractions for handling a shared heap, crosslanguage method calls, cross-language exception handling, and garbage collection. JNIL can directly serve as a formal basis for JNI tools and systems. The abstractions in JNIL are also useful when modeling other FFIs, such as the Python/C interface and the OCaml/C interface.

UR - http://www.scopus.com/inward/record.url?scp=78650731376&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78650731376&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-17164-2_9

DO - 10.1007/978-3-642-17164-2_9

M3 - Conference contribution

SN - 364217163X

SN - 9783642171635

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 114

EP - 130

BT - Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Proceedings

ER -

Tan G. JNI light: An operational model for the core JNI. In Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Proceedings. 2010. p. 114-130. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-17164-2_9