Given that assumption, the algorithm determines if a state is safe by trying to find a hypothetical set of requests by the processes that would allow each to acquire its maximum resources and then terminate (returning its resources to the system).
Pod datom pretpostavkom, algoritam odlučuje da li je stanje sigurno tako što pokušava da pronađe hipotetički skup zahteva procesa koji bi omogućili svakom procesu da dobije svoj maksimum resursa i da se potom završi (i pritom vrati svoje resurse sistemu).