Bankacı Algoritması

Bankacı Algoritması

Bankacı algoritması kilitlenmeden kaçınır: bir istek kabul edilmeden önce sistem, ortaya çıkacak durumun hâlâ güvenli olduğunu, yani her sürecin azami isteğini alıp bitebileceği bir sıranın bulunduğunu denetler. Matrisler her süreç için Allocation (tahsis), Max (azami istek) ve Need = Max − Allocation (kalan ihtiyaç) değerlerini gösterir; üstte Available (boştaki kaynaklar) ve Work vektörü, altta güvenli sıra yer alır.

Kullanım

• Güvenlik denetimi, güvenlik algoritmasını adım adım çalıştırır. Allocation, Max ve Available hücreleri düzenlenebilir (0–99 arası tam sayılar).
• İstek: bir süreç ve istek vektörü girilip Denetle ▶ düğmesiyle kaynak isteği algoritması çalıştırılır; kabul edilen istek duruma işlenir.
• Senaryo hazır bir örnek yükler; Süreç ve Kaynak sayıları (her biri 1–10) matrislerin boyutunu değiştirir.
• Olası istekler, her süreç ve kaynak için bir birimlik isteğin sonucunu gösterir; bir hücreye tıklamak o isteği canlandırır.
• ▶ oynatır; adım düğmeleri bir adım geri ya da ileri gider veya başa ya da sona atlar.

Terimler

Need

Max − Allocation

Work

Available ile başlar; biten süreç Allocation değerini geri verir.

Güvenli

Her sürecin bitebileceği bir sıra vardır.

Güvensiz

Böyle bir sıra yoktur; kilitlenme olasıdır ama kesin değildir.

Tarama

P0, P1, … sırayla; ilerleme kalmayana dek turlar tekrarlanır.

İstek

≤ Need değilse hata; ≤ Available değilse bekle. Tahsis etmiş gibi yap; yalnızca güvenliyse koru.

Gösterim

Tuşlar