Operating Systems Deadlock ও Banker's Algorithm

কফম্যানের ৪টি আবশ্যক শর্ত (Coffman Conditions)

ডেডলক ঘটতে হলে নিচের চারটি শর্ত একসাথে পূরণ হতে হবে:

1. Mutual Exclusion: অন্তত একটি রিসোর্স নন-শেয়ারেবল হতে হবে।
2. Hold and Wait: একটি প্রসেস রিসোর্স ধরে রেখে অন্যের জন্য অপেক্ষা করবে।
3. No Preemption: জোরপূর্বক রিসোর্স কেড়ে নেওয়া যাবে না।
4. Circular Wait: প্রসেসদের মধ্যে বৃত্তাকার অপেক্ষার শৃঙ্খল থাকবে ($P_0 \to P_1 \to P_2 \to P_0$)।

Banker's Algorithm এর ডেটা স্ট্রাকচার

• $\text{Available}[m]$: প্রতিটি রিসোর্স টাইপের বর্তমান ফাঁকা সংখ্যা
• $\text{Max}[n][m]$: প্রসেসের সর্বোচ্চ চাহিদা
• $\text{Allocation}[n][m]$: বর্তমানে বরাদ্দকৃত রিসোর্স
• $\text{Need}[n][m] = \text{Max}[n][m] - \text{Allocation}[n][m]$

> ⚡ ৫-সেকেন্ড শর্টকাট (Exam Shortcut): > পরীক্ষার প্রশ্নে সর্বদা $\text{Need} \le \text{Available}$ যাচাই করুন। কাজ শেষ হলে তার $\text{Allocation}$ কারেন্ট $\text{Available}$-এর সাথে যোগ হয়ে নতুন $\text{Available}$ তৈরি হবে।

> ⚠️ পরীক্ষার ফাঁদ (Exam Trap): > ডেডলক ডিটেকশন আর ডেডলক প্রিভেনশন এক নয়। একটি শর্ত ভেঙে ডেডলক প্রতিরোধ করা হলো প্রিভেনশন; আর রানিং সিস্টেমে সেফ স্টেট চেক করা হলো অ্যাভয়েডেন্স (যেমন Banker's)।