Hola Compis de foro,
Estoy haciendo una practica que implementa en Ada el algoritmo de busqueda local aplicado al problema de la planificacion de tareas en una maquina.
En esta practica, para saber la factibilidad de una solucion (una solucion es una organizacion concreta de las tareas en las maquinas, siendo la optima la que minimice el tiempo de ejecucion de la ultima tarea) hay que tener en cuenta que se pueden producir interbloqueos entre las tareas que se ejecutan en diferentes maquinas. Mi representacion del problema es la siguiente
type opTarea is
record
tiempo: natural;
maquina:natural;
end record;
type Datos1 is array (1..Maxoperaciones) of opTarea;
type Datosp is array (1..Maxtareas) of Datos1;
type Solucion is array (1..Maxoperaciones)(1..Maxtareas) of integer;
Me gustaria saber si alguien podria ser tan amable como para proporcionarme un codigo fuente con el que pudiera llevar a cabo en Ada la labor de control de interbloqueos que se me requiere.
Atentamente
