The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)

Reports and Papers Archive


Browse All Papers »       Submit A Paper »

Network Security Tools

S. Quinn
Added 2002-07-26

An Introduction to Software Architecture

D. Garlan,M. Shaw

As the size of system software increases, the algorithms and data structures of the computation no longer constitute the major design problems. When systema are constructed from many components, the organization of the overall system - the software architecture - presents a new set of dsign problems. This level of design has been address a number of ways including informal diagrams and descriptive terms, module interconnection languages, templates and frmeworks for systems that serve the needs of specific domains, and formal models of component integration mechanisms.

Added 2002-07-26

Task Communication in DEMOS

F. Baskett,J.H. Howard,J.T. Montague

This paper describes the fundamentals and some of the details of task commincation in DEMCS, the operating system for the CRAY-1 computer being developed at the Los Alamos Scientific Laboratory. The communication mech- anism is a message system with several novel features. Meesages are sent from one task to another over links. Links are the primary protected objects in the system; they provide messages paths and optional data sharing between tasks. They can be used to represent other objects with capability-like ac- cess controls. Links point to the tasks that created them. A task that creates a link determines its contents and possibly restricts its use. A link may be passed on from on task to another along with a message sent over some other link suject to the restrictions imposed by the creatorof the link be- ing passed. The link based message and sata sharing system is an attractive alternative to semaphore or monitor type shared variable based operating system on machines with only very simple memory protection mechanisms or on machines connected together in a network.

Added 2002-07-26

The DEMCS File System

M.L. Powell

This paper discussesthe design of the file system for DEMCS, an operating system being developed for the CRAY-1 somputer at Los Alamos Scientific Laboratory. The goals to be met, in particular the performance and usability considerations are outlined. A descriptionis given of the user interface and the general structure of the file systemand the file system routines. A simple model of program behavior is used to demonstrate the effet of buffer- ing data by the file system routines. A disk space allocation strategy is descibed which will take advantage of this buffering. The last section out- lines how the performance mechanisms are itegrated into the file system routines.

Added 2002-07-26

The Design and Implemntation of a Log-Structured File System

M. Rosenblum,J.K. Ousterhout
Added 2002-07-26

A High Performance Multi-Structured File System Design

K. Muller,J. Pasquale
Added 2002-07-26

A Feature-Oriented Software Life-Cycle

H. Egghart,E. Knapp
Added 2002-07-26

Garbage Collection in an Uncooperative Environment

H.J. Boehm,M. Weiser
Added 2002-07-26

On the Duality of Operating System Structures

H.C. Lauer,R.M. Needham
Added 2002-07-26

Hierarchical Ordering of Sequential Processes

E.W. Dijkstra
Added 2002-07-26

HYDRA: The Kernel of a Multiprocessor Operating System

W. Wulf,E. Cohen,W. Corwin,A. Jones,R. Levin,C. Pierson,F. Pollack
Added 2002-07-26

Threads of a New System

R.F. Rashid
Added 2002-07-26


Mach: A New Kernel Foundation for UNIX Developement

M. Accetta,R. Baron,W. Bolosky,Golub

Mach is a multiproceesor operating system kernel and environment under development at Carnegie-Mellon University. Mach provides a new foundation for UNIX development that spans networks of uniprocessors and multiprocessors . This paper describes Mach and the motivations that led to its design. Also described are some of the details of its implementation and current status.

Added 2002-07-26