© University of Kent - Contact | Feedback | Legal | FOI | Cookies
An occam style communications system for unix networks
Kevin J. Vella
Technical Report 13-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, December 1995.Abstract
This document describes the design of a communications system which provides occam style communications primitives under a Unix environment, using TCP/IP protocols, and any number of other protocols deemed suitable as underlying transport layers. The system will integrate with a low overhead scheduler/kernel without incurring significant costs to the execution of processes within the run time environment. A survey of relevant occam and occam3 features and related research is followed by a look at the Unix and TCP/IP facilities which determine our working constraints, and a description of the T9000 transputer's Virtual Channel Processor, which was instrumental in our formulation. Drawing from the information presented here, a design for the communications system is subsequently proposed. Finally, a preliminary investigation of methods for lightweight access control to shared resources in an environment which does not provide support for critical sections, semaphores, or busy waiting, is made. This is presented with relevance to mutual exclusion problems which arise within the proposed design. Future directions for the evolution of this project are discussed in conclusion.
Download publication
137 kbytes
Bibtex Record
@techreport{55,
author = {Kevin J. Vella},
title = {An occam Style Communications System for UNIX Networks},
month = {December},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1995/55},
address = {University of Kent, Canterbury, UK},
hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/13-95},
hensa_ftpaddress = {unix.hensa.ac.uk},
hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/13-95.ps.Z},
institution = {University of Kent, Computing Laboratory},
number = {13-95*},
}