Multi-Parameter-Auktionen

Eine faire Ressourcenzuweisung spielt eine wichtige Rolle bei der Bestimmung der Endleistung eines Computersystems. Je nach Art der Ressourcen und der Art der Aufteilung werden normalerweise Algorithmen entweder in Hardware oder in Software implementiert, um Fairness bei der Ressourcenteilung zu gewhrleisten. Diese Algorithmen sind in der Regel komplex und erschweren die Designverifikation. Daher kann man darber nachdenken, einfachere Algorithmen zu entwerfen, die die Schwierigkeiten bei der Designverifikation reduzieren, ohne dass die Systemleistung darunter leidet. Ein solcher Ansatz kann darin bestehen, die konkurrierenden Agenten ihre Bewertungen fr die Ressourcen angeben zu lassen. Ein zentraler Allokator hrt sich die Bewertungen an und trifft dementsprechend Allokationsentscheidungen. Da die Zuteilung ausschlielich in Abhngigkeit von den Bewertungen der Agenten erfolgt, muss man die Wahrhaftigkeit der Agenten sicherstellen. In solchen Fllen knnen wir das Problem der Ressourcenzuweisung als ein Problem des Mechanismusentwurfs betrachten. Wir untersuchen, wie das Problem der Seitenzuweisung in DSM-Multiprozessoren mit Hilfe von Mehrparameter-Auktionen gelst werden kann. Wir formulieren das Seitenzuordnungsproblem als Multiparameter-Auktion und finden Wahrheitsbedingungen fr solche Multiparameter-Auktionen heraus.