[go: up one dir, main page]
More Web Proxy on the site http://driver.im/Jump to content

Symbolics

From Wikipedia, the free encyclopedia

Symbolics, Inc.
SuccessorPrivately-held Symbolics, Inc.
FoundedApril 9, 1980; 44 years ago (1980-04-09)
Cambridge, Massachusetts, U.S.
FounderRussell Noftsker
DefunctMay 7, 1996 (1996-05-07)[1]
TypePublic
Location
ProductsServers
Workstations
Storage
Services
Websitewww.symbolics-dks.com
Symbolics 3600

Symbolics, Inc., was a privately held American computer manufacturer that acquired the assets of the former company and continues to sell and maintain the Open Genera Lisp system and the Macsyma computer algebra system.[2]

Symbolics Logo

The symbolics.com domain was originally registered on March 15, 1985,[3] making it the first .com-domain in the world. In August 2009, it was sold to napkin.com (formerly XF.com) Investments.[4]

History

[edit]
A view of running processes in a Symbolics machine

Symbolics, Inc.[5] was a computer manufacturer headquartered in Cambridge, Massachusetts, and later in Concord, Massachusetts, with manufacturing facilities in Chatsworth, California (a suburban section of Los Angeles). Its first CEO, chairman, and founder was Russell Noftsker.[6] Symbolics designed and manufactured a line of Lisp machines, single-user computers optimized to run the programming language Lisp. Symbolics also made significant advances in software technology, and offered one of the premier software development environments of the 1980s and 1990s, now sold commercially as Open Genera for Tru64 UNIX on the Hewlett-Packard (HP) Alpha. The Lisp Machine was the first commercially available workstation, although that word had not yet been coined.

Symbolics was a spinoff from the MIT AI Lab, one of two companies to be founded by AI Lab staffers and associated hackers for the purpose of manufacturing Lisp machines. The other was Lisp Machines, Inc., although Symbolics attracted most of the hackers, and more funding.

Symbolics' initial product, the LM-2, introduced in 1981, was a repackaged version of the MIT CADR Lisp machine design. The operating system and software development environment, over 500,000 lines, was written in Lisp from the microcode up, based on MIT's Lisp Machine Lisp.

The software bundle was later renamed ZetaLisp, to distinguish the Symbolics' product from other vendors who had also licensed the MIT software. Symbolics' Zmacs text editor, a variant of Emacs, was implemented in a text-processing package named ZWEI, an acronym for Zwei was Eine initially, with Eine being an acronym for Eine Is Not Emacs. Both are recursive acronyms and puns on the German words for one (eins, eine) and two (zwei).

The Lisp Machine system software was then copyrighted by MIT, and was licensed to both Symbolics and LMI. Until 1981, Symbolics shared all its copyrighted enhancements to the source code with MIT and kept it on an MIT server. According to Richard Stallman, Symbolics engaged in a business tactic in which it forced MIT to make all Symbolics' copyrighted fixes and improvements to the Lisp Machine OS available only to Symbolics (and MIT but not to Symbolics competitors), and thereby choke off its competitor LMI, which at that time had insufficient resources to independently maintain or develop the OS and environment.[7]

Symbolics felt that they no longer had sufficient control over their product. At that point, Symbolics began using their own copy of the software, located on their company servers, while Stallman says that Symbolics did that to prevent its Lisp improvements from flowing to Lisp Machines, Inc. From that base, Symbolics made extensive improvements to every part of the software, and continued to deliver almost all the source code to their customers (including MIT). However, the policy prohibited MIT staff from distributing the Symbolics version of the software to others. With the end of open collaboration came the end of the MIT hacker community. As a reaction to this, Stallman initiated the GNU project to make a new community. Eventually, Copyleft and the GNU General Public License would ensure that a hacker's software could remain free software. In this way, Symbolics played a key, albeit adversarial, role in instigating the free software movement.

CADR machines
Model Year Description
LM-2 1981 Workstation based on MIT CADR architecture

The 3600 series

[edit]
Symbolics 3640
Symbolics 3600 Front Panel
Symbolics Boards

In 1983, a year later than planned, Symbolics introduced the 3600 family of Lisp machines. Code-named the "L-machine" internally, the 3600 family was an innovative new design, inspired by the CADR architecture but sharing few of its implementation details. The main processor had a 36-bit word (divided up as 4 or 8 bits of tags, and 32 bits of data or 28 bits of memory address). Memory words were 44 bits, the additional 8 bits being used for error-correcting code (ECC). The instruction set was that of a stack machine. The 3600 architecture provided 4,096 hardware registers, of which half were used as a cache for the top of the control stack; the rest were used by the microcode and time-critical routines of the operating system and Lisp run-time environment. Hardware support was provided for virtual memory, which was common for machines in its class, and for garbage collection, which was unique.

The original 3600 processor was a microprogrammed design like the CADR, and was built on several large circuit boards from standard TTL integrated circuits, both features being common for commercial computers in its class at the time. Central processing unit (CPU) clock speed varied depending on which instruction was being executed, but was typically around 5 MHz. Many Lisp primitives could be executed in a single clock cycle. Disk input/output (I/O) was handled by multitasking at the microcode level. A 68000 processor (termed the front-end processor, (FEP)) started the main computer up, and handled the slower peripherals during normal operation. An Ethernet interface was standard equipment, replacing the Chaosnet interface of the LM-2.

The 3600 was roughly the size of a household refrigerator. This was partly due to the size of the processor (the cards were widely spaced to allow wire-wrap prototype cards to fit without interference) and partly due to the size of disk drive technology in the early 1980s. At the 3600's introduction, the smallest disk that could support the ZetaLisp software was 14 inches (360 mm) wide (most 3600s shipped with the 10½-inch Fujitsu Eagle). The 3670 and 3675 were slightly shorter in height, but were essentially the same machine packed a little tighter. The advent of 8 inches (200 mm), and later 5+14 inches (130 mm), disk drives that could hold hundreds of megabytes led to the introduction of the 3640 and 3645, which were roughly the size of a two-drawer file cabinet.

Later versions of the 3600 architecture were implemented on custom integrated circuits, reducing the five cards of the original processor design to two, at a large manufacturing cost savings and with performance slightly better than the old design. The 3650, first of the G machines, as they were known within the company, was housed in a cabinet derived from the 3640s. Denser memory and smaller disk drives enabled the introduction of the 3620, about the size of a modern full-size tower PC. The 3630 was a fat 3620 with room for more memory and video interface cards. The 3610 was a lower priced variant of the 3620, essentially identical in every way except that it was licensed for application deployment rather than general development.

36xx machines
Model Year Description
3600 1983 Workstation
3670 1984 Workstation
3640 1984 Workstation
3675 1985 Workstation
3645 1985 Workstation
3610 1986 Workstation
3620 1986 Workstation
3650 1986 Workstation
Symbolics Keyboard

The various models of the 3600 family were popular for artificial intelligence (AI) research and commercial applications throughout the 1980s. The AI commercialization boom of the 1980s led directly to Symbolics' success during the decade. Symbolics computers were widely believed to be the best platform available for developing AI software. The LM-2 used a Symbolics-branded version of the complex space-cadet keyboard,[8] while later models used a simplified version (at right), known simply as the Symbolics keyboard.[9] The Symbolics keyboard featured the many modifier keys used in Zmacs, notably Control/Meta/Super/Hyper in a block, but did not feature the complex symbol set of the space-cadet keyboard.

Also contributing to the 3600 series' success was a line of bit-mapped graphics color video interfaces, combined with extremely powerful animation software. Symbolics' Graphics Division, headquartered in Westwood, Los Angeles, California, near to the major Hollywood movie and television studios, made its S-Render and S-Paint software into industry leaders in the animation business and its 24 fps lock displays were featured in Star Trek movies.[10][11][12][13][14]

Symbolics developed the first workstations able to process high-definition television (HDTV) quality video, which enjoyed a popular following in Japan. A 3600, with the standard black-and-white monitor, made a cameo appearance in the movie Real Genius. The company was also referenced in Michael Crichton's novel Jurassic Park.

Symbolics' Graphics Division was sold to Nichimen Trading Company in the early 1990s, and the S-Graphics software suite (S-Paint, S-Geometry, S-Dynamics, S-Render) ported to Franz Allegro Common Lisp on Silicon Graphics (SGI) and PC computers running Windows NT. Today it is sold as Mirai by Izware LLC, and continues to be used in major motion pictures (most famously in New Line Cinema's The Lord of the Rings), video games, and military simulations.

3600 ports, with Connection Machine interface

Symbolics' 3600-series computers were also used as the first front end controller computers for the Connection Machine massively parallel computers manufactured by Thinking Machines Corporation, another MIT spinoff based in Cambridge, Massachusetts. The Connection Machine ran a parallel variant of Lisp and, initially, was used primarily by the AI community, so the Symbolics Lisp machine was a particularly good fit as a front-end machine.

For a long time, the operating system didn't have a name, but was finally named Genera around 1984. The system included several advanced dialects of Lisp. Its heritage was Maclisp on the PDP-10, but it included more data types, and multiple-inheritance object-oriented programming features. This Lisp dialect was called Lisp Machine Lisp at MIT. Symbolics used the name ZetaLisp. Symbolics later wrote new software in Symbolics Common Lisp, its version of the Common Lisp standard.

Ivory and Open Genera

[edit]

In the late 1980s (2 years later than planned), the Ivory family of single-chip Lisp Machine processors superseded the G-Machine 3650, 3620, and 3630 systems. The Ivory 390k transistor VLSI implementation designed in Symbolics Common Lisp using NS, a custom Symbolics Hardware Design Language (HDL), addressed a 40-bit word (8 bits tag, 32 bits data/address). Since it only addressed full words and not bytes or half-words, this allowed addressing of 4 Gigawords (GW) or 16 gigabytes (GB) of memory; the increase in address space reflected the growth of programs and data as semiconductor memory and disk space became cheaper. The Ivory processor had 8 bits of ECC attached to each word, so each word fetched from external memory to the chip was actually 48 bits wide. Each Ivory instruction was 18 bits wide and two instructions plus a 2-bit CDR code and 2-bit Data Type were in each instruction word fetched from memory. Fetching two instruction words at a time from memory enhanced the Ivory's performance. Unlike the 3600's microprogrammed architecture, the Ivory instruction set was still microcoded, but was stored in a 1200 × 180-bit ROM inside the Ivory chip. The initial Ivory processors were fabricated by VLSI Technology Inc in San Jose, California, on a 2 μm CMOS process, with later generations fabricated by Hewlett-Packard in Corvallis, Oregon, on 1.25 μm and 1 μm CMOS processes. The Ivory had a stack architecture and operated a 4-stage pipeline: Fetch, Decode, Execute and Write Back. Ivory processors were marketed in stand-alone Lisp Machines (the XL400, XL1200, and XL1201), headless Lisp Machines (NXP1000), and on add-in cards for Sun Microsystems (UX400, UX1200) and Apple Macintosh (MacIvory I, II, III) computers. The Lisp Machines with Ivory processors operated at speeds that were between two and six times faster than a 3600 depending on the model and the revision of the Ivory chip.

Ivory machines
Model Year Description
MacIvory I 1988 Nubus Board for Apple Macintosh
XL400 1988 Workstation, VMEBus
MacIvory II 1989 Nubus Board for Apple Macintosh
UX400 1989 VMEBus Board for Sun
XL1200 1990 Workstation, VMEBus
UX1200 1990 VMEBus Board for Sun
MacIvory III 1991 Nubus Board for Apple Macintosh
XL1201 1992 Compact Workstation, VMEBus
NXP1000 1992 Headless Machine

The Ivory instruction set was later emulated in software for microprocessors implementing the 64-bit Alpha architecture. The "Virtual Lisp Machine" emulator, combined with the operating system and software development environment from the XL machines, is sold as Open Genera.

Sunstone

[edit]

Sunstone was a processor similar to a reduced instruction set computer (RISC), that was to be released shortly after the Ivory. It was designed by Ron Lebel's group at the Symbolics Westwood office. However, the project was canceled the day it was supposed to tape out.

Endgame

[edit]

As quickly as the commercial AI boom of the mid-1980s had propelled Symbolics to success, the AI Winter of the late 1980s and early 1990s, combined with the slowdown of the Ronald Reagan administration's Strategic Defense Initiative, popularly termed Star Wars, missile defense program, for which the Defense Advanced Research Projects Agency (DARPA) had invested heavily in AI solutions, severely damaged Symbolics. An internal war between Noftsker and the CEO the board had hired in 1986, Brian Sear, over whether to follow Sun's suggested lead and focus on selling their software, or to re-emphasize their superior hardware, and the ensuing lack of focus when both Noftsker and Sear were fired from the company caused sales to plummet. This, combined with some ill-advised real estate deals by company management during the boom years (they had entered into large long-term lease obligations in California), drove Symbolics into bankruptcy. Rapid evolution in mass market microprocessor technology (the PC revolution), advances in Lisp compiler technology, and the economics of manufacturing custom microprocessors severely diminished the commercial advantages of purpose-built Lisp machines. By 1995, the Lisp machine era had ended, and with it Symbolics' hopes for success.

Symbolics continued as an enterprise with very limited revenues, supported mainly by service contracts on the remaining MacIvory, UX-1200, UX-1201, and other machines still used by commercial customers. Symbolics also sold Virtual Lisp Machine (VLM) software for DEC, Compaq, and HP Alpha-based workstations (AlphaStation) and servers (AlphaServer), refurbished MacIvory IIs, and Symbolics keyboards.

In July 2005, Symbolics closed its Chatsworth, California, maintenance facility. The reclusive owner of the company, Andrew Topping, died that same year. The current legal status of Symbolics software is uncertain.[15] An assortment of Symbolics hardware was still available for purchase as of August 2007.[16] In 2011, the United States Department of Defense (US DoD) awarded Symbolics a 5 year contract for maintenance work, ending in September 2016.[17]

First .com domain

[edit]
Symbolics.com
Type of site
Commercial
Available inEnglish
OwnerXF.com Investments
URLSymbolics.com
CommercialYes
LaunchedMarch 15, 1985; 39 years ago (1985-03-15)
Current statusActive

On March 15, 1985, symbolics.com became the first (and currently, since it is still registered, the oldest) registered .com domain of the Internet.[18] The symbolics.com domain was purchased by Napkin.com in 2009.

Networking

[edit]

Genera also featured the most extensive networking interoperability software seen to that point. A local area network system called Chaosnet had been invented for the Lisp Machine (predating the commercial availability of Ethernet). The Symbolics system supported Chaosnet, but also had one of the first TCP/IP implementations. It also supported DECnet and IBM's SNA network protocols. A Dialnet protocol used phone lines and modems. Genera would, using hints from its distributed namespace database (somewhat similar to Domain Name System (DNS), but more comprehensive, like parts of Xerox's Grapevine), automatically select the best protocol combination to use when connecting to network service. An application program (or a user command) would only specify the name of the host and the desired service. For example, a host name and a request for "Terminal Connection" might yield a connection over TCP/IP using the Telnet protocol (although there were many other possibilities). Likewise, requesting a file operation (such as a Copy File command) might pick NFS, FTP, NFILE (the Symbolics network file access protocol), or one of several others, and it might execute the request over TCP/IP, Chaosnet, or whatever other network was most suitable.

Application programs

[edit]

The most popular application program for the Symbolics Lisp Machine was the ICAD computer-aided engineering system. One of the first networked multi-player video games, a version of Spacewar, was developed for the Symbolics Lisp Machine in 1983. Electronic CAD software on the Symbolics Lisp Machine was used to develop the first implementation of the Hewlett-Packard Precision Architecture (PA-RISC).

Contributions to computer science

[edit]

Symbolics' research and development staff (first at MIT, and then later at the company) produced several major innovations in software technology:

  • Flavors, one of the earliest object-oriented programming extensions to Lisp, was a message passing object system patterned after Smalltalk, but with multiple inheritance and several other enhancements. The Symbolics operating system made heavy use of Flavors objects. The experience gained with Flavors led to the design of New Flavors, a short-lived successor based on generic functions rather than message passing. Many of the concepts in New Flavors formed the basis of the CLOS (Common Lisp Object System) standard.
  • Advances in garbage collection techniques by Henry Baker, David A. Moon and others, particularly the first commercial use of generational scavenging, allowed Symbolics computers to run large Lisp programs for months at a time.
  • Symbolics staffers Dan Weinreb, David A. Moon, Neal Feinberg, Kent Pitman, Scott McKay, Sonya Keene, and others made significant contributions to the emerging Common Lisp language standard from the mid-1980s through the release of the American National Standards Institute (ANSI) Common Lisp standard in 1994.
  • Symbolics introduced one of the first commercial object databases, Statice, in 1989. Its developers later went on to found Object Design, Inc. and create ObjectStore.
  • Symbolics introduced in 1987 one of the first commercial microprocessors designed to support the execution of Lisp programs: the Symbolics Ivory.[19] Symbolics also used its own CAD system (NS, New Schematic) for the development of the Ivory chip.
  • Under contract from AT&T, Symbolics developed Minima, a real-time Lisp run-time environment and operating system for the Ivory processor. This was delivered in a small hardware configuration featuring much random-access memory (RAM), no disk, and dual network ports. It was used as the basis for a next-generation carrier class long-distance telephone switch.
  • The Graphics Division's Craig Reynolds devised an algorithm that simulated the flocking behavior of birds in flight. Boids made their first appearance at SIGGRAPH in the 1987 animated short "Stanley and Stella in: Breaking the Ice", produced by the Graphics Division. Reynolds went on to win the Scientific And Engineering Award from The Academy of Motion Picture Arts and Sciences in 1998.
  • The Symbolics Document Examiner hypertext system originally used for the Symbolics manuals- it was based on Zmacs following a design by Janet Walker, and proved influential in the evolution of hypertext.
  • Symbolics was very active in the design and development of the Common Lisp Interface Manager (CLIM) presentation-based User Interface Management System. CLIM is a descendant of Dynamic Windows, Symbolics' own window system. CLIM was the result of the collaboration of several Lisp companies.
  • Symbolics produced the first workstation which could genlock, the first to have real time video I/O, the first to support digital video I/O and the first to do HDTV.[20]

Symbolics Graphics Division

[edit]

The Symbolics Graphics Division (SGD, founded in 1982, sold to Nichimen Graphics in 1992) developed the S-Graphics software suite (S-Paint, S-Geometry, S-Dynamics, S-Render) for Symbolics Genera.

Movies

[edit]

This software was also used to create a few computer-animated movies and was used for some popular movies.

References

[edit]
  1. ^ "Symbolics Bancruptcy Filed". Symbolics Lisp Machine Museum. Retrieved 27 May 2024.
  2. ^ Symbolics, Sales by David Schmidt
  3. ^ "Symbolics.com WHOIS, DNS, & Domain Info – DomainTools". WHOIS. Retrieved 27 May 2024.
  4. ^ Wauters, Robin (27 August 2009). "25 Years Later, First Registered Domain Name Changes Hands". Retrieved 27 May 2024.
  5. ^ Incorporated April 9, 1980, in Delaware by Robert P. Adams, President; Russell Noftsker, Secretary, and Andrew Egendorf, attorney.
  6. ^ Noftsker took over as President one year after incorporation.
  7. ^ Stallman, Richard (28 October 2002). "My Lisp Experiences and the Development of GNU Emacs". GNU Project. Free Software Foundation. Retrieved 27 May 2024.
  8. ^ "Symbolics LM-2 Symbol Processing System" (PDF). Bitsavers.
  9. ^ "Symbolics 3600 Symbol Processing System" (PDF). Bitsavers.
  10. ^ Kalman Reti : History of Symbolics Lisp machines (including a demo of Brad Parker's emulator port) – The Last Symbolics Developer, at MIT at a meeting of the Boston Lisp group, 28 June 2012 @ YouTube
  11. ^ "Boston Lisp Meeting Thursday 2012-06-28 Kalman Reti on Symbolics Lisp Machines". LiveJournal. 19 June 2012. Retrieved 27 May 2024.
  12. ^ "Kalman Reti, the Last Symbolics Developer, Speaks of Lisp Machines". 5 September 2012. Archived from the original on 29 May 2023. Retrieved 27 May 2024.
  13. ^ "The Tuesday Group". ai.mit.edu. Archived from the original on 22 April 2021. Retrieved 27 May 2024.
  14. ^ Proven, Liam (25 December 2023). "War of the workstations: How the lowest bidders shaped today's tech landscape". The Register. Retrieved 27 May 2024.
  15. ^ "MIT CADR Lisp Machine FAQ". Unlambda.com. Retrieved 27 May 2024.
  16. ^ "Symbolics". lipsmachine.net. Retrieved 27 May 2024.
  17. ^ "Definitive Contract PIID W91WAW11C0055". www.usaspending.gov. Retrieved 27 May 2024.
  18. ^ "100 oldest dot com domains". Jottings.com.
  19. ^ Baker, Clark; Chan, David; Cherry, Jim; Corry, Alan; Efland, Greg; Edwards, Bruce; Matson, Mark; Minsky, Henry; Nestler, Eric; Reti, Kalman; Sarrazin, David; Sommer, Charles; Tan, David; Weste, Neil (1987). "The Symbolics Ivory Processor: A 40 Bit Tagged Architecture Lisp Microprocessor". Proceedings of the IEEE International Conference on Computer Design. pp. 512–4.
  20. ^ "The Computer Graphics Essential Reference". www.cs.cmu.edu.
  21. ^ "Ductile Flow 1991". www.youtube.com. 5 October 2015.

Further reading

[edit]
  • Moon, David A. "Garbage collection in a large LISP system". Proceedings of the 1984 ACM Symposium on LISP and functional programming, August 6–8, 1984, Austin, Texas. pp. 235–246.
  • Moon, David A. "Architecture of the Symbolics 3600". Proceedings of the 12th annual international symposium on Computer architecture, June 17–19, 1985, Boston, Massachusetts. pp. 76–83.
  • Moon, David A. (1986). "Object-oriented programming with Flavors". In N. Meyrowitz (ed.). Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications (Portland, Oregon, United States, September 29–October 2, 1986). OOPLSA '86. New York, NY: ACM. pp. 1–8.
  • Moon, David A. (January 1987). "Symbolics Architecture". Computer. 20 (1): 43–52. doi:10.1109/MC.1987.1663356. S2CID 14958379.
  • Walker, J. H.; Moon, D. A.; Weinreb, D. L.; McMahon, M. (November 1987). "The Symbolics Genera Programming Environment". IEEE Software. 4 (6): 36–45. doi:10.1109/MS.1987.232087. S2CID 1923776.
  • Edwards, Bruce; Efland, Greg; Weste, Neil. "The Symbolics I-Machine Architecture". IEEE International Conference on Computer Design '87.
  • Walker, J. H. (1987). "Document Examiner: delivery interface for hypertext documents". Proceedings of the ACM Conference on Hypertext (Chapel Hill, North Carolina, United States). Hypertext '87. New York, NY: ACM. pp. 307–323.
  • Efland, G.; et al. (January 1988). The Symbolic Ivory Processor: A VLSI CPU for the Genera Symbolic Processing Environment. Symbolics Cambridge Center, VLSI System Group.
  • Shrobe, H. E. (1988). "Symbolic computing architectures". Exploring Artificial intelligence. San Francisco, CA: Morgan Kaufmann. pp. 545–617.
  • Walker, J. H. (1988). "Supporting document development with concordia". In Shriver, B.D. (ed.). Proceedings of the Twenty-First Annual Hawaii international Conference on Software Track (Kailua-Kona, Hawaii, United States). Los Alamitos, CA: IEEE Computer Society. pp. 355–364. doi:10.1109/HICSS.1988.11825.
  • McKay, S.; York, W.; McMahon, M. (1989). "A presentation manager based on application semantics". Proceedings of the 2nd Annual ACM SIGGRAPH Symposium on User interface Software and Technology (Williamsburg, Virginia, United States, November 13–15, 1989). UIST '89. New York, NY: ACM. pp. 141–8.
  • McKay, S. (September 1991). "CLIM: the Common Lisp interface manager". Comm. ACM. 34 (9): 58–9. doi:10.1145/114669.114675. S2CID 30569359.
[edit]