TOPSY

TOPSY

TOPSY (a Teachable OPerating SYstem) ist ein multithreaded, sehr portables Betriebssystem, welches an der Eidgenössischen Technischen Hochschule (ETH) Zürich am Computer Engineering und Networks Laboratory entwickelt wurde.

Der Kernel ist ein von George Fankhauser in ISO-C geschriebener multithreaded Mikrokernel, welcher zirka 20 KB umfasst. TOPSY bietet Einblicke in die Bereiche Nebenläufigkeit, Treiberprogrammierung und Betriebssystemkonzepte und wird deshalb ausschließlich für Unterrichtszwecke verwendet. Obwohl TOPSY portabel ist, wurde die eigentliche hardwareabhängige Implementation ursprünglich für die Platform IDT MIPS R3052E geschrieben. In verschiedenen Semester- und Diplomarbeiten wurde TOPSY auf eine PC-kompatible (Lukas Ruf und George Fankhauser), Palm V (Gabriele Giambonini und Lukas Ruf), IXP1200 (David Reist, Silvio Dragone, Boris Lutz, Claudio Jeker und Lukas Ruf) und HP-iPAQ (Thomas Brunner und Lukas Ruf) Plattform portiert.

TOPSY zeichnet sich durch folgende Eigenschaften aus:

  • Einfachheit: Im Gegensatz zu mächtigen Kernels wird TOPSY bewusst einfach gehalten. Dies gilt insbesondere für die Algorithmen, da sie nicht auf Geschwindigkeit optimiert sind.
  • Lesbarkeit: Der Betriebssystemscode ist einfach lesbar, es wird nur das Minimum an nötiger Hardware unterstützt
  • Hardware-Unabhängigkeit: Da TOPSY einfach gehalten wird, ist die Portierung auf andere Systeme einfacher
  • Transparenz: Das Betriebssystem ist für Lernzwecke sauber geschrieben und nicht auf Effizienz optimiert

Moderne Betriebssystemkonzepte wurden in der Diplomarbeit von Boris Lutz und Claudio Jeker zu TOPSY v3 unter der Leitung von Lukas Ruf umgesetzt. TOPSY v3 unterstützt u. a. folgende Konzepte:

  • Priorisierbare Protection Domains
  • Dynamisch aus Komponenten zusammensetzbarer Netzwerkstack
  • Nachladen von Komponenten
  • Effiziente inter-Protection Domain Kommunikation

Die Lehre und Forschung mit TOPSY wird durch MIPS R3052E Emulatoren unterstützt. Ein plattformunabhängiger, Java-basierter Emulator (George Fankhauser) und ein hinsichtlich Ausführungsgeschwindigkeit optimierter, modularer C++-basierter (GNU C++) (Florian Kaufmann und Lukas Ruf) stehen zur Verfügung.

TOPSY wird an der ETH Zürich und verschiedenen Universitäten in Europa und Australien in der Lehre eingesetzt. Eine mehr als 70-seitige Dokumentation und Übungsunterlagen stehen zur Verfügung. Eine Mailingliste[1] sowie ein Wiki-FAQ[2] unterstützen den Erfahrungsaustausch.

Einzelnachweise

  1. ↑ Mailingliste
  2. ↑ FAQ

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Topsy — URL: http://topsy.com Коммерческий: да Тип сайта: поисковая система Регистрация …   Википедия

  • Topsy — *Topsy, a character in Harriet Beecher Stowe s novel Uncle Tom s Cabin (source of the phrase growed like Topsy ). *Topsy and Tim, a character from the Topsy and Tim series of children s books. *Topsy, a codename for the Japanese passenger… …   Wikipedia

  • Topsy — est une éléphante apprivoisée qui a été exécutée par électrocution le 4 janvier 1903. Sommaire 1 Vie 2 Mort 3 Littérature 4 Références …   Wikipédia en Français

  • Topsy — ist ein Betriebssystem, siehe TOPSY der Vorname von Topsy Küppers der weibliche Teil des schwedischen Folkduos Hai Topsy Topsy Turvy – Auf den Kopf gestellt: der Titel eines britischen Films über Gilbert und Sullivan Topsy (Elefant): der Name… …   Deutsch Wikipedia

  • Topsy — [Topsy] the character of a young black slave girl in the novel Uncle Tom s Cabin by Harriet Beecher Stowe. Topsy has no parents and, when asked to explain this, she answers, ‚I ’spect I grow’d (= I expect I grew).’ People often mention Topsy when …   Useful english dictionary

  • Topsy — Electrocuting an Elephant, Thomas Alva Edison, 1903. Topsy (c. 1875 – 4 de enero de 1903) fue una elefanta de circo que murió electrocutada en la silla eléctrica. Contenido 1 Vida 2 Muerte …   Wikipedia Español

  • Topsy — the character of a young black slave girl in the novel Uncle Tom’s Cabin by Harriet Beecher Stowe. Topsy has no parents and, when asked to explain this, she answers, ‘I ’spect I grow’d (= I expect I grew).’ People often mention Topsy when they… …   Universalium

  • Topsy — /ˈtɒpsi/ (say topsee) phrase grow like Topsy, Colloquial to grow in an unplanned, random way. {with reference to the character Topsy in Harriet Beecher Stowe s Uncle Tom s Cabin (1852) …  

  • topsy —    Used as a transferred name to a black African girl by a white man in Joyce Cary’s short story A Touch of Genius: ‘“Ere,” Robbins called. “You with the pot ‘ere, yaller girl, ‘ere, arf a minute, Topsy.”’ The girl concerned is described as… …   A dictionary of epithets and terms of address

  • topsy — adjective See topsy turvy …   Wiktionary

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”