Algoritma Safety

Algoritma Safety ini adalah untuk menentukan apakah sistem dalam safe state atau unsafe state. Penjelasan Algoritma ini adalah sebagai berikut :

1. Work dan Finish adalah vector dengan panjang m dan n. Inisialisasi : Work = Available dan Finish[i] = false untuk i = 1,3, …, n.
2. Cari i yang memenuhi kondisi berikut :  

           (a) Finish [i] = false 

           (b) Need ≤ Work 

           Jika tidak terdapat i ke langkah 4. 

     3. Work = Work + Allocationi 

         Finish[i] = true 

         Kembali ke langkah 2. 

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