Automated control of concurrency in multi-user hierarchical information systems

Authors:
Alan F. Sweet;Arthur E. Oldehoeft
Affiliations:
Iowa State University, Ames, Iowa;Iowa State University, Ames, Iowa
Venue:
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Year:
1977

Citing 7
Cited 0

Monitors: an operating system structuring concept

Communications of the ACM
The design of the Venus operating system

Communications of the ACM
The structure of the “THE”-multiprogramming system

Communications of the ACM
Operating system principles

Operating system principles
An application of automata theory to the multiple level top down design of digital computer operating systems

An application of automata theory to the multiple level top down design of digital computer operating systems
Correctness in multi-user hierarchically structured information systems.

Correctness in multi-user hierarchically structured information systems.
A Computer Architecture for Level Structured Systems

IEEE Transactions on Computers

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a systematic approach to providing a high degree of concurrent access to information in hierarchically structured systems. An algorithm is presented which is designed to operate on the procedures and tree-structured information of two adjacent levels. The algorithm analyzes the procedure and structure refinements and generates the appropriate monitor calls to increase the degree of concurrent access. Assuming the initial level is correct, the refined system remains deadlock free, the integrity of the information is preserved, and individual procedures are checked for determinacy. Graph structured models are used to illustrate examples and definitions.