Leilões multi-paramétricos

A atribui o justa de recursos desempenha um papel importante na determina o do desempenho final de qualquer sistema inform tico. Dependendo da natureza dos recursos e do modo de partilha, geralmente s o implementados algoritmos quer em hardware quer em software para garantir a equidade na partilha de recursos. Estes algoritmos s o geralmente complexos e dificultam o trabalho de verifica o da concep o. Da que se possa pensar em conceber algoritmos mais simples, estes reduziriam a dificuldade durante a verifica o da concep o sem perder muito no desempenho do sistema. Uma dessas abordagens pode ser a de ter os agentes concorrentes a especificar as suas avalia es para os recursos. Um alocador central ouve as avalia es e toma as decis es de atribui o em conformidade. Como a atribui o feita unicamente em fun o das avalia es dadas pelos agentes, necess rio assegurar a veracidade dos agentes. Em tais casos, podemos ver o problema da aloca o de recursos como um problema de concep o do mecanismo. Investigamos como o problema da atribui o de p ginas em multiprocessadores DSM pode ser resolvido utilizando leil es multi-par metros. Formulamos o problema da atribui o de p ginas como um leil o multi-par metros e descobrimos condi es de veracidade para tais leil es multi-par metros.