Symbolics¶

Symbolics — это американская компания, основанная в 1980 году, которая занималась разработкой и производством специализированных компьютерных систем, в первую очередь Lisp-машин, и программного обеспечения для искусственного интеллекта (ИИ). Symbolics считается одним из пионеров в области коммерциализации технологий ИИ и создания интегрированных сред разработки, а её продукция оказала значительное влияние на развитие информатики, особенно в области символьных вычислений и объектно-ориентированного программирования.

¶История

¶Основание и первые годы (1980—1983)

Компания Symbolics была основана в 1980 году в Кембридже, штат Массачусетс, группой бывших сотрудников Массачусетского технологического института (MIT) и Лаборатории искусственного интеллекта MIT. Основатели, включая Рассела Нофтскера, Дэвида Муна, Дэниела Вайнреба и других, ранее участвовали в проекте MIT по созданию Lisp-машин, который начался в 1970-х годах. Целью Symbolics стала коммерциализация этих разработок: создание мощных рабочих станций, оптимизированных для выполнения программ на языке Lisp, который был основным инструментом в исследованиях ИИ того времени.

Первым продуктом компании стала Lisp-машина Symbolics 3600, выпущенная в 1983 году. Она представляла собой однопользовательскую рабочую станцию с собственным процессором, специально спроектированным для эффективного выполнения Lisp-кода. Система включала операционную систему Genera — одну из первых полностью интегрированных сред разработки, объединявшую редактор, компилятор, отладчик, систему управления версиями и графический интерфейс. Genera стала эталоном для последующих сред разработки, таких как Smalltalk и Common Lisp.

¶Расцвет и конкуренция (1984—1988)

В середине 1980-х годов Symbolics пережила период быстрого роста. Компания выпустила несколько моделей Lisp-машин, включая Symbolics 3620 и Symbolics 3640, которые отличались повышенной производительностью и объёмом памяти. Продукция Symbolics использовалась в ведущих исследовательских центрах, университетах и корпорациях, занимающихся ИИ, таких как Стэнфордский университет, MIT, NASA, а также в оборонных проектах США.

Однако в этот же период возникла конкуренция со стороны других компаний, в частности Lisp Machines Inc. (LMI) и Texas Instruments, которые также выпускали Lisp-машины. Кроме того, на рынке появились более дешёвые и универсальные рабочие станции на базе процессоров Motorola 68000, которые могли запускать Lisp-среды, такие как Franz Lisp или Common Lisp, без специализированного аппаратного обеспечения. Это подорвало бизнес-модель Symbolics, ориентированную на дорогие, узкоспециализированные системы.

¶Упадок и смена стратегии (1989—1995)

К концу 1980-х годов рынок Lisp-машин начал сокращаться. Рост производительности универсальных процессоров (например, Intel 80386) и появление коммерческих реализаций Common Lisp для стандартных платформ (например, Allegro Common Lisp от компании Franz Inc.) сделали специализированное оборудование менее востребованным. Symbolics попыталась адаптироваться, выпустив в 1989 году Symbolics XL400 — Lisp-машину на базе процессора Intel 80386, которая могла работать как под управлением Genera, так и под управлением UNIX. Однако это не остановило падение продаж.

В 1991 году компания объявила о банкротстве и была реструктурирована. В 1992 году Symbolics прекратила производство аппаратного обеспечения и сосредоточилась на разработке программного обеспечения, в частности, на портировании операционной системы Genera на платформу Alpha от Digital Equipment Corporation (DEC). Однако этот проект не принёс коммерческого успеха.

¶Последние годы и наследие (1996—2005)

В 1996 году Symbolics была продана компании Macsyma Inc., которая занималась разработкой систем компьютерной алгебры. В 2000-х годах права на программное обеспечение Symbolics перешли к нескольким мелким компаниям, а в 2005 году операционная система Genera была выпущена в открытый доступ под лицензией, позволяющей некоммерческое использование. Несмотря на прекращение активной деятельности, наследие Symbolics остаётся значимым: многие концепции, реализованные в Genera (например, объектно-ориентированная система Flavors, предшественник Common Lisp Object System), повлияли на развитие современных языков программирования и сред разработки.

¶Продукция

¶Аппаратное обеспечение

Основной продукцией Symbolics были Lisp-машины — специализированные компьютеры, архитектура которых была оптимизирована для выполнения Lisp-кода. Ключевые модели:

• Symbolics 3600 (1983) — первая коммерческая Lisp-машина компании. Оснащалась процессором с тактовой частотой 10 МГц, поддерживала до 16 МБ оперативной памяти и имела собственный графический дисплей с разрешением 1024×800 пикселей.
• Symbolics 3620 (1985) — улучшенная версия с более быстрым процессором и поддержкой до 32 МБ ОЗУ.
• Symbolics 3640 (1986) — модель с увеличенным объёмом памяти (до 64 МБ) и улучшенной графической подсистемой.
• Symbolics XL400 (1989) — последняя модель, основанная на процессоре Intel 80386 с тактовой частотой 25 МГц. Могла работать под управлением Genera или UNIX (System V). Поддерживала до 128 МБ ОЗУ.

¶Программное обеспечение

• Операционная система Genera — флагманский продукт Symbolics. Представляла собой полностью интегрированную среду разработки, включающую:
• Zmacs — многооконный текстовый редактор, основанный на Emacs.
• Компилятор Lisp — оптимизированный для генерации эффективного машинного кода.
• Отладчик — с возможностью пошагового выполнения, просмотра стека вызовов и изменения значений переменных в реальном времени.
• Система управления версиями — одна из первых реализаций, позволявшая отслеживать изменения в исходном коде.
• Графическая подсистема — поддерживала оконный интерфейс, векторную графику и работу с мышью.
• Common Lisp — Symbolics активно участвовала в стандартизации языка Common Lisp (ANSI X3J13) и предоставляла одну из первых его полных реализаций.
• Flavors — объектно-ориентированная система, разработанная в Symbolics, которая стала предшественником Common Lisp Object System (CLOS). Flavors поддерживала множественное наследование и динамическую диспетчеризацию методов.

¶Применение

Продукция Symbolics использовалась в основном в научных и исследовательских целях, а также в оборонной промышленности. Основные области применения:

• Искусственный интеллект: разработка экспертных систем, систем обработки естественного языка, робототехники и компьютерного зрения.
• Символьные вычисления: решение задач в области математики, физики и химии, требующих символьных преобразований (например, система Macsyma).
• Оборонные проекты: создание систем управления, анализа данных и моделирования для Министерства обороны США и NASA.
• Образование: обучение студентов и аспирантов в ведущих университетах мира (MIT, Stanford, Carnegie Mellon) основам ИИ и программирования на Lisp.

¶Критика

Несмотря на технологические инновации, Symbolics подвергалась критике по нескольким причинам:

• Высокая стоимость: Lisp-машины Symbolics стоили от 50 000 до 100 000 долларов США (в ценах 1980-х годов), что делало их недоступными для большинства организаций и частных лиц.
• Закрытость архитектуры: компания использовала проприетарное аппаратное и программное обеспечение, что затрудняло интеграцию с другими системами и ограничивало возможности модернизации.
• Зависимость от Lisp: хотя Lisp был мощным языком, его нишевой характер и сложность изучения ограничивали круг потенциальных пользователей.
• Неспособность адаптироваться к рынку: Symbolics долгое время игнорировала тенденцию к универсализации компьютеров, что в конечном итоге привело к упадку компании.

¶Интересные факты

• Операционная система Genera была одной из первых, реализовавших концепцию «живой системы» (live system), где все компоненты, включая ядро ОС, были написаны на одном языке (Lisp) и могли быть изменены во время выполнения.
• Компания Symbolics была одним из первых коммерческих пользователей сети ARPANET (предшественника Интернета) и имела собственный домен верхнего уровня .symbolics.com, зарегистрированный в 1985 году. Этот домен считается одним из старейших в истории Интернета.
• В 1980-х годах Symbolics спонсировала разработку шахматной программы Mac Hack, которая участвовала в турнирах по шахматам среди компьютеров.

¶Источники

• «Symbolics: The Early Years» — статья в журнале IEEE Annals of the History of Computing, 2005.
• «Lisp Machines: A History» — книга под редакцией Джона Маккарти, 1988.
• «The Evolution of Lisp» — статья Гая Стила и Ричарда Гэбриэла, 1993.
• Документация компании Symbolics, включая руководства по операционной системе Genera (1983—1991).
• Архивы домена symbolics.com (веб-архивы).