DMCA
Under consideration for publication in J. Functional Programming 1 Acute: High-level programming language design for distributed computation
Cached
Download Links
BibTeX
@MISC{Sewell_underconsideration,
author = {Peter Sewell and James J. Leifer and Keith Wansbrough and Mair Allen-williams and Pierre Habouzit and Viktor Vafeiadis},
title = {Under consideration for publication in J. Functional Programming 1 Acute: High-level programming language design for distributed computation},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
† INRIA Rocquencourt Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (but not necessarily all) of their module structure, and with some instances rebuilt with new versions of certain modules as time goes on. In this paper we discuss programminglanguage support for such systems, focussing on their typing and naming issues. We describe an experimental language, Acute, which extends an ML core to support distributed development, deployment, and execution, allowing type-safe interaction between separately-built programs. The main features are: (1) type-safe marshalling of arbitrary values; (2) type names that are generated (freshly and by hashing) to ensure that type equality tests suffice to protect the invariants of abstract types, across the entire distributed system; (3) expression-level names generated to ensure that name equality tests suffice for type safety of associated values, e.g. values carried on named channels; (4) controlled dynamic rebinding of marshalled values to local resources; and (5) thunkification of threads and mutexes to support computation mobility.
Keyphrases
high-level programming language design distributed computation type name type safety type-safe interaction new version module structure expression-level name local resource naming issue ml core separately-built program many distinct program computation mobility typeful programming associated value programminglanguage support distributed system inria rocquencourt existing language good support marshalled value distributed development name equality test suffice arbitrary value multiple instance experimental language certain module type equality test dynamic rebinding standalone program type-safe marshalling entire distributed system main feature abstract type
