Symbolics, Inc. , fue un fabricante de computadoras estadounidense de propiedad privada que adquirió los activos de la antigua empresa y continúa vendiendo y manteniendo el sistema Open Genera Lisp y el sistema de álgebra computacional Macsyma . [2]
El dominio symbolists.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 la empresa de inversiones Towelette.com (anteriormente XF.com). [4]
Symbolics, Inc. [5] fue 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 un solo usuario optimizadas para ejecutar el lenguaje de programación Lisp . Symbolics también realizó 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, ahora vendido 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 hackers asociados con el propósito de fabricar máquinas Lisp. La otra era Lisp Machines , Inc., aunque Symbolics atrajo a la mayoría de los hackers y 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 Lisp CADR del MIT. 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 en adelante, basándose en la máquina Lisp del MIT .
El paquete de software fue posteriormente renombrado ZetaLisp , para distinguir el producto de Symbolics de otros proveedores que también habían licenciado el software del MIT. El editor de texto Zmacs de Symbolics , una variante de Emacs , fue implementado en un paquete de procesamiento de texto llamado ZWEI , un acrónimo de Zwei era Eine inicialmente , 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 fue registrado por el MIT y licenciado tanto para Symbolics como para LMI. Hasta 1981, Symbolics compartió todas sus mejoras protegidas por derechos de autor al código fuente con el MIT y lo mantuvo en un servidor del MIT. Según Richard Stallman , Symbolics se involucró en una táctica comercial en la que obligó al MIT a hacer que todas las correcciones y mejoras protegidas por derechos de autor de Symbolics para el sistema operativo Lisp Machine estuvieran disponibles solo para Symbolics (y para el MIT, pero no para los competidores de Symbolics), y de ese modo asfixió 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]
Symbolics sintió que ya no tenía 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 de Lisp fluyeran a Lisp Machines, Inc. Desde 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. Finalmente, Copyleft y la Licencia Pública General de GNU garantizarían que el software de un hacker pudiera seguir siendo software libre . De esta manera, Symbolics jugó un papel clave, aunque antagónico, en la instigación del movimiento del software libre .
En 1983, un año después de lo planeado, Symbolics presentó la familia 3600 de máquinas Lisp. Conocida internamente como "máquina L", la familia 3600 era un diseño innovador, inspirado en la arquitectura CADR pero que compartía pocos 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 de pila . La arquitectura 3600 proporcionaba 4096 registros de hardware, de los cuales la mitad se usaban como caché para la parte superior de la pila de control ; el resto se usaba para el microcódigo y las rutinas críticas en el tiempo del sistema operativo y el entorno de ejecución de Lisp. Se proporcionaba 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 era un diseño microprogramado como el CADR, y estaba construido sobre varias placas de circuitos grandes a partir de circuitos integrados TTL estándar , ambas características eran comunes para las computadoras comerciales de su clase en ese momento. La velocidad de reloj de la unidad central de procesamiento (CPU) variaba dependiendo de la instrucción que se estaba ejecutando, pero generalmente estaba alrededor de los 5 MHz. Muchas primitivas Lisp podían ejecutarse en un solo ciclo de reloj . La entrada/salida (E/S) del disco se manejaba mediante multitarea a nivel de microcódigo . Un procesador 68000 (denominado procesador front-end , (FEP)) iniciaba la computadora principal y manejaba los periféricos más lentos durante el funcionamiento normal. Una interfaz Ethernet era un equipo estándar, que reemplazaba a la interfaz Chaosnet del LM-2.
El 3600 tenía aproximadamente el tamaño de un refrigerador doméstico. Esto se debía en parte al tamaño del procesador (las tarjetas estaban muy espaciadas para permitir que las tarjetas prototipo con envoltura de alambre encajaran sin interferencias) y en parte al tamaño de la tecnología de las unidades de disco a principios de los años 80. Cuando se presentó el 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 entregaban con el Fujitsu Eagle de 10½ pulgadas ). Los 3670 y 3675 eran ligeramente más bajos en altura, pero eran esencialmente la misma máquina empaquetada un poco más apretada. La llegada de las 8 pulgadas (200 mm) y, posteriormente, las 5 pulgadas (200 mm)+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 original del procesador a dos, con un gran ahorro de costes de fabricación y con un rendimiento ligeramente mejor que el diseño anterior. El 3650, el primero de los equipos G , como se los conocía dentro de la empresa, estaba alojado en un gabinete derivado de los 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 un PC de torre de tamaño completo moderno. El 3630 era un 3620 grueso con espacio para más memoria y tarjetas de interfaz de vídeo. El 3610 era una variante de menor precio del 3620, esencialmente idéntico en todos los sentidos excepto que estaba licenciado para la implementación de aplicaciones en lugar de desarrollo general.
Los diversos modelos de la familia 3600 fueron populares para la investigación de inteligencia artificial (IA) y aplicaciones comerciales a lo largo de la década de 1980. El auge de la comercialización de IA de la década de 1980 condujo directamente al éxito de Symbolics durante la década. Se creía ampliamente que las computadoras Symbolics eran la mejor plataforma disponible para desarrollar software de IA. El LM-2 utilizó una versión de marca Symbolics del complejo teclado de cadete espacial [8] , mientras que los modelos posteriores utilizaron una versión simplificada (a la derecha), conocida simplemente comoTeclado simbólico .[9]El teclado simbólico presentaba muchas de lasteclas modificadorasutilizadas en Zmacs, en particular Control/Meta/Super/Hyper en un bloque, pero no presentaba el complejo conjunto de símbolos del teclado del cadete espacial.
También contribuyó al éxito de la serie 3600 una línea de interfaces de video en color con gráficos de mapa 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 en el negocio de la animación y sus pantallas de bloqueo de 24 fps se utilizaron en las 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. Una 3600, con el monitor en blanco y negro estándar, hizo una breve aparición en la película Real Genius . La empresa también fue mencionada 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 los años 90 y el paquete de software S-Graphics (S-Paint, S-Geometry, S-Dynamics, S-Render) se adaptó a Franz Allegro Common Lisp en Silicon Graphics (SGI) y a computadoras PC con Windows NT . Hoy en día, Izware LLC lo vende como Mirai y continúa utilizándose en películas importantes (la más famosa es 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 de interfaz para las computadoras paralelas masivas Connection Machine fabricadas por Thinking Machines Corporation , otra empresa derivada del MIT con sede en Cambridge, Massachusetts. Connection Machine ejecutaba una variante paralela de Lisp y, en un principio, la utilizaba principalmente la comunidad de inteligencia artificial, por lo que la máquina Lisp de Symbolics era una opción particularmente adecuada como máquina de interfaz.
Durante mucho tiempo, el sistema operativo no tuvo un nombre, pero finalmente se lo denominó 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 características de programación orientada a objetos de herencia múltiple . Este dialecto de Lisp se llamó Lisp Machine Lisp en el MIT. Symbolics usó el nombre ZetaLisp. Más tarde, Symbolics escribió nuevo software en Symbolics Common Lisp , su versión del estándar Common Lisp .
A finales de los años 1980 (dos años más tarde de lo previsto), la familia Ivory de procesadores Lisp Machine de un solo chip sustituyó a los sistemas G-Machine 3650, 3620 y 3630. La implementación VLSI del transistor Ivory 390k diseñada en Symbolics Common Lisp utilizando NS, un lenguaje de diseño de hardware (HDL) personalizado de Symbolics, direccionaba una palabra de 40 bits (etiqueta de 8 bits, datos/dirección de 32 bits). Dado que solo direccionaba palabras completas y no bytes o medias palabras, esto permitía direccionar 4 gigapalabras (GW) o 16 gigabytes (GB) de memoria; el aumento en el espacio de direcciones reflejó el crecimiento de los programas y los datos a medida que la memoria de semiconductores y el espacio en disco se volvieron más baratos. El procesador Ivory tenía 8 bits de ECC adjuntos a cada palabra, por lo que cada palabra obtenida de la memoria externa al chip tenía en realidad 48 bits de ancho. Cada instrucción Ivory tenía 18 bits de ancho y dos instrucciones más un código CDR de 2 bits y un tipo de datos de 2 bits estaban en cada palabra de instrucción extraída de la memoria. La extracción de dos palabras de instrucción a la vez de la memoria mejoraba el rendimiento de Ivory. A diferencia de la arquitectura microprogramada del 3600 , el conjunto de instrucciones de Ivory todavía estaba microcodificado, pero se almacenaba 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 fueron 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 una tubería de 4 etapas: obtención, decodificación, ejecución y escritura posterior. Los procesadores Ivory se comercializaron en máquinas Lisp independientes (XL400, XL1200 y XL1201), máquinas Lisp sin interfaz gráfica (NXP1000) y en tarjetas complementarias para ordenadores Sun Microsystems (UX400, UX1200) y Apple Macintosh (MacIvory I, II, III). Las máquinas Lisp con procesadores Ivory funcionaban a velocidades que eran entre dos y seis veces más rápidas que un 3600, dependiendo del modelo y la revisión del chip Ivory.
El conjunto de instrucciones Ivory fue posteriormente emulado 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 comercializa como Open Genera.
Sunstone era un procesador similar a un ordenador con conjunto de instrucciones reducido (RISC), que iba a salir al mercado poco después del Ivory. Fue diseñado por el grupo de Ron Lebel en la oficina de Symbolics en Westwood. Sin embargo, el proyecto se canceló el día en que debía estar listo.
Tan rápido como el auge de la IA comercial de mediados de la década de 1980 había impulsado 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 llamada La Guerra de las Galaxias , programa de defensa contra misiles , 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 director ejecutivo que la junta había contratado en 1986, Brian Sear, sobre si seguir el liderazgo sugerido por Sun y centrarse en la venta de su software, o volver a enfatizar su hardware superior, y la consiguiente falta de enfoque cuando tanto Noftsker como Sear fueron despedidos de la empresa hicieron 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 asumido grandes obligaciones de arrendamiento a largo plazo en California), llevaron a Symbolics a la quiebra . La rápida evolución de la tecnología de microprocesadores para el mercado de masas (la revolución de la PC ), los avances en la tecnología de compiladores Lisp y la economía de la fabricación de microprocesadores personalizados redujeron gravemente las ventajas comerciales de las máquinas Lisp diseñadas específicamente. 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, sustentados principalmente por contratos de servicio en los MacIvory restantes, UX-1200, UX-1201 y otras máquinas que aún utilizaban los clientes comerciales. Symbolics también vendió software Virtual Lisp Machine (VLM) para estaciones de trabajo basadas en DEC, Compaq y HP Alpha ( AlphaStation ) y servidores ( AlphaServer ), MacIvory II renovados y teclados Symbolics.
En julio de 2005, Symbolics cerró sus instalaciones de mantenimiento de Chatsworth, California . El propietario solitario de la empresa, Andrew Topping, murió ese mismo año. El estado legal actual del software de Symbolics es incierto. [15] Una variedad de hardware de Symbolics todavía estaba disponible para su compra en agosto de 2007. [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, symbolized.com se convirtió en el primer (y actualmente, ya que todavía está registrado, el más antiguo) dominio .com registrado de Internet . [18] El dominio symbolized.com fue comprado por Napkin.com en 2009.
Genera también contaba con 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 la máquina Lisp (antes de la disponibilidad comercial de Ethernet ). El sistema Symbolics admitía Chaosnet, pero también tenía una de las primeras implementaciones de TCP/IP . También admitía DECnet y los protocolos de red SNA de IBM . Un protocolo Dialnet utilizaba líneas telefónicas y módems . Genera, utilizando sugerencias de su base de datos de espacios de nombres distribuidos (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 sobre TCP/IP utilizando el protocolo Telnet (aunque había muchas otras posibilidades). De la misma manera, 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 sea más adecuada.
El programa de aplicación más popular para la Symbolics Lisp Machine fue el sistema de ingeniería asistida por computadora ICAD . Uno de los primeros videojuegos multijugador en red, una versión de Spacewar , se desarrolló para la Symbolics Lisp Machine en 1983. El software CAD electrónico en la Symbolics Lisp Machine se utilizó para desarrollar la primera implementación de la arquitectura de precisión de Hewlett-Packard ( 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ó la suite 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 se utilizó para algunas películas populares.