Aukcje wieloparametrowe
Sprawiedliwy przydział zasobów odgrywa ważną rolę w określaniu końcowej wydajności każdego systemu komputerowego. W zależności od charakteru zasobów i sposobu ich współdzielenia, zwykle implementuje się algorytmy sprzętowe lub programowe, które gwarantują sprawiedliwy podział zasobów. Algorytmy te są na ogół złożone i utrudniają weryfikację projektu. Dlatego też można pomyśleć o zaprojektowaniu prostszych algorytmów, które zmniejszyłyby trudność podczas weryfikacji projektu, nie tracąc wiele na wydajności systemu. Jednym z takich podejść może być posiadanie konkurujących agentów określających swoje wyceny dla zasobów. Centralny alokator słucha tych wycen i podejmuje odpowiednie decyzje o alokacji. Ponieważ alokacja jest dokonywana wyłącznie w zależności od wycen podanych przez agentów, należy zapewnić prawdomówność agentów. W takich przypadkach możemy postrzegać problem alokacji zasobów jako problem projektowania mechanizmów. Badamy, w jaki sposób problem alokacji stron w multiprocesorach DSM może być rozwiązany przy użyciu aukcji wieloparametrowych. Formułujemy problem alokacji stron jako aukcję wieloparametrową i znajdujemy warunki prawdziwości dla takich aukcji wieloparametrowych.