Лимбо (язык программирования)

Чтобы узнать о других значениях, см. Лимбо (значения) .

Лимбо

Парадигма	Параллельно
Разработано	Шон Дорвард, Фил Уинтерботтом, Роб Пайк
Разработчик	Bell Labs / Vita Nuova Holdings
Впервые появился	1995 год ( 1995 )
Дисциплина набора текста	Сильный
ТЫ	Инферно
Лицензия	GNU GPL v2, см. УВЕДОМЛЕНИЕ в подпапке Limbo архива.
Веб-сайт	www .витануова .с /инферно /лимбо .html
Основные реализации
Дис виртуальная машина
Под влиянием
C , Паскаль , CSP , Алеф , Ньюсквик
Под влиянием
Бесконечный Python , Go , Rust

Limbo — язык программирования для написания распределенных систем и язык, используемый для написания приложений для операционной системы Inferno . Он был разработан в Bell Labs Шоном Дорвардом , Филом Уинтерботтомом и Робом Пайком .

Limbo Компилятор генерирует архитектуры независимый от объектный код , который затем интерпретируется виртуальной машиной Dis или компилируется непосредственно перед выполнением для повышения производительности. Поэтому все приложения Limbo полностью переносимы на все платформы Inferno.

Подход Limbo к параллелизму был вдохновлен (CSP) Хоара коммуникативными последовательными процессами Пайка , реализованными и измененными в более раннем языке Newsqueak Уинтерботтома и Alef .

Языковые особенности

Limbo поддерживает следующие функции:

• модульное программирование
• параллельное программирование
• строгая проверка типов во время компиляции и выполнения
• межпроцессное взаимодействие по типизированным каналам
• автоматический сбор мусора
• простые абстрактные типы данных

Виртуальная машина

Виртуальная машина Dis, выполняющая код Limbo, представляет собой CISC-подобную виртуальную машину с инструкциями для арифметики, потока управления , перемещения данных , создания процессов , синхронизации и взаимодействия между процессами, загрузки модулей кода и поддержки типов данных более высокого уровня: строки, массивы, списки и каналы связи. Он использует гибрид подсчета ссылок и в реальном времени сборщика мусора для циклических данных.

Некоторые аспекты дизайна Dis были вдохновлены микропроцессором AT&T Hobbit , который использовался в оригинальном BeBox .

Примеры

Limbo использует определения в стиле Ada , например:

name := type value;
name0,name1 : type = value;
name2,name3 : type;
name2 = value;

Привет, мир

implement Command;

include "sys.m";
    sys: Sys;

include "draw.m";

include "sh.m";

init(nil: ref Draw->Context, nil: list of string)
{
    sys = load Sys Sys->PATH;
    sys->print("Hello World!\n");
}

Книги

Третье издание операционной системы Inferno и языка программирования Limbo описаны в учебнике Inferno Programming with Limbo. ISBN   0-470-84352-7 (Чичестер: John Wiley & Sons, 2003), Филипп Стэнли-Марбелл . Еще один учебник — The Inferno Programming Book: An Introduction to Programming for the Inferno Distributed System Мартина Аткинса, Чарльза Форсайта, Роба Пайка и Говарда Трики — был начат, но так и не выпущен.

См. также

• Инферно система Операционная
• Алеф , предшественник Лимбо
• Plan 9 от Bell Labs , операционная система
• Go , аналогичный язык от Google
• AT&T Hobbit — архитектура процессора, вдохновившая Dis VM.

Внешние ссылки

• Страница Vita Nuova на Limbo
• Спуск в Лимбо Брайан Керниган
• Язык программирования Limbo Денниса М. Ритчи и Приложение Виты Нуова.
• «Инферно-программирование с лимбо», Филип Стэнли-Марбелл
• Поточное программирование в стиле Bell Labs CSP.
• Исходный код Dis , заархивирован из оригинала 21 сентября 2017 г. , получен 20 сентября 2017 г.
• Дизайн виртуальной машины Inferno Vita nuova .
• «Дизайн Dis VM», Inferno (4-е изд.), Cat V.
• «Спецификация Dis VM», Inferno (4-е изд.), Cat V.