Joyce (lenguaje de programación)

Un agente es un procedimiento que consta de un conjunto de instrucciones y, posiblemente, definiciones anidadas de otros agentes. Un agente puede activar dinámicamente subagentes que se ejecutan simultáneamente con su creador . Un agente solo puede finalizar cuando todos sus subagentes también hayan finalizado. Por ejemplo, un agente process2activa process1:

agente proceso1 ( x , y : entero ) ;comenzar...fin ;proceso del agente2 () ;usar proceso1 ;comenzarproceso1 ( 9 , 17 ) ;fin ;

La activación de un agente crea nuevas instancias de todas las variables locales y el valor de cada parámetro formal se copia a una variable local. Por lo tanto, los agentes no pueden acceder a las variables de otros agentes y solo pueden comunicarse mediante canales. Esta restricción evita problemas asociados con el uso de variables compartidas, como las condiciones de carrera .

Los agentes se comunican a través de entidades llamadas canales . Los canales tienen un alfabeto que define el conjunto de símbolos que se pueden transmitir. Los canales se crean dinámicamente y se accede a ellos mediante variables de puerto . Un tipo de puerto se define por un conjunto distinto de símbolos que constituyen su alfabeto. Los símbolos con múltiples valores se definen con un tipo específico. Por ejemplo:

flujo = [ int ( entero ) , eos ] ;

El símbolo int(integer)denota un símbolo de mensajeint llamado de cualquier valor entero. La segunda declaración de símbolo sin tipo eos(fin de flujo) se denomina señal . Una vez que se ha definido un tipo de puerto, se puede declarar una variable de puerto de ese tipo:

salida: transmisión en: flujo 

Y luego, una entidad de canal, interna al agente que la crea, puede activarse de la siguiente manera:

+salida; 

Los símbolos se pueden enviar y recibir en los canales utilizando los operadores de entrada y salida de estilo CSP ?, !respectivamente. La comunicación solo puede ocurrir si existe un agente receptor que coincida con el agente emisor. El agente receptor debe esperar recibir el tipo de símbolo que se envía. Por ejemplo, el valor 9 seguido del eossímbolo se envía en el puerto out:

¡ fuera ! int ( 9 ) ¡ fuera ! eos

Y se recibe un mensaje entero en una variable del tipo correspondiente, seguido de eos:

recibido : entero en ? int ( recibido ) en ? eos

Las instrucciones de sondeo se basan en el concepto de alternativas protegidas de CSP. Una instrucción de sondeo se compone de un conjunto de instrucciones, cada una protegida por una instrucción de canal de entrada. Cuando se encuentra una coincidencia de comunicación entre un agente transmisor y una protección, se ejecuta la protección, seguida de la instrucción correspondiente. Por ejemplo:

encuesta en ? X -> x := x + 1 | en ? Y -> y := y + 1 fin 

Cuando inse monitorea el puerto para las señales Xo Y, en una comunicación coincidente, las variables correspondientes xo yse incrementan.

Joyce fue diseñado para ser un lenguaje seguro en el sentido de que un compilador sería capaz de detectar todas las violaciones de las reglas del lenguaje.

Debido a la ejecución concurrente de los procedimientos del agente, no se puede utilizar un esquema convencional de asignación de pila secuencial , ya que los registros de activación de las llamadas del agente no siguen un patrón de último en entrar, primero en salir. En cambio, las relaciones creador-subagente forman una pila con estructura de árbol. Se utiliza un esquema simple para implementar este comportamiento, que funciona asignando nuevos registros de activación en la parte superior de la pila y vinculando los registros de activación de los subagentes con el registro de su creador. Estos registros se liberan solo cuando el agente ha terminado y se encuentran en la parte superior de la pila. ^{[ 3 ]} La efectividad de este esquema depende de la estructura y el comportamiento de un programa, lo que en algunos casos resultará en un uso deficiente de la memoria. Un esquema más efectivo fue implementado en el lenguaje SuperPascal de Hansen .