Vivacidad y justicia en entornos no deterministas

Abstract

El problema de la vivacidad y la seleccion justa surge en el contexto de los sistemas con ejecuciones no deterministas. El concepto de seleccion completamente justa sirve para garantizar que todos los elementos que se habilitan infinitamente a menudo se ejecutan infinitamente a menudo. Esta noción de selección presenta dos anomalías: la finitud justa y las conspiraciones. Este artículo se centra en la selección justa de interacciones en sistemas basados en interacciones entre múltiples participantes y presenta una nueva noción llamada selección completamente k–justa cuya principal ventaja sobre otras propuestas es que da solución a las dos anomalías de forma simultanea. Para ello, hemos descrito un marco de trabajo teórico para caracterizar los sistemas basados en interacciones entre múltiples participantes que hace independiente el criterio de selección del lenguaje de programación. Tambien presentamos un algoritmo general para implementar ´ la selección completamente k–justa de interacciones que no requiere acceder al estado local de los procesos del sistema.