Algoritma Safty

Algoritma ini bekerja dengan cara algoritma mencari apakah sistem dalam status aman atau tidak. Status ini terjadi jika sistem dapat mengalokasikan sumber daya bagi tiap proses dalam keadaan tertentu dan masih dapat terjadi deadlock. Status aman bukanlah status deadlock, jadi status deadlock merupakan status tidak aman, tetapi tidak selamanya status tidak aman mengakibatkan status deadlock melainkan ada kemungkinan dapat terjadi.

Algoritma ini untuk menentukan sistem berada dalam state selamat atau tidak diantaranya:

1. Work dan finish vektor dengan panjang (m) dan (n), inisialisasi : work = available dan finish[i] = false

untuk i = 1,3,…,n.

2. Cari I yag memenuhi kondisi berikut:

(a) Finish [i] = false

(b) Need , ≤ Work

jika tidak terdapat I ke langkah 4.

3. Work = Work + Allocation

Finish[i] = true

Kembali ke langkah 2.

4.  Jika Finish [i]= true untuk semua I, maka sistem dalam state selamat.