Algoritma Safty Dan Ostrich

Algoritma Safty yaitu algortma yang dilakukan untuk menentukan apakah sistem berada pada state selamat atau tidak
contohnya seperti :

1. work and finish vektor 

    dengan panjang m dan n , jika work : available dan finish[i] : false

    untuk i = 1,2,3......

2. cari i dengan finish[i] = false , need ≤ work

    jika i tidak terdapat 

3. work + work = allocation
     finish[i]= true , kembali ke 2

4. finish[i] = true  pada semua i maka sistem selamat .

ALgoritma Ostrich yaitu strategi pengabaian masalah yang mungkin terjadi atas dasar masalah yang jarang terjadi . yang digunakan untuk menangani deadlock pada pemograman concurrent.