Automated control of concurrency in multi-user hierarchical information systems
Pages 907 - 916
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.
References
[1]
Burner, H. B., "An Application of Automata Theory to the Multiple Level Top-Down Design of Digital Computer Operating Systems", Ph.D. thesis, Washington State University, 1973.
[2]
Bernstein, A. J. and P. Siegel, "A Computer Architecture for Level Structural Systems", IEEE Transactions on Computers, C-24, No. 8, August 1975, pp. 785--793.
[3]
Bernstein, A. J., "Analysis of Programs for Parallel Processing", IEEE Transactions on Computers, EC-15, No. 5, October 1966, pp. 757--763.
[4]
Brinch Hansen, P., Operating Systems Principles, Englewood Cliffs, New Jersey, Prentice-Hall, 1973.
[5]
Dijkstra, E. W., "The Structure of the T.H.E.-Multiprogramming System", CACM 11, No. 5, May 1968, pp. 341--346.
[6]
Dijkstra, E. W., "Cooperating Sequential Processes", in Programming Languages, (F. Genuys, ed.), Academic Press, 1968, pp. 43--112.
[7]
Hoare, C. A. R., "Monitors: An Operating System Structuring Concept", CACM 17, No. 10, October 1974, pp. 549--557.
[8]
Liskov, B. H., "The Design of the Venus Operating System", CACM 15, No. 3, March 1972, pp. 144--149.
[9]
Parnas, D. L., "Some Hypotheses about the 'Uses' Hierarchy for Operating Systems", Technical report B2-2-76/1. Darmstadt, West Germany, Fachbereich Informatick, March 1976.
[10]
Sweet, A. F., "Correctness in Multi-User Hierarchically Structured Information Systems", Ph.D. Thesis, Computer Science Department, Iowa State University, Ames, Iowa, 1977.
Recommendations
Semantics-based concurrency control: beyond commutativity
The concurrency of transactions executing on atomic data types can be enhanced through the use of semantic information about operations defined on these types. Hitherto, commutativity of operations has been exploited to provide enchanced concurrency ...
Fast Serializable Multi-Version Concurrency Control for Main-Memory Database Systems
SIGMOD '15: Proceedings of the 2015 ACM SIGMOD International Conference on Management of DataMulti-Version Concurrency Control (MVCC) is a widely employed concurrency control mechanism, as it allows for execution modes where readers never block writers. However, most systems implement only snapshot isolation (SI) instead of full ...
Transaction Repair for Multi-Version Concurrency Control
SIGMOD '17: Proceedings of the 2017 ACM International Conference on Management of DataThe optimistic variants of Multi-Version Concurrency Control (MVCC) avoid blocking concurrent transactions at the cost of having a validation phase. Upon failure in the validation phase, the transaction is usually aborted and restarted from scratch. The ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
June 1977
1039 pages
ISBN:9781450379144
DOI:10.1145/1499402
Copyright © 1977 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- AFIPS: American Federation of Information Processing Societies
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 13 June 1977
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 75Total Downloads
- Downloads (Last 12 months)21
- Downloads (Last 6 weeks)11
Reflects downloads up to 22 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in