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

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

Лимбо

Парадигма	Параллельно
Разработано	Шон Дорвард, Фил Уинтерботтом, Роб Пайк
Разработчик	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 , например:

имя   :=   типа   значение  ; 
  имя0  ,  имя1   :   тип   =   значение  ; 
  имя2  ,  имя3   :   тип  ; 
  имя2   =   значение  ; 

Привет, мир

реализовать   команду  ; 

  включить   «sys.m»  ; 
      сис  :   Сис  ; 

  включить   «draw.m»  ; 

  включить   «шм»  ; 

  init  (  nil  :   ref   Draw  ->  Context  ,   nil  :   список   строк   )  ; 
 { 
     sys   =   load   Sys   Sys  -  PATH  > 
      sys  ->  print  (  «Привет, мир!  \n  »  ); 
  } 

Книги

Третье издание операционной системы Inferno и языка программирования Limbo описаны в учебнике Inferno Programming with Limbo. ISBN   0-470-84352-7 (Чичестер: John Wiley & Sons, 2003), Филипп Стэнли-Марбелл . Еще один учебник «The Inferno Programming Book: An Introduction to the 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.