Symbolics

aus Wikipedia, der freien Enzyklopädie

Firmenlogo

Symbolics Inc. war eine US-amerikanische Computer-Firma. Sie war vor allem für die Entwicklung und den Vertrieb von Lisp-Maschinen – speziellen Computern zum Ausführen der Programmiersprache LISP – in den 1980er und 1990er Jahren bekannt.

Nach der Insolvenz der Firma ist Symbolics eine Firma im privaten Besitz, die das ehemalige Betriebsvermögen von Symbolics Inc. verwaltet. Symbolics bietet Wartungsverträge für noch betriebene Lisp-Maschinen an und Lizenzen für ihre Software, inklusive des Computer-Algebra-Systems Macsyma und einer Portierung der Lisp-Maschinen-Software Genera für Alpha-Prozessoren.

[Bearbeiten] Geschichte

Siehe auch Geschichte der Lisp-Maschine

[Bearbeiten] Gründungsgeschichte

1979 gründete Russell Noftsker Symbolics Inc., nach dem er sich mit Richard Greenblatt überworfen hatte. Greenblatt und Thomas Knight entwarfen 1973 am MIT AI Lab, an dem auch Noftsker arbeitete, einen ersten Prototypen für eine Lisp-Maschine. Zunächst planten Greenblatt und Noftsker eine gemeinsame Firma, dies scheiterte jedoch an Streitigkeiten über das Geschäftsmodell. Greenblatt gründete kurz darauf Lisp Machines Inc. (kurz LMI).^[1]

Beide Firmen rekrutierten ihr Personal zunächst vor allem aus anderen Mitarbeitern des MIT AI Labs. Zunächst hatte Symbolics auch keine eigenen Räumlichkeiten und die Mitarbeiter arbeiteten im MIT AI Lab weiter. Das MIT ließ Symbolics gewähren, weil Symbolics im Gegenzug die Software dem MIT frei zur Verfügung stellte.^[2] Dies führte dazu, dass das AI Lab quasi ausstarb. Dies verärgerte Richard Stallman, der am AI Lab arbeitete und durch die kommerziellen Interessen beider Firmen die Hacker-Kultur des AI Labs verloren sah. 1982 entschloss sich Symbolics, die Änderungen am Betriebssystem der Lisp-Maschinen, das sowohl LMI als auch Symbolics wegen der gemeinsamen Geschichte am AI Lab nutzten, nicht mehr frei zu veröffentlichen. Stallman, der die Schuld für den Niedergang des AI Labs vor allem bei Symbolics sah, entschloss sich daraufhin, die Änderungen zu rekonstruieren und LMI zur Verfügung zu stellen, da er am MIT freien Zugriff auf die Symbolics-Software und -Maschinen hatte.^[1] Jedoch waren LMIs Änderungen nicht frei^[3]. Die Lisp-Maschinen-Software basierte auf dem MacLisp-Dialekt. Wegen der vielen Änderungen der Programmiersprache bezeichnete Symbolics ihren Dialekt später als ZetaLisp. ZetaLisp diente als Basis für den Entwurf von Common Lisp. Spätere Lisp-Maschinen-Software konnte auch mit Common Lisp umgehen.

1982 wurde die auf der MIT CADR basierende Lisp-Maschine LM-2 eingeführt, die nur eine Übergangslösung zur wesentlich überarbeiteten 3600er Familie darstellen sollte.

[Bearbeiten] Untergang von Symbolics

Durch die immer größere Leistung allgemeiner Mikroprozessoren und den sogenannten KI-Winter am Ende der 1980er und Anfang der 1990er Jahre geriet das Geschäft mit den Lisp-Maschinen in eine große Krise, was zum Ende vieler Hersteller von Lisp-Maschinen führte. Besonders hart betroffen wurde Symbolics durch das Ende des SDI-Projekts, bei dem die DARPA viele Projekte – vor allem im Bereich der Experten Systeme – finanziert hatte, die auf Maschinen und Software von Symbolics gesetzt hatten^[2].

Ein weiteres Problem war, dass die auf Lisp-Maschinen entworfene Software nur auf Lisp-Maschinen lief. Die Kunden von Software die für Lisp-Maschinen entworfen waren, mussten so ebenfalls teure Lisp-Maschinen kaufen, auf der wiederum nur die spezielle Software lief. Symbolics versuchte dem Problem entgegen zutreten, in dem ein Lisp-System CLOE für IBM PC-Hardware entworfen werden sollte, dass nur zur Ausführung von auf Lisp-Maschinen entworfener Software dienen sollte.^[4]

Interne Streitigkeiten sorgten dafür, dass das Management ausgewechselt wurde. In der Annahme von weiterem Wachstum wurden neue Büros und eine neue Fabrik gekauft, was sich wegen der Entwicklung auf dem Markt, aber als fatale Fehlinvestition erwies.^[4]

Symbolics Inc. musste 1993 Insolvenz anmelden. Symbolics Technology Inc. wurde als Nachfolger gegründet, der die Wartung noch im Einsatz befindlicher Systeme, den Verkauf der letzten noch vorrätigen Systeme und die Lizenzierung der Symbolics-Software übernahm.

2005 starb der Besitzer von Symbolics Technology Inc., Andrew Topping. Seitdem versuchen einige ehemalige Symbolics-Mitarbeiter den Quellcode von Genera unter einer freien Lizenz zu veröffentlichen.^[5][6][7]

[Bearbeiten] Lisp-Maschinen von Symbolics

[Bearbeiten] LM-2

Die 1981 herausgebrachte LM-2 war eine MIT CADR Lisp-Maschine, mit kleineren Verbesserungen, wie FORTRAN 77 Unterstützung, farbiger Grafik und einem LGP-1 Laserdrucker.^[8]

Die LM-2 kostete 70 000$ und es wurden rund 100 Stück produziert, obwohl sie möglichst schnell durch die 3600er Familie ersetzt werden sollte.

[Bearbeiten] 3600er Familie

Die 3600er Familie von Symbolic-Lisp-Maschinen war im Gegensatz zur LM-2, die nur eine umverpackte MIT CADR darstellte, wesentlich überarbeitet worden. Maschinenwörter wurden auf 36 Bit erhöht (32 Bit Daten und 4 Bit Tag) und der Adressraum auf 28 Bit, was bis zu 1 GB virtuellen Speicher ermöglichte. Außerdem wurde spezielle Hardware für einige Instruktionen eingeführt, die in der CADR emuliert worden waren. Die Konsole wurde um einen größeren hochauflösenden Bildschirm und 16 Bit Audio ergänzt. An neuer Software wurden ein Pascal-Toolkit, das CAS Macsyma, diverse Grafik-Programme und ein Prolog-Compiler eingeführt. Die 3600er Maschinen wurden firmenintern l-machine und ab der 3650 g-machine genannt.

^[8]

[Bearbeiten] Ivory

Ivory war ein VLSI-Microprozessor zur Ausführung von Lisp-Microcode, der als Basis für neuere Lisp-Maschinen diente, aber auch als Board für Workstations von Sun Microsystems (UX) und Apple Macintoshs (MacIvory) verfügbar war.

Ivory arbeitete mit 40 Bit großen Datenwörtern, wobei 8 Bit als Tag benutzt wurden und 32 Bit für Daten oder Adressen. Da nur ganze Wörter adressiert werden konnten, waren somit 4 Gigawords bzw. 16 GB virtueller Speicher möglich. Die Chips wurden von Hewlett Packard produziert

Mit Sunstone sollte ein RISC basierter Nachfolger entworfen werden, ähnlich der von LMI geplanten K-Machine. Das Projekt wurde jedoch eingestellt.

[Bearbeiten] Ivory basierte Lisp-Maschinen

1988:

• Macivory I
• XL400

1989:

• MacIvory II
• UX400

1990:

• XL1200
• UX1200

1991:

• MacIvory III
• Zora

1992:

• XL1201
• NXP1000 pizza box

^[9]

[Bearbeiten] Open Genera

Das Lisp-Maschinen-Betriebssystem Genera wurde 1992 für DEC Tru64 UNIX/Alpha-Systeme portiert^[10]. Open Genera war auf Alpha-Prozessoren wesentlich schneller als auf den letzten speziellen Lisp-Maschinen^[11]. Eine Lizenz kann immer noch von Symbolics erworben werden. Es gibt eine inoffizielle Portierung für Linux/x86_64^[12].

Open Genera besteht aus ungefähr 1,5 Millionen Zeilen Code und ist in diversen Lisp-Dialekten geschrieben. Daher wurde bei der Portierung ein Lisp-Maschinen-Emulator entwickelt, da eine Portierung auf einen einzigen Dialekt massive Änderungen an dem Code erfordert hätte.^[10]

[Bearbeiten] Trivia

Die Firmen-Domain symbolics.com gilt als älteste registrierte .com Domain des Internets^[13].

[Bearbeiten] Weblinks

• Offizielle Website (englisch)
• Symbolics Lisp Maschine Museum (englisch)
• Ralf Möllers Symbolics Lisp Machine Museum (englisch)
• Symbolics Lisp-Maschinen Emulator (englisch)

[Bearbeiten] Quellen

1. ↑ ^{a b} Steven Levy: Hackers: Heroes of the Computer Revolution 1984, New York, ISBN 0-385-19195-2
2. ↑ ^{a b} Symbolics, Inc: A failure in heterogeneous engineering
3. ↑ Dan Weinreb: Rebuttal to Stallman’s Story About The Formation of Symbolics and LMI, 11. November 2007
4. ↑ ^{a b} Dan Weinreb: Why Did Symbolics Fail, 16. November 2007
5. ↑ http://www.unlambda.com/cadr/cadr_faq.html
6. ↑ http://lispmeister.com/blog/2005/01/index.html
7. ↑ http://lispmeister.com/blog/ILC03/OS-Genera.html
8. ↑ ^{a b} Symbolic Inc. Symbolics Technical Summary, 1985
9. ↑ http://www.andromeda.com/people/ddyer/lisp/
10. ↑ ^{a b} http://pt.withy.org/publications/VLM.html
11. ↑ http://www.b9.com/blog/archives/2003/12/opengenera_benc.html
12. ↑ http://labs.aezenix.com/lispm/index.php?title=VLM_On_Linux&oldid=43039
13. ↑ http://www.jottings.com/100-oldest-dot-com-domains.htm