This paper describes ongoing work to establish semantic foundations for real-world distributed computation. This paper is designing and implementing Acute, an expressive and safe programming language (based on an OCaml core) with features for managing abstraction-safe marshalling, dynamic rebinding, and versioning. These permit user-level communication libraries to be written simply as type-safe Acute code, above TCP/UDP sockets. Further, the paper is precisely characterizing the properties of TCP and UDP network communication; of particular interest is the semantics of communication failures. Together with the Acute language semantics this constitutes a mathematically precise and executable system for writing distributed communication libraries, P2P algorithms, etc.
Did you find this white paper useful?
7 out of 16 users found this white paper useful
Related white papers
Open Shortest Path First
Open Shortest Path First (OSPF) is a routing protocol developed for Internet Protocol (IP) networks by the interior gateway protocol (IGP) working group of the Internet Engineering Task Force (IETF). The...
Anthony & Sylvan Pools Takes the Plunge with VoIP
Anythony Sylvan Pools deployed ShoreTel to 14 divsions including 50 sites and 500 users. With its rapid growth and increasing communications costs, Anthony & Sylvan started looking at VoIP solutions. While...
Keeping Pace with Expansion through Voice Services
While a company grows, its phone systems must be able to sustain itself to accommodate the expansion. Unfortunately, many systems that have been in use for years within organizations...
A NetBSD-Based IPv6/NEMO Mobile Router
This paper defines the problem statement of vehicle-embedded networking in order to communicate with the infrastructure (the Internet) as well as with other cars. Based on this problem statement, the...
Network Management With BMC MAINVIEW for IP
This webcast will discuss how managing the TCP/IP network and applications for optimal performance on z/OS can be challenging, because few options and tools are provided by the operating system.
Understanding the OSI 7 Layer Model
This document provides a full length explanation of the OSI 7 layer model including the role of each layer and of the stack. This model defines how applications running upon...
Linux - Advanced Networking Overview
Linux, a shareware operating system, supports a number of advanced networking features, thanks largely to the huge linux networking community. Besides the reliable TCP/UDP/IP protocol suite, a number of new...
