Abstract
Most research on multiprocessing has concentrated on synchronization methods through special language statements and/or operating system capabilities. In contrast, this paper is concerned with identifying and developing system design principles for information systems in a real-time multiprocessing environment. We do not assume that the processes of the system are independent. We identify how interference can occur and show what is necessary to prevent it. Theorems are proven that show how to determine which processes cannot be multiprocessed. These theorems create the basis for determining what portions of a program need to be placed in a critical region. We show that even some disjoint processes may not be multiprocessed. We then identify system design principles that will yield a better system with respect to total throughput time and multiprocessor utilization. Our results do not depend upon any specific synchronization method.
Similar content being viewed by others
References
P. Brinch Hansen, “Concurrent programming concepts,”Comput. Surv. 5:4 (December 1973).
E. W. Dijkstra, “Cooperating Sequential Processes,” inProgramming Languages, F. Genuys, Ed. (Academic Press, New York, 1968).
J. J. Donovan,Systems Programming (McGraw-Hill, New York, 1972).
M. Edelberg, “Data Base Contamination and Recovery,”1974 SIGMOD Workshop on Data Description, Access and Control.
G. C. Everest, “The Futures of Database Management,”1974 SIGMOD Workshop on Data Description, Access and Control.
J. Martin,Design of Real-Time Computer Systems (Prentice Hall, Englewood Cliffs, New Jersey, 1967).
L. Presser, “Multiprogramming coordination,”Comput. Surv. 7:1 (March 1975).
G. Salton.Automatic Information Organization and Retrieval (McGraw-Hill, New York, 1968).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Koch, H.S. Information system design for real-time multiprocessing systems. International Journal of Computer and Information Sciences 6, 193–209 (1977). https://doi.org/10.1007/BF01002331
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01002331