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.