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.