- THE multiprogramming system
Infobox OS
name = THE multiprogramming system
caption =
developer = Technische Hogeschool Eindhoven /Edsger Dijkstra (et al.)
source_model =
kernel_type =
supported_platforms =Electrologica X8
ui =
family =
released =1968
latest_release_version =
latest_release_date =
latest_test_version =
latest_test_date =
marketing_target =
programmed_in =Assembly language
prog_language =ALGOL
language =
updatemodel =
package_manager =
working_state = Historic
license =
website = The THE multiprogramming system was a computeroperating system designed by a team led byEdsger Dijkstra , described in monographs in 1965-66 and published in1968 . Dijkstra never named the system; "THE" is simply the abbreviation of "Technische Hogeschool Eindhoven", then the name (in Dutch) of theEindhoven University of Technology of theNetherlands . The THE system was primarily abatch system that supported multitasking; it was not designed as amulti-user operating system. It was much like theSDS 940 , but "the set of processes in the THE system was static."The THE system apparently introduced the first forms of software-based
memory segment ation (theElectrologica X8 did not support hardware-basedmemory management )pg 512, "Chapter 13: Historical Perspective" of "Operating System Concepts" by Abraham Silberschatz and James L. Peterson, June 1988; ISBN 0-201-18760-4. 573 pages.] , freeing programmers from being forced to use actual physical locations on thedrum memory . It did this by using a modifiedALGOL compiler (the onlyprogramming language supported by Dijkstra's system) to "automatically generate calls tosystem routine s, which made sure the requested information was in memory, swapping if necessary."Design
The design of the THE multiprogramming system is significant for its use of a layered structure, in which "higher" layers only depend on "lower' layers:
* Layer 0 was responsible for the multiprogramming aspects of the operating system. It decided which process was allocated to the CPU. It dealt with interrupts and performed the context switches when a process change was required. This is the lowest level.
* Layer 1 was concerned with allocating memory to processes.
* Layer 2 dealt with inter-process communication and communication between the operating system and the console. The system used semaphores for synchronization, with Dijkstra'sBanker's algorithm avoidingdeadlock s.
* Layer 3 managed all I/O between the devices attached to the computer. This included buffering information from the various devices.
* Layer 4 consisted of user programs. There were 5 processes: in total, they handled the compilation,execution , andprinting of users' programs. When finished, they passed control back to the schedule queue, which was priority-based, favoring recently started processes and ones that blocked because ofI/O .
* Layer 5 was the overall control of the system (called the system operator).The constraint that higher layers can only depend on lower layers was imposed by the designers in order to make reasoning about the system (using quasi-
formal methods ) more tractable, and also to facilitate building and testing the system incrementally. The layers were implemented in order, layer 0 first, with thorough testing of the abstractions provided by each layer in turn. This formal design process was highly successful, as reported by Dijkstra:We have found it is possible to design a refined multiprogramming system in such a way that its logical soundness can be proved a priori and that its implementation admits exhaustive testing. The only errors that showed up during testing were trivial coding errors (occurring with a density of only one error per 500 instructions), each of them located with 10 minutes (classical) inspection at the machine and each of them correspondingly easy to remedy. [E. W. Dijkstra . "EWD 196: The structure of the 'THE'-multiprogramming system" (manuscript). Text [http://www.cs.utexas.edu/users/EWD/transcriptions/EWD01xx/EWD196.html] , PDF [http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD196.PDF] ]
This division of the kernel into layers was similar in some ways to
Multics ' later ring-segmentation model. Several subsequent operating systems have used layering to some extent, includingWindows NT andMac OS X , although usually with fewer layers.The code of the system was written in
assembly language for the DutchElectrologica X8 computer. This computer had 32K ofcore memory using 27-bit words, a 512K drum providingbacking store for the LRU algorithm, paper tape readers, paper tape punches, and printers.ee also
*
Ring (computer security)
*Venus (operating system) , a follow-up byBarbara Liskov inspired by the THE system. It updated the THE system's design to be atime-sharing system using paged-segmented memory, with the lowest levels written inmicrocode .
*Timeline of operating systems References
* E. W. Dijkstra . "EWD 126: The Multiprogramming System for the EL X8 THE" (manuscript). 14 June 1965. Text [http://www.cs.utexas.edu/users/EWD/transcriptions/EWD01xx/EWD126.html] , PDF [http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD126.PDF]
* E. W. Dijkstra, "The structure of the 'THE'-multiprogramming system", "Communications of the ACM" 11(5):341 – 346, 1968. [http://doi.acm.org/10.1145/363095.363143 (subscription)]
Wikimedia Foundation. 2010.