Operačné systémy: Komplexný sprievodca správou procesov

Správa procesov je základným aspektom každého moderného operačného systému. Zahŕňa riadenie vykonávania procesov, prideľovanie zdrojov a zabezpečenie plynulého multitaskingu. Táto príručka poskytuje podrobný prehľad konceptov, techník a výziev správy procesov. Je určená pre študentov, vývojárov, správcov systémov a kohokoľvek, kto má záujem o pochopenie fungovania operačných systémov.

Čo je to proces?

Vo svojej podstate je proces inštanciou programu počas vykonávania. Je to viac než len kód programu; zahŕňa aktuálne hodnoty počítadla programu, registrov a premenných. Každý proces má svoj vlastný pamäťový priestor, ktorý mu bráni priamo zasahovať do iných procesov.

Predstavte si program ako recept a proces ako samotné varenie jedla. Môžete mať spustených viacero procesov súčasne (napr. viacero inštancií textového editora), každý s vlastnými dátami a stavom.

Kľúčové komponenty procesu:

Kód programu (textová sekcia): Inštrukcie, ktoré sa majú vykonať.
Dátová sekcia: Globálne premenné a dynamicky alokovaná pamäť.
Zásobník: Používa sa pre volania funkcií, lokálne premenné a návratové adresy.
Halda: Dynamicky alokovaná pamäť počas behu.
Riadiaci blok procesu (PCB): Dátová štruktúra udržiavaná OS pre každý proces, obsahujúca informácie ako ID procesu, stav, počítadlo programu a hodnoty registrov.

Stavy procesov

Proces počas svojej životnosti prechádza rôznymi stavmi. Pochopenie týchto stavov je kľúčové pre pochopenie správy procesov.

Nový: Proces sa vytvára.
Pripravený: Proces čaká na pridelenie procesoru.
Beží: Inštrukcie sa vykonávajú.
Čaká (Blokovaný): Proces čaká na výskyt nejakej udalosti (napr. dokončenie I/O alebo prijatie signálu).
Ukončený: Proces dokončil vykonávanie.

Tieto stavy predstavujú životný cyklus procesu a operačný systém je zodpovedný za riadenie prechodov medzi nimi. Napríklad, keď proces potrebuje prečítať dáta z disku, prejde zo stavu Beží do stavu Čaká, kým sa operácia I/O nedokončí. Potom prejde späť do stavu Pripravený, čakajúc na svoj ťah na opätovné spustenie.

Riadiaci blok procesu (PCB)

PCB je dátová štruktúra, ktorá obsahuje všetky informácie, ktoré operačný systém potrebuje na riadenie procesu. Je to ako životopis procesu, ktorý obsahuje všetko, čo OS potrebuje vedieť, aby ho sledoval.

Typický obsah PCB:

ID procesu (PID): Jedinečný identifikátor procesu.
Stav procesu: Aktuálny stav procesu (napr. Pripravený, Beží, Čaká).
Počítadlo programu (PC): Adresa nasledujúcej inštrukcie, ktorá sa má vykonať.
CPU registre: Obsah CPU registrov (akumulátory, indexové registre, ukazovatele zásobníka, registre všeobecného použitia a akékoľvek informácie o kódoch podmienok).
Informácie o správe pamäte: Informácie o pamäti alokovanej procesu, ako sú základné a limitné registre, tabuľky stránok alebo segmentové tabuľky.
Účtovné informácie: Množstvo využitého času CPU, časové limity, čísla účtov, množstvo využitej pamäte atď.
Informácie o stave I/O: I/O zariadenia alokované procesu, zoznam otvorených súborov atď.

Plánovanie procesov

Plánovanie procesov je činnosť určovania, ktorý proces v rade pripravených má byť pridelený CPU. Cieľom plánovania je optimalizovať výkon systému podľa určitých kritérií, ako je maximalizácia využitia CPU, minimalizácia doby obratu alebo zabezpečenie spravodlivosti medzi procesmi.

Plánovacie fronty

OS používa fronty na riadenie procesov. Medzi bežné fronty patria:

Front úloh: Obsahuje všetky procesy v systéme.
Front pripravených: Obsahuje všetky procesy, ktoré sú pripravené na vykonanie a čakajú na CPU.
Fronty zariadení: Sada frontov, jeden pre každé I/O zariadenie, obsahujúca procesy čakajúce na toto zariadenie.

Plánovače

Plánovače sú systémové softvérové moduly, ktoré vyberajú nasledujúci proces na spustenie. Existujú dva hlavné typy plánovačov:

Dlhodobý plánovač (Plánovač úloh): Vyberá procesy z frontu úloh a načíta ich do pamäte na vykonanie. Riadi stupeň multiprogramovania (počet procesov v pamäti). Spúšťa sa menej často ako krátkodobý plánovač.
Krátkodobý plánovač (Plánovač CPU): Vyberá proces z frontu pripravených a pridelí mu CPU. Spúšťa sa veľmi často, takže musí byť rýchly.

V niektorých systémoch existuje aj strednodobý plánovač, ktorý vymieňa procesy z pamäte (na disk) a späť, aby sa znížil stupeň multiprogramovania. Toto sa tiež nazýva swapping.

Plánovacie algoritmy

Existuje mnoho plánovacích algoritmov, každý s vlastnými silnými a slabými stránkami. Voľba algoritmu závisí od špecifických cieľov systému. Tu sú niektoré bežné algoritmy:

First-Come, First-Served (FCFS): Procesy sa vykonávajú v poradí, v akom prichádzajú. Jednoduché na implementáciu, ale môže viesť k dlhým čakacím dobám pre krátke procesy, ak najprv príde dlhý proces (efekt konvoja).
Shortest Job First (SJF): Procesy s najkratším časom vykonávania sa vykonávajú ako prvé. Optimálne z hľadiska minimalizácie priemernej čakacej doby, ale vyžaduje znalosť času vykonávania vopred, čo často nie je možné.
Prioritné plánovanie: Každému procesu je pridelená priorita a proces s najvyššou prioritou sa vykonáva ako prvý. Môže viesť k vyhladovaniu, ak sú procesy s nízkou prioritou neustále predbiehané procesmi s vyššou prioritou.
Round Robin (RR): Každému procesu je pridelený pevný časový úsek (kvantum) na vykonanie. Ak sa proces nedokončí v rámci časového úseku, presunie sa na koniec frontu pripravených. Spravodlivé a zabraňuje vyhladovaniu, ale réžia prepínania kontextu môže znížiť efektivitu, ak je časový úsek príliš malý.
Viacúrovňové plánovanie frontov: Front pripravených je rozdelený na viacero frontov, každý s vlastným plánovacím algoritmom. Procesy sú priradené do frontov na základe ich vlastností (napr. interaktívne vs. dávkové).
Viacúrovňové plánovanie frontov so spätnou väzbou: Procesy sa môžu presúvať medzi rôznymi frontami. To umožňuje plánovaču dynamicky upravovať prioritu procesov na základe ich správania.

Príklad: Zvážte tri procesy, P1, P2 a P3, s časmi trvania (časmi vykonávania) 24, 3 a 3 milisekúnd, resp. Ak prídu v poradí P1, P2, P3, plánovanie FCFS by viedlo k tomu, že P1 by bežal ako prvý, potom P2 a potom P3. Priemerná čakacia doba by bola (0 + 24 + 27) / 3 = 17 milisekúnd. Ak by sme však použili SJF, procesy by sa vykonávali v poradí P2, P3, P1 a priemerná čakacia doba by bola (0 + 3 + 6) / 3 = 3 milisekundy – výrazné zlepšenie!

Komunikácia medzi procesmi (IPC)

Komunikácia medzi procesmi (IPC) umožňuje procesom komunikovať a synchronizovať sa navzájom. To je nevyhnutné pre vytváranie komplexných aplikácií, ktoré pozostávajú z viacerých procesov spolupracujúcich.

Bežné mechanizmy IPC:

Zdieľaná pamäť: Procesy zdieľajú oblasť pamäte, čo im umožňuje priamo pristupovať a upravovať dáta. Vyžaduje si starostlivú synchronizáciu, aby sa predišlo stavom pretekov.
Posielanie správ: Procesy komunikujú posielaním správ navzájom. Poskytuje lepšiu izoláciu ako zdieľaná pamäť, ale môže byť pomalšia.
Pipes: Jednosmerný komunikačný kanál medzi dvoma procesmi. Zvyčajne sa používa na komunikáciu medzi príbuznými procesmi (napr. rodič a dieťa).
Named Pipes (FIFOs): Podobné ako pipes, ale môžu sa použiť na komunikáciu medzi nesúvisiacimi procesmi.
Fronty správ: Procesy môžu posielať a prijímať správy do/z frontu. Poskytuje asynchrónnu komunikáciu.
Sokety: Všestranný mechanizmus na komunikáciu medzi procesmi na tom istom stroji alebo v sieti. Používa sa pre aplikácie klient-server a distribuované systémy.
Signály: Softvérové prerušenie, ktoré sa dá poslať procesu, aby ho upozornilo na udalosť (napr. žiadosť o ukončenie, chybový stav).

Príklad: Webový server by mohol použiť viacero procesov na súčasné spracovanie prichádzajúcich požiadaviek. Každý proces by mohol spracovať jednu požiadavku a procesy by mohli komunikovať pomocou zdieľanej pamäte alebo posielania správ, aby zdieľali údaje o stave servera.

Synchronizácia

Keď má viacero procesov prístup k zdieľaným zdrojom, je nevyhnutné zabezpečiť synchronizáciu, aby sa predišlo poškodeniu dát a stavom pretekov. Synchronizačné mechanizmy poskytujú spôsoby, ako koordinovať vykonávanie procesov a chrániť zdieľané dáta.

Bežné synchronizačné techniky:

Mutex zámky: Binárny semafor, ktorý sa dá použiť na ochranu kritickej sekcie kódu. Iba jeden proces môže držať mutex zámok naraz.
Semafore: Zovšeobecnenie mutex zámkov, ktoré sa dá použiť na riadenie prístupu k obmedzenému počtu zdrojov.
Monitory: Vysokoúrovňová synchronizačná konštrukcia, ktorá zapuzdruje zdieľané dáta a operácie, ktoré sa s nimi dajú vykonávať. Poskytuje vzájomné vylúčenie a podmienené premenné na čakanie a signalizáciu.
Podmienené premenné: Používajú sa v monitoroch na to, aby procesy mohli čakať, kým sa určitá podmienka nestane pravdivou.
Spinlocks: Typ zámku, kde proces opakovane kontroluje, či je zámok dostupný. Môže byť efektívny pre krátke kritické sekcie, ale plytvá časom CPU, ak je zámok držaný dlhý čas.

Príklad: Zvážte zdieľaný počítadlo, ktoré je inkrementované viacerými procesmi. Bez synchronizácie by si viaceré procesy mohli prečítať hodnotu počítadla, inkrementovať ju a zapísať späť, čo by viedlo k nesprávnym výsledkom. Použitie mutex zámku na ochranu operácie inkrementovania zabezpečuje, že iba jeden proces má prístup k počítadlu naraz, čím sa predchádza stavom pretekov.

Uviaznutie

Uviaznutie nastane, keď sú dva alebo viac procesov blokované na neurčito, pričom každý čaká na zdroj, ktorý drží iný. Je to vážny problém, ktorý môže zastaviť systém.

Podmienky pre uviaznutie:

Aby došlo k uviaznutiu, musia byť súčasne splnené štyri podmienky (Coffmanove podmienky):

Vzájomné vylúčenie: Aspoň jeden zdroj musí byť držaný v nezdieľateľnom režime; to znamená, že zdroj môže používať iba jeden proces naraz.
Držať a čakať: Proces musí držať aspoň jeden zdroj a čakať na získanie ďalších zdrojov, ktoré momentálne držia iné procesy.
Žiadne predkupovanie: Zdroje nemôžu byť procesom násilne odobraté; zdroj môže byť uvoľnený iba dobrovoľne procesom, ktorý ho drží.
Cirkulárne čakanie: Musí existovať množina {P0, P1, ..., Pn} čakajúcich procesov tak, že P0 čaká na zdroj držaný P1, P1 čaká na zdroj držaný P2, ..., Pn-1 čaká na zdroj držaný Pn a Pn čaká na zdroj držaný P0.

Techniky riešenia uviaznutia:

Existuje niekoľko prístupov k riešeniu uviaznutí:

Prevencia uviaznutia: Zabezpečte, aby aspoň jedna z Coffmanových podmienok nemohla platiť. Napríklad, vyžadovať od procesov, aby žiadali o všetky zdroje naraz alebo umožňovali predkupovanie zdrojov.
Vyhýbanie sa uviaznutiu: Použite informácie o alokácii zdrojov, aby ste sa vyhli vstupu do stavu uviaznutia. Bankárov algoritmus je bežný príklad.
Detekcia a obnova z uviaznutia: Umožnite uviaznutiu, aby nastalo, potom ho zistite a obnovte sa z neho. Obnova môže zahŕňať ukončenie procesov alebo predkupovanie zdrojov.
Ignorovanie uviaznutia: Ignorujte problém a dúfajte, že nenastane. Toto je prístup, ktorý používa väčšina operačných systémov, vrátane Windows a Linux, pretože prevencia a vyhýbanie sa uviaznutiu môže byť nákladné.

Príklad: Zvážte dva procesy, P1 a P2, a dva zdroje, R1 a R2. P1 drží R1 a čaká na R2, zatiaľ čo P2 drží R2 a čaká na R1. To vytvára cirkulárne čakanie, čo vedie k uviaznutiu. Jedným zo spôsobov, ako zabrániť tomuto uviaznutiu, by bolo vyžadovať od procesov, aby žiadali o všetky zdroje naraz pred začatím vykonávania.

Príklady zo skutočného sveta

Koncepty správy procesov sa používajú v rôznych operačných systémoch na celom svete:

Linux: Používa sofistikovaný plánovací algoritmus nazývaný Completely Fair Scheduler (CFS), ktorého cieľom je poskytnúť spravodlivé prideľovanie CPU všetkým procesom.
Windows: Používa prioritný plánovací algoritmus s viacerými úrovňami priority.
macOS: Používa hybridný prístup, ktorý kombinuje prioritné plánovanie s časovým delením.
Android: Postavený na jadre Linux, používa podobné techniky správy procesov, optimalizované pre mobilné zariadenia.
Operačné systémy v reálnom čase (RTOS): Používané v vstavaných systémoch a kritických aplikáciách, často používajú špecializované plánovacie algoritmy, ktoré zaručujú včasné vykonávanie úloh. Príklady zahŕňajú VxWorks a FreeRTOS.

Záver

Správa procesov je kritickým aspektom operačných systémov, ktorý umožňuje multitasking, zdieľanie zdrojov a efektívne využitie systému. Pochopenie konceptov prediskutovaných v tejto príručke je nevyhnutné pre každého, kto pracuje s operačnými systémami, vyvíja aplikácie alebo spravuje systémy. Zvládnutím stavov procesov, plánovacích algoritmov, komunikácie medzi procesmi a riešenia uviaznutí môžete vytvárať robustnejšie, efektívnejšie a spoľahlivejšie softvérové systémy. Nezabudnite zvážiť kompromisy medzi rôznymi prístupmi a vybrať techniky, ktoré najlepšie vyhovujú vašim špecifickým potrebám.

Ďalšie vzdelávanie

Ak chcete prehĺbiť svoje chápanie správy procesov, zvážte preskúmanie nasledujúcich zdrojov:

Operating System Concepts od Abraham Silberschatz, Peter Baer Galvin a Greg Gagne
Modern Operating Systems od Andrew S. Tanenbaum
Online kurzy a tutoriály o operačných systémoch z platforiem ako Coursera, edX a Udacity.
Dokumentácia pre váš operačný systém (napr. Linux man pages, Windows API documentation).