Real-Time Systems (RTSYST)

Maat: px

Weergave met pagina beginnen:

Download "Real-Time Systems (RTSYST)"

Annemie de Vries
8 jaren geleden
Aantal bezoeken:

1 RTSYST 5 me 2014 Real-Tme Systems (RTSYST) Week 7 Prorty nhertance voorbeeld taak pro executon release tme d 4 EEQVE 4 c 3 EVVE 2 b 2 EE 2 a 1 EQQQQE Harry roeders 1

2 RTSYST 5 me 2014 Harry roeders lockng Prorty nhertance De td dat een taak blockedkan zn s nu beperkt. = maxmum blockngtme K = aantal gebrukte resources usage(k, ) = boolean functe 1 als er een taak s met prortet lagerdan P en een taak met prortet hoger of gelkaan P (dt kan taak zelf zn)de de resource k delen. (k)= maxmale td dat resource kgebrukt wordt. = = K k k k usage 1 ) ( ), ( 172 lockng Response tme analyse I R = hp T R R ) ( = hp n n T w w = ) ( 1

lagerdan P en een taak met prortet hoger of gelkaan P (dt kan taak zelf zn)de de resource k delen.

3 RTSYST 5 me 2014 lockng Prorty nhertance Prorty nhertance kan neteenvoudg geïmplementeerd worden! semaphoren en condton varabelen s vaak nette achterhalen op wee wacht (we de sem_post of pthread_cond_sgnal zal geven)! Taak 1 Taak 2 Taak 3 Taak 4 sem_wat We doet sem_post? OS kan netn de toekomst kken. We wel? message passng s het vaak net te achterhalen op we e wacht (we de mq_send zal doen waarop de mq_receve moet wachten)! sem_post Alternatef: prorty celng 173 FPS-DMPO Prorty celng Orgnal elng Prorty Protocol OPP: Elke taak heeft een statc prorty. Elke resource heeft een celngprorty = maxmale prortet van de processen de deze resource delen. Een taak de een taak met een hogere prortet blocked erft de hogere prortet. Een taak kan alleen een resource gebruken als zn prortet hoger s dan de celng van alle door andere taken gebrukte resources. Voordelen: Proces kan maar 1x blocked worden. Deadlock s net mogelk. Mutual exclusve gaat altd van zelf goed. Transtve blockng s net mogelk. 174 Harry roeders 3

OS kan netn de toekomst kken. We wel? message passng s het vaak net te achterhalen op we e wacht (we de mq_send zal doen waarop de mq_receve moet wachten)!

4 RTSYST 5 me 2014 OPP voorbeeld celng Q = 4 celng V = 4 taak pro executon release tme d 4 EEQVE 4 c 3 EVVE 2 b 2 EE 2 a 1 EQQQQE OPP lockng Eerste resource kan altd worden gebrukt. Tweede resource kan alleen worden gebrukt als er geen taak s met een hogere prortet de bede resources gebrukt. De td dat een taak blocked kan zn wordt nu: K = max k = 1 usage(k,)(k) Impementate s nog steeds net zo moelk! Alternatef: Immedate PP. 176 Harry roeders 4

Tweede resource kan alleen worden gebrukt als er geen taak s met een hogere prortet de bede resources gebrukt.

5 RTSYST 5 me 2014 FPS-DMPO Prorty celng Immedate elng Prorty Protocol IPP: Elke taak heeft een statc prorty. Elke resource heeft een celng prorty = maxmale prortet van de processen de deze resource delen. Als een taak een resource gebrukt krgt de taak de celngprortet van de resource. Voordelen: Proces kan maar 1x blocked worden. Deadlock s net mogelk. Mutual exclusve gaat altd van zelf goed. Transtve blockng s net mogelk. Ten opzchte van OPP: Eenvoudger te mplementeren. Mnder taak wsselngen. 177 IPP voorbeeld celng Q = 4 celng V = 4 taak pro executon release tme d 4 EEQVE 4 c 3 EVVE 2 b 2 EE 2 a 1 EQQQQE Harry roeders 5

Als een taak een resource gebrukt krgt de taak de celngprortet van de resource. Voordelen: Proces kan maar 1x blocked worden. Deadlock s net mogelk.

6 RTSYST 5 me 2014 POSIX Prorty ased Schedulng FIFO Een thread blft runnng totdat de thread blocked of preempted wordt. Een thread de preempted wordt komt vooraan de readyqueue te staan. Round-Robbn Een thread blft runnng totdat de thread blocked of preempted wordt of totdat de tme-slce s verstreken. Een thread de preempted wordt komt vooraan de readyqueue te staan. Een thread waarvan de tme-slce s verstreken komt achterde threads met gelke prortet op de readyqueue te staan. Sporadc Server Other 179 Prorty Protect Protocol =IPP nt pthread_mutexattr_getprotocol(const thread_mutexattr_t* attr, nt* protocol); nt pthread_mutexattr_setprotocol(pthread_mutexattr_t *attr, nt protocol); mogelke waarden voor protocol: PTHREAD_PRIO_NONE PTHREAD_PRIO_INHERIT PTHREAD_PRIO_PROTET een mutexweet e wel we de pthread_mutex_unlock gaat doen! POSIX naam voor IPP nt pthread_mutexattr_getprocelng(const pthread_mutexattr_t* attr, nt* procelng); nt pthread_mutexattr_setprocelng(pthread_mutexattr_t *attr, nt procelng); 180 Harry roeders 6

Een thread waarvan de tme-slce s verstreken komt achterde threads met gelke prortet op de readyqueue te staan.

7 RTSYST 5 me 2014 Huswerk oek: H en 11.9 bestuderen. Opgaven 5 en 6 maken. 181 Tentamenopgave Een programma bestaat ut 5 threadst1 t/m T5. Deze threads gebruken 4 gedeelde resources R1 t/m R4. Elke resource s mutualexclusvebevelgd met een mutexm1 t/m M4. Deze mutexengebruken het prorty nhertanceprotocol. Als een thread een resource toegewezen heeft gekregen dan kan deze thread de resource voor een bepaalde maxmale td bezetten. In de onderstaande tabel staat k voor het nummer van de resource en (k) voor de maxmale td dat resource k bezet kan worden. 182 Harry roeders 7

Deze mutexengebruken het prorty nhertanceprotocol.

8 RTSYST 5 me 2014 Tentamenopgave In de volgende tabel staat aangegeven welke resources elke thread gebrukt. In de onderstaande tabel staat voor het nummer van de thread, T() voor de perodetd van thread en () voor de maxmale executetd van thread. Gegeven s dat de deadlne van elke taak gelk s aan zn perodetd. Alle gegeven tden zn n ms. 183 Tentamenopgave A. (5) epaal de prortet van de 5 processen als RMPA (Rate MonotoncProrty Assgnment) wordt gebrukt. De hoogste prortet s 5 en de laagste prortet s 1.. (15) ereken voor elke thread de blockng tme ().. (15) ereken voor thread 1, 3 en 5 of de deadlne wordt gehaald en geef, nden de deadlne wordt gehaald, de response td R. 184 Harry roeders 8

Gegeven s dat de deadlne van elke taak gelk s aan zn perodetd. Alle gegeven tden zn n ms. 183 Tentamenopgave A.

9 RTSYST 5 me 2014 Tentamenopgave P() T() () Gebrukt R1, R R2, R3, R R R1 185 Harry roeders 9

Vergelijkbare documenten

Real-Time Systems (RTSYST)

Real-Time Systems (RTSYST) RTSYST 5 me 2014 Real-Tme Systems (RTSYST) Week 6 Schedulng Denstregelng van taken N taken kun e n N! verschllende schedules utvoeren. Bvoorbeeld 10 taken: 3628800 mogelke schedules. Met preempton nog