Aukcje wieloparametrowe

Sprawiedliwy przydziä zasobów odgrywa wän¿ rol¿ w okre¿laniu ko¿cowej wydajno¿ci kä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 podziä 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. Poniewä 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 postrzegä 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.