algoritmo del banchiere

L'algoritmo del banchiere è un algoritmo utilizzato per evitare deadlock nell'allocazione delle risorse. In particolare questo algoritmo può indicare se un sistema - in particolare un sistema operativo - si ritroverebbe in uno o meno nel caso assegnasse una risorsa ad uno dei processi richiedenti. La complessità computazionale di questo algoritmo è , dove è il numero di processi e il numero di tipi di risorse (per ogni tipo possono essere disponibili più risorse - per esempio, due stampanti equivalenti, porte di comunicazione, ecc.).