Algoritma Safety

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 Aman (Safety)
Algortima ini mencari apakah sistem dalam status aman atau tidak. Penjelasan algoritma adalah sebagai berikut:
1. Anggap Work dan Finish adalah vektor dengan panjang masing-masing m dan n. Nilai awal Work=Available dan Finish[i]=FALSE untuk i=1,2,…,n;
2. Cari i sehingga didapatkan Finish[i]=FALSE dan Needi Work, jika i tidak ditemukan, diteruskan ke langkah 4.
3. Work=Work + Allocationi
Finish[i]=TRUE
Ke langkah 2
4. Jika Finish[i]=TRUE untuk semua i, maka sistem dalam status aman.