570 likes | 787 Views
Processes and Threads. 2.1 Processes 2.2 Threads 2.3 Interprocess communication 2.4 Classical IPC problems 2.5 Scheduling. Chapter 2. Processes The Process Model. Multiprogramming of four programs Conceptual model of 4 independent, sequential processes
E N D
Processes and Threads 2.1 Processes 2.2 Threads 2.3 Interprocess communication 2.4 Classical IPC problems 2.5 Scheduling Chapter 2
ProcessesThe Process Model • Multiprogramming of four programs • Conceptual model of 4 independent, sequential processes • Only one program active at any instant
Process Creation Principal events that cause process creation • System initialization • Execution of a process creation system • User request to create a new process • Initiation of a batch job
Proceso sukūrimas Programinis kodas bus pradėtas vykdyti tik ta-da, kai jam OS bus sukurtas procesas: • Sukurti informacines struktūras, aprašančias procesą, t.y. jo deskriptorių ir kontekstą; • Įtraukti naujo proceso deskriptorių į paruoš-tų procesų eilę; • Užkrauti proceso kodo segmentą į operaty-viąją atmintį arba svopingo sritį.
Proceso kontekstas - operacinės aplinkos būsena • registrų ir programinio skaitiklio būsena, • procesoriaus darbo režimo būsena, • atidarytų failų rodiklių būsenos, • informacija apie neužbaigtas įvedimo-išve-dimo operacijas, • šio proceso vykdomų sisteminių užklausų klaidų kodai ir t.t.
Proceso deskriptorius • proceso identifikatorius, • proceso būsena, • duomenys apie proceso privilegijas, • kodo segmento vieta.
Process Termination Conditions which terminate processes • Normal exit (voluntary) • Error exit (voluntary) • Fatal error (involuntary) • Killed by another process (involuntary)
Procesų planavimo algoritmai Planuojant procesus, reikia išspręsti šiuos uždavinius: • Nustatyti vykdomo proceso pakeitimo laiką; • Iš paruoštų procesų eilės išrinkti procesą vykdymui; • „Seno“ ir „naujo“ procesų kontekstų perjungimas.
Pagrindinės procesų planavimo algoritmų grupės • algoritmai, pagrįsti kvantavimu, • algoritmai, pagrįsti prioritetais .
Kvantavimu pagrįstuose algoritmuose aktyvus procesas pakeičiamas, jeigu: • Procesas pasibaigė ir paliko sistemą, • Įvyko klaida, • Procesas perėjo į LAUKIMO būseną, • Pasibaigė procesorinio laiko kvantas, skirtas šiam procesui.
Proceso būsenų grafas (kvantavimo algoritmas) VYKDYMAS PARUOŠTAS LAUKIMAS
Algoritmai, pagrįsti procesų prioritetais Prioritetas – tai skaičius, charakterizuojantis proceso privilegijų laipsnį, naudojantis kompiu-terinės sistemos resursais, pvz., procesoriniu laiku: kuo aukštesnis prioritetas, tuo aukštesnės privilegijos.
Dvi prioritetinių algoritmų grupės: • algoritmai, naudojantys santykinius priori-tetus, • algoritmai, naudojantys absoliutinius prio-ritetus.
Algoritmai, naudojantys santykinius prioritetus • Procesas vykdomas tol, kol jis pats nepaliks procesoriaus, pereidamas į LAUKIMO būseną arba neįvyks klaida, arba procesas nepasibaigs.
Algoritmo su santykiniais prioritetais būsenų grafas VYKDYMAS PARUOŠTAS LAUKIMAS
Algoritmai, naudojantys absoliutinius prioritetus Sistemose, su absoliutiniais prioritetais, akty-vaus proceso vykdymas nutraukiamas dar vie-nu atveju: jeigu pasiruošusių procesų eilėje at-siranda procesas, kurio prioritetas aukštesnis, nei aktyvaus proceso. Šiuo atveju pertrauktas procesas pereina į PARUOŠTŲ būseną.
Algoritmo su absoliutiniais prioritetais būsenų grafas b) VYKDYMAS PARUOŠTAS LAUKIMAS
Pagrindiniai procesų planavimo procedūrų tipai • išstumiančios (preemptive), • neišstumiančios (non-preemptive).
Neišstumiantis daugiaužduotiškumas • Neišstumiantis daugiaužduotiškumas (non-preemptive multitasking) – tai procesų pla-navimo būdas, kai aktyvus procesas vykdo-mas tol, kol jis pats (savo iniciatyva) neati-duos valdymo OS planuotojui, kad šis iš ei-lės išrinktų kitą, pasiruošusį vykdymui pro-cesą.
Išstumiantis daugiaužduotiškumas • Išstumiantis daugiaužduotiškumas (preemp-tive multitasking) – tai toks būdas, kai sprendimą perjungti procesorių kito proceso vykdymui priima OS planuotojas, o ne pats aktyvus procesas.
Process Hierarchies • Parent creates a child process, child processes can create its own process • Forms a hierarchy • UNIX calls this a "process group" • Windows has no concept of process hierarchy • all processes are created equal
Process States (1) • Possible process states • running • blocked • ready • Transitions between states shown
Process States (2) • Lowest layer of process-structured OS • handles interrupts, scheduling • Above that layer are sequential processes
Implementation of Processes (1) Fields of a process table entry
Implementation of Processes (2) Skeleton of what lowest level of OS does when an interrupt occurs
Procesų sinchronizavimas ir sąveika Sinchronizavimo problema: • vienas procesas gali perduoti duomenis kitam, • keli procesai gali apdoroti duomenis iš bendro failo (bendrų resursų naudojimas).
Procesų sinchronizavimas ir sąveika (2) Procesų sinchronizavimo problemos sprendimo būdai: • Procesų pristabdymas ir aktyvavimas, • Eilių organizavimas, • Resursų blokavimas ir atlaisvinimas.
Sinchronizavimo uždavinio pvz. Procesas-klientas R R1 Perskaityti NEXT Užrašyti failo RFILE vardą Padidinti NEXT . . . Bendri duomenys Spausdinimo serveris R2 Failų iš sąrašo spausdinimas Užsakymų failas R3 ALPHA BETA GAMMA NEXT Procesas-klientas S S1 Perskaityti NEXT Užrašyti failo SFILE vardą Padidinti NEXT . . . S2 S3
ThreadsThe Thread Model (1) (a) Three processes each with one thread (b) One process with three threads
The Thread Model (2) • Items shared by all threads in a process • Items private to each thread
The Thread Model (3) Each thread has its own stack
Thread Usage (1) A word processor with three threads
Implementing Threads in User Space A user-level threads package
Implementing Threads in the Kernel A threads package managed by the kernel
Hybrid Implementations Multiplexing user-level threads onto kernel- level threads
Scheduler Activations • Goal – mimic functionality of kernel threads • gain performance of user space threads • Avoids unnecessary user/kernel transitions • Kernel assigns virtual processors to each process • lets runtime system allocate threads to processors • Problem: Fundamental reliance on kernel (lower layer) calling procedures in user space (higher layer)
Interprocess CommunicationRace Conditions Two processes want to access shared memory at same time
Critical Regions (1) Four conditions to provide mutual exclusion • No two processes simultaneously in critical region • No assumptions made about speeds or numbers of CPUs • No process running outside its critical region may block another process • No process must wait forever to enter its critical region
Critical Regions (2) Mutual exclusion using critical regions
SchedulingIntroduction to Scheduling (1) • Bursts of CPU usage alternate with periods of I/O wait • a CPU-bound process • an I/O bound process
Introduction to Scheduling (2) Scheduling Algorithm Goals
Scheduling in Batch Systems (1) An example of shortest job first scheduling
Scheduling in Batch Systems (2) Three level scheduling
Scheduling in Interactive Systems (1) • Round Robin Scheduling • list of runnable processes • list of runnable processes after B uses up its quantum
Scheduling in Interactive Systems (2) A scheduling algorithm with four priority classes
Scheduling in Real-Time Systems Schedulable real-time system • Given • m periodic events • event i occurs within period Pi and requires Ci seconds • Then the load can only be handled if
Policy versus Mechanism • Separate what is allowed to be done with how it is done • a process knows which of its children threads are important and need priority • Scheduling algorithm parameterized • mechanism in the kernel • Parameters filled in by user processes • policy set by user process
Thread Scheduling (1) Possible scheduling of user-level threads • 50-msec process quantum • threads run 5 msec/CPU burst