Process State — processning lifecycle va scheduling nuqtai nazaridan hozir nima qilayotganini bildiruvchi holat. Klassik model new, ready, running, blocked/waiting va terminated holatlarini ajratadi.
Asosiy holatlar
Ready process CPU kutadi, running CPUda instruction bajaradi, blocked esa I/O, timer yoki synchronization eventini kutadi. Scheduler ready→running, blocking operation running→waiting, wakeup waiting→ready o‘tishini amalga oshiradi.
O‘tishlar
Preemption running processni ready holatga qaytaradi. Suspend memory bosimi yoki debugger sabab processni run queue’dan tashqari holatga o‘tkazishi mumkin. Aniq state nomlari OSga bog‘liq.
Preemption va suspend
Unix zombie process bajarilishni tugatgan, resurslarining ko‘pi bo‘shagan, ammo parent exit statusni hali yig‘magan holatdir. Zombie running emas va kill bilan “o‘ldirilmaydi”; parent wait qilishi kerak.
Zombie
Uninterruptible sleep ayrim kernel I/Oni kutadi va oddiy signalga darhol javob bermasligi mumkin. State label muammoning sababi emas; wait channel va stack trace bilan birga ko‘riladi.
Kutish holati
State transition lock va queue membership bilan mos bo‘ladi. Wakeup event condition tekshiruvdan oldin kelib yo‘qolmasligi uchun atomic wait protokoli ishlatiladi.
State nazorati
Monitoring state snapshot vaqtinchalik ekanini hisobga oladi. Test transition graphdagi ruxsat etilgan edge’lar, exit/wait va signal bilan uyg‘onishni tekshiradi.
Amaliy boshqaruv
Process State implementatsiyasida ready, running va waiting o‘tishlari alohida va versiyalangan holat sifatida yuritiladi. Qaror uchun zarur inputlar yashirin global taxminga aylantirilmaydi: platforma, konfiguratsiya, identity yoki memory-order sharti tegishli obyekt bilan bog‘lanadi. Shu sabab incremental yangilanish, context almashishi yoki parallel hodisada eskirgan ma’lumotdan foydalanish kamayadi. Debug rejim qarorni hosil qilgan edge, state transition va parametrlarni ko‘rsatadi; production log esa maxfiy qiymatlarni xom shaklda yozmaydi.
Muhim xato sinfi — lost wakeup yoki zombie yig‘ilmasligi. Bunday vaziyatda tizim optimistik tarzda davom etmaydi: semantikaga qarab konservativ fallback, bounded retry, taskni bloklash yoki aniq error tanlanadi. Timeout correctness isboti emas; u faqat operatsion limitdir. Queue membership, reference count, lock ownership va visibility kabi invariantlar state bilan atomik yangilanadi. Cancellation yoki failure o‘rtada yuz bersa qisman o‘zgargan holat cleanup protokoli orqali tiklanadi.
Sifat nazorati state graph va signal/wait testi orqali bajariladi. Test normal yo‘ldan tashqari bo‘sh navbat, bitta element, yuqori contention, timeout bilan bir vaqtdagi wakeup, resurs limiti va platforma variantlarini qamraydi. To‘g‘rilik performance’dan alohida tekshiriladi; keyin throughput, p99 latency, context switch, cache miss yoki artefakt hajmi kabi mavzuga mos ko‘rsatkichlar baseline bilan solishtiriladi. Topilgan minimal interleaving yoki kirish regressiya to‘plamida doimiy saqlanadi.
State diagramda terminated va reaped alohida ko‘rilishi mumkin. Process exit code, resource usage va signal sabab parentga berilguncha record saqlanadi. Parent wait qilmasa reaper policy ishlaydi. Monitoring ko‘p zombie’ni CPU muammosi emas, lifecycle boshqaruvi nosozligi sifatida ko‘rsatadi.
Bog‘liq tushunchalar
process lifecycle, ready queue, blocked process, zombie process, scheduler, wait