University of Sussex
Browse

File(s) not publicly available

A Language-Based Approach to Programmable Networks.

presentation
posted on 2023-06-07, 19:30 authored by Ian WakemanIan Wakeman, Alan Jeffrey, Tim Owen
It appears that some degree of programmability is inevitable within the network, whether it be through active networks, active services, or programmable middleware. We argue that programming network elements with languages designed for use within a single machine is inappropriate, since the only defense for the shared resource of the network is through the use of sandboxes? which are prone to performance problems and are difficult to implement correctly. Instead, we believe that new languages should be designed for programmable networks, using type systems that ensure safe programs, and encourage correct programs. We have designed and provided the full semantics for such a language, SafetyNet. Building upon this, we have implemented a compiler, run time environment and a simulation environment for our language. In this paper we describe the major features of the language that protect the network: abstracted locations; located objects; volatile routing; thread and class loading; and enforced resource counting. We show how these features are used in a number of small case studies, and in implementing optimised communication libraries. We describe the implications of the language design for the implementation of the run time support environment. The ease with which these demonstrations have been built and debugged shows the potential for enforcing network programming models with well-typed languages. (C) 2001 Elsevier Science B,V, All rights reserved.

History

Publication status

  • Published

ISSN

1389-1286

Publisher

ELSEVIER SCIENCE BV, PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS

Issue

1

Volume

36

Page range

101-114

Presentation Type

  • paper

Event name

IEEE Conference on Open Architectures and Network Programming

Event location

Tel-Aviv Israel

Event type

conference

Event date

26-27 March, 2000.

Department affiliated with

  • Informatics Publications

Notes

Source: COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC