This thesis describes a scheme for processor multiplexing in a multiple user, multiple processor computer system. The scheme is based upon a distributed supervisor which may be different for different users. The processor multiplexing method provides smooth inter-process communication, treatment of input/output control as a special case of interprocess communication, and provision for a user to specify parallel processing or simultaneous input-output without interrupt logic. By treatment of processors in an anonymous pool, smooth and automatic scaling of system capacity is obtained as more processors and more users are added. The basic design has intrinsic overhead in processor time and memory space which remains proportional to the amount of useful work the system does under extremes of system scaling and loading. The design is not limited to a specific hardware implementation; it is intended to have wide application to multiplexed, multiple processor computer systems. The processor traffic controller described here is an integral part of Multics, a Multiplexed Information and Computing Service under development by Project MAC at M.I.T., in cooperation with the Bell Telephone
Cited By
- Handzhiyski N and Somova E (2022). Tunnel Parsing with the Token’s Lexeme, Cybernetics and Information Technologies, 22:2, (125-144), Online publication date: 1-Jun-2022.
- Aguilera M, Gafni E and Lamport L (2010). The mailbox problem, Distributed Computing, 23:2, (113-134), Online publication date: 1-Oct-2010.
- Denning P (1983). The working set model for program behavior, Communications of the ACM, 26:1, (43-48), Online publication date: 1-Jan-1983.
- Lampson B and Redell D (1980). Experience with processes and monitors in Mesa, Communications of the ACM, 23:2, (105-117), Online publication date: 1-Feb-1980.
- Fabry R (1974). Capability-based addressing, Communications of the ACM, 17:7, (403-412), Online publication date: 1-Jul-1974.
- Spier M (1974). A critical look at the state of our science, ACM SIGOPS Operating Systems Review, 8:2, (9-15), Online publication date: 1-Apr-1974.
- Sorenson P Interprocess communication in real-time systems Proceedings of the fourth ACM symposium on Operating system principles, (1-7)
- Chambers J (1973). A user-controlled synchronization method, ACM SIGOPS Operating Systems Review, 7:2, (16-25), Online publication date: 1-Apr-1973.
- Sorenson P (2019). Interprocess communication in real-time systems, ACM SIGOPS Operating Systems Review, 7:4, (1-7), Online publication date: 1-Oct-1973.
- Corbató F, Saltzer J and Clingen C Multics Proceedings of the May 16-18, 1972, spring joint computer conference, (571-583)
- Sevcik K, Atwood J, Grushcow M, Holt R, Horning J and Tsichritzis D Project SUE as a learning experience Proceedings of the December 5-7, 1972, fall joint computer conference, part I, (331-338)
- Liskov B (1972). The design of the Venus operating system, Communications of the ACM, 15:3, (144-149), Online publication date: 1-Mar-1972.
- Gaines R (1972). An operating system based on the concept of a supervisory computer, Communications of the ACM, 15:3, (150-156), Online publication date: 1-Mar-1972.
- Habermann A (1972). Synchronization of communicating processes, Communications of the ACM, 15:3, (171-176), Online publication date: 1-Mar-1972.
- Feiertag R and Organick E (1972). The Multics input/output system, ACM SIGOPS Operating Systems Review, 6:1/2, (35-38), Online publication date: 1-Jun-1972.
- Easton W (1972). Process synchronization without long-term interlock, ACM SIGOPS Operating Systems Review, 6:1/2, (95-100), Online publication date: 1-Jun-1972.
- Hansen P (1972). Short-term scheduling in multiprogramming systems, ACM SIGOPS Operating Systems Review, 6:1/2, (101-105), Online publication date: 1-Jun-1972.
- Bensoussan A, Clingen C and Daley R (1972). The Multics virtual memory, Communications of the ACM, 15:5, (308-318), Online publication date: 1-May-1972.
- Feiertag R and Organick E The Multics Input/Output system Proceedings of the third ACM symposium on Operating systems principles, (35-41)
- Easton W Process synchronization without long-term interlock Proceedings of the third ACM symposium on Operating systems principles, (95-100)
- Hansen P Short-term scheduling in multiprogramming systems Proceedings of the third ACM symposium on Operating systems principles, (101-105)
- Tsichritzis D Computational processes Record of the Project MAC conference on concurrent systems and parallel computation, (177-182)
- Dean A Development of the LOGICON 2 + 2 system Proceedings of the November 17-19, 1970, fall joint computer conference, (169-180)
- Bétourné C, Boulenger J, Ferrié J, Kaiser C, Krakowiak S and Mossière J (1970). Process management and resource sharing in the multiaccess system in ESOPE, Communications of the ACM, 13:12, (727-733), Online publication date: 1-Dec-1970.
- Denning P Principles of computer system organization Proceedings of the first SIGCSE technical symposium on Education in computer science, (45-55)
- Denning P (1970). Principles of computer system organization, ACM SIGCSE Bulletin, 2:3, (45-55), Online publication date: 1-Nov-1970.
- Linde R, Weissman C and Fox C The ADEPT-50 time-sharing system Proceedings of the November 18-20, 1969, fall joint computer conference, (39-50)
- Salton G (1969). Information science in a Ph.D. computer science program, Communications of the ACM, 12:2, (111-117), Online publication date: 1-Feb-1969.
- Bensoussan A, Clingen C and Daley R The multics virtual memory Proceedings of the second symposium on Operating systems principles, (30-42)
- Bétourné C, Boulenger J, Ferrié J, Kaiser C, Kott J, Krakowiak S and Mossière J Process management and resource sharing in the multiaccess system "ESOPE" Proceedings of the second symposium on Operating systems principles, (67-74)
- Spier M and Organick E The multics interprocess communication facility Proceedings of the second symposium on Operating systems principles, (83-91)
- McCredie J Measurement criteria for virtual memory paging rules Proceedings of the 1969 24th national conference, (193-199)
- Motobayashi S, Masuda T and Takahashi N The HITAC5020 time sharing system Proceedings of the 1969 24th national conference, (419-429)
- Atchison W, Conte S, Hamblen J, Hull T, Keenan T, Kehl W, McCluskey E, Navarro S, Rheinboldt W, Schweppe E, Viavant W and Young D (1968). Curriculum 68: Recommendations for academic programs in computer science, Communications of the ACM, 11:3, (151-197), Online publication date: 1-Mar-1968.
- Daley R and Dennis J (1968). Virtual memory, processes, and sharing in MULTICS, Communications of the ACM, 11:5, (306-312), Online publication date: 1-May-1968.
- Denning P (1968). The working set model for program behavior, Communications of the ACM, 11:5, (323-333), Online publication date: 1-May-1968.
- Lampson B (1968). A scheduling philosophy for multiprocessing systems, Communications of the ACM, 11:5, (347-360), Online publication date: 1-May-1968.
- Madnick S Multi-processor software lockout Proceedings of the 1968 23rd ACM national conference, (19-24)
- Diamond D and Selwyn L Considerations for computer utility pricing policies Proceedings of the 1968 23rd ACM national conference, (189-200)
- Wegner P Machine organization for multiprogramming Proceedings of the 1967 22nd national conference, (135-150)
- Jones M On—line simulation Proceedings of the 1967 22nd national conference, (591-599)
- Denning P The working set model for program behavior Proceedings of the first ACM symposium on Operating System Principles, (15.1-15.12)
- Daley R and Dennis J Virtual memory, processes, and sharing in Multics Proceedings of the first ACM symposium on Operating System Principles, (12.1-12.8)
- Lampson B A scheduling philosophy for multi-processing systems Proceedings of the first ACM symposium on Operating System Principles, (8.1-8.24)
Recommendations
An evaluation of the TRIPS computer system
ASPLOS 2009The TRIPS system employs a new instruction set architecture (ISA) called Explicit Data Graph Execution (EDGE) that renegotiates the boundary between hardware and software to expose and exploit concurrency. EDGE ISAs use a block-atomic execution model in ...
An evaluation of the TRIPS computer system
ASPLOS 2009The TRIPS system employs a new instruction set architecture (ISA) called Explicit Data Graph Execution (EDGE) that renegotiates the boundary between hardware and software to expose and exploit concurrency. EDGE ISAs use a block-atomic execution model in ...
An evaluation of the TRIPS computer system
ASPLOS XIV: Proceedings of the 14th international conference on Architectural support for programming languages and operating systemsThe TRIPS system employs a new instruction set architecture (ISA) called Explicit Data Graph Execution (EDGE) that renegotiates the boundary between hardware and software to expose and exploit concurrency. EDGE ISAs use a block-atomic execution model in ...