A Structured TCP in Standard ML

Abstract

This paper describes the design of an implementation of the Transmission Control Protocol using an extension of the Standard ML (SML) language. SML supports higher-order functions, modularity, and type-safe module composition. We find that by using SML we can achieve good structure and good performance simultaneously. Good structure includes a modular decomposition of the protocol stack and of the TCP implementation, a control structure that imposes a total ordering on all events and processes them synchronously, and a test structure that allows component testing to catch problems before system integration. Strategies that help achieve good performance include using fast algorithms, using language constructs that make it easy to stage function evaluation, and language implementation features such as compacting garbage collection.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1994
Accession Number
ADA282711

Entities

People

  • Edoardo S. Biagioni

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Accumulators
  • Algorithms
  • Automatic
  • Computations
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Computers
  • Computing System Architectures
  • Ethernet
  • Language
  • Network Protocols
  • Operating Systems
  • Programming Languages
  • Software Development
  • Software Testing
  • Standards

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Computer Networking