Resumen de Modelado y evaluación de programas paralelos con distintas estrategias de planificación de procesos

Elena Mediavilla Bolado

• EN LA TESIS SE DESARROLLA UN CONJUNTO DE HERRAMIENTAS PARA EL DISEÑO DE PROGRAMAS PARALELOS DE TIEMPO REAL.

  DENTRO DE UNA METODOLOGIA DE PROTOTIPO RAPIDO, ESTAS HERRAMIENTAS PERMITEN REALIZAR ANALITICAMENTE LA VALIDACION Y LA CARACTERIZACION DE RESPUESTA TEMPORAL DE LOS PROGRAMAS ANTES DE SER IMPLEMENTADOS. LOS PROGRAMAS PARALELOS SE MODELAN MEDIANTE UNA EXTENSION DE LAS REDES DE PETRI PROBABILISTICAS DENOMINADA RED DE PETRI EXTENDIDA (EPN). EL MODELO EPN PERMITE REPRESENTAR CON DIFERENTES NIVELES DE DETALLE LOS PROGRAMAS PARALELOS COMO CONJUNTOS DE PROCESOS QUE INTERACCIONAN ENTRE SI Y CON EL ENTORNO A TRAVES DE DIFERENTES MECANISMOS DE SINCRONIZACION. A PARTIR DE ESTE MODELO, SE PUEDE REALIZAR LA EVALUACION ESTATICA Y DINAMICA DEL PROGRAMA PARALELO EN CUALQUIER PLATAFORMA MONOPROCESADORA O MULTIPROCESADORA Y BAJO DISTINTAS POLITICAS DE PLANIFICACION DE LOS PROCESOS. ESTO PERMITE COMPARAR LA INFLUENCIA INTRODUCIDA POR ESTAS OPCIONES DE IMPLEMENTACION EN EL COMPORTAMIENTO FUNCIONAL Y TEMPORAL DEL PROGRAMA.