occam (lenguaje de programación)

Occam

Paradigma	Imperativo , procedimental , concurrente
Diseñado por	David Mayo
Revelador	Inmos
Apareció por primera vez	1983 ; hace 41 años ( 1983 )
Versión estable	2.1 (oficial), 2.5 (no oficial), 3 (no totalmente implementado) / 1994 ; hace 30 años ( 1994 )
Dialectos
Occam-π (pi)
Influenciado por
Comunicar procesos secuenciales
Influenciado
Facilidad , Go , Python

Occam es un lenguaje de programación concurrente que se basa en el álgebra de procesos de comunicación secuencial (CSP) ^[1] y comparte muchas de sus características. Recibe su nombre del filósofo Guillermo de Ockham, de quien toma su nombre la navaja de Occam .

Occam es un lenguaje procedimental imperativo (como Pascal ). Fue desarrollado por David May y otros en Inmos (marca registrada INMOS), asesorados por Tony Hoare , como lenguaje de programación nativo para sus microprocesadores transputer , pero existen implementaciones para otras plataformas. La versión más conocida es Occam 2; su manual de programación fue escrito por Steven Ericsson-Zenith y otros en Inmos .

En los siguientes ejemplos, la sangría y el formato son fundamentales para analizar el código: las expresiones terminan al final de la línea y las listas de expresiones deben estar en el mismo nivel de sangría. Esta característica, denominada regla de fuera de línea , también se encuentra en otros lenguajes como Haskell y Python .

La comunicación entre procesos funciona a través de canales con nombre . Un proceso envía datos a un canal a través de !mientras que otro ingresa datos con ?. La entrada y la salida no pueden continuar hasta que el otro extremo esté listo para aceptar u ofrecer datos. (En el caso de que no continúe , se suele decir que el proceso se bloquea en el canal. Sin embargo, el programa no girará ni sondeará; por lo tanto, términos como esperar , colgar o ceder también pueden transmitir el comportamiento; también en el contexto de que no bloqueará la ejecución de otros procesos independientes). Ejemplos (c es una variable):

teclado ? c

pantalla !c

SEQintroduce una lista de expresiones que se evalúan secuencialmente. Esto no es implícito como en la mayoría de los demás lenguajes de programación. Ejemplo:

secuencia x := x + 1 y := x * x

PARcomienza una lista de expresiones que pueden evaluarse simultáneamente. Ejemplo:

PAR pag() q()

ALTespecifica una lista de comandos protegidos . Los protectores son una combinación de una condición booleana y una expresión de entrada, ambas opcionales. Cada protector para el que la condición es verdadera y el canal de entrada está listo es exitoso. Se selecciona una de las alternativas exitosas para su ejecución. Ejemplo:

ALT count1 < 100 y c1 ? datos secuencia cuenta1 := cuenta1 + 1 ¡datos fusionados! count2 < 100 y c2 ? datos secuencia cuenta2 := cuenta2 + 1 ¡datos fusionados! estado ? solicitud secuencia ¡fuera! cuenta1 ¡fuera! cuenta2

Esto leerá datos de los canales c1 o c2 (el que esté listo) y los pasará a un canal fusionado. Si countN llega a 100, se deshabilitarán las lecturas del canal correspondiente. Una solicitud en el canal de estado se responde enviando los recuentos a out.

Occam 1 ^[2] (publicado en 1983) fue una versión preliminar del lenguaje que tomó elementos del trabajo de David May en EPL y del CSP de Tony Hoare. Esta versión solo admitía el tipo de datos VAR, que era un tipo integral que se correspondía con la longitud de palabra nativa de la arquitectura de destino, y matrices de una sola dimensión.

occam 2 ^[3] es una extensión producida por Inmos Ltd en 1987 que agrega soporte de punto flotante , funciones, matrices multidimensionales y más tipos de datos como tamaños variables de números enteros (INT16, INT32) y bytes.

Con esta revisión, Occam se convirtió en un lenguaje capaz de expresar programas útiles, mientras que Occam 1 era más adecuado para examinar algoritmos y explorar el nuevo lenguaje (sin embargo, el compilador de Occam 1 fue escrito en Occam 1, ^[4] por lo que hay una prueba de existencia de que se podrían escribir programas útiles y de tamaño razonable en Occam 1, a pesar de sus límites).

occam 2.1 ^[1] fue el último de la serie de desarrollos del lenguaje occam aportados por Inmos. Definido en 1994, estuvo influenciado por una propuesta anterior para un lenguaje occam 3 (también conocido como "occam91" durante su desarrollo inicial) creado por Geoff Barrett en Inmos a principios de los años 1990. Se distribuyó un Manual de referencia revisado que describe occam 3 para comentarios de la comunidad, ^[5] pero el lenguaje nunca se implementó por completo en un compilador.

Occam 2.1 introdujo varias características nuevas en Occam 2, entre ellas:

• Tipos de datos con nombre (TIPO DE DATOS x ES y)
• Registros nombrados
• Registros empaquetados
• Relajación de algunas de las reglas de conversión de tipos
• Nuevos operadores (por ejemplo, BYTESIN)
• Retipificación de canales y matrices de canales
• Capacidad de devolver una matriz de longitud fija desde la función.

Para obtener una lista completa de los cambios, consulte el Apéndice P del Manual de referencia de Inmos occam 2.1.

occam-π ^[6] es el nombre común de la variante de occam implementada por versiones posteriores del compilador retargetable de occam de Kent ( KRoC ). La adición del símbolo π (pi) al nombre de occam es una alusión a que KRoC occam incluye varias ideas inspiradas en el cálculo π . Contiene varias extensiones significativas del compilador de occam 2.1, por ejemplo:

• Protocolos anidados
• Creación de procesos en tiempo de ejecución
• Canales, datos y procesos móviles
• Recursión
• Herencia de protocolo
• Constructores de matrices
• Cita extendida

• El lenguaje de programación XC, que se basa en occam pero con sintaxis estilo C.
• Lenguajes de programación concurrente
• Lista de lenguajes de programación concurrente y paralela

• Arquitecturas de procesos comunicativos 2007 – WoTUG-30 . IOS Press. 2007. pp. 513 páginas. ISBN 978-1-58603-767-3. [1]
• Arquitecturas de procesos comunicativos 2006 – WoTUG-29 . IOS Press. 2006. pp. 391 páginas. ISBN 978-1-58603-671-3. [2]
• Arquitecturas de procesos comunicativos 2005 – WoTUG-28 . IOS Press. 2005. pp. 405 páginas. ISBN 978-1-58603-561-7. [3]
• Kerridge, Jon, ed. (1993). Transputer and Occam Research: New Directions . IOS Press. 253 páginas. ISBN 0-8247-0711-7.
• Roscoe, Andrew William ; Hoare, Charles Antony Richard (1986). Las leyes de la programación de Occam . Grupo de investigación en programación, Universidad de Oxford.
• Egorov, A., Universidad Técnica – Sofía, (1983–2011) Записки по Компютърни архитектури

• Información, compiladores, editores y utilidades en las páginas de WoTUG occam
• Compiladores, documentación, ejemplos, proyectos y utilidades en Internet Parallel Computing Archive (ya no se mantiene)
• Los libros de Occam en Transputer.net
• El lenguaje de occam-pi.
• Compilador Tock Occam – (traductor de Occam a C desde Kent) un compilador basado en Haskell para Occam y lenguajes relacionados.