Curso de Ada - Tareas dinamicas: creación dinamica de tareas (tipos t

Además de poder declarar tareas como un simple objeto∞, se pueden declarar un tipo∞ como tipo tarea. Con ello se consigue poder utilizar otros objetos que utilicen dicho tipo tarea como por ejemplo, un vector de tareas o un puntero∞ a tarea (con lo que se consigue crear tareas dinámicamente).

La sintaxis de los tipos tarea es la siguiente:

declaración_tipo_tarea ::= task∞ type∞ identificador [ ( discriminante { ; discriminante } ) ] [ is∞ { punto_entrada_tarea | cláusula_representación } [ private∞ { punto_entrada_tarea | cláusula_representación } ] end∞ [ identificador ] ] ; discriminante ::= identificador { , identificador } : [ access∞ ] subtipo [ := expresión ]

Con ello, se define un nuevo tipo. Esta definición necesita una terminación, es decir, faltaría declarar el cuerpo de la tarea, que se realiza de igual manera que si se hubiera declarado la tarea simplemente.

Los tipos tarea son privados limitados∞. Es decir, un objeto declarado de tipo tarea no es una variable, se comporta como una constante. Por tanto, no se permite la asignación, igualdad y desigualdad para los tipos tarea.

Según la sintaxis descrita, se puede definir una tarea como un tipo, por ejemplo, de esta manera:

declare∞ task∞ type∞ TTareaA; task∞ type∞ TTareaB; task∞ type∞ TTareasMúltiples; type∞ TVectorTareas is∞ array∞ (1..10) of∞ TTareasMúltiples; A: TTareaA; B: TTareaB; V: TVectorTareas; task∞ body∞ TTareaA is∞ -- ... end∞; task∞ body∞ TTareaA is∞ -- ... end∞; task∞ body∞ TTareasMúltiples is∞ -- ... end∞; begin∞ -- A partir de aquí se ejecutan las 12 tareas concurrentemente. -- ... end∞;

En el momento en el que dé comienzo la ejecución del bloque, justo después de begin∞, dará comienzo la ejecución simultánea de las tareas definidas en las distintas variables del tipo task∞. En este caso TTareaA, TTareaB y 10 TTareasMúltiples. Pero esta situación es estática, no se pueden lanzar tareas en un determinado instante; para ello, se pueden emplear punteros como, por ejemplo:

procedure∞ Ejemplo_tareas_dinámicas is∞ task∞ type∞ TTarea; type∞ PTTarea is∞ access∞ TTarea; T1: PTTarea; T2: PTTarea := new∞ TTarea; -- Se crea la tarea T2.all. begin∞ T1 := new∞ TTarea; -- Se crea la tarea T1.all. T1 := null∞; -- Se pierde la referencia, pero se sigue ejecutando. -- ... end∞ Ejemplo_tareas_dinámicas;

Las tareas creadas con new∞ siguen unas reglas de activación y dependencia ligeramente diferentes. Estas tareas inician su activación inmediatamente después de la evaluación del asignador de la sentencia new∞. Además, estas tareas no dependen de la unidad donde se crearon, sino que dependen del bloque, cuerpo de subprograma∞ o cuerpo de tarea que contenga la declaración del tipo access∞ en sí. Para referenciar a tareas dinámicas se emplea el nombre de la variable puntero seguido de .all∞, por ejemplo, T1.all∞.

También se pueden crear varios ejemplares de un mismo tipo dependiendo de un parámetro denominado discriminante. Por ejemplo:

task∞ type∞ TManejadorTeclado (ID: TIDentifTeclado := IDPorDefecto) is∞ entry∞ Leer (C: out∞ Character); entry∞ Escribir (C: in∞ Character); end∞ TManejadorTeclado; type∞ PTManejadorTeclado is∞ access∞ TManejadorTeclado; Terminal: PTManejadorTeclado := new∞ TManejadorTeclado (104);

Manual de referencia de Ada

• 9.1 Task Units and Task Objects∞