Sprawiedliwy przydzial zasobów odgrywa wazna role w okreslaniu koncowej wydajnosci kazdego systemu komputerowego. W zaleznosci od charakteru zasobów i sposobu ich wspóldzielenia, zwykle implementuje sie algorytmy sprzetowe lub programowe, które gwarantuja sprawiedliwy podzial zasobów. Algorytmy te sa na ogól zlozone i utrudniaja weryfikacje projektu. Dlatego tez mozna pomyslec o zaprojektowaniu prostszych algorytmów, które zmniejszylyby trudnosc podczas weryfikacji projektu, nie tracac wiele na wydajnosci systemu. Jednym z takich podejsc moze byc posiadanie konkurujacych agentów okreslajacych swoje wyceny dla zasobów. Centralny alokator slucha tych wycen i podejmuje odpowiednie decyzje o alokacji. Poniewaz alokacja jest dokonywana wylacznie w zaleznosci od wycen podanych przez agentów, nalezy zapewnic prawdomównosc agentów. W takich przypadkach mozemy postrzegac problem alokacji zasobów jako problem projektowania mechanizmów. Badamy, w jaki sposób problem alokacji stron w multiprocesorach DSM moze byc rozwiazany przy uzyciu aukcji wieloparametrowych. Formulujemy problem alokacji stron jako aukcje wieloparametrowa i znajdujemy warunki prawdziwosci dla takich aukcji wieloparametrowych.
Veja mais