Multicomputer Operating Systems and Applications.
Abstract
Contents: The Charlotte Distributed Operating System: Part IV of the First Report on the Crystal Project; Charlotte: Design and implementation of a distributed kernel ; Interprocess communication in Charlotte; A framework for the evaluation of high-level languages for distributed computing; LYNX: A dynamic distributed programming language; A simple mechanism for type security across compilation units; Automatic generation of communication protocols; The use of timing graphs for distributed program debugging; Timing errors in distributed programs; Checkers on Charlotte; Internal memorandum; An adaptive load balancing algorithm for a multicomputer; DIB - A distributed implementation of backtracking; A taxonomy of distributed algorithms; An efficient deadlock avoidance algorithm; Extension of the Banker's Algorithm for Resource Allocation in a Distributed Operating System; Deadlock-free resource allocation schemes for distributed operating systems; A note on starvation-control policies.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1985
- Accession Number
- ADA153205
Entities
People
- M. H. Solomon
- R. A. Finkel
Organizations
- University of Wisconsin–Madison