Symbolics, Inc. , era un fabricante de computadoras estadounidense de propiedad privada que adquirió los activos de la empresa anterior y continúa vendiendo y manteniendo el sistema Open Genera Lisp y el sistema de álgebra informática Macsyma . [2]
El dominio simbólico.com se registró originalmente el 15 de marzo de 1985, [3] lo que lo convierte en el primer dominio .com del mundo. En agosto de 2009, se vendió a servilleta.com (anteriormente XF.com) Investments. [4]
Symbolics, Inc. [5] era un fabricante de computadoras con sede en Cambridge, Massachusetts , y más tarde en Concord, Massachusetts , con instalaciones de fabricación en Chatsworth, California (una sección suburbana de Los Ángeles ). Su primer director ejecutivo, presidente y fundador fue Russell Noftsker . [6] Symbolics diseñó y fabricó una línea de máquinas Lisp , computadoras de usuario único optimizadas para ejecutar el lenguaje de programación Lisp . Symbolics también hizo avances significativos en tecnología de software y ofreció uno de los principales entornos de desarrollo de software de las décadas de 1980 y 1990, que ahora se vende comercialmente como Open Genera para Tru64 UNIX en Hewlett-Packard (HP) Alpha . La Lisp Machine fue la primera estación de trabajo disponible comercialmente , aunque esa palabra aún no se había acuñado.
Symbolics fue una escisión del MIT AI Lab , una de las dos empresas fundadas por el personal del AI Lab y los piratas informáticos asociados con el fin de fabricar máquinas Lisp. El otro fue Lisp Machines , Inc., aunque Symbolics atrajo a la mayoría de los hackers y a más financiación.
El producto inicial de Symbolics, el LM-2, presentado en 1981, era una versión reempaquetada del diseño de la máquina MIT CADR Lisp . El sistema operativo y el entorno de desarrollo de software, más de 500.000 líneas, se escribieron en Lisp desde el microcódigo , basado en Lisp Machine Lisp del MIT .
Posteriormente, el paquete de software pasó a llamarse ZetaLisp , para distinguir el producto de Symbolics de otros proveedores que también habían obtenido la licencia del software del MIT. El editor de texto Zmacs de Symbolics , una variante de Emacs , se implementó en un paquete de procesamiento de texto llamado ZWEI , un acrónimo de Zwei era inicialmente Eine , siendo Eine un acrónimo de Eine Is Not Emacs . Ambos son acrónimos recursivos y juegos de palabras con las palabras alemanas para uno ( eins , eine ) y dos ( zwei ).
El software del sistema Lisp Machine tenía derechos de autor del MIT y tenía licencia tanto para Symbolics como para LMI. Hasta 1981, Symbolics compartió todas sus mejoras protegidas por derechos de autor en el código fuente con el MIT y lo mantuvo en un servidor del MIT. Según Richard Stallman , Symbolics utilizó una táctica comercial en la que obligó al MIT a hacer que todas las correcciones y mejoras protegidas por derechos de autor del sistema operativo Lisp Machine de Symbolics estuvieran disponibles sólo para Symbolics (y el MIT, pero no para los competidores de Symbolics), y así asfixiar a su competidor. LMI, que en ese momento no tenía recursos suficientes para mantener o desarrollar de forma independiente el sistema operativo y el entorno. [7]
Los simbólicos sintieron que ya no tenían suficiente control sobre su producto. En ese momento, Symbolics comenzó a usar su propia copia del software, ubicada en los servidores de su empresa, mientras que Stallman dice que Symbolics hizo eso para evitar que sus mejoras en Lisp fluyeran hacia Lisp Machines, Inc. A partir de esa base, Symbolics realizó amplias mejoras en cada parte del software y continuó entregando casi todo el código fuente a sus clientes (incluido el MIT). Sin embargo, la política prohibía al personal del MIT distribuir la versión Symbolics del software a otros. Con el fin de la colaboración abierta llegó el fin de la comunidad de hackers del MIT. Como reacción a esto, Stallman inició el proyecto GNU para crear una nueva comunidad. Con el tiempo, el Copyleft y la Licencia Pública General GNU garantizarían que el software de un hacker pudiera seguir siendo software libre . De esta manera, Symbolics jugó un papel clave, aunque contradictorio, en la instigación del movimiento del software libre .
En 1983, un año más tarde de lo previsto, Symbolics presentó la familia 3600 de máquinas Lisp. Con el nombre en código interno de "máquina L", la familia 3600 era un nuevo diseño innovador, inspirado en la arquitectura CADR pero que compartía algunos de sus detalles de implementación. El procesador principal tenía una palabra de 36 bits (dividida en 4 u 8 bits de etiquetas y 32 bits de datos o 28 bits de dirección de memoria). Las palabras de memoria eran de 44 bits y los 8 bits adicionales se usaban para el código de corrección de errores (ECC). El conjunto de instrucciones era el de una máquina apiladora . La arquitectura 3600 proporcionó 4096 registros de hardware, de los cuales la mitad se utilizaron como caché para la parte superior de la pila de control ; el resto fue utilizado por el microcódigo y las rutinas de tiempo crítico del sistema operativo y el entorno de ejecución Lisp. Se proporcionó soporte de hardware para la memoria virtual , que era común para las máquinas de su clase, y para la recolección de basura , que era única.
El procesador 3600 original tenía un diseño microprogramado como el CADR y estaba construido sobre varias placas de circuitos grandes a partir de circuitos integrados TTL estándar , siendo ambas características comunes en las computadoras comerciales de su clase en ese momento. La velocidad del reloj de la unidad central de procesamiento (CPU) variaba según la instrucción que se estaba ejecutando, pero normalmente rondaba los 5 MHz. Muchas primitivas Lisp podrían ejecutarse en un solo ciclo de reloj . La entrada/salida del disco (E/S) se manejó mediante multitarea en el nivel de microcódigo . Un procesador 68000 (denominado procesador frontal (FEP)) encendió la computadora principal y manejó los periféricos más lentos durante el funcionamiento normal. Una interfaz Ethernet era un equipo estándar que reemplazaba la interfaz Chaosnet del LM-2.
El 3600 era aproximadamente del tamaño de un frigorífico doméstico. Esto se debió en parte al tamaño del procesador (las tarjetas estaban muy espaciadas para permitir que las tarjetas prototipo de alambre encajaran sin interferencias) y en parte al tamaño de la tecnología de unidad de disco a principios de la década de 1980. En la presentación del 3600, el disco más pequeño que podía soportar el software ZetaLisp tenía 14 pulgadas (360 mm) de ancho (la mayoría de los 3600 se enviaban con el Fujitsu Eagle de 10½ pulgadas ). El 3670 y el 3675 eran un poco más cortos en altura, pero eran esencialmente la misma máquina empaquetada un poco más apretada. La llegada de 8 pulgadas (200 mm), y más tarde 5+Las unidades de disco de 1 ⁄ 4 pulgadas (130 mm) que podían contener cientos de megabytes llevaron a la introducción de los modelos 3640 y 3645, que eran aproximadamente del tamaño de un archivador de dos cajones.
Las versiones posteriores de la arquitectura 3600 se implementaron en circuitos integrados personalizados, reduciendo las cinco tarjetas del diseño del procesador original a dos, con un gran ahorro en costos de fabricación y con un rendimiento ligeramente mejor que el diseño anterior. La 3650, la primera de las máquinas G , como se las conocía dentro de la empresa, estaba alojada en un gabinete derivado de la 3640. Una memoria más densa y unidades de disco más pequeñas permitieron la introducción del 3620, aproximadamente del tamaño de una PC torre moderna de tamaño completo. El 3630 era un 3620 grueso con espacio para más tarjetas de interfaz de video y memoria. El 3610 era una variante de menor precio del 3620, esencialmente idéntico en todos los sentidos, excepto que tenía licencia para la implementación de aplicaciones en lugar del desarrollo general.
Los distintos modelos de la familia 3600 fueron populares para la investigación y aplicaciones comerciales de inteligencia artificial (IA) durante la década de 1980. El auge de la comercialización de la IA en la década de 1980 condujo directamente al éxito de Symbolics durante la década. Se creía ampliamente que las computadoras simbólicas eran la mejor plataforma disponible para desarrollar software de inteligencia artificial. El LM-2 usó una versión de la marca Symbolics del complejo teclado espacial cadete , [8] mientras que los modelos posteriores usaron una versión simplificada (a la derecha), conocida simplemente comoTeclado simbólico .[9]El teclado simbólico presentaba las muchasteclas modificadorasutilizadas en Zmacs, en particular Control/Meta/Super/Hyper en un bloque, pero no presentaba el complejo conjunto de símbolos del teclado space-cadet.
También contribuyó al éxito de la serie 3600 una línea de interfaces de vídeo en color con gráficos de mapas de bits , combinadas con un software de animación extremadamente potente. La División de Gráficos de Symbolics, con sede en Westwood, Los Ángeles , California, cerca de los principales estudios de cine y televisión de Hollywood, convirtió su software S-Render y S-Paint en líderes de la industria de la animación y sus pantallas de bloqueo de 24 fps se presentaron en Películas de Star Trek. [10] [11] [12] [13] [14]
Symbolics desarrolló las primeras estaciones de trabajo capaces de procesar vídeo con calidad de televisión de alta definición (HDTV), que gozaron de gran popularidad en Japón. Un 3600, con el monitor estándar en blanco y negro, hizo un cameo en la película Real Genius . También se hace referencia a la empresa en la novela Jurassic Park de Michael Crichton .
La división de gráficos de Symbolics se vendió a Nichimen Trading Company a principios de la década de 1990, y el paquete de software S-Graphics (S-Paint, S-Geometry, S-Dynamics, S-Render) se transfirió a Franz Allegro Common Lisp en Silicon Graphics (SGI). ) y computadoras PC que ejecutan Windows NT . Hoy en día, Izware LLC lo vende como Mirai y continúa utilizándose en las principales películas (la más famosa en El señor de los anillos de New Line Cinema ), videojuegos y simulaciones militares.
Las computadoras de la serie 3600 de Symbolics también se utilizaron como las primeras computadoras controladoras frontales para las computadoras masivamente paralelas Connection Machine fabricadas por Thinking Machines Corporation , otra filial del MIT con sede en Cambridge, Massachusetts. Connection Machine ejecutó una variante paralela de Lisp y, inicialmente, fue utilizada principalmente por la comunidad de IA, por lo que la máquina Symbolics Lisp encajaba particularmente bien como máquina frontal.
Durante mucho tiempo, el sistema operativo no tuvo nombre, pero finalmente se llamó Genera alrededor de 1984. El sistema incluía varios dialectos avanzados de Lisp. Su herencia era Maclisp en el PDP-10, pero incluía más tipos de datos y funciones de programación orientada a objetos de herencia múltiple. Este dialecto Lisp se llamó Lisp Machine Lisp en el MIT. Los simbólicos utilizaron el nombre ZetaLisp. Posteriormente, Symbolics escribió un nuevo software en Symbolics Common Lisp , su versión del estándar Common Lisp .
A finales de la década de 1980 (2 años más tarde de lo previsto), la familia Ivory de procesadores Lisp Machine de un solo chip reemplazó a los sistemas G-Machine 3650, 3620 y 3630. La implementación VLSI del transistor Ivory 390k diseñada en Symbolics Common Lisp usando NS, un lenguaje de diseño de hardware (HDL) de Symbolics personalizado, direccionó una palabra de 40 bits (etiqueta de 8 bits, datos/dirección de 32 bits). Dado que solo abordaba palabras completas y no bytes o medias palabras, esto permitía abordar 4 gigapalabras (GW) o 16 gigabytes (GB) de memoria; El aumento del espacio de direcciones reflejó el crecimiento de los programas y los datos a medida que la memoria de los semiconductores y el espacio en disco se abarataban. El procesador Ivory tenía 8 bits de ECC adjuntos a cada palabra, por lo que cada palabra recuperada de la memoria externa al chip tenía en realidad 48 bits de ancho. Cada instrucción de Ivory tenía 18 bits de ancho y en cada palabra de instrucción extraída de la memoria había dos instrucciones más un código CDR de 2 bits y un tipo de datos de 2 bits. Recuperar de memoria dos palabras de instrucción a la vez mejoró el rendimiento del Ivory. A diferencia de la arquitectura microprogramada del 3600 , el conjunto de instrucciones de Ivory todavía estaba microcodificado, pero estaba almacenado en una ROM de 1200 × 180 bits dentro del chip Ivory. Los procesadores Ivory iniciales fueron fabricados por VLSI Technology Inc en San José, California , en un proceso CMOS de 2 μm , y las generaciones posteriores fabricadas por Hewlett-Packard en Corvallis, Oregón , en procesos CMOS de 1,25 μm y 1 μm. Ivory tenía una arquitectura de pila y operaba un proceso de 4 etapas: recuperación, decodificación, ejecución y escritura. Los procesadores Ivory se comercializaron en máquinas Lisp independientes (XL400, XL1200 y XL1201), máquinas Lisp sin cabeza (NXP1000) y en tarjetas complementarias para Sun Microsystems (UX400, UX1200) y Apple Macintosh (MacIvory I, II, III) computadoras. Las máquinas Lisp con procesadores Ivory funcionaban a velocidades entre dos y seis veces más rápidas que una 3600, según el modelo y la revisión del chip Ivory.
Posteriormente, el conjunto de instrucciones de Ivory se emuló en software para microprocesadores que implementaban la arquitectura Alpha de 64 bits . El emulador "Virtual Lisp Machine" , combinado con el sistema operativo y el entorno de desarrollo de software de las máquinas XL, se vende como Open Genera.
Sunstone era un procesador similar a una computadora con conjunto de instrucciones reducido (RISC), que se lanzaría poco después que el Ivory. Fue diseñado por el grupo de Ron Lebel en la oficina de Symbolics Westwood. Sin embargo, el proyecto fue cancelado el día en que se suponía que debía finalizarse.
Tan rápido como el auge comercial de la IA de mediados de la década de 1980 impulsó a Symbolics al éxito, el invierno de la IA de finales de la década de 1980 y principios de la de 1990, combinado con la desaceleración de la Iniciativa de Defensa Estratégica de la administración de Ronald Reagan , popularmente denominada Guerra de las Galaxias , programa de defensa antimisiles. , para el cual la Agencia de Proyectos de Investigación Avanzada de Defensa ( DARPA ) había invertido mucho en soluciones de IA, dañó gravemente a Symbolics. Una guerra interna entre Noftsker y el CEO que la junta había contratado en 1986, Brian Sear, sobre si seguir el ejemplo sugerido por Sun y concentrarse en vender su software, o volver a enfatizar su hardware superior, y la consiguiente falta de enfoque cuando ambos Noftsker y Sear fueron despedidos de la empresa, lo que provocó que las ventas cayeran en picado. Esto, combinado con algunos acuerdos inmobiliarios desacertados por parte de la dirección de la empresa durante los años de auge (habían contraído grandes obligaciones de arrendamiento a largo plazo en California), llevó a Symbolics a la quiebra . La rápida evolución de la tecnología de microprocesadores del mercado masivo (la revolución de las PC ), los avances en la tecnología de compiladores Lisp y la economía de la fabricación de microprocesadores personalizados disminuyeron gravemente las ventajas comerciales de las máquinas Lisp especialmente diseñadas. En 1995, la era de las máquinas Lisp había terminado y con ella las esperanzas de éxito de Symbolics.
Symbolics continuó como una empresa con ingresos muy limitados, respaldada principalmente por contratos de servicio para las restantes MacIvory, UX-1200, UX-1201 y otras máquinas que todavía utilizan los clientes comerciales. Symbolics también vendió software Virtual Lisp Machine (VLM) para estaciones de trabajo ( AlphaStation ) y servidores ( AlphaServer ) basados en DEC, Compaq y HP Alpha , MacIvory II reacondicionados y teclados Symbolics.
En julio de 2005, Symbolics cerró sus instalaciones de mantenimiento en Chatsworth, California . El solitario propietario de la empresa, Andrew Topping, murió ese mismo año. El estatus legal actual del software Symbolics es incierto. [15] En agosto de 2007 todavía estaba disponible para su compra una variedad de hardware Symbolics [actualizar]. [16] En 2011, el Departamento de Defensa de los Estados Unidos (US DoD) otorgó a Symbolics un contrato de 5 años para trabajos de mantenimiento, que finaliza en septiembre de 2016. [17]
El 15 de marzo de 1985, simbólicos.com se convirtió en el primer dominio .com registrado de Internet (y actualmente, ya que todavía está registrado, el más antiguo) . [18] El dominio simbólicos.com fue comprado por Napkin.com en 2009.
Genera también presentó el software de interoperabilidad de redes más completo visto hasta ese momento. Se había inventado un sistema de red de área local llamado Chaosnet para Lisp Machine (anterior a la disponibilidad comercial de Ethernet ). El sistema Symbolics soportaba Chaosnet, pero también tuvo una de las primeras implementaciones de TCP/IP . También era compatible con los protocolos de red SNA de IBM y DECnet . Un protocolo Dialnet utilizaba líneas telefónicas y módems . Genera, utilizando sugerencias de su base de datos de espacio de nombres distribuido (algo similar al Sistema de nombres de dominio (DNS), pero más completo, como partes de Grapevine de Xerox), seleccionaría automáticamente la mejor combinación de protocolos para usar al conectarse al servicio de red. Un programa de aplicación (o un comando de usuario) solo especificaría el nombre del host y el servicio deseado. Por ejemplo, un nombre de host y una solicitud de "Conexión de terminal" podrían generar una conexión a través de TCP/IP utilizando el protocolo Telnet (aunque había muchas otras posibilidades). Del mismo modo, al solicitar una operación de archivo (como un comando Copiar archivo) se puede elegir NFS , FTP , NFILE (el protocolo de acceso a archivos de red de Symbolics) o uno de varios otros, y se puede ejecutar la solicitud a través de TCP/IP, Chaosnet o cualquier otra red que fuera más adecuada.
El programa de aplicación más popular para Symbolics Lisp Machine fue el sistema de ingeniería asistido por computadora ICAD . Uno de los primeros videojuegos multijugador en red, una versión de Spacewar , se desarrolló para Symbolics Lisp Machine en 1983. Se utilizó software CAD electrónico en Symbolics Lisp Machine para desarrollar la primera implementación de Hewlett-Packard Precision Architecture ( PA) . -RISC ).
El personal de investigación y desarrollo de Symbolics (primero en el MIT y luego en la empresa) produjo varias innovaciones importantes en tecnología de software:
La División de Gráficos Simbólicos (SGD, fundada en 1982, vendida a Nichimen Graphics en 1992) desarrolló el paquete de software S-Graphics (S-Paint, S-Geometry, S-Dynamics, S-Render) para Symbolics Genera.
Este software también se utilizó para crear algunas películas animadas por computadora y para algunas películas populares.