TESIS-MAG-0201.pdf

describe la vecindad como un sistema concurrente. Cada vez que se calcula la vecindad,
el estado inicial corresponde al defmido por la transformación, donde existe un token
por cada lugar de entrada de una asociación atómica.
Finalmente, hay que destacar que si bien el modelo de defmición de
vecindad permite especificar un sistema concurrente, el cuando utilizar mecanismos de
paralelización depende de la instancia del problema que se esté resolviendo, como de la
complejidad de la defmición de las asociaciones. El calcular la vecindad mediante un
sistema distribuido tiene el overhead del intercambio de los mensajes, por lo tanto, si el
tiempo en calcular una asociación es menor que el que toma intercambiar mensajes no
vale la pena utilizar dicho sistema. Además el manejo de la consistencia entre los
distintos procesos también es un problema, por lo que el esfuerzo de paralelizar el
cálculo debe evaluarse acuciosamente.
4.4 Implementación de la Herramienta
Hasta ahora se ha defmido en este capítulo cómo establecer una
especificación estructurada del conocimiento necesario para del desarrollo de heurísticas
de búsqueda. Todavía resta procesar dicha especificación para producir automática el
programa computacional que implemente el algoritmo descrito en la figura 3.3 del
capítulo anterior.
La herramienta consiste en un compilador que toma la especificación escrita
en lenguaje LS-1 y genera a partir de ella el código computacional en algún lenguaje de
programación que implementa las heurísticas defmida por el diseñador. La aplicación se
genera compilando dicho código. La implementación de este prototipo no incorpora
capacidades de paralelización del algoritmo de búsqueda. Todo el proceso se
esquematiza en la figura 4.1Oa.
83