Thoth (operating system)

From Wikipedia the free encyclopedia

Thoth
DeveloperUniversity of Waterloo
Written inEh, Zed, assembly language
OS familyRTOS
Working stateDiscontinued
Initial releaseOctober 1976; 48 years ago (1976-10)
Marketing targetResearch
Available inEnglish
Update methodRecompiling
PlatformsHoneywell 6050
Data General Nova 2
Texas Instruments TI990/10
Kernel typeMicrokernel
Succeeded byPort, Verex, Harmony, V

Thoth is a real-time, message passing operating system (OS) developed at the University of Waterloo in Waterloo, Ontario Canada.

History

[edit]

Thoth was developed at the University of Waterloo in Waterloo, Ontario, Canada. The curriculum at Waterloo includes a Real Time Operating Systems course and an associated "Train lab", where students must develop a real-time operating system (RTOS) to control a model track with multiple trains.[1][2][3]

In 1972, the B programming language, a derivative of BCPL, was brought to Waterloo by Stephen C. Johnson while on sabbatical from Bell Labs.[4] A new language derived from B, named Eh, was developed at Waterloo. Thoth was written originally in Eh with some assembly language.[5][6]

Initial development of Thoth occurred on a Honeywell 6050 computer.[7] It was first run on a Data General Nova 2 in May 1976, and was next ported to a Texas Instruments TI990/10 in August 1976.[7][5]

In October 1976, the University of Waterloo published Laurence S. Melen's Master's Thesis, titled "A Portable Real-Time Executive, Thoth".[8]

Eh was later upgraded, in part with the addition of data types, and renamed Zed. Thoth was then rewritten in Zed.[9][10][11][12][13]

One of the early principal developers of Thoth was David Cheriton. Cheriton would go on to develop the Verex kernel, and the V-System OS; both influenced by Thoth. Another early developer was Michael Malcolm, who would later found Waterloo Microsystems, Network Appliances, Inc., Blue Coat Systems, and Kaliedescape, several of whose operating systems are believed to have been derived from or influenced by Thoth.

Certain papers describe DEMOS as the inspiration for Thoth.[14] As prior art Cheriton cited Per Brinch Hansen's RC 4000, then listed Thoth, DEMOS, and Accent together as later developments.[15] Other influences on the development of Thoth included Multics, Data General's RTOS, Honeywell GCLS, and Unix.[5] Later references cite Thoth as the original implementation of its particular use of synchronous message passing and multiprocess program structure, which were subsequently applied by other projects.[16]: 2 

Work on Thoth ended around 1982.[17]

Features

[edit]

Thoth was developed to meet four goals:[7]

  1. Easily portable to other hardware[3]
  2. Programs run as a set of inexpensive, cooperating concurrent processes with efficient inter-process communications (IPC)[5]
  3. Suitable for real-time uses as to system response to external events
  4. Adaptable and scalable to a wide range of real-time uses

Thoth exposes the same abstract machine to application software, regardless of the underlying physical machine.[5][18] This abstract machine was defined with certain minimal requirements, such that meeting these requirements allowed a given computer to be included in the Thoth Domain of potential Thoth port targets.

Processes running under Thoth can be grouped into "Teams". All processes within a team share a common address space and can share data.[19][7] This is similar to other systems' concepts of "lightweight processes" or threads.[20] Processes not members of the same team communicate using Thoth's IPC.

Inter Process Communication in Thoth is primarily accomplished by means of synchronous message passing.[7] This approach greatly simplified message queueing.[21]

Although the term was not current when the original papers were written, Thoth has been called a microkernel.[22][20][23]

Thoth's synchronous message passing IPC lent itself to the application of an anthropomorphic programming model, building on the work of Carl Hewitt's actor model, and of Smalltalk.[17]

Legacy

[edit]

The Thoth operating system provided either the basis or the inspiration for several later projects, some of which are listed below.

Academic

[edit]
  • The microNet distributed file server system at the University of Waterloo ran on an operating system named WatSys that was similar to Thoth, and Port.[24] WatSys debuted in 1981.[25]
  • The National Research Council of Canada was the development home of the Harmony operating system, a derivative of Thoth oriented towards real-time robot control.[26]
  • Cheriton took a position at the University of British Columbia, where he was involved in developing Verex, and Distributed Verex, using many of the ideas he had earlier explored in Thoth.[12][27]
  • Cheriton later moved to Stanford University in the US, where he developed the V-System, which continued to build on earlier work with Thoth.[15][28][29][30]
  • The Sylvan Multiprocessing system's architecture included a coprocessor that implemented Thoth's synchronous message passing primitives (and Ada's extended rendezvous) in hardware.[16][31]
  • Thoth and its message passing IPC were used to underpin a multi-process paint program that employed the anthropomorphic programming model.[32][33]
  • Thoth's message passing semantics were part of an experimental parallel-processing version of the computer algebra system (CAS) Maple.[34]
  • The distributed Process Execution And Communication Environment (PEACE) was developed for high-performance applications. The paper cites Thoth as a "major foundation" for the project.[35]
  • The Eindhoven Multi-Processor System (EMPS) executive put an emphasis on efficiency. Thoth provided the inspiration for the design of the EMPS kernel.[36]
  • An experimental human-computer interface environment named the Room system was built on Waterloo Port, which was derived from Thoth and which used its IPC techniques. The Room paper references earlier Thoth papers.[37]
  • The Flash web server, a research project with an emphasis on efficiency and portability, was said to resemble Thoth in its method of multi-process structuring and concept of process teams communicating via message passing.[38]

Commercial

[edit]
  • Gordon Bell and Dan Dodge, developers of the QNX message passing realtime operating system, both worked with Thoth while they were students at Waterloo.[39][40][41][42]
  • AT&T's System 75 Office Communication System was controlled by the Oryx kernel and the Pecos set of essential system processes, jointly referred to as Oryx/Pecos. It used ideas from Thoth, DEMOS, and an internal AT&T project.[43]
  • The commercial Waterloo Port network operating system was derived from Thoth.[44] The associated Zed language was upgraded to become the PORT language for Waterloo Port.[45][46]
  • Hayes Microcomputer Products acquired Waterloo Microsystems, and rebranded and upgraded the Waterloo Port product to create LANstep.[47][48]
  • The Auspex storage company produced the Functional Multiprocessing Kernel (FMK), which employed concepts identified as having been first developed in Thoth.[49] Unlike the V-System and Waterloo Port, FMK had no memory management.
  • Early versions of Network Appliance, Inc.'s storage appliance operating system have been described as being very similar to Thoth.[50] NetApp's OS was written by David Hitz, who had previously been at Auspex.
  • In 1996 the CacheFlow web acceleration appliance company released their CacheOS, which was based on Thoth.[51] In 2001 CacheFlow was renamed Blue Coat Systems and, with the addition of a policy engine, CacheOS became the Secure Gateway Operating System (SGOS).

References

[edit]
  1. ^ "CS 452 Real-Time Programming". University of Waterloo, Cheriton School of Computer Science.
  2. ^ "CS 452/652 - Real-time Programming". University of Waterloo, Computing Science Computing Facility.
  3. ^ a b Malcolm, Michael (24 March 2009). "2009 March 24: Deloitte speakers series". University of Waterloo, Institute of Computer Research.
  4. ^ Ritchie, Dennis M. (April 1993). The Development of the C Language (PDF). Association for Computing Machinery. Archived from the original (PDF) on 2015-07-24. Retrieved 2020-10-06.
  5. ^ a b c d e Cheriton, David R.; Malcolm, Michael A.; Melen, Lawrence S.; Sager, Gary R. (March 1978). Thoth, a Portable Real-Time Operating System (Revised) (PDF). University of Waterloo Computer Science Department (Technical report).
  6. ^ Braga, Reinaldo S. C. (November 1976). Eh Reference Manual (PDF). University of Waterloo Computer Science Department (Technical report).
  7. ^ a b c d e Cheriton, David R.; Malcolm, Michael A.; Melen, Lawrence S.; Sager, Gary R. (February 1979). "Thoth, a Portable, Real-Time Operating System" (PDF). Communications of the ACM. 22 (2): 105–115. doi:10.1145/359060.359074. S2CID 14350500.
  8. ^ Melen, Laurence S. (October 1976). A Portable Real-Time Executive, Thoth (Technical report). Department of Computer Science, University of Waterloo.
  9. ^ Lion, John (October 1993). "Letter from New Jersey — January, 1979". Australian Unix Users Group Newsletter. Vol. 14, no. 5. The AUUG Inc. pp. 48–51.
  10. ^ "Programming Languages Database: Z". epocalc. 2012.
  11. ^ Bonkowski, G. Bert; Gentleman, W. Morven; Malcolm, Michael A. (May 1979). Porting The Zed Compiler (PDF). University of Waterloo Computer Science Department (Technical report).
  12. ^ a b Lockhart, Thomas Wayne (November 1979). The Design of a Verifiable Operating System Kernel (Thesis). The University of British Columbia. doi:10.14288/1.0051812.
  13. ^ Kinnersley, Bill (23 January 1995). "The Language List: Version 2.4". ckw.phys.ncku.edu.tw.
  14. ^ Hutchinson, Norman A. (1987). Emerald: An Object-Based Language for Distributed Programming (PDF) (Technical report). University of Washington.
  15. ^ a b Cheriton, David R. (March 1988). "The V Distributed System" (PDF). Communications of the ACM. 31 (3): 314–333. doi:10.1145/42392.42400. S2CID 7523994.
  16. ^ a b Burkowski, Forbes J.; Clarke, Charles L. A.; Cowan, S. Crispin; Vreugdenhil, G. J. (February 1995). Performance Evaluation of the Sylvan Multiprocessor Architecture (Technical report). University of Waterloo.
  17. ^ a b Booth, Kellogg S.; Schaeffer, Jonathan; Gentleman, W. Morven (February 1984). Anthropomorphic Programming (PDF). University of Waterloo Computer Science Department (Technical report).
  18. ^ Chubb, Lucy (1987). A Multiprocess Operating System for 16 Bit Microcomputers (Technical report). University of New South Sales, School of Electrical Engineering and Computer Science.
  19. ^ Comer, Douglas E.; Munson, Steven B (1988). Efficient Interprocess Communication Using Shared Memory (Technical report). Purdue University Department of Computer Science.
  20. ^ a b O'Sullivan, Bryan (13 August 1996). "Answers to frequently asked questions for comp.os.research: Part 1 of 3 — 2.2.3. The history of threads". University at Albany Department of Computer Science.
  21. ^ Fleisch, Brett D.; Co, Mark Allan A. (April 1997). Workplace Microkernel and OS: A Case Study (Technical report). Department of Computer Science, University of California. CiteSeerX 10.1.1.46.7315.
  22. ^ Appavoo, Jonathan. Optimizing Multi-Processor Operating Systems Software Research Review (PDF) (Technical report). Boston University Department of Computer Science.
  23. ^ Depoutovitch, Alexandre (2011). Otherworld — Giving Applications a Chance to Survive OS Kernel Crashes (PDF) (Technical report). University of Toronto Graduate Department of Computer Science.
  24. ^ Cowan, D. D.; Boswell, F. D.; Grove, T. R. (December 1984). A Distributed File-Server for a Personal Computer Network (PDF). University of Waterloo Computer Systems Department (Technical report).
  25. ^ Fonds, Wes Graham (5 August 1983). "Chronology: 1980s: A Decade of Expansion — 1981". University of Waterloo — Cheriton School of Computer Science.
  26. ^ Tanner, P. P.; Buxton, W. (1985). Some Issues in Future User Interface Management System (UIMS) Development. User Interface Management Systems. Berlin. pp. 67–79.
  27. ^ Boyle, Patrick David (June 1982). The Design of a Distributed Kernel for a Multiprocessor System (Thesis). University of British Columbia Department of Computer Science. doi:10.14288/1.0051817.
  28. ^ Tevanian Jr., Avadis; Rashid, Richard F.; Golub, David B.; Black, David L.; Cooper, Eric; Young, Michael W. (August 1987). Mach Threads and the Unix Kernel: The Battle for Control (Technical report). Department of Computer Science Carnegie-Mellon University.
  29. ^ Chakraborty, Pinaki (2010). "Research Purpose Operating Systems — A Wide Survey" (PDF). GESJ: Computer Science and Telecommunications (3): 147–160. ISSN 1512-1232.
  30. ^ Bin Shafaat, Ahmed; Xu, Shuxiang (26 December 2017). "A Comparative Study of Technologies Developed in Perspective of Distributed Operating Systems" (PDF). AMSE Journals: AMSE IIETA Publication: 2017-Series: Advances B. 60 (3): 613–629.
  31. ^ Burkowski, F. J.; Cormack, G. V.; Dyment, J. D.; Pachl, J. K. (28 February 1987). "A Message-Based Architecture For High Concurrency". In Heath, Michael T. (ed.). Hypercube Multiprocessors 1986. Society for Industrial & Applied Mathematics, U.S. pp. 27–37. ISBN 978-0898712094.
  32. ^ Beach, Richard J.; Beatty, John C.; Booth, Kellogg S.; Plebon, Darlene A.; Fiume, Eugene L. (July 1982). "The Message is the Medium: Multiprocess Structuring of an Interactive Paint Program". Computer Graphics. Vol. 16, no. 3. Association for Computing Machinery. pp. 277–287. doi:10.1145/965145.801292.
  33. ^ Plebon, Darlene A.; Booth, Kellogg S. (1982). Interactive Picture Creation System (PDF) (Technical report). University of Waterloo.
  34. ^ Watt, Stephen Michael (1985). Bounded Parallelism in Computer Algebra (PDF) (Technical report). University of Waterloo.
  35. ^ Schröder, W. A Distributed Process Execution and Communication Environment for High-Performance Application Systems (PDF) (Technical report). Technische Universität Berlin.
  36. ^ van Dijk, G. J. W. (1 January 1993). The design of the EMPS multiprocessor executive for distributed computing (PDF) (Technical report). Technische Universiteit Eindhoven.
  37. ^ Chan, Patrick P. (July 1984). Learning Considerations in User Interface Design: The Room Model (PDF). University of Waterloo Computer Science Department (Technical report).
  38. ^ Pai, Vivek S.; Druschel, Peter; Zwaenepoel, Willy. Flash: An efficient and portable Web server (PDF) (Technical report). Rice University Department of Computer Science.
  39. ^ "Embedded Applications — Technology for the Real World". The infraNET Project. 29 May 1998.
  40. ^ Morris, James B. (February–April 1983). "The Powerful Tools of QNX". PC Magazine. pp. 269–297.
  41. ^ Advani, Prakash (14 June 2001). "A talk with Paul Leroux". FreeOS.com.
  42. ^ Oberle, Bonnie (30 October 1998). "Returning the favour". Imprint. Impring Publications, Waterloo. p. 7.
  43. ^ Sager, Gary R.; Melber, John A.; Fong, Kenneth T. (January 1985). "System 75: The Oryx/Pecos operating system". AT&T Technical Journal. Vol. 64, no. 1. pp. 251–268. doi:10.1002/j.1538-7305.1985.tb00431.x.
  44. ^ Coppens, J.A.W.M (August 1988). Information security in Local Area Networks, especially in Waterloo Port (PDF) (Technical report). Technische Universiteit Eindhoven.
  45. ^ "Port - (Computer Language)". Online Historical Encyclopaedia of Programming Languages.
  46. ^ "Port". Computer Dictionary of Information Technology.
  47. ^ Rigney, Steve (April 1992). "LAN Fundamentals Part 2 — LANstep". PC Magazine. p. 316.
  48. ^ Nunn, Tom (24 August 1994). "Hayes tries to unload Kitchener-Waterloo research and development facility". The Gazette. Montreal, QC Canada.
  49. ^ Hitz, David; Harris, Guy; Lau, James K.; Schwartz, Allan M. (January 1990). Using Unix as One Component of a Lightweight Distributed Kernel for Multiprocessor File Servers (PDF) (Technical report). Auspex.
  50. ^ Kopp, Carlo (June 1997). "Brave Little Toasters?". Dr. Carlo Kopps's Industry Publications.
  51. ^ Jerian, Charles P. "Chuck's Home Page — I worked for CacheFlow Inc". jerian.tripod.com.

Further reading

[edit]
  • Malcolm, Michael A.; Stafford, Gary J. (September 1977). The Thoth Assembler Writing Kit (PDF). University of Waterloo Computer Science Department (Technical report).
  • Cheriton, D. R.; Murphy, W. (September 1979). Verex System Programmer's Manual (Technical report). University of British Columbia.
  • Cheriton, David R. (1979). Designing an Operating System to be Verifiable (Technical report).
  • Cheriton, D. R. (September 1980). The Verex Kernel (Technical report). University of British Columbia.
  • Cheriton, D. R. (November 1981). "The Design of a Distributed Kernel". Proceedings of ACM National Conference.
  • Wallis, Peter J. L. (1982). Portable programming. Macmillan. ISBN 0333310365.
  • Cheriton, David R. (1982). The Thoth system: multi-process structuring and portability. North-Holland. ISBN 0-444-00701-6.
  • Malcolm, Michael Alexander; Dyment, Doug (December 1983). "Experience designing the waterloo port user interface". Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers - SIGSMALL '83. pp. 168–175. doi:10.1145/800219.806664. ISBN 0897911237. S2CID 14736242.