Вікіпедія

Лісп-машина: відмінності між версіями

Інтерактивний перегляд історії
[неперевірена версія][неперевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
оформлення, стиль
Немає опису редагування
Рядок 1:
[[Файл:LISP machine.jpg|міні|209x209пкс|машина Найта збереглася в музеї MIT]]
 
'''Лісп-машина''' є комп'ютером загального призначення, призначенимирозробленим для ефективного запуску програмного забезпечення на [[Мова програмування|мові програмування]] [[Lisp]], зазвичай за допомогою апаратної підтримки. Вони є прикладом {{Нп|комп'ютерна архітектура мови високого рівня|комп'ютерної архітектури мови високого рівня|en| High-level language computer architecture}}, і в певному сенсі вони були першими комерційними однокористувацькимиоднокористувальницькими [[Робоча станція|робочими станціями]]. Попри те, що їх кількість була невеликою (близько 7000 одиниць у 1988 році<ref>Newquist, HP. ''Brain Makers'' , Sams Publishing, 1994. [[ISBN  0-672-30412-0 .]]</ref>), машини Lisp стали піонерами комерційного провадженнявпровадження багатьох сучасних технологій, включаючи такі як ефективнаефективне [[збирання сміття]], [[Лазерний принтер|лазерний друк]], {{Не перекладено|віконний інтерфейс|віконні інтерфейси|en|Windowing system}}, [[Комп'ютерна миша|комп'ютерні миші]], [[растрова графіка]] з високою роздільною здатністю, рендеринг комп'ютерної графіки та мережеві інновації, такі як {{Не перекладено|Chaosnet|Chaosnet|en|Chaosnet}}. ДекількаДеякі фірм,фірми будували і продавали лісп Лісп-машини у 80-х роках: {{Не перекладено|Symbolics|Symbolics|en|Symbolics}} (3600 3640, XL1200, MacIvory і інші моделі), Lisp Machines Incorporated (LMI Lambda), [[Texas Instruments]] ({{Не перекладено|TI провідник|TI провідник і MicroExplorer|en|TI Explorer}}) і [[Xerox]] (робочі станції {{Не перекладено|Interlisp|Interlisp-D|en|Interlisp}}). Операційні системи були створені за допомогою мов програмування {{Не перекладено|Lisp Machine Lisp|Lisp Machine Lisp|en|Lisp Machine Lisp}}, Interlisp (Xerox), а пізніше частково на [[Common Lisp]].
 
== Історія ==
Рядок 7:
=== Історичний контекст ===
[[Файл:Symbolics3640 Modified.JPG|міні|310x310пкс|[[Символіка|Symbolics]] 3640 Машина Lisp]]
Комп'ютерні програми зі [[Штучний інтелект|штучного інтелекту]] (ШІ) 1960-х і 1970-х років неминуче вимагали, як вважалося на той час, величезної кількості обчислюваної потужності, яка вимірювалася як у процесорному часі, так і у розмірурозмірі пам'яті. Вимоги до обчислюваної потужності у дослідженнях штучного інтелекту були посилені через використання високорівневоЇ мови програмування Lisp, на відміну від комерційного обладнання, яке було розроблено та оптимізовано для мов програмування, подібних до [[асемблер]]у та [[FORTRAN|Fortran]]. Спершу вартість такої комп'ютерної техніки означала, що вона повинна бути розділена між багатьма користувачами. Оскільки технологія [[Інтегральна схема|інтегральних схем]] скоротила розмір і вартість комп'ютерів у 1960-х і на початку 1970-х років, а потреби в пам'яті програм ШІ стали перевищувати [[адресний простір]] найпоширенішого дослідницького комп'ютера, [[PDP-10|DEC PDP-10]], дослідники розглянули новий підхід: комп'ютер, створений спеціально для розробки й запуску великих програм [[Штучний інтелект|штучного інтелекту]], пристосованих до семантики [[Lisp|мови Lisp]]. Щоб зберегти [[Операційна система|операційну систему]] (відносно) простою, ці машини не мають спільного доступу, але будуть виділенівідкриті для окремих користувачів.
 
=== Початковий розвиток ===
У 1973 році {{Не перекладено|Річард Грінблатт|Річард Грінблатт|en|Richard Greenblatt}} і {{Не перекладено|Томас Найт|Томас Найт|en|Tom Knight (scientist)}}, програмісти {{Не перекладено|Лабораторія штучного інтелекту у Массачусетський технологічний інститут (MIT)|лабораторії штучного інтелекту|en|MIT Computer Science and Artificial Intelligence Laboratory}} (AI Lab) в [[Массачусетський технологічний інститут|Массачусетському технологічному інституті]] (MIT), розпочали те, що стане проектом MIT Lisp Machine, коли вони вперше почали будувати комп'ютер, необхідний для запуску деяких базових операцій Lisp замість того, щоб запускати їх у програмному забезпеченні, у 24-бітній архітектурі з {{Не перекладено|Тегована архітектура|тегованою пам'яттю|en|Tagged architecture}}. Машина також зробила інкрементальну (або ''Arena'') [[Збирання сміття|збірку сміття]]. Більш конкретно, оскільки змінні Lisp типізуються під час виконання, а не під час компіляції, просте додавання двох змінних може займатитривати доу п'ять разів довше на звичайних апаратних засобах, завдяки інструкціям тестування та розгалуження. Машини Lisp провелизапускали тести паралельнов здекілька більшпотоків, використовуючи більщ простий спосіб додання за звичайнимидопомогою доповненнями однієї інструкції. Якщо одночасні тести провалилися, то результат був відкинутий і перерахований; це в багатьох випадках означало збільшення швидкості зана кількомадекілька факторамипорядків. Цей підхід одночасної перевірки був використаний також для тестування меж масивів, на які посилаються, та інших потреб управління пам'яттю (а не просто збору сміття або масивів).
 
Перевірка типу була додатково вдосконалена й автоматизована, коли звичайне байтове слово у 32-біт було подовжено до 36-бітних для машин Lisp [[Символіка|Symbolics]] 3600-model<ref>[[Місяць, Девід А. "Архітектура символіки 3600"]] . Portal.acm.org. doi : 10.1145 / 327070.327133 . Отримано 12 листопада 2011 року .</ref> і, зрештою, до 40-бітних або більше (зазвичай, для [[Виявлення та виправлення помилок|кодів, що виправляють помилки]] використовувалися надлишкові біти). Першу групу додаткових бітів використовували для зберігання даних типу, роблячи пам'ять машини {{Не перекладено|Тегована пам'ять|тегованою|en|Tagged architecture}}, а інші біти використовували для реалізації {{Не перекладено|CDR кодування|CDR кодування|en|CDR coding}} (в якому звичайні елементи зв'язаного списку стискаються, щоб зайняти приблизно половину простору), допомагаючи у збиранні сміття повідомленням величин. Подальшим поліпшенням були дві інструкції мікрокоду, які спеціально підтримували [[Функція|функції]] Lisp, зменшуючи вартість виклику функції до 20 тактових циклів, в деяких реалізаціях Symbolics.
 
Першу машину називали машиною CONS (названу на честь оператора будівництва списку <code>[[cons]]</code> в Lisp). Часто його люблять називати ''машиною Найта'', можливо, з того моменту, як {{Нп|Томас Найт|Найт|en|Tom Knight (scientist)}} написав дисертацію на цю тему; вона була надзвичайно добре прийнята. Надалі вона була вдосконалена у версію, яка називається {{Не перекладено|CAR і CDR|CADR|en|CAR and CDR}}, який був заснований на по суті тієїтій жсамий архітектурі. Близько 25 з того, що було по суті прототипом CADR, було продано в межах і безпоза MIT ~ 50 000 $; він швидко став улюбленою машиною для злому&nbsp;— багато з найбільш прихильнихвідомих програмних засобів були швидко перенесені на нього (наприклад, [[Emacs]] був перенесений з [[ITunes|ITS]] в 1975 році). Це було так добре сприйнято на конференції ШІ, яка відбулася в МТІ в 1978 році, і «<nowiki/>[[Агентство передових оборонних дослідницьких проектів США|Агентство оборонних наукових проектів]]<nowiki/>» (DARPA) почало фінансувати свійцю розвитокрозробку.▼
 
▲Першу машину називали машиною CONS (названу на честь оператора будівництва списку <code>[[cons]]</code> в Lisp). Часто його люблять називати ''машиною Найта'', можливо, з того моменту, як {{Нп|Томас Найт|Найт|en|Tom Knight (scientist)}} написав дисертацію на цю тему; вона була надзвичайно добре прийнята. Надалі вона була вдосконалена у версію, яка називається {{Не перекладено|CAR і CDR|CADR|en|CAR and CDR}}, який був заснований на по суті тієї ж архітектурі. Близько 25 з того, що було по суті прототипом CADR, було продано в межах і без MIT ~ 50 000 $; він швидко став улюбленою машиною для злому&nbsp;— багато з найбільш прихильних програмних засобів були швидко перенесені на нього (наприклад, [[Emacs]] був перенесений з [[ITunes|ITS]] в 1975 році). Це було так добре сприйнято на конференції ШІ, яка відбулася в МТІ в 1978 році, і «<nowiki/>[[Агентство передових оборонних дослідницьких проектів США|Агентство оборонних наукових проектів]]<nowiki/>» (DARPA) почало фінансувати свій розвиток.
 
=== Комерціалізація технології MIT Lisp ===
У 1979 році {{Не перекладено|Рассел Нофцкер|Рассел Нофцкер|en|Russell Noftsker}}, переконаний, що машини Lisp малимають яскраве комерційне майбутнє завдяки силі мови Lisp і фактору апаратного прискорення, запропонувализапропонував GreenblattГрінблатту, щоб вони комерціалізували технологію. УНелсподівано боротьбідля з інтуїтивним хакеромхакера AI Lab, GreenblattГрінблатт погодився, сподіваючись, що він зможе відтворити неформальну і продуктивну атмосферу лабораторії в реальному бізнесі. Ці ідеї та цілі значно відрізнялися від ідей Нофцкера. Обидві вони обговорювалися довго, але ніхто не міг би йтийшов на компроміс. Оскільки запропонована фірма могла домогтисядосягти успіху лише за допомогою повної і неподільної допомоги хакерів AI Lab як групикоманди, NoftskerНофцкер і GreenblattГрінблатт вирішили, що доля підприємства залежить від них, і тому вибір повинен бути залишений хакерам.
 
Наступні обговорення вибору поділили лабораторію на дві фракції. У лютому 1979 року справинастав прийшли до моментумомент, коли щось потрібно було вирішувати. Хакери встали на бік Нофцкера, вважаючи, що комерційна фірма, що підтримує комерційні фонди, має більше шансів вижити й комерціалізувати машини ЛіспLisp, ніж запропонований самостійнимГрінблаттом стартапомсамостійний Greenblattстартап. GreenblattГрінблатт програв битву.▼
 
Саме на цьому етапі [[символіка|Symbolics]], підприємство Нофцкера, повільно зібраласяукріплялося. Хоча Нофцкер платив своїм співробітникам заробітну плату, в нього не було будівлі або будь-якого обладнання для роботи хакерів. Він торгувався з [[Патрік Вінстон|Патріком Вінстоном]], що, в обмін на те, щоб дозволити працівникам Symbolics продовжувати працювати у MIT, Symbolics дозволить MIT використовувати внутрішньо і вільно всі розроблені Symbolics програми. Консультант з [[Control Data Corporation|CDC]], який намагався зібрати комп'ютерну програму для природної мови з групою програмістів із Західного узбережжя, прийшов удо ГрінблатГрінблатту, шукаючи машину Lisp, з якою працювала його група, приблизно через вісім місяців після катастрофічної конференціїнаради з Нофцкером. GreenblattГрінблатт вирішив розпочати власну фірму конкурента Lisp, але він нічого не зробиввийшло. Консультант, Олександр Джейкобсон, вирішив, що єдиний спосіб, якяким GreenblattГрінблатт збирається запуститизапустить фірму і побудуватипобудує машину Lisp, яку Джейкобсон відчайдушно потребував,&nbsp;— це, якщо Якобсон підштовхнувпідштовхне і допомігдопоможе GreenblattГрінблатту запустити фірму. Якобсон зібраврозробив бізнес-плани, дошку,знайшов управління та партнера для GreenblattГрінблатта (один Ф. Стівен Вайл). Нова фірма отримала назву ''LISP Machine, Inc.'' (LMI) і фінансувалася за допомогою замовлень CDC через ДжейкобсонДжейкобсона.▼
 
Приблизно в цей час почала діяти Symbolics (фірма Нофцкера). Це заважало обіцянню Нофцкера дати ГрінблатуГрінблатту фору у розмірі одного року, а також серйозними затримками у залученні венчурного капіталу. Symbolics все ще мала головну перевагу, коли 3 або 4 хакери AI Lab перейшли на роботу вдо GreenblattГрінблатта, 14 інших хакерів підписали наконтракт з Symbolics. Два працівники лабораторії ШІ не були найняті нініким: [[Річард Столмен|Річард Столлман]] і [[Марвін Мінскі|Марвін Мінск]]<nowiki/>і. Столлман, однак, звинувачував Symbolics в занепаді хакерської спільноти, яка була зосереджена навколо лабораторії ШІ. Протягом двох років, з 1982 по кінець 1983 року, Столлман сам працював, щоб клонуватископіювати дії програмістів Symbolics, з метою запобігти їхній монополії на комп'ютери лабораторії.<ref>Леві, S: ''Хакери'' . Пінгвін США, 1984</ref>▼
▲Наступні обговорення вибору поділили лабораторію на дві фракції. У лютому 1979 року справи прийшли до моменту коли щось потрібно було вирішувати. Хакери встали на бік Нофцкера, вважаючи, що комерційна фірма, що підтримує комерційні фонди, має більше шансів вижити й комерціалізувати машини Лісп, ніж запропонований самостійним стартапом Greenblatt. Greenblatt програв битву.
 
▲Саме на цьому етапі [[символіка|Symbolics]], підприємство Нофцкера, повільно зібралася. Хоча Нофцкер платив своїм співробітникам заробітну плату, нього не було будівлі або будь-якого обладнання для роботи хакерів. Він торгувався з [[Патрік Вінстон|Патріком Вінстоном]], що, в обмін на те, щоб дозволити працівникам Symbolics продовжувати працювати у MIT, Symbolics дозволить MIT використовувати внутрішньо і вільно всі розроблені Symbolics програми. Консультант з [[Control Data Corporation|CDC]], який намагався зібрати комп'ютерну програму для природної мови з групою програмістів із Західного узбережжя, прийшов у Грінблат, шукаючи машину Lisp, з якою працювала його група, приблизно через вісім місяців після катастрофічної конференції з Нофцкером. Greenblatt вирішив розпочати власну фірму конкурента Lisp, але він нічого не зробив. Консультант, Олександр Джейкобсон, вирішив, що єдиний спосіб, як Greenblatt збирається запустити фірму і побудувати машину Lisp, яку Джейкобсон відчайдушно потребував,&nbsp;— це, якщо Якобсон підштовхнув і допоміг Greenblatt запустити фірму. Якобсон зібрав бізнес-плани, дошку, партнера для Greenblatt (один Ф. Стівен Вайл). Нова фірма отримала назву ''LISP Machine, Inc.'' (LMI) і фінансувалася за допомогою замовлень CDC через Джейкобсон.
 
▲Приблизно в цей час почала діяти Symbolics (фірма Нофцкера). Це заважало обіцянню Нофцкера дати Грінблату фору у розмірі одного року, а також серйозними затримками у залученні венчурного капіталу. Symbolics все ще мала головну перевагу, коли 3 або 4 хакери AI Lab перейшли на роботу в Greenblatt, 14 інших хакерів підписали на Symbolics. Два працівники лабораторії ШІ не були найняті ні: [[Річард Столмен|Річард Столлман]] і [[Марвін Мінскі|Марвін Мінск]]<nowiki/>і. Столлман, однак, звинувачував Symbolics в занепаді хакерської спільноти, яка була зосереджена навколо лабораторії ШІ. Протягом двох років, з 1982 по кінець 1983 року, Столлман сам працював, щоб клонувати дії програмістів Symbolics, з метою запобігти їхній монополії на комп'ютери лабораторії.<ref>Леві, S: ''Хакери'' . Пінгвін США, 1984</ref>
 
Всупереч цьому, після серії внутрішніх битв, Symbolics стартувало у 1980/1981, продаючи CADR як LM-2, в той час як {{Не перекладено|Lisp Machines|Lisp Machines|en|Lisp Machines}}, Inc. продала його як LMI-CADR. Symbolics не мала наміру виробляти багато LM-2, оскільки 3600 сімействсерія машин Lisp повинна була поставлятися швидко, але 3600 серія неодноразово затримувалася, і Symbolics закінчило виробницво ~ 100 LM-2, кожен з яких продавався за $ 70,000. Обидві фірми розробили продукти другого покоління на основі CADR: [[Символіка|Symbolics]] 3600 і LMI-LAMBDA (з яких LMI вдалося продати ~ 200). 3600, що поставляється через рік пізніше, з розширеним CADR, розширюючи машинне слово до 36-біт та адресний простір до 28-біт,<ref>Місяць 1985</ref> і додавання апаратних засобів для прискорення деяких загальних функцій, які були реалізовані в мікрокоді на CADR. LMI-LAMBDA, який вийшов через рік після 3600 у 1983 році, був сумісний з CADR (він міг працювати з мікрокодом CADR), але існували відмінності в обладнанні. [[Texas Instruments]] (TI) приєднався до боротьби, коли він ліцензував дизайн LMI-LAMBDA і виготовив свій власний варіант {{Не перекладено|TI Explorer|TI Explorer|en|TI Explorer}}. Деякі LMI-LAMBDA та TI Explorer були подвійними системами як з процесором Lisp, так і з [[UNIX|Unix]]. TI також розробив 32-бітну [[Мікропроцесор|мікропроцесорну]] версію свого процесора Lisp для TI Explorer. Цей чип Lisp також був використаний для MicroExplorer&nbsp;— плати [[NUbuntu|NuBus]] для Apple {{Не перекладено|Macintosh II|Macintosh II|en|Macintosh II}} (NuBus спочатку розроблявся в MIT для використання в машинах Lisp).
 
Symbolics продовжувала розвивати сімейство 3600 і її операційну систему, {{Не перекладено|Genera (операційна система)|Genera|en|Genera (operating system)}}, і виробляла слонову ''Ivory'', [[Схеми надвеликого рівня інтеґрації|VLSI]] реалізацію архітектури Symbolics. З 1987 року було розроблено декілька машин на основі процесора Ivory: плати для Suns і Mac, автономні робочі станції й навіть вбудовані системи (I-Machine Custom LSI, 32-розрядна адреса, Symbolics XL-400, UX-400, MacIvory II). у 1989&nbsp;р. доступними були платформи Symbolics XL-1200, MacIvory III, UX-1200, Zora, NXP1000 «Коробка для піци»). Texas Instruments скоротив Explorer в кремній, як MicroExplorer, який був запропонований як картка для Apple {{Не перекладено|Macintosh II|Macintosh II|en|Macintosh II}}. LMI відмовився від архітектури CADR і розробив власний K-Machine,<ref>''[[K-машина]]''</ref> але LMI збанкрутувала до того, як машина може бутибула виведена на ринок. Перед його загибеллю LMI працювала над розподіленою системою для LAMBDA, використовуючи простір Moby.<ref>Заявка на патент [[Мобі]] 4779191</ref>
 
Ці машини мали апаратну підтримку для різних примітивних операцій Lisp (тестування типів даних, {{Нп|CDR кодування|CDR кодування|en|CDR coding}}), а також апаратнаапаратну підтримкапідтримку інкрементного [[Збирання сміття|збору сміття]]. Вони дуже ефективно керували великими програмами Lisp. Машина Symbolics була конкурентоспроможна проти багатьох комерційних супер [[Мінікомп'ютер|мінікомп'ютерів]], але ніколи не була адаптована для звичайних цілей. Машини Symbolics Lisp також продавалися на деяких ринках, які не належать до ШІ, таких як [[комп'ютерна графіка]], моделювання та анімація.
 
Лісп-машини, отримані від MIT, керувалися діалектом [[Lisp|Lisp з]] іменем {{Не перекладено|Lisp Machine Lisp|Lisp Machine Lisp|en|Lisp Machine Lisp}}, що походить від {{Не перекладено|Maclisp|Maclisp|en|Maclisp}} MIT. Операційні системи були написані з нуля в Lisp, часто використовуючи об'єктно-орієнтовані розширення. Пізніше ці машини Lisp також підтримували різні версії [[Common Lisp]] (зі {{Не перекладено|Flavors (мова програмування)|Flavors|en|Flavors (programming language)}}, {{Не перекладено|Flavors (мова програмування)|New Flavors|en|Flavors (programming language)}} та {{Не перекладено|Common Lisp Object System|Common Lisp Object System|en|Common Lisp Object System}}(CLOS)).
 
=== Interlisp, BBN і Xerox ===
{{Не перекладено|Bolt, Beranek and Newman|Bolt, Beranek and Newman|en|Bolt, Beranek and Newman}}(BBN) розробили власну машину Lisp, названу Jericho,<ref>[["Обчислювальні засоби для штучного інтелекту: огляд існуючих та найближчих варіантів"]]. ''Журнал ШІ''. '''2''' (1). 1981.</ref> яка керувала версією {{Не перекладено|Interlisp|Interlisp|en|Interlisp}}. ВінМашина ніколи не продававсяпродавалася. Розчаровані, всяРозчарована група ШІ пішла у відставку, і найнялася в основному Xerox. Таким чином, [[Xerox]] [[PARC|Palo Alto Research Center]], одночасно з власнимвласними розвиткомрозробками GreenblattГрінблатта в MIT, розробив власні машини Lisp, які були розробленівикористані для роботи InterLisp (і пізніше [[Common Lisp]]). Таке ж обладнання використовувалося з різним програмним забезпеченням, також як машини [[Smalltalk]] та офісної системи [[Xerox Star]]. Вони включали Xerox 1100, ''Dolphin'' (1979); Xerox 1132, ''Dorado'' ; Xerox 1108,''Кульбаба'' (1981); Xerox 1109, ''Dandetiger'' ; і {{Не перекладено|Xerox 1186/6085|Xerox 1186/6085|en|Xerox Daybreak}}, ''Daybreak''. Операційна система машин Xerox Lisp також перенесена на віртуальну машину і доступна для декількох платформ як продукт ''Medley''. Машина Xerox була добре відома своєюсвоїм передовоюпередовим середовищем розробки (InterLisp-D), менеджером вікон ROOMS, її раннім графічним інтерфейсом та новими додатками, наприклад, {{Не перекладено|NoteCards|NoteCards|en|NoteCards}} (одним з перших [[Гіпертекст|гіпертекстових]] додатків).
 
Xerox також працював на машині Lisp, заснованої на [[RISC|скороченні обчислень набору команд]] (RISC), використовуючи процесор Xerox Common Lisp Processor і планував вивести його на ринок у 1987 році,<ref>[["Конференція AAAI-86: нові напрямки для комерційного штучного інтелекту, реалізація машин VLSSLIS з машиною"]]. ''Журнал ШІ'' . '''8''' (1). 1987.</ref> що не відбулося.
 
=== Машини інтегрованого висновку ===
У середині 1980-х років Інтегровані машиниМашини з висновкомВиводу (IIM) побудували прототипи машин Lisp під назвою Inferstar.<ref>[["Експозиції конференції AAAI-86: нові напрямки для комерційного ІІ, новий постачальник машин Lisp"]], ''журнал ШІ'' , '''8''' (1), 1987, випущено 12 листопада 2011&nbsp;р.</ref>
 
=== Розробки машин Lisp за межами США ===
У 1984—1985 роках британська фірма «Racal-Norsk», спільна дочірня компанія {{Нп|Racal|Racal|en|Racal}} і {{Нп|Norsk Data|Norsk Data|en|Norsk Data}}, спробувала перепрофілювати супермаркі [[ND-500]] Norsk Data як мікрокодуваннямікрокодовану Lisp-машину, яка використовує програмне забезпечення CADR: Система обробки знань (KPS).<ref>[["Комп'ютерна алгебра в Норвегії, Racal-Norsk KPS-5 і KPS-10 багатокористувацькі машини Lisp"]]. Спрингер посилання. Отримано 12 листопада2011 року.</ref>
 
Було кілька спроб японських виробників вийти на ринок машин Lisp: спільний процесор [[Fujitsu]] [[Facom-alpha]]<ref>[["Facom Alpha"]]. ''Музей комп'ютерів''. IPSJ. Отримано 12 листопада 2011 року.</ref>, процесор NTT Elis,<ref>[["NTT ELIS"]]. ''Музей комп'ютерів''. IPSJ. 9 вересня 1983 року . Отримано 12 листопада2011 року .</ref><ref>[["32-розрядний процесор LISP для робочої станції Al ELIS з мовою парадигми декількох програм, TAO"]]. NII. 25 серпня 1990 року . Отримано 12 листопада 2011 року .</ref> процесор AI Toshiba (AIP)<ref>«Архітектура чипу процесора AI (IP1704)». NII. 25 серпня 1990 року. Отримано 12 листопада 2011 року.</ref> і NEC LIME.<ref>[["Машина NEC LIME Lisp"]]. ''Музей комп'ютерів''. IPSJ. Отримано 12 листопада 2011 року.</ref> Кілька наукових досліджень університету дали робочі прототипи, серед яких TAKITAC-7 університету Кобе,<ref>[["Машина університету Кобе"]]. ''Музей комп'ютерів''. IPSJ. 10 лютого 1979 року . Отримано 12 листопада 2011 року.</ref> FLATS RIKEN,<ref>[["Комп'ютерний обчислювальний комплекс RIKEN FLATS".]] ''Музей комп'ютерів''. IPSJ . Отримано 12 листопада 2011 року.</ref> і EVLIS університету в Осаці.<ref>[["Машина EVLIS"]]. ''Музей комп'ютерів''. IPSJ. Отримано 12 листопада 2011 року .</ref>
Рядок 52 ⟶ 55:
=== Кінець машин Lisp ===
 
З настанням ''[[Зима штучного інтелекту|зими АІ]]'' й ранніми початками {{Не перекладено|Історія персональних комп'ютерів|революції мікрокомп'ютера|en|History of personal computers}}, які винеслизамінили б міні-комп'ютер і виробникивиробників робочих станцій, дешевші настільні ПК невдовзі змогли запускати Lisp-програми ще швидше, ніж Lisp-машини, без використання спеціального обладнання. Таким чином, їхнюїх велика прибутковість за рахунок апаратного бізнесу, булобула ліквідованоліквідована. Більшість виробників машин Lisp вийшли з бізнесу на початку 90-х, залишивши лише фірми на основі програмного забезпечення, такі як {{Не перекладено|Lucid Inc.|Lucid Inc.|en|Lucid Inc.}} або виробникивиробників обладнання, які перейшли на програмне забезпечення та послуги, щоб уникнути аварії. Станом на січень 2015 року, крім Xerox, Symbolics&nbsp;— це єдина фірма Lisp, яка все ще працює, продаючи програмне середовище машин {{Нп|Genera (операційна система)|Open Genera|en|Genera (operating system)}} Lisp і {{Не перекладено|Macsyma|Macsyma|en|Macsyma}} система комп'ютерної алгебри.<ref>[http://www.lispmachine.net/symbolics.txt «symbolics.txt»] </ref><ref>[http://fare.tunes.org/LispM.html «Дещо я знаю про LISP Machines»] </ref>
 
=== Спадщина ===
Було зроблено кілька спроб написання емуляторів з відкритим кодом для різних машин Lisp: Емуляція CADR,<ref>[["Емуляція CADR"]] . Unlambda . Отримано 12 листопада 2011 року .</ref> Symbolics L Емуляція машини Lisp,<ref>[["Символіка емуляції машини Lisp"]] . Unlambda. 28 травня 2004 року . Отримано 12 листопада 2011 року .</ref> Проект E3 (Емуляція TI Explorer II),<ref>[["Проект E3, емуляція TI Explorer II" .]] Unlambda . Отримано 12 листопада 2011 року .</ref> Meroko (TI Explorer I),<ref>[["Емулятор Meroko (TI Explorer I)"]] . Unlambda . Отримано 12 листопада 2011 року .</ref> і Невермор (ТІ Експлорер I).<ref>[http://www.unlambda.com/lisp/nevermore.page «Nevermore Emulator (TI Explorer I)»]. Unlambda. Отримано 12 листопада 2011 року .</ref> На 3 жовтня 2005 року MIT випустила вихідний код CADR Lisp Machine, як звідкритий відкритимвихідний вихідним кодомкод.<ref>[["Вихідний код машини MIT CADR Lisp"]] . Heeltoe . Отримано 12 листопада 2011 року .</ref>
 
У вересні 2014 року Олександр Бургер, розробник {{Не перекладено|PicoLisp|PicoLisp|en|PicoLisp}}, оголосив PilMCU, як реалізацію PicoLisp в апаратному забезпеченні.<ref>[https://www.mail-archive.com/picolisp@software-lab.de/msg04823.html «Анонс: PicoLisp в апаратному забезпеченні (PilMCU)» .]</ref>
 
Архів документів PDF у Бітвери<ref>[http://www.bitsavers.org/ «Архів документів PDF»] . Бітварів . Отримано 12 листопада 2011 року .</ref> містить PDF-версії великої документації для машин Symbolics Lisp,<ref>"[[Символіка документації"]] . Бітварів . Отримано 12 листопада 2011 року </ref> TI Explorer<ref>[["Документація TI Explorer"]]. Бітварів. 15 травня 2003 року . Отримано 12 листопада 2011 року .</ref> та MicroExplorer<ref>[["Документація TI MicroExplorer"]]. Бітварів. 9 вересня 2003 року. Отримано 12 листопада 2011 року .</ref> Машини Lisp і машини Xerox Interlisp-D Lisp.<ref>[["Документація Xerox Interlisp"]]. Бітварів. 24 березня 2004 року. Отримано 12 листопада 2011 року .</ref>
 
=== Програми ===
Домени, що використовують машини Lisp, були в основному в широкомуширокій полісфері додатків штучного інтелекту, а також у комп'ютерній графіці, обробці медичних зображень та багатьох інших.
 
Основні комерційні експертні системи 80-х років, які були доступні: середовище інженерних знань Intellicorp (KEE), знання Craft, від Carnegie Group Inc., та ART (Automated Reasoning Tool) від корпорації Inference.<ref>Ріхтер, Марк: ''Інструменти та методики ІІ'' . Ablex Publishing Corporation США, 1988, Розділ 3, Оцінка інструментів розробки експертної системи</ref>
 
== Технічний огляд ==
Спочатку машини Lisp були розроблені як особисті робочі станції для розробки програмного забезпечення в Lisp. Вони використовувалися однією людиною і не пропонували багатокористувацькогобагатокористувальницького режиму. Машини забезпечувалимали великий, чорно-білий, растровий дисплей, клавіатуру і мишу, мережевий адаптер, локальні жорсткі диски, більше ніж 1 Мб оперативної пам'яті, послідовний інтерфейс і локальну шину для платіжних карток. Кольорові відеокарти, стрічкові накопичувачі та лазерні принтери були додатковими.
 
Процесор не запускав Lisp безпосередньо, а був {{Не перекладено|Стек машина|стек машиною|en|Stack machine}} з інструкціями, оптимізованими для компіляції Lisp. Перші машини Lisp використовували мікрокод для забезпечення набору команд. Для декількох операцій перевірка типів і диспетчеризація виконувалася в апаратному режимі під час виконання. Наприклад, можна використовувати тільки одну операцію додавання з різними числовими типами (цілочисельні, плаваючі, раціональні та комплексні числа). Результатом було дуже компактне складання представлення коду Lisp.
Рядок 96 ⟶ 99:
17 SET-SP-TO-ADDRESS SP|-2
20 RETURN-SINGLE-STACK
</syntaxhighlight>Операційна система використовувала [[Віртуальна пам'ять|віртуальну пам'ять]] для забезпечення великого адресного простору. Управління пам'яттю здійснювалося зі збором сміття. Весь код має спільний простір адресадресів. Всі об'єкти даних зберігалися з тегом в пам'яті, так що тип може бути визначений під час виконання. Підтримували й називали ''процесами'' декілька потоків виконання. Всі процеси проходили в одному адресному просторі.
 
Все програмне забезпечення операційної системи було написано в Lisp. Xerox використовував Interlisp. Symbolics, LMI й TI використовували Lisp Machine Lisp (нащадок MacLisp). З появою Common Lisp, Common Lisp підтримувався на машинах Lisp, а деякі системні програми були перенесені на Common Lisp або пізніше написані в Common Lisp.
 
Деякі пізніші машини Lisp (такі як TI MicroExplorer, Symbolics MacIvory або Symbolics UX400 / 1200) більше нетепер були робочимине робочі станціямистанції, а плати, призначені для вбудовування в комп'ютери: Apple Macintosh II і SUN 3 або 4.
 
Деякі машини Lisp, такі як Symbolics XL1200, мали широкі графічні можливості з використанням спеціальних графічних плат. Ці машини використовувалися в таких областях, таких як обробка медичних зображень, 3D-анімація та CAD.
 
== Див. також ==
Отримано з https://uk.wikipedia.org/wiki/Лісп-машина