Du er ikke logget ind
Beskrivelse
La asignación equitativa de recursos desempeña un papel importante a la hora de determinar el rendimiento final de cualquier sistema informático. Dependiendo de la naturaleza de los recursos y del modo de reparto, se suelen implementar algoritmos en hardware o en software para garantizar la equidad en el reparto de recursos. Estos algoritmos suelen ser complejos y dificultan el trabajo de verificación del diseño. Por lo tanto, se puede pensar en diseñar algoritmos más sencillos, que reduzcan la dificultad durante la verificación del diseño sin perder mucho en el rendimiento del sistema. Uno de estos enfoques puede ser que los agentes que compiten especifiquen sus valoraciones para los recursos. Un asignador central escucha las valoraciones y toma las decisiones de asignación en consecuencia. Como la asignación se realiza únicamente en función de las valoraciones de los agentes, es necesario garantizar la veracidad de los mismos. En estos casos, podemos considerar el problema de asignación de recursos como un problema de diseño de mecanismos. Investigamos cómo se puede resolver el problema de asignación de páginas en multiprocesadores DSM utilizando subastas multiparamétricas. Formulamos el problema de asignación de páginas como una subasta multiparamétrica y encontramos condiciones de veracidad para dichas subastas multiparamétricas.