Leiloes multi-parametricos

A atribuio justa de recursos desempenha um papel importante na determinao do desempenho final de qualquer sistema informtico. Dependendo da natureza dos recursos e do modo de partilha, geralmente so implementados algoritmos quer em hardware quer em software para garantir a equidade na partilha de recursos. Estes algoritmos so geralmente complexos e dificultam o trabalho de verificao da concepo. Da que se possa pensar em conceber algoritmos mais simples, estes reduziriam a dificuldade durante a verificao da concepo sem perder muito no desempenho do sistema. Uma dessas abordagens pode ser a de ter os agentes concorrentes a especificar as suas avaliaes para os recursos. Um alocador central ouve as avaliaes e toma as decises de atribuio em conformidade. Como a atribuio feita unicamente em funo das avaliaes dadas pelos agentes, necessrio assegurar a veracidade dos agentes. Em tais casos, podemos ver o problema da alocao de recursos como um problema de concepo do mecanismo. Investigamos como o problema da atribuio de pginas em multiprocessadores DSM pode ser resolvido utilizando leiles multi-parmetros. Formulamos o problema da atribuio de pginas como um leilo multi-parmetros e descobrimos condies de veracidade para tais leiles multi-parmetros.