En los sistemas de procesamiento distribuido es necesario que los procesos que actúan en grupos deban tomar decisiones basados en acuerdos respecto del acceso a recursos; las decisiones pueden estar relacionadas con la realización de determinada actividad que requiera o no la sincronización de los procesos, es decir, que los procesos del grupo estén activos en los mismos lapsos de tiempo en sus respectivos procesadores, requiriendo el uso de recursos compartidos en la modalidad de exclusión mutua mediante consensos estrictos o no.
Así surge el siguiente interrogante:
¿cuáles son los modelos de decisión y los operadores de agregación que habrá que generar para la toma de decisiones en la gestión de grupos de procesos, que trasciendan el enfoque tradicional de las ciencias de la computación, teniendo en cuenta la auto-regulación? Para ello habrá que considerar diferentes situaciones relacionadas con el hecho de compartir o no recursos y con el nivel de acuerdo o consenso requerido, que podrá ser estricto o no, con posibles requisitos de sincronización.
Los modelos considerarán la posibilidad de imputación de datos faltantes y la fuzzyficación de ciertas variables, utilizando operadores OWA, buscando generar operadores de agregación específicos.
Los modelos desarrollados se evaluarán comparando sus características con los modelos habitualmente utilizados.
Se consideran modelos clásicos para acceder a recursos compartidas en la modalidad de exclusión mutua utilizando regiones críticas al algoritmo centralizado, al algoritmo distribuido de Lamport, Ricart y Agrawala, al algoritmo de anillo de fichas, entre otros.Eje: Arquitectura, Redes y Sistemas Operativos.Red de Universidades con Carreras en Informátic