Aste multiparametro

L'allocazione equa delle risorse gioca un ruolo importante nel determinare le prestazioni finali di qualsiasi sistema informatico. A seconda della natura delle risorse e della modalit di condivisione, di solito vengono implementati algoritmi in hardware o in software per garantire l'equit nella condivisione delle risorse. Questi algoritmi sono generalmente complessi e rendono difficile il lavoro di verifica del progetto. Quindi si pu pensare di progettare algoritmi pi semplici, che ridurrebbero la difficolt durante la verifica del progetto senza perdere molto sulle prestazioni del sistema. Uno di questi approcci pu essere quello di avere gli agenti concorrenti che specificano le loro valutazioni per le risorse. Un allocatore centrale ascolta le valutazioni e prende decisioni di allocazione di conseguenza. Poich l'allocazione fatta solo in base alle valutazioni date dagli agenti, necessario garantire la veridicit degli agenti. In questi casi possiamo vedere il problema dell'allocazione delle risorse come un problema di progettazione del meccanismo. Studiamo come il problema dell'allocazione delle pagine nei multiprocessori DSM possa essere risolto usando aste multiparametro. Formuliamo il problema dell'allocazione delle pagine come un'asta multiparametrica e scopriamo le condizioni di veridicit per tali aste multiparametriche.