Algoritmos Conservadores Para Simuladores Achatados DEVS y Cell-DEVS

SHAFAGH JAFER; GABRIEL WAINER; MATIAS BONAVENTURA; RODRIGO CASTRO

Mar del Plata, Argentina

Conferencia; 38 JAIIO - Computer Science and Operational Research; 2009

SADIO - Sociedad Argentina de Informática

Presentamos una arquitectura achatada para simuladores de modelos DEVS y CELL-DEVS, con el objetivo de permitir ejecución paralela mediante un mecanismo de sincronización conservador.  Primero mostramos cómo una arquitectura achatada reduce los costos de comunicación entre los nodos. Luego proponemos un mecanismo de bloqueo para suspensión de Procesos Lógicos.  Finalmente presentamos nuevos algoritmos basados en mensajes nulos para evi-tar errores accidentales y deadlocks. Los algoritmos se implementaron en el kernel WARPED, y mostramos cómo este método puede ser utilizado por cual-quier simulador paralelo DEVS y Cell-DEVS