4. Algoritma Safety
Algoritma Safety ini adalah untuk menentukan apakah sistem dalam safe state atau unsafe state. Penjelasan Algoritma ini adalah sebagai berikut :
a. Work dan Finish adalah vector dengan panjang m dan n.
Inisialisasi : Work = Available dan Finish[i] = false untuk i = 1,2, …, n.
b. Cari i yang memenuhi kondisi berikut :
(1) Finish [i] = false
(2) Need ≤ Work
Jika tidak terdapat i ke langkah 4.
c. Work = Work + Allocation (i)
Finish[i] = true
Kembali ke langkah 2.
d. Jika Finish [i] == true untuk semua i, maka sistem dalam state selamat.