Виртуальная машина Попугая
 | Эту статью необходимо обновить . ( август 2022 г. ) |
 | |
| Окончательный релиз | 8.1.0
/ 16 февраля 2016 г [1] |
|---|---|
| Репозиторий | |
| Написано в | С |
| Операционная система | Кросс-платформенный |
| Преемник | МоарВМ (для Раку) |
| Тип | Виртуальная машина |
| Лицензия | Художественная лицензия 2.0 |
| Веб-сайт | www |
Parrot — это снятая с производства на основе регистров, виртуальная машина процессов предназначенная для эффективной работы с динамическими языками . Можно скомпилировать ассемблерный язык Parrot и промежуточное представление Parrot (PIR, промежуточный язык) в байт-код Parrot и выполнить его. Parrot — бесплатное программное обеспечение с открытым исходным кодом . [2]
Parrot был создан сообществом Perl и разработан при помощи сообществ открытого и бесплатного программного обеспечения . В результате основное внимание уделялось совместимости лицензий с Perl ( Artistic License 2.0 ), совместимости платформ с широким спектром систем, совместимости архитектуры процессора с большинством современных процессоров, скорости выполнения, небольшому размеру (около 700 КБ в зависимости от платформы) и гибкость для удовлетворения различных требований, предъявляемых Raku и другими современными динамическими языками .
Версия 1.0 со стабильным интерфейсом программирования приложений (API) для разработки была выпущена 17 марта 2009 года. [3] Последней версией является выпуск 8.1.0 «Андский попугай». [1] Официальное прекращение поддержки Parrot было прекращено в августе 2021 года после того, как его заменил MoarVM в его основном использовании (Raku) и он так и не стал основной виртуальной машиной ни для одного из других поддерживаемых языков. [4]
История [ править ]
Название Parrot произошло от первоапрельской шутки, в которой было объявлено о создании гипотетического языка Parrot , который объединит Python и Perl . [5] [6] Позже это название было принято проектом Parrot (первоначально являвшимся частью разработки Raku), целью которого была поддержка Raku, Python и других языков программирования.
Фонд Parrot Foundation был распущен в 2014 году. [7] Фонд был создан в 2008 году для владения авторскими правами и товарными знаками проекта Parrot, для помощи в разработке языковых реализаций и основной кодовой базы, для обеспечения базы для роста сообщества Parrot и для взаимодействия с другими языковыми сообществами. [8]
Исторические проектные решения документируются в форме проектных документов Parrot или PDD в репозитории Parrot. [9]
До конца 2005 года Дэн Сугальски был ведущим дизайнером и главным архитектором Parrot. Чип Зальценберг , давний хакер Perl, ядра Linux и C++, занял пост до середины 2006 года, когда он стал ведущим разработчиком. Эллисон Рэндал , ведущий разработчик Punie и главный архитектор инструментов компилятора Parrot, была главным архитектором до середины октября 2010 года, когда она ушла в отставку и выбрала Кристофа Отто новым главным архитектором. [10]
Языки [ править ]
Целью виртуальной машины Parrot было размещение клиентских языков и обеспечение взаимодействия между ними. На пути достижения этой цели существует несколько препятствий, в частности, сложность сопоставления концепций высокого уровня, данных и структур данных между языками.
Статические и динамические языки [ править ]
Различные свойства статически и динамически типизированных языков послужили причиной создания Parrot. Современные популярные виртуальные машины, такие как виртуальная машина Java и Common Language Runtime для платформы .NET , были разработаны для статически типизированных языков, в то время как языки, на которые нацелен Parrot, являются динамически типизированными.
Виртуальные машины, такие как виртуальная машина Java и текущая виртуальная машина Perl 5, также основаны на стеке . обширную литературу по оптимизации компилятора Разработчики Parrot выбрали конструкцию на основе регистров, мотивируя это тем, что она больше напоминает аппаратную конструкцию, что позволяет использовать при генерации байт-кода для виртуальной машины Parrot, которая может работать на скоростях, близких к машинному коду . [ нужна цитата ] Другие виртуальные машины на основе регистров вдохновили часть дизайна Parrot, включая LLVM , Lua VM от Inferno и Dis .
Функциональные концепции [ править ]
Parrot имеет богатую поддержку нескольких функций функционального программирования, включая замыкания и продолжения , обе из которых может быть особенно сложно реализовать правильно и переносимо, особенно в сочетании с обработкой исключений и многопоточностью . Самым большим преимуществом является динамическая расширяемость объектов с помощью методов, что позволяет использовать полиморфные контейнеры (PMC) и связанные с ними коды операций . Реализация решений этих проблем на уровне виртуальных машин избавляет от необходимости решать их на отдельных клиентских языках.
Инструменты компилятора [ править ]
Parrot предоставляет набор инструментов для написания компиляторов. [11] который включает в себя Parser Grammar Engine (PGE), гибридный анализатор-генератор, который может выражать анализатор рекурсивного спуска , а также анализатор с приоритетом операторов , обеспечивая свободный переход между ними в одной грамматике. PGE передается в механизм древовидной грамматики (TGE), который дополнительно преобразует дерево синтаксического анализа, сгенерированное PGE, для оптимизации и, в конечном итоге, для генерации кода.
Реализации [ править ]
Наиболее полными языковыми реализациями, предназначенными для виртуальной машины Parrot, были Raku (известный в то время как Rakudo Perl 6), Lua и новый язык под названием «Winxed». [12] Были начаты проекты по реализации многих других языков, включая PHP , Python и Ruby ; наряду с эзотерическими и демонстрационными языками, такими как Befunge и учебный язык « скквак ». [13] Ни один из этих проектов не стал первичным внедрением соответствующих языков. [4]
Внутренности [ править ]
Существует три формы программного кода для Parrot:
- Байт-код [14] является двоичным и изначально интерпретируется Parrot. Байт-код обычно хранится в файлах с расширением имени файла «.pbc».
- Язык ассемблера Parrot (PASM) — это язык низкого уровня, который компилируется в байт-код. Код PASM обычно хранится в файлах с расширением имени файла «.pasm».
- Промежуточное представление попугая (PIR [15] ) — это язык немного более высокого уровня, чем PASM, который также компилируется в байт-код. Это основная цель языковых реализаций. PIR прозрачно управляет соглашениями о межпрограммных вызовах Parrot, обеспечивает улучшенный синтаксис, распределение регистров и многое другое. Код PIR обычно хранится в файлах с расширением имени файла «.pir».
Примеры [ править ]
Регистры [ править ]
Parrot основан на регистрах, как и большинство аппаратных процессоров , и в отличие от большинства виртуальных машин, которые основаны на стеке. Parrot предоставляет четыре типа регистров:
- I: собственный целочисленный тип
- N: с плавающей запятой числа
- S: расширенные строковые регистры с Unicode . поддержкой
- P: PMC или полиморфный контейнер — тип объекта Parrot.
Parrot предоставляет произвольное количество регистров; это число фиксируется во время компиляции каждой подпрограммы.
Арифметические операции [ править ]
В ПАСМ
set I1 , 4
inc I1 # I1 теперь 5
add I1 , 2 # I1 теперь 7
set N1 , 42 .0
dec N1 # N1 теперь 41.0
sub N1 , 2 .0 # N1 теперь 39.0
print I1
print ' , '
напечатайте N1
напечатайте "\ n "
конец
В ПИР
. sub 'main' : main
$I1 = 4
inc $I1 # $I1 теперь равен 5
$I1 += 2 # $I1 теперь равен 7
$N1 = 42.0
dec $N1 # $N1 теперь равен 41.0
$N1 -= 2.0 # $ N1 теперь 39.0
напечатайте $I1
напечатайте ', '
напечатайте $N1
напечатайте "\n"
. конец
См. также [ править ]
- МоарВМ
- ГраальВМ
- Общеязыковая среда выполнения (CLR)
- Сравнение виртуальных машин приложений
- mod_parrot
- Машина Да Винчи
Ссылки [ править ]
- ^ Перейти обратно: а б «Новая поддерживаемая версия 8.1.0 «Андский попугай» » . Фонд попугаев. 16 февраля 2016 г. Проверено 26 сентября 2016 г.
- ^ «Лицензионное соглашение для участников Parrot 1.0» (PDF) . Фонд попугаев. Архивировано из оригинала (PDF) 16 августа 2010 г. Проверено 18 марта 2009 г.
- ^ «Дорожная карта попугаев» . Фонд попугаев. 20 ноября 2008 г. Архивировано из оригинала 15 апреля 2010 г. Проверено 20 ноября 2008 г.
- ^ Перейти обратно: а б «Неактивный попугай | Parrot VM» . www.parrot.org .
- ^ «История розыгрыша с попугаем - O'Reilly Media» . Орейли.com. 6 апреля 2001 г. Проверено 25 февраля 2014 г.
- ^ «Программирование попугая» . Perl.com. Архивировано из оригинала 18 июля 2010 г. Проверено 25 февраля 2014 г.
- ^ «Расширенный поиск корпораций» . Департамент лицензирования штата Вашингтон . УБИ 602 839 536 . Проверено 9 апреля 2021 г.
- ↑ Объявление о создании Parrot Foundation. Архивировано 29 июня 2008 г. в Wayback Machine.
- ^ «Parrot 6.1.0 — Проектная документация Parrot (PDD)» . Docs.parrot.org . Проверено 25 февраля 2014 г.
- ^ Отто, Кристоф (21 октября 2010 г.). "reparrot: У Попугая новый архитектор. Что теперь?" . Reparrot.blogspot.com . Проверено 25 февраля 2014 г.
- ^ [1] Архивировано 9 мая 2009 г., в Wayback Machine.
- ^ «Языки — Попугай В.М.» . сайт попугая . Проверено 18 ноября 2023 г.
- ^ «Языки – Попугай» . Wiki по разработке Parrot . Проверено 18 ноября 2023 г.
- ^ «Формат байт-кода Parrot (PBC) — код попугая» . Архивировано из оригинала 24 декабря 2008 г. Проверено 15 июля 2009 г.
- ^ [2] Архивировано 20 июля 2009 г., в Wayback Machine.