CMU Common Lisp

Эта статья чрезмерно опирается на ссылки на первичные источники . Пожалуйста, улучшите эту статью, добавив вторичные или третичные источники . Найти источники:  "CMU Common Lisp" – новости  · газеты  · книги  · ученый  · JSTOR ( май 2022 г. ) ( Узнайте, как и когда удалять это сообщение )

CMUCL — это свободная реализация Common Lisp , первоначально разработанная в Университете Карнеги — Меллона .

CMUCL работает на большинстве Unix-подобных платформ, включая Linux и BSD ; также существует экспериментальный порт для Windows . Steel Bank Common Lisp является производным от CMUCL. Scieneer Common Lisp был коммерческим производным от CMUCL.

Самая ранняя реализация предшествовала Common Lisp и была частью Spice Lisp около 1980 года. В 1985 году Роб Маклахлан начал переписывать компилятор в то, что впоследствии стало компилятором Python, и CMUCL был портирован на рабочие станции Unix, такие как IBM PC RT, MIPS и SPARC. Ранние выпуски CMUCL не поддерживали архитектуру Intel x86 из-за отсутствия регистров. CMUCL строго разделял типы данных с тегами и непосредственные типы данных, а сборщик мусора полагался на знание того, что одна половина регистров ЦП может содержать только тегированные типы, а другая половина — только нетегированные типы. Это не оставляло достаточно регистров для бэкэнда Python.

После того, как CMU отменил проект (в пользу реализации Dylan с использованием части базы компилятора CMUCL), сопровождение было взято на себя группой добровольцев. К 1996 году эта группа делала регулярные релизы на своей собственной инфраструктуре.

Примерно в то же время был завершен порт на архитектуру Intel x86, сначала работавший на FreeBSD , позже на Linux . Проблема нехватки регистров была решена новым консервативным сборщиком мусора. Этот новый сборщик мусора принимает любое значение любого типа в регистрах и рассматривает все, что может быть указателем, как указатель с целью не собирать или перемещать его цель.

• CMUCL содержит интерпретатор, который в основном используется для REPL , но может использоваться для более быстрой загрузки файлов Lisp, не требующих компиляции.
• Машина для интерпретации компактного байт-кода (который может быть выдан компилятором). Сейчас это используется редко, но было популярно в ранних выпусках CMUCL, поскольку размеры изображений были радикально уменьшены в то время, когда пропускная способность загрузки в Интернете была низкой.
• Компилятор собственного кода под названием "Python" (не путать с языком программирования Python ). Если исходный код Common Lisp был написан с соответствующими объявлениями и организован с учетом скорости, компилятор Python генерирует код, который почти не содержит накладных расходов по сравнению с кодом, скомпилированным из таких языков, как C++. Некоторые недостатки, такие как интерфейсы вызова функций и отсутствие массивов без указателей пользовательских типов данных, диктуются стандартом Common Lisp и все еще требуют решения (например, путем встраивания большего количества и использования макросов для создания конструкций, которые выглядят как пользовательские структуры, но на самом деле обращаются к полям в предварительно выделенных специализированных массивах). Компилятор Python также имеет мощные функции вывода типов , помогающие программисту писать код без накладных расходов, либо автоматически выводя типы, либо выдавая подсказки об упущенных возможностях оптимизации.

• Поколенческая сборка мусора и возможность многопроцессорной обработки на портах x86.
• Интерфейс внешних функций , который позволяет взаимодействовать с кодом C и системными библиотеками, включая общие библиотеки на большинстве платформ, а также прямой доступ к системным вызовам Unix .
• Поддержка межпроцессного взаимодействия и удаленных вызовов процедур .
• Реализация CLOS , Common Lisp Object System, которая включает в себя мультиметоды и протокол метаобъектов.
• Графический отладчик исходного кода, использующий интерфейс Motif , и профилировщик кода .
• Интерфейс к оконной системе X11 (CLX) и сложная графическая библиотека виджетов (Garnet).
• Расширяемые программистом потоки ввода и вывода.
• Hemlock — редактор, подобный Emacs , реализованный на Common Lisp.

• Steel Bank Общий Лисп

• Домашняя страница CMUCL