Enchères multiparamétriques: Conditions de véracité et applications à l'allocation de pages dans les multiprocesseurs à mémoire partagée distribuée

L'allocation équitable des ressources joue un rôle important dans la détermination des performances finales de tout système informatique. En fonction de la nature des ressources et du mode de partage, des algorithmes sont généralement mis en œuvre soit dans le matériel, soit dans les logiciels pour garantir l'équité dans le partage des ressources. Ces algorithmes sont généralement complexes et rendent le travail de vérification de la conception difficile. On peut donc envisager de concevoir des algorithmes plus simples, qui réduiraient la difficulté de la vérification de la conception sans perdre beaucoup en performances du système. Une de ces approches peut consister à demander aux agents concurrents de spécifier leurs évaluations des ressources. Un répartiteur central écoute les évaluations et prend des décisions d'affectation en conséquence. Comme l'allocation se fait uniquement en fonction des évaluations données par les agents, il faut s'assurer de la véracité des agents. Dans ce cas, nous pouvons considérer le problème de l'allocation des ressources comme un problème de conception du mécanisme. Nous étudions comment le problème de l'allocation des pages dans les multiprocesseurs DSM peut être résolu en utilisant des enchères multiparamétriques. Nous formulons le problème d'allocation des pages comme une enchère multiparamétrique et nous découvrons les conditions de véracité pour de telles enchères multiparamétriques.