Limbo (lenguaje de programación)

Este artículo necesita citas adicionales para su verificación . Por favor, ayude a mejorar este artículo añadiendo citas de fuentes fiables . El material sin fuentes puede ser cuestionado y eliminado. Buscar fuentes:  Lenguaje de programación «Limbo» – noticias  · periódicos  · libros  · académico  · JSTOR ( octubre de 2013 ) ( Aprenda cómo y cuándo eliminar este mensaje )

Limbo es un lenguaje de programación para escribir sistemas distribuidos y es el lenguaje utilizado para escribir aplicaciones para el sistema operativo Inferno . Fue diseñado en Bell Labs por Sean Dorward, Phil Winterbottom y Rob Pike . ^[1]

El compilador Limbo genera código objeto independiente de la arquitectura que luego es interpretado por la máquina virtual Dis o compilado justo antes del tiempo de ejecución para mejorar el rendimiento. Por lo tanto, todas las aplicaciones Limbo son completamente portables en todas las plataformas Inferno.

El enfoque de Limbo hacia la concurrencia se inspiró en los procesos secuenciales de comunicación (CSP) de Hoare , tal como se implementaron y modificaron en el lenguaje anterior Newsqueak de Pike y en el Alef de Winterbottom .

Limbo admite las siguientes funciones:

• programación modular
• programación concurrente
• Comprobación de tipos estricta en tiempo de compilación y ejecución
• Comunicación entre procesos a través de canales tipificados
• Recolección automática de basura
• tipos de datos abstractos simples

La máquina virtual Dis que ejecuta el código Limbo es una VM similar a CISC, con instrucciones para aritmética, flujo de control , movimiento de datos, creación de procesos , sincronización y comunicación entre procesos, carga de módulos de código y soporte para tipos de datos de nivel superior: cadenas, matrices, listas y canales de comunicación. ^[2] Utiliza un híbrido de conteo de referencias y un recolector de basura en tiempo real para datos cíclicos. ^[3]

Algunos aspectos del diseño de Dis se inspiraron en el microprocesador AT&T Hobbit , utilizado en el BeBox original .

Limbo utiliza definiciones de estilo Ada como en:

nombre := tipo valor ; nombre0 , nombre1 : tipo = valor ; nombre2 , nombre3 : tipo ; nombre2 = valor ;           

implementar comando ; incluir "sys.m" ; sys : Sys ;   incluye "draw.m" ; incluye "sh.m" ; init ( nil : ref Draw -> Context , nil : lista de cadenas ) { sys = load Sys Sys -> PATH ; sys -> print ( "Hola mundo! \n " ); }            

La tercera edición del sistema operativo Inferno y el lenguaje de programación Limbo se describen en el libro de texto Inferno Programming with Limbo ISBN  0-470-84352-7 (Chichester: John Wiley & Sons, 2003), de Phillip Stanley-Marbell. Otro libro de texto, The Inferno Programming Book: An Introduction to Programming for the Inferno Distributed System , de Martin Atkins, Charles Forsyth, Rob Pike y Howard Trickey, se inició, pero nunca se publicó.

• El sistema operativo Inferno
• Alef , el predecesor del Limbo
• Plan 9 de Bell Labs , sistema operativo
• Vaya , lenguaje similar de Google
• AT&T Hobbit , una arquitectura de procesador que inspiró el Dis VM

• Página de Vita Nuova en Limbo
• Un descenso al limbo de Brian Kernighan
• El lenguaje de programación Limbo de Dennis M. Ritchie y Addendum de Vita Nuova.
• Programación infernal con Limbo, de Phillip Stanley-Marbell
• Programación con subprocesos al estilo CSP de Bell Labs
• Este código fuente se archivó desde el original el 21 de septiembre de 2017 y se recuperó el 20 de septiembre de 2017.
• El diseño de la máquina virtual Inferno, Vita nuova.
• "Diseño de Dis VM", Inferno (4.ª ed.), Cat V.
• "Especificación Dis VM", Inferno (4.ª ed.), Cat V.