Selección de bucles anidados multinivel mediante un algoritmo genético
Autores: Nie, Kai; Zhou, Qinglei; Qian, Hong; Pang, Jianmin; Xu, Jinlong; Li, Xiyan
Idioma: Inglés
Editor: Hindawi
Año: 2021
Acceso abierto
Artículo científico
Categoría
Matemáticas
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 14
Citaciones: Sin citaciones
La seleccin de bucles para bucles anidados multinivel es un problema muy difcil, para el que las soluciones mediante las tcnicas de seleccin de bucles basadas en hardware subyacente y las tcnicas tradicionales de compilacin esttica basadas en software son ineficaces. En este estudio se propone un mtodo basado en algoritmos genticos (AG) para resolver este problema. En primer lugar, se presentan la especificacin formal y el modelo matemtico del problema de seleccin de bucles; a continuacin, se disea el marco general para que el AG resuelva el problema basndose en el modelo matemtico; por ltimo, proporcionamos el mtodo de representacin de cromosomas y el mtodo de clculo de la funcin de aptitud, el algoritmo de generacin de la poblacin inicial y los mtodos de mejora de cromosomas, los mtodos de implementacin especficos de los operadores genticos (cruce, mutacin y seleccin), el mtodo de generacin de la poblacin descendiente y el criterio de parada del AG durante el proceso de operacin del AG. Se realizaron pruebas experimentales con los conjuntos de pruebas estndar SPEC2006 y NPB3.3.1 en el superordenador Sunway TaihuLight. Los resultados de las pruebas indicaron que el mtodo propuesto puede lograr una mejora de la velocidad superior a la de los mtodos convencionales actuales, lo que confirma la eficacia del mtodo propuesto. Resolver el problema de seleccin de bucles anidados multinivel es de gran importancia prctica para explotar el paralelismo de los programas de computacin cientfica en general y para aprovechar al mximo el rendimiento de los procesadores multincleo.
Descripción
La seleccin de bucles para bucles anidados multinivel es un problema muy difcil, para el que las soluciones mediante las tcnicas de seleccin de bucles basadas en hardware subyacente y las tcnicas tradicionales de compilacin esttica basadas en software son ineficaces. En este estudio se propone un mtodo basado en algoritmos genticos (AG) para resolver este problema. En primer lugar, se presentan la especificacin formal y el modelo matemtico del problema de seleccin de bucles; a continuacin, se disea el marco general para que el AG resuelva el problema basndose en el modelo matemtico; por ltimo, proporcionamos el mtodo de representacin de cromosomas y el mtodo de clculo de la funcin de aptitud, el algoritmo de generacin de la poblacin inicial y los mtodos de mejora de cromosomas, los mtodos de implementacin especficos de los operadores genticos (cruce, mutacin y seleccin), el mtodo de generacin de la poblacin descendiente y el criterio de parada del AG durante el proceso de operacin del AG. Se realizaron pruebas experimentales con los conjuntos de pruebas estndar SPEC2006 y NPB3.3.1 en el superordenador Sunway TaihuLight. Los resultados de las pruebas indicaron que el mtodo propuesto puede lograr una mejora de la velocidad superior a la de los mtodos convencionales actuales, lo que confirma la eficacia del mtodo propuesto. Resolver el problema de seleccin de bucles anidados multinivel es de gran importancia prctica para explotar el paralelismo de los programas de computacin cientfica en general y para aprovechar al mximo el rendimiento de los procesadores multincleo.