Статьи о Лямбде: Когда ЛИСП превратился в микропроцессор
Физическая компоновка микропроцессора SCHEME-78 на основе ЛИСПА от Steele и Sussman. (
Во время бума исследований в области искусственного интеллекта в 1970-х годах язык LISP от LISt Processor пережил значительный всплеск использования и развития, включая разработку множества диалектов. Одним из таких диалектов была Scheme, разработанная [Гаем Л. Стилом] и [Джеральдом Джеем Сассманом], которые написали ряд статей, которые были опубликованы лабораторией искусственного интеллекта Массачусетского технологического института (MIT) в рамках AI Memos. Эта часть, получившая название «Лямбда-статьи», охватывает идеи обоих авторов о лямбда-исчислении, его применении в ЛИСПЕ и, в конечном счете, статью 1980 года о разработке микропроцессора на базе ЛИСПА.
Scheme примечательна здесь тем, что она повлияла на разработку того, что в 1994 году было стандартизировано как Common Lisp, то есть того, что можно назвать «современным Лиспом». Идея создания специализированных ЛИСП-машин не была новой и была продиктована требованиями к обработке данных в системах искусственного интеллекта. Несоответствие между S-выражениями LISP и типичным способом использования процессоров assembly той эпохи привело к разработке процессоров со специализированной аппаратной поддержкой LISP.
Дизайн, описанный [Steele] и [Sussman] в их статье 1980 года, приведенной в коммуникации ACM основаны на архитектуре набора команд (ISA), которая более точно соответствует языку LISP. Как уже говорилось, это, по сути, аппаратный интерпретатор LISP, реализованный в микросхеме VLSI, называемой SCHEME-78. Очевидно, что при максимально возможном использовании аппаратного обеспечения производительность значительно повышается. Это в некоторой степени похоже на то, как сегодняшний бум искусственного интеллекта основан на специализированных векторных процессорах, которые превосходно справляются с логическим выводом, в отличие от обычных процессоров.
В 1980-х годах ЛИСП-машины начали интегрировать все больше и больше аппаратных функций, в том числе системы Symbolics и LMI. Позже эти системы также начали продаваться для использования не в сфере искусственного интеллекта, например, для 3D-моделирования и компьютерной графики. Однако по мере того, как финансирование исследований в области искусственного интеллекта сокращалось, а массовое оборудование стало опережать специализированные процессоры, эти системы также исчезли.
Верхнее изображение: Symbolics 3620 и LMI Lambda Lisp-машины (автор: Джейсон Риди)
Другие новости: