Limbo (lenguaje de programación)

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 de la ejecución para mejorar el rendimiento. Por lo tanto, todas las aplicaciones Limbo son completamente portátiles en todas las plataformas Inferno.

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

Limbo admite las siguientes funciones:

• programación modular
• computació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
• Recogida automática de basura
• tipos de datos abstractos simples

La máquina virtual Dis que ejecuta el código Limbo es una VM de tipo 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 sistema 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 al estilo Ada , como en:

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

Implementar comando ;incluir "sys.m" ; sys : Sys ;incluir "draw.m" ;incluir "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 del 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 empezó a escribir, pero nunca se publicó.

• El sistema operativo Inferno
• Alef , el predecesor de Limbo
• Plan 9 de Bell Labs , sistema operativo
• Go , lenguaje similar de Google
• AT&T Hobbit , una arquitectura de procesador que inspiró la máquina virtual Dis

• Página de Vita Nuova en Limbo
• Un descenso al limbo, por Brian Kernighan
• El lenguaje de programación Limbo, de Dennis M. Ritchie, y un apéndice de Vita Nuova.
• Programación infernal con Limbo por Phillip Stanley-Marbell
• Programación multihilo al estilo CSP de Bell Labs
• Código fuente de Dis , archivado del original el 21/09/2017 , recuperado el 20/09/2017.
• El diseño de la máquina virtual Inferno , Vita nuova, archivado del original el 11 de febrero de 2025 , recuperado el 28 de abril de 2025..
• "Diseño de Dis VM", Inferno (4.ª  ed.), Cat V.
• "Especificación de Dis VM", Inferno (4.ª  ed.), Cat V.