Aukcje wieloparametrowe

Sprawiedliwy przydzial 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 ldzielenia, zwykle implementuje się algorytmy sprzętowe lub programowe, kt re gwarantują sprawiedliwy podzial zasob w. Algorytmy te są na og l zlożone i utrudniają weryfikację projektu. Dlatego też można pomyślec o zaprojektowaniu prostszych algorytm w, kt re zmniejszylyby trudnośc podczas weryfikacji projektu, nie tracąc wiele na wydajności systemu. Jednym z takich podejśc może byc posiadanie konkurujących agent w określających swoje wyceny dla zasob w. Centralny alokator slucha tych wycen i podejmuje odpowiednie decyzje o alokacji. Ponieważ alokacja jest dokonywana wylącznie w zależności od wycen podanych przez agent w, należy zapewnic prawdom wnośc agent w. W takich przypadkach możemy postrzegac problem alokacji zasob w jako problem projektowania mechanizm w. Badamy, w jaki spos b problem alokacji stron w multiprocesorach DSM może byc rozwiązany przy użyciu aukcji wieloparametrowych. Formulujemy problem alokacji stron jako aukcję wieloparametrową i znajdujemy warunki prawdziwości dla takich aukcji wieloparametrowych.