A Framework for Interoperability

TL;DR

This paper presents a flexible framework for language interoperability that supports various foreign-interface policies, enabling efficient access to low-level libraries from high-level languages.

Contribution

The paper introduces a versatile framework that can implement multiple foreign-interface policies efficiently, unlike previous approaches that commit to a single policy.

Findings

Framework supports diverse foreign-interface policies

Two tools demonstrate different policies on the framework

Benchmarks show high efficiency of implementations

Abstract

Practical implementations of high-level languages must provide access to libraries and system services that have APIs specified in a low-level language (usually C). An important characteristic of such mechanisms is the foreign-interface policy that defines how to bridge the semantic gap between the high-level language and C. For example, IDL-based tools generate code to marshal data into and out of the high-level representation according to user annotations. The design space of foreign-interface policies is large and there are pros and cons to each approach. Rather than commit to a particular policy, we choose to focus on the problem of supporting a gamut of interoperability policies. In this paper, we describe a framework for language interoperability that is expressive enough to support very efficient implementations of a wide range of different foreign-interface policies. We describe two tools that implement substantially different policies on top of our framework and present benchmarks that demonstrate their efficiency.