Instantaneous Utilization Based Scheduling Algorithms for Real Time Systems Radhakrishna Naik 1, R.R.Manthalkar 2 Pune University 1, SGGS Nanded 2

Size: px
Start display at page:

Download "Instantaneous Utilization Based Scheduling Algorithms for Real Time Systems Radhakrishna Naik 1, R.R.Manthalkar 2 Pune University 1, SGGS Nanded 2"

Transcription

1 Radhakrshna Nak et al, / (IJSIT) Internatonal Journal of omputer Scence and Informaton Technologes, Vol. (),, Instantaneous tlzaton Based Schedulng Algorthms for Real Tme Systems Radhakrshna Nak, R.R.Manthalkar une nversty, SGGS Nanded Abstract Ths paper proposes a new novel schedulng algorthms to schedule perodc tasks for soft real tme system. Ths s a plannng based offlne scheduler where tasks are scheduled on the bass of ts nstantaneous utlzaton. Here after every quantum of executon, nstantaneous utlzaton of each task s calculated. Task whch s havng hghest nstantaneous utlzaton s scheduled to the processor. Snce Instantaneous utlzaton factor(if) s temporarly varant factor, the prorty of each task wll vary contnuously. Also It s often more desrable to complete some portons of every task rather than gvng up completely the processng of some tasks. The Imprecse omputaton Model was ntroduced to allow for the tradeoff of the qualty of computatons n favor of meetng the deadlne constrants. It s observed that schedulng performance metrcs such as schedulablty, utlzaton, context swtchng, response tme and relablty are mproved by ths approach as compared to schedulng algorthms such as RM, EDF, LLF, MF schedulng algorthms. KEYWORDS: RM: Rate monotonc, EDF: Earlest deadlne frst, LLF: Least laxty frst, MF: Maxmum urgency frst, IF: Instantaneous utlzaton frst, IRIS: Increased reward wth ncreased servce. MIF: Modfed nstantaneous schedulng algorthm. I. INTRODTION As soft real-tme systems are less restrctve n nature, t s requred that the crtcal processes receve prorty over less crtcal ones. In a soft real-tme system, mssng some deadlnes wll lower the performance of the system, but system wll stll contnue to operate. reemptve schedulers usually offer better overall system utlzaton. So they are preferred over non preemptve schedulers. Deadlne parameter of a request s the amount of tme gven to the system to execute and complete the request after t s arrved. reemptve real-tme schedulng algorthms can be broadly classfed nto two categores: statc prorty and dynamc prorty. Ths classfcaton s based on the manner n whch prortes are assgned to tasks. A schedulng algorthm s sad to be statc f prortes are assgned to tasks a pror and do not change durng run-tme, for example Rate Monotonc (RM) Algorthm. A schedulng polcy s sad to be dynamc f the prortes of a task mght change from request to request, for example Earlest Deadlne Frst (EDF) algorthm. Statc prorty and dynamc prorty schedulng has receved tremendous attracton after poneerng work done by Lu and Layland []. RM Assgns prorty of each task accordng to ts perod, so that the shorter perods get the hgher prorty. Lu and Layland have also found stronger utlzaton for a dynamc prorty assgnment polcy called EDF. A task s assgned hghest prorty f ts deadlne s nearest and wll be assgned lowest prorty f deadlne s farthest. The problem wth RM schedulng algorthms s that- nfortunately, wth statc schedulng, resources must be allocated pessmstcally and scheduled under the assumpton that nterrupts occur at the maxmum rate. When they do not, utlzaton s effectvely reduced because unused resources cannot be reallocated. As the prortes cannot be changed easly at run-tme, allocatons must be based on worst-case condtons. Thus, f an operaton requres 8 msec, statc schedulng analyss must assume that 8 msec wll be requred for every nvocaton. Agan, utlzaton s effectvely penalzed because the resource wll be dle for msec n the usual case. From a schedulng perspectve, the man advantage of EDF and least laxty frst (LLF) s that they overcome the utlzaton lmtatons of RM. In partcular, the utlzaton phasng penalty. Ths s because EDF and LLF prortze operatons accordng to ther dynamc run-tme characterstcs. They handle harmonc and non-harmonc perods comparably, and respond flexbly to nvocaton-tonvocaton varatons n resource requrements, allowng tme one operaton does not use to be reallocated to other operatons. Thus, they can produce schedules that are optmal n terms of utlzaton. urely dynamc schedulng approaches lke LLF and EDF potentally releve the utlzaton lmtatons of the statc RM approach. However, they have a hgher cost to evaluate the schedulng algorthm at run-tme. In addton, these purely dynamc schedulng strateges offer no control over whch operatons wll mss ther deadlnes f the schedulable bound s exceeded. As operatons are added to the schedule to acheve hgher utlzaton, the margn of safety for all operatons decreases. Therefore, the rsk of mssng a deadlne ncreases for every operaton as the system becomes overloaded. We have desgned the scheduler by consderng smple utlzaton based schedulablty analyss technque. Our paper proposes dynamcally changng prorty based pre-emptve schedulng algorthm based on the nstantaneous utlzaton of the task. Instantaneous utlzaton factor (IF) s the processor utlzaton of the task at any nstant. rorty of the task s based on ths IF of each task n the gven task set. Snce the IF s the temporarly varant factor, the prorty of each task vares contnuously. Algorthm lke maxmum utlzaton frst [MF]/ maxmum urgency frst [MF] have also dwelled on the dea of 654

2 Radhakrshna Nak et al, / (IJSIT) Internatonal Journal of omputer Scence and Informaton Technologes, Vol. (),, schedulng accordng to utlzaton of the task. But ths algorthm has consdered the statc utlzaton of the task rather than ther nstantaneous utlzaton value. IF has number of nterestng characterstcs. The IF maxmzes utlzaton bound of schedule and has the capablty to accommodate larger task set. IF has capablty of dynamc predctablty.e. we can predct the status of our scheduler at any nstant of tme n the future and whether the schedule wll stll reman feasble. Ths paper suggests two algorthms. Instantaneous utlzaton frst real tme schedulng algorthm.. Modfed IF real tme schedulng algorthm. Thus contrbuton of ths paper s to enhance context swtchng, response tme and utlzaton than that of IF schedulng algorthm. II. RELATED WORK Lu and Layland [] were perhaps the frst to formally study prorty drven algorthms. They focused on the problem of schedulng perodc tasks on a sngle processor and proposed two preemptve algorthms, RM and EDF. RM algorthm assgns prortes to tasks based on ther perod. Hgher the prorty wth shorter perods. Maxmum utlzaton bound acheved s 69 %.Ths often referred as schedulablty test. Ths test s true f perod of nvocaton of task s equal to relatve deadlne of tasks. Inverse deadlne allows a weakenng of the condton whch requres equalty between perods and deadlnes n statc-prorty schemes. The nverse deadlne algorthm [] assgns prortes to tasks accordng to ther deadlnes: the task wth the shortest relatve deadlne s assgned the hghest prorty. Inverse deadlne s optmal n the class of fxed-prorty assgnment algorthms n the sense that f any fxed-prorty algorthm can schedule a set of tasks wth deadlnes shorter than perods, than nverse deadlne wll also schedule that task set. The computaton gven n the prevous secton can be extended to the case of two tasks wth deadlnes shorter than perods, scheduled wth nverse deadlne. Wth dynamc prorty assgnment algorthms, prortes are assgned to tasks based on dynamc parameters that may change durng task executon. The most mportant algorthms n ths category are earlest deadlne frst [] and least laxty frst [,4] The Maxmum rgency Frst (MF) [5] schedulng algorthm supports both the determnstc rgor of the statc RM schedulng approach and the flexblty of dynamc schedulng approaches such as EDF and MLF. RM assgns all prorty components statcally and EDF/LLF assgns all prorty components dynamcally. In contrast, MF can assgn both statc and dynamc prorty components. rortes can be assgned statcally or dynamcally based on dfferent crtera lke deadlne, crtcalty, perodcty etc. Dynamc schedulng can be preemptve or non-preemptve K. Ramamrtham, J.A Stankovc [6] work on 4-schedulng paradgms. Statc table drven approaches are applcable to tasks that are perodc. Tables are constructed by usng heurstcs that dentfy the state and completon tmes of each task and tasks are dspatched accordng to ths table. Ths s hghly predctable approach, but s hghly nflexble snce any change to the tasks and ther characterstcs may requre a complete overhaul of the table. tlzaton bound tests were frst proposed Goossens et al. [7] n whch t s assumed that tasks have relatve deadlne equal to ther perod. Baker [8] slghtly modfed the assumpton such that utlzaton bound test can be performed on tasks wth relatve deadlne less than or equal to ther perod. Baker derved smple suffcent condtons for schedulablty of systems of perodc or sporadc tasks n a multprocessor preemptve schedulng envronment. Imprecse omputaton Model was ntroduced [9] to allow for the trade-off of the qualty of computatons n favor of meetng the deadlne constrants. In ths model, a task s logcally decomposed nto two subtasks, mandatory and optonal. The mandatory subtask of each task s requred to be completed by ts deadlne, whle the optonal subtask can be left unfnshed. If a task has an unfnshed optonal subtask, t ncurs an error equal to the executon tme of ts unfnshed porton. The Imprecse omputaton Model s desgned to model an teratve algorthm, where the task ntally spends some tme for ntalzaton (the mandatory subtask) and then terates to mprove the qualty of the soluton (the optonal subtask). Snce the optonal subtask corresponds to teratons to mprove the qualty of the soluton, t can be left unfnshed and stll obtan a soluton wth a somewhat nferor qualty. In ths way, we can trade off the qualty of the computaton n favor of meetng deadlnes. Therefore we consdered quantum sze equal to ts mandatory porton and scheduled accordng to nstantaneous utlzaton and optonal porton s scheduled accordng to shortest ob frst crtera. In ths paper we propose that,f n case there s fault, whle executng mandatory porton, t has been suggested to provde redundancy to the mandatory porton as the faults of nterest are those that are transent. astllo et al. [] n ther study of several systems ndcates that the occurrences of transent faults are to 5 tmes more frequent than permanent faults. In some applcatons ths frequency can be qute large; one experment on a satellte system observed 5 transent faults n a 5 mnute nterval due to cosmc ray ons []. To provde the flexblty needed to program fault tolerance, fxed prorty preemptve schedulng suggested by A. ampbell et al. [] can be used. Arshad Iqbal and Asa Zafar[] suggest that the desgn and analyss of a new schedulng algorthm. Dynamc Queue Deadlne Frst (DQDF) to handle schedulng of dynamc multple tasks n real tme systems. They provde a approach that reduced the dead-lne mssng rato but t has a hgher overhead. 655

3 Radhakrshna Nak et al, / (IJSIT) Internatonal Journal of omputer Scence and Informaton Technologes, Vol. (),, III. INSTANTANEOS TILIZATION SHEDLING ALGORITHM FRAMEWORK A. ontrbuton of ths paper In ths paper, the problem of predctng mssng of deadlne at any nstant of tme, low overhead, ustfcaton of all tasks, no preempton and hgher schedulablty are addressed. Frst we propose a framework of IF schedulng algorthm, we run the case study for the same and fnally we perform comparatve evoluton of RM, EDF,LLF and IF. B. System model I N T T A S K TASK SELET DATER READY QEE RN TIME QEE Fgure.Archtecture of IF framework Ths s bascally a plannng based schedulng algorthm where prortes are assgned based on Instantaneous tlzaton.every task s schedule for fx quantum of tme.lannng of schedulng s consdered for frst teraton of perod of nvocaton of the tasks. The quantum for whch task s appled to s Q. The total sum of quantum of all task (for that quantum teraton only) s Q =Q. In ths framework, for gven task set,t s calculated by- T =LM{perod of nvocaton of all tasks } Now for tme span equal to T tasks are mapped to n followng steps- Step:- Intally for gven task set, calculate utlzaton of each task usng formula = / =Intal utlzaton of th task. =Intal computaton tme. () =Intal perod of nvocaton. Based on utlzaton [ ] the task whch s havng hgher value of tlzaton s mapped for the. Step:- Now n a gven T, one task has executed for one quantum of tme. Agan calculate value of, by usng followng formula = -Q. () =-Q. () Where Q =Q. Then calculate new Instantaneous tlzaton factor for th task for usng formula and = /. (4) Where, =Instantaneous computaton tme for th task = Instantaneous perod of executon of th task. =Instantaneous tlzaton of th task. For second teraton of tme Derve the table (T,,, ) Agan the task whch s havng hghest nstantaneous utlzaton wll be havng hghest prorty of executon for second teraton quantum. Lke wse, calculate = - -Q. (5) alculate = - -Q. (6) usng equaton 4 and 5 = /. (7) Where, =Instantaneous utlzaton of th task for the th teraton of quantum = T end pont. Step : Hence task sequence n frst T s derved. It s observed that at every step we can check whether the nstantaneous utlzaton s less than ntal utlzaton.if at any gven nstant of tme, t s observed that t s greater than, t means that task s gong to mss ts deadlne. It s observed that n frst T span, there s hgher context swtchng between the task. In order to avod context swtchng we are suggestng concept of run tme data structure (run tme 656

4 Radhakrshna Nak et al, / (IJSIT) Internatonal Journal of omputer Scence and Informaton Technologes, Vol. (),, queue).tasks are shuffled n run tme queue as shown n fgure. Fgure. Task Shufflng Intally n T span, consder tme span between T and T shufflng the quantum of tasks whch are smlar. Then consder tme span between T and T agan shuffle the quantum of tasks whch are smlar. Lastly consder tme span between T and T end and shuffle the quantum of tasks.. A ase Study: IF Schedulng Algorthm onsder followng task set T = (, 9), T = (5, ), T = (7, 8). alculate ntal utlzaton usng equaton () = / TABLE I. INITIAL TASK SET. T T 9. T 5.45 T After frst step, n Table we observed that T has the hgher ntal utlzaton so s mapped for executon. For Quantum alculate the new values of,, and usng the followng value: = =9 Q = =5 = Q = =7 =8 Q = Q= (Q ) =++= Now usng the formula, = -Q =-Q Then calculate new Instantaneous tlzaton factor for th task by usng formula and - = / = -Q / = -Q / -Q = -/9- =.7 -Q = 5-/- =.4 = -Q / -Q = 7-/8- =.8 Now we get the new task set as TABLE II. TASK SET AFTER ONE QANTM OF EXETION. T T 8.7 T 4.4 T Agan here we observed that the task T has hgher nstantaneous utlzaton so allow t for executon and recalculate the task set for the next quantum of executon tme. = =4 =7 =8 Q = = Q = =7 Q = Q= (Q ) =++= Now usng the formula, = -Q / -Q = -Q / -Q = -/8- =.4 = -Q / = -Q / -Q = 4-/- =. -Q = 7-/7- =.9 Now we get the new task set as: TABLE III. TASK SET AFTER SEOND QANTM OF EXETION. T T 7.4 T 9. T Agan task T has hgher nstantaneous utlzaton so allow t executon and recalculate the task set for the next quantum of executon tme. 5. ontnue ths process tll, we get th quantum of executon tme.e. =T_END_OINT usng formula: = - -Q / -Q Now consder run tme queue of sze T and shuffle tasks n run tme queue. After shufflng tasks n run tme queue, tasks are appled to as shown n fg.. D.RESLT ANALYSIS Gven task set s smulated usng HEDDER a real tme smulator for RM, EDF and LLF and observed context swtchng, number of preemptons and deadlne mssng possblty for each scheduler. We have also desgned smulator for our algorthm n and observed the same parameters wth our smulator we are gettng followng results

5 Radhakrshna Nak et al, / (IJSIT) Internatonal Journal of omputer Scence and Informaton Technologes, Vol. (),, TABLE IV.OMARISON OF IF WITH OTHER SHEDLERS. Factors IF RM EDF LLF ontext Swtchng 6 9 S Rato Response tme Average Hgh Hgh Average Schedulablty Hgh Low Hgh Average No. of reemptons 4 9 It s clear from fg. 4 and 5 that, although context swtchng s hgh comparatve to other algorthms but number of preemptons are zero hence t ncreases schedulablty of tasks. No. of reemptons Before Shufflng IF RM EDF LLF Fgure 5: omparatve preemptons of IF wth other Schedulng algorthms After Shufflng Fgure.Shufflng Of Tasks sng Run Tme Queue For A Gven Tasks Set. No. of ontext Swtchng IF RM EDF LLF Fgure 4: omparatve context swtchng of IF wth other Schedulng algorthms IF schedulng algorthm [4] has the drawback that context swtchng s very hgh snce n ths algorthm, shufflng of tasks s suggested; ths loses ntenton of prorty assgnment. Therefore there s need to modfy IF schedulng algorthm so as to reduce context swtchng. In proposed framework tasks are logcally dvded nto mandatory and optonal porton. All mandatory portons are scheduled accordng to nstantaneous utlzaton lke IF. Ths paper proposes a new approach where mprecse computaton model s used,where task s logcally dvded nto two parts, mandatory and optonal part. rorty of the mandatory porton of task s based on ths IF. Snce the IF s a temporally varant factor, the prorty of each task wll vary contnuously. Optonal portons are scheduled by shortest ob frst. Expermentally t s proved that t ncreases utlzaton effectvely. It also handles harmonc and non harmonc perods comparably. Number of mssng deadlnes s less. In order to mprove relablty, the actve mandatory porton s loaded as redundant copy so that f at all mandatory porton s faled due to some reason, at least mandatory porton wll get executed. Thus by compromsng n performablty, t enhances relablty through redundancy. The man advantage of ths framework s that there s no need to nclude error recovery ponts n program whch avods system overheads. IV. MODIFIED IF REAL TIME SHEDLING ALGORITHM A block dagram of proposed framework s shown n the fgure. Ths s bascally a plannng based offlne preemptve schedulng algorthm where prortes are assgned based on 658

6 Radhakrshna Nak et al, / (IJSIT) Internatonal Journal of omputer Scence and Informaton Technologes, Vol. (),, Instantaneous tlzaton. Every task s scheduled for fxed quantum of tme.e. for mandatory part of task. Basc assumptons of the system. Gven task set s consdered as IRIS task (Increased reward wth ncreased servce).. Intally task s dvded nto two parts: ) Mandatory porton, ) Optonal porton.. onsder arrval tme of all task =. 4. erod of task s equal to ts relatve deadlne. 5. The soft real-tme system s consdered where system wll tolerate lateness wth decreased servce qualty but no crtcal consequences. B. System Model hase : Dvde the task nto two parts onsder two porton of the task from the gven task set as ) Mandatory porton, ) Optonal porton. hase : schedulng of the mandatory porton of task usng IF Step :- Intally for gven task set, calculate utlzaton of each task usng formula (8) Step :- One task has executed for one quantum (equal to mandatory porton) of tme. Agan calculate value of Q Q, by usng followng formula- Q. (9) Q. () Where Q Q, Then calculate new Instantaneous tlzaton factor for th task for usng formula and () Where, =Instantaneous computaton tme for th task = Instantaneous perod of executon of th task. =Instantaneous tlzaton of th task. For second teraton of tme derve the table ( T,,, ) Agan the task whch s havng hghest nstantaneous utlzaton wll be havng hghest prorty of executon for second teraton quantum. Lke wse, calculate Q () alculate Where, Q () usng equaton 4 and 5 (4) Fgure 6: Archtecture of MIF Framework. =Intal utlzaton of th task. =Intal computaton tme of. =Intal perod of nvocaton. Based on utlzaton [ ] the task whch s havng hgher value of tlzaton, mandatory porton of ths task s mapped to the. =Instantaneous utlzaton of th task for the th teraton of quantum. At any gven nstant of tme, If t s observed that, nstantaneous utlzaton s greater than, t means that task s gong to mss ts deadlne. hase : schedulng the optonal porton of the task For schedulng the optonal porton, shortest optonal porton frst s employed. ALGORITHM ) Take nput of tasks contanng perod, mandatory executon tme, and optonal executon tme. ) alculate the mandatory utlzaton and optonal utlzaton for each task. 659

7 Radhakrshna Nak et al, / (IJSIT) Internatonal Journal of omputer Scence and Informaton Technologes, Vol. (),, ) heck the schedulablty for tasks accordng to ther utlzaton 4) Generate mappng for tasks. 5) Execute the mandatory porton of tasks accordng to the hghest nstantaneous utlzaton. Meanwhle f there s nterrupt due to corrupton of task whle executng the mandatory porton of task then a backup mage s mantaned so that the task can be restored from the mage. 6) After executng mandatory porton of all tasks execute optonal porton accordng the shortest ob frst polcy. 7) If nterrupt occurs due to corrupton of task n the optonal porton of task then optonal porton does not run to ts completon and gets aborted. B. Result Analyss Varous tasks sets have been appled to MIF scheduler smulator and t has been observed that context swtchng, response tme and utlzaton s mproved.followng table I to X shows how tasks are selected and scheduled usng MIF. Here, M= Mandatory porton of task for executon, O= Optonal orton of the task for executon, = erod/deadlne of task. TABLE V: GIVEN TASK SET WITH EXETION TIME AND ERIOD Task M O T 8 T T 6 T4 5 TABLE IX: SELETION OF FORTH MANDATORY TASK Task M O (M) T.8 T. T 9. T4 8. TABLE X: SELETION OF FIRST OTIONAL TASK Task M O (M) T 9 - T - T 7 - T4 6 - TABLE XI: SELETION OF SEOND OTIONAL TASK Task M O (M) T 8 - T - T 6 - T4 5 - TABLE XII: SELETION OF THIRD OTIONAL TASK Task M O (M) T 7 - T 9 - T 5 - T4 4 - TABLE VI: SELETION OF FIRST MANDATORY TASK Task M O (M) T 5. T 7. T.5 T4.6 TABLE VII: SELETION OF SEOND MANDATORY TASK Task M O (M) T 8. T.5 T 6. T4 5. TABLE VIII: SELETION OF THIRD MANDATORY TASK Task M O (M) T.5 T 5. T.8 T4. TABLE XIII: SELETION OF FORTH OTIONAL TASK Task M O (M) T 5 - T 7 - T - T4 - TABLE XIV: FINALLY ALL TASKS ARE GETTING SHEDLED Task M O (M) T - T 5 - T - T4 - Here, the table XV ndcates the complete case study for the gven set of tasks. It also ndcates the tme nterval and the descrpton how the task get schedules. 66

8 Radhakrshna Nak et al, / (IJSIT) Internatonal Journal of omputer Scence and Informaton Technologes, Vol. (),, TABLE XV: DESRITION OF TASK SHEDLE. Tme Executng Descrpton Interval Task 6 4 IF MIF M(T) Mandatory part of Task T has hghest nstantaneous utlzaton so t gets executed frst untl ts computaton s over. M(T4) Now, Mandatory part of Task T4 has hghest nstantaneous utlzaton so t gets executed. 5 M(T) Then, Mandatory part of Task T has hghest nstantaneous utlzaton so t gets executed. 7 M(T) Fnally, Mandatory part of Task T has hghest nstantaneous utlzaton so t gets executed. 9 O(T4) After completng mandatory part of all tasks, Task T has lowest optonal part so t gets executed. Here optonal porton are equal te s broken on FFS. O(T) Now, Task T4 has lowest Optonal part so t gets executed. O(T) Then, Task T has lowest optonal part so t gets executed. -5 O(T) At last, Task T has lowest optonal part so t gets executed. - - All tasks have completed ther mandatory as well as optonal porton. Second teraton starts. No. of ontext Swtchng ase ase ase Fgure 7: omparatve ontext Swtchng of MIF and IF No. of ontext Swtchng IF MIF The sad algorthm s smulated n Mcrosoft Vsual Basc 6 and exstng algorthms are smulated usng HEDDER smulator.. We attempt to keep the framework as general as possble by accommodatng software faults tolerated by some form of recovery block, and hardware faults dealt wth by state restoraton and re-executon. Error latences wll be assumed to be short and hence tred to enhance relablty of scheduler.. The prevous IF algorthm has more number of context swtches as the quantum consdered s too small. But n the proposed algorthm, the context swtches get mnmzed as the quantum consdered s the mandatory porton of task(fg.7) The task swtch from one to another at every unt nstance. But for proposed algorthm t s very less. The followng table shows the analyss of the results for prevous IF algorthm and proposed algorthm. TABLE XVI: OMARATIVE RESLTS OF VARIOS ASE STDIES ase study ontext swtchng Response tme (T, T, T ) tlzaton (In %) IF MIF IF MIF IF MIF 5 7 4,5,,, 7 5,, 7, 9, 8 5,, 8,, 5 ase ase ase Fgure 8: omparatve schedulablty of MIF and IF schedulng algorthm. Schedulablty of MIF s mproved than IF schedulng algorthm.(fg.8). Response tme IF MIF IF MIF MIF IF Task Task Task Graph for case study Fgure 9: omparatve response tme of MIF and IF schedulng algorthm. Response Tme observed n MIF s less than that of IF(fg.9) also n MIF utlzaton s also ncreased consderably. 66

9 Radhakrshna Nak et al, / (IJSIT) Internatonal Journal of omputer Scence and Informaton Technologes, Vol. (),, V. ONLSION Approach of IF s better than tradtonal schedulng approaches. Frst attempt of IF has better performance n terms of number of preemptons and schedulablty.second attempt does better than IF n context swtchng, response tme and schedulablty. In order to reduce context swtchng observed n IF, an approach of IRIS s used.e. task s logcally dvded nto two parts ) Mandatory porton and ) Optonal porton. Wth schedulng mandatory porton by hghest nstantaneous utlzaton frst and optonal porton by shortest optonal porton frst, results observed are encouragng. It has been observed that context swtchng, response tme and utlzaton has been ncreased as compared wth IF schedulng algorthm. Ths framework also suggests redundancy to mandatory portons so as to ncrease relablty of schedulers. Introducng ths concept, the necessty of addng error checkng bts s removed. It ncreases resource utlzaton by compromsng n the performablty. REFERENES []. L. Lu and J. W. Layland, Schedulng algorthms for multprogrammng n a hard-real-tme envronment, Journal of the AM, (), pp.47-6january 97. [] Leung J. and Merrll M., A note on preemptve schedulng of perodc realtme tasks, Informaton rocessng Letters, (): 5 8, 98. [] Dhall S.K., Schedulng perodc-tme crtcal obs on sngle processor and multprocessor computng systems, hd thess, nversty of Illnos, Aprl 977. [4] Sorenson.G., A methodology for real-tme system development, hd Thess, nversty of Toronto, anada, 974. [5] D. B. Stewart and. K. Khosla, Real-Tme Schedulng of Sensor-Based ontrol Systems, n Real-Tme rogrammng (W. Halang and K. Ramamrtham, eds.), Tarrytown, NY: ergamon ress, 99. [6] K.Ramamrtham,J.A. Stankovc,.Shah, Effcent schedulng algorthms for real tme multprocessor system, IEEE Transacton on parallel and dstrbuted system, ():pp Apr, 99. [7] J. Goossens, S. Funk, and S. K. Baruah, rorty-drven Schedulng of erodc Task Systems on Multprocessors. Real-Tme Systems, vol. 5, no. -,,, pp [8] T.. Baker, Multprocessor EDF and Deadlne Monotonc Schedulablty Analyss. n IEEE Real-Tme Systems Symposum (RTSS),, pp. 9. [9] K.J. Ln, S. Nataraan, and J. W. S. Lu, oncord, A dstrbuted system makng use of mprecse results n roc. of OMSA 87, Tokyo, Japan, 987. [] X. astllo, S.. Mconnel, and D.. Seworek. Dervaton and albraton of a Transent Error Relablty Model, IEEE Transactons on omputers,(7), July 98,pp [] H. Km, A.L.Whte, and K. G.Shn Relablty modelng of hard realtme systems, In roceedngs 8th Int. Symp. on Fault-Tolerant omputng (FTS-8),. IEEE omputer Socety ress, 998, pp 4. [] A. ampbell,. McDonald, and K. Ray. Sngle Event upset rates n space IEEE Transactons on Nuclear Scence, 9(6): December 99, pp [] Arshad Iqbal,Asa Zafar,Bushra Sddque, Dynamc Queue Deadlne frst schedulng algorthm for soft real-tme System,IEEE Internatonal onference on Emergng Technologes, sept. 7-8 Islamabad,5, pp [4] Radhakrshna Nak, Vvek Josh, R. R. Manthalkar, "IF Schedulng Algorthm for Improvng the Schedulablty, redctablty and Sustanablty of the Real Tme System," IETET-9,IEEE Second Internatonal onference on Emergng Trends n Engneerng & Technology, pp.998-, 9. [5] Radhakrshna Nak, R. R. Manthalkar, "Modfed IF Schedulng Algorthm for the Real Tme Systems," IETET-,IEEE thrd Internatonal onference on Emergng Trends n Engneerng & Technology, pp.7-76,. 66

Real-Time Systems. Multiprocessor scheduling. Multiprocessor scheduling. Multiprocessor scheduling

Real-Time Systems. Multiprocessor scheduling. Multiprocessor scheduling. Multiprocessor scheduling Real-Tme Systems Multprocessor schedulng Specfcaton Implementaton Verfcaton Multprocessor schedulng -- -- Global schedulng How are tasks assgned to processors? Statc assgnment The processor(s) used for

More information

Embedded Systems. 4. Aperiodic and Periodic Tasks

Embedded Systems. 4. Aperiodic and Periodic Tasks Embedded Systems 4. Aperodc and Perodc Tasks Lothar Thele 4-1 Contents of Course 1. Embedded Systems Introducton 2. Software Introducton 7. System Components 10. Models 3. Real-Tme Models 4. Perodc/Aperodc

More information

Last Time. Priority-based scheduling. Schedulable utilization Rate monotonic rule: Keep utilization below 69% Static priorities Dynamic priorities

Last Time. Priority-based scheduling. Schedulable utilization Rate monotonic rule: Keep utilization below 69% Static priorities Dynamic priorities Last Tme Prorty-based schedulng Statc prortes Dynamc prortes Schedulable utlzaton Rate monotonc rule: Keep utlzaton below 69% Today Response tme analyss Blockng terms Prorty nverson And solutons Release

More information

Improved Worst-Case Response-Time Calculations by Upper-Bound Conditions

Improved Worst-Case Response-Time Calculations by Upper-Bound Conditions Improved Worst-Case Response-Tme Calculatons by Upper-Bound Condtons Vctor Pollex, Steffen Kollmann, Karsten Albers and Frank Slomka Ulm Unversty Insttute of Embedded Systems/Real-Tme Systems {frstname.lastname}@un-ulm.de

More information

AN EXTENDIBLE APPROACH FOR ANALYSING FIXED PRIORITY HARD REAL-TIME TASKS

AN EXTENDIBLE APPROACH FOR ANALYSING FIXED PRIORITY HARD REAL-TIME TASKS AN EXENDIBLE APPROACH FOR ANALYSING FIXED PRIORIY HARD REAL-IME ASKS K. W. ndell 1 Department of Computer Scence, Unversty of York, England YO1 5DD ABSRAC As the real-tme computng ndustry moves away from

More information

Two Methods to Release a New Real-time Task

Two Methods to Release a New Real-time Task Two Methods to Release a New Real-tme Task Abstract Guangmng Qan 1, Xanghua Chen 2 College of Mathematcs and Computer Scence Hunan Normal Unversty Changsha, 410081, Chna qqyy@hunnu.edu.cn Gang Yao 3 Sebel

More information

COMPARISON OF SOME RELIABILITY CHARACTERISTICS BETWEEN REDUNDANT SYSTEMS REQUIRING SUPPORTING UNITS FOR THEIR OPERATIONS

COMPARISON OF SOME RELIABILITY CHARACTERISTICS BETWEEN REDUNDANT SYSTEMS REQUIRING SUPPORTING UNITS FOR THEIR OPERATIONS Avalable onlne at http://sck.org J. Math. Comput. Sc. 3 (3), No., 6-3 ISSN: 97-537 COMPARISON OF SOME RELIABILITY CHARACTERISTICS BETWEEN REDUNDANT SYSTEMS REQUIRING SUPPORTING UNITS FOR THEIR OPERATIONS

More information

Lecture 4: November 17, Part 1 Single Buffer Management

Lecture 4: November 17, Part 1 Single Buffer Management Lecturer: Ad Rosén Algorthms for the anagement of Networs Fall 2003-2004 Lecture 4: November 7, 2003 Scrbe: Guy Grebla Part Sngle Buffer anagement In the prevous lecture we taled about the Combned Input

More information

Real-Time Operating Systems M. 11. Real-Time: Periodic Task Scheduling

Real-Time Operating Systems M. 11. Real-Time: Periodic Task Scheduling Real-Tme Operatng Systems M 11. Real-Tme: Perodc Task Schedulng Notce The course materal ncludes sldes downloaded from:! http://codex.cs.yale.edu/av/os-book/! and! (sldes by Slberschatz, Galvn, and Gagne,

More information

Fixed-Priority Multiprocessor Scheduling with Liu & Layland s Utilization Bound

Fixed-Priority Multiprocessor Scheduling with Liu & Layland s Utilization Bound Fxed-Prorty Multprocessor Schedulng wth Lu & Layland s Utlzaton Bound Nan Guan, Martn Stgge, Wang Y and Ge Yu Department of Informaton Technology, Uppsala Unversty, Sweden Department of Computer Scence

More information

Quantifying the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling for Sporadic Tasksets with Arbitrary Deadlines

Quantifying the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling for Sporadic Tasksets with Arbitrary Deadlines Quantfyng the Sub-optmalty of Unprocessor Fxed Prorty Pre-emptve Schedulng for Sporadc Tasksets wth Arbtrary Deadlnes Robert Davs, Sanjoy Baruah, Thomas Rothvoss, Alan Burns To cte ths verson: Robert Davs,

More information

ECE559VV Project Report

ECE559VV Project Report ECE559VV Project Report (Supplementary Notes Loc Xuan Bu I. MAX SUM-RATE SCHEDULING: THE UPLINK CASE We have seen (n the presentaton that, for downlnk (broadcast channels, the strategy maxmzng the sum-rate

More information

Quantifying the Sub-optimality of Uniprocessor Fixed Priority Non-Pre-emptive Scheduling

Quantifying the Sub-optimality of Uniprocessor Fixed Priority Non-Pre-emptive Scheduling Quantfyng the Sub-optmalty of Unprocessor Fxed Prorty Non-Pre-emptve Schedulng Robert I Davs Real-Tme Systems Research Group, Department of Computer Scence, Unversty of York, York, UK robdavs@csyorkacuk

More information

Fixed-Priority Multiprocessor Scheduling with Liu & Layland s Utilization Bound

Fixed-Priority Multiprocessor Scheduling with Liu & Layland s Utilization Bound Fxed-Prorty Multprocessor Schedulng wth Lu & Layland s Utlzaton Bound Nan Guan, Martn Stgge, Wang Y and Ge Yu Department of Informaton Technology, Uppsala Unversty, Sweden Department of Computer Scence

More information

Scheduling Motivation

Scheduling Motivation 76 eal-me & Embedded Systems 7 Uwe. Zmmer - he Australan Natonal Unversty 78 Motvaton n eal-me Systems Concurrency may lead to non-determnsm. Non-determnsm may make t harder to predct the tmng behavour.

More information

The optimal delay of the second test is therefore approximately 210 hours earlier than =2.

The optimal delay of the second test is therefore approximately 210 hours earlier than =2. THE IEC 61508 FORMULAS 223 The optmal delay of the second test s therefore approxmately 210 hours earler than =2. 8.4 The IEC 61508 Formulas IEC 61508-6 provdes approxmaton formulas for the PF for smple

More information

Overhead-Aware Compositional Analysis of Real-Time Systems

Overhead-Aware Compositional Analysis of Real-Time Systems Overhead-Aware ompostonal Analyss of Real-Tme Systems Lnh T.X. Phan, Meng Xu, Jaewoo Lee, nsup Lee, Oleg Sokolsky PRESE enter Department of omputer and nformaton Scence Unversty of Pennsylvana ompostonal

More information

Limited Preemptive Scheduling for Real-Time Systems: a Survey

Limited Preemptive Scheduling for Real-Time Systems: a Survey Lmted Preemptve Schedulng for Real-Tme Systems: a Survey Gorgo C. Buttazzo, Fellow Member, IEEE, Marko Bertogna, Senor Member, IEEE, and Gang Yao Abstract The queston whether preemptve algorthms are better

More information

Improving the Sensitivity of Deadlines with a Specific Asynchronous Scenario for Harmonic Periodic Tasks scheduled by FP

Improving the Sensitivity of Deadlines with a Specific Asynchronous Scenario for Harmonic Periodic Tasks scheduled by FP Improvng the Senstvty of Deadlnes wth a Specfc Asynchronous Scenaro for Harmonc Perodc Tasks scheduled by FP P. Meumeu Yoms, Y. Sorel, D. de Rauglaudre AOSTE Project-team INRIA Pars-Rocquencourt Le Chesnay,

More information

Resource Allocation with a Budget Constraint for Computing Independent Tasks in the Cloud

Resource Allocation with a Budget Constraint for Computing Independent Tasks in the Cloud Resource Allocaton wth a Budget Constrant for Computng Independent Tasks n the Cloud Wemng Sh and Bo Hong School of Electrcal and Computer Engneerng Georga Insttute of Technology, USA 2nd IEEE Internatonal

More information

Resource Sharing. CSCE 990: Real-Time Systems. Steve Goddard. Resources & Resource Access Control (Chapter 8 of Liu)

Resource Sharing. CSCE 990: Real-Time Systems. Steve Goddard. Resources & Resource Access Control (Chapter 8 of Liu) CSCE 990: Real-Tme Systems Resource Sharng Steve Goddard goddard@cse.unl.edu http://www.cse.unl.edu/~goddard/courses/realtmesystems Resources & Resource Access Control (Chapter 8 of Lu) Real-Tme Systems

More information

Chapter - 2. Distribution System Power Flow Analysis

Chapter - 2. Distribution System Power Flow Analysis Chapter - 2 Dstrbuton System Power Flow Analyss CHAPTER - 2 Radal Dstrbuton System Load Flow 2.1 Introducton Load flow s an mportant tool [66] for analyzng electrcal power system network performance. Load

More information

Parallel Real-Time Scheduling of DAGs

Parallel Real-Time Scheduling of DAGs Washngton Unversty n St. Lous Washngton Unversty Open Scholarshp All Computer Scence and Engneerng Research Computer Scence and Engneerng Report Number: WUCSE-013-5 013 Parallel Real-Tme Schedulng of DAGs

More information

Global EDF Scheduling for Parallel Real-Time Tasks

Global EDF Scheduling for Parallel Real-Time Tasks Washngton Unversty n St. Lous Washngton Unversty Open Scholarshp Engneerng and Appled Scence Theses & Dssertatons Engneerng and Appled Scence Sprng 5-15-2014 Global EDF Schedulng for Parallel Real-Tme

More information

Clock-Driven Scheduling (in-depth) Cyclic Schedules: General Structure

Clock-Driven Scheduling (in-depth) Cyclic Schedules: General Structure CPSC-663: Real-me Systems n-depth Precompute statc schedule o-lne e.g. at desgn tme: can aord expensve algorthms. Idle tmes can be used or aperodc jobs. Possble mplementaton: able-drven Schedulng table

More information

EEL 6266 Power System Operation and Control. Chapter 3 Economic Dispatch Using Dynamic Programming

EEL 6266 Power System Operation and Control. Chapter 3 Economic Dispatch Using Dynamic Programming EEL 6266 Power System Operaton and Control Chapter 3 Economc Dspatch Usng Dynamc Programmng Pecewse Lnear Cost Functons Common practce many utltes prefer to represent ther generator cost functons as sngle-

More information

Module 9. Lecture 6. Duality in Assignment Problems

Module 9. Lecture 6. Duality in Assignment Problems Module 9 1 Lecture 6 Dualty n Assgnment Problems In ths lecture we attempt to answer few other mportant questons posed n earler lecture for (AP) and see how some of them can be explaned through the concept

More information

Minimisation of the Average Response Time in a Cluster of Servers

Minimisation of the Average Response Time in a Cluster of Servers Mnmsaton of the Average Response Tme n a Cluster of Servers Valery Naumov Abstract: In ths paper, we consder task assgnment problem n a cluster of servers. We show that optmal statc task assgnment s tantamount

More information

On the Scheduling of Mixed-Criticality Real-Time Task Sets

On the Scheduling of Mixed-Criticality Real-Time Task Sets On the Schedulng of Mxed-Crtcalty Real-Tme Task Sets Donso de Nz, Karthk Lakshmanan, and Ragunathan (Raj) Rajkumar Carnege Mellon Unversty, Pttsburgh, PA - 15232 Abstract The functonal consoldaton nduced

More information

Structure and Drive Paul A. Jensen Copyright July 20, 2003

Structure and Drive Paul A. Jensen Copyright July 20, 2003 Structure and Drve Paul A. Jensen Copyrght July 20, 2003 A system s made up of several operatons wth flow passng between them. The structure of the system descrbes the flow paths from nputs to outputs.

More information

Efficient Feasibility Analysis for Real-Time Systems with EDF scheduling*

Efficient Feasibility Analysis for Real-Time Systems with EDF scheduling* Effcent Feasblty Analyss for Real-Tme Systems wth EF schedulng* Karsten Albers, Frank Slomka epartment of omputer Scence Unversty of Oldenburg Ammerländer Heerstraße 114-118 26111 Oldenburg, Germany {albers,

More information

An Admission Control Algorithm in Cloud Computing Systems

An Admission Control Algorithm in Cloud Computing Systems An Admsson Control Algorthm n Cloud Computng Systems Authors: Frank Yeong-Sung Ln Department of Informaton Management Natonal Tawan Unversty Tape, Tawan, R.O.C. ysln@m.ntu.edu.tw Yngje Lan Management Scence

More information

Computer Control: Task Synchronisation in Dynamic Priority Scheduling

Computer Control: Task Synchronisation in Dynamic Priority Scheduling Computer Control: Task Synchronsaton n Dynamc Prorty Schedulng Sérgo Adrano Fernandes Lopes Department of Industral Electroncs Engneerng School Unversty of Mnho Campus de Azurém 4800 Gumarães - PORTUGAL

More information

Two-Phase Low-Energy N-Modular Redundancy for Hard Real-Time Multi-Core Systems

Two-Phase Low-Energy N-Modular Redundancy for Hard Real-Time Multi-Core Systems 1 Two-Phase Low-Energy N-Modular Redundancy for Hard Real-Tme Mult-Core Systems Mohammad Saleh, Alreza Ejlal, and Bashr M. Al-Hashm, Fellow, IEEE Abstract Ths paper proposes an N-modular redundancy (NMR)

More information

CHAPTER IV RESEARCH FINDING AND ANALYSIS

CHAPTER IV RESEARCH FINDING AND ANALYSIS CHAPTER IV REEARCH FINDING AND ANALYI A. Descrpton of Research Fndngs To fnd out the dfference between the students who were taught by usng Mme Game and the students who were not taught by usng Mme Game

More information

EDF Scheduling for Identical Multiprocessor Systems

EDF Scheduling for Identical Multiprocessor Systems EDF Schedulng for dentcal Multprocessor Systems Maro Bertogna Unversty of Modena, taly As Moore s law goes on Number of transstor/chp doubles every 18 to 24 mm heatng becomes a problem Power densty (W/cm

More information

College of Computer & Information Science Fall 2009 Northeastern University 20 October 2009

College of Computer & Information Science Fall 2009 Northeastern University 20 October 2009 College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:

More information

Improving the Quality of Control of Periodic Tasks Scheduled by FP with an Asynchronous Approach

Improving the Quality of Control of Periodic Tasks Scheduled by FP with an Asynchronous Approach Improvng the Qualty of Control of Perodc Tasks Scheduled by FP wth an Asynchronous Approach P. Meumeu Yoms, L. George, Y. Sorel, D. de Rauglaudre AOSTE Project-team INRIA Pars-Rocquencourt Le Chesnay,

More information

Using non-preemptive regions and path modification to improve schedulability of real-time traffic over priority-based NoCs

Using non-preemptive regions and path modification to improve schedulability of real-time traffic over priority-based NoCs Real-Tme Syst (2017) 53:886 915 DOI 10.1007/s11241-017-9276-5 Usng non-preemptve regons and path modfcaton to mprove schedulablty of real-tme traffc over prorty-based NoCs Meng Lu 1 Matthas Becker 1 Mors

More information

Module 3 LOSSY IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur

Module 3 LOSSY IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur Module 3 LOSSY IMAGE COMPRESSION SYSTEMS Verson ECE IIT, Kharagpur Lesson 6 Theory of Quantzaton Verson ECE IIT, Kharagpur Instructonal Objectves At the end of ths lesson, the students should be able to:

More information

Keynote: RTNS Getting ones priorities right

Keynote: RTNS Getting ones priorities right Keynote: RTNS 2012 Gettng ones prortes rght Robert Davs Real-Tme Systems Research Group, Unversty of York rob.davs@york.ac.uk What s ths talk about? Fxed Prorty schedulng n all ts guses Pre-emptve, non-pre-emptve,

More information

Procrastination Scheduling for Fixed-Priority Tasks with Preemption Thresholds

Procrastination Scheduling for Fixed-Priority Tasks with Preemption Thresholds Procrastnaton Schedulng for Fxed-Prorty Tasks wth Preempton Thresholds XaoChuan He, Yan Ja Insttute of Network Technology and Informaton Securty School of Computer Scence Natonal Unversty of Defense Technology

More information

Real-Time Scheduling of Parallel Tasks under a General DAG Model

Real-Time Scheduling of Parallel Tasks under a General DAG Model Washngton Unversty n St. Lous Washngton Unversty Open Scholarshp All Computer Scence and Engneerng Research Computer Scence and Engneerng Report Number: WUCSE-01-14 01 Real-Tme Schedulng of Parallel Tasks

More information

Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling

Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling 2012 IEEE 26th Internatonal Parallel and Dstrbuted Processng Symposum Parametrc Utlzaton Bounds for Fxed-Prorty Multprocessor Schedulng Nan Guan 1,2, Martn Stgge 1, Wang Y 1,2 and Ge Yu 2 1 Uppsala Unversty,

More information

Partitioned Mixed-Criticality Scheduling on Multiprocessor Platforms

Partitioned Mixed-Criticality Scheduling on Multiprocessor Platforms Parttoned Mxed-Crtcalty Schedulng on Multprocessor Platforms Chuanca Gu 1, Nan Guan 1,2, Qngxu Deng 1 and Wang Y 1,2 1 Northeastern Unversty, Chna 2 Uppsala Unversty, Sweden Abstract Schedulng mxed-crtcalty

More information

Energy-Efficient Scheduling Fixed-Priority tasks with Preemption Thresholds on Variable Voltage Processors

Energy-Efficient Scheduling Fixed-Priority tasks with Preemption Thresholds on Variable Voltage Processors Energy-Effcent Schedulng Fxed-Prorty tasks wth Preempton Thresholds on Varable Voltage Processors XaoChuan He, Yan Ja Insttute of Network Technology and Informaton Securty School of Computer Scence Natonal

More information

Resource Reservation for Mixed Criticality Systems

Resource Reservation for Mixed Criticality Systems Resource Reservaton for Mxed Crtcalty Systems Guseppe Lpar 1, Gorgo C. Buttazzo 2 1 LSV, ENS - Cachan, France 2 Scuola Superore Sant Anna, Italy Abstract. Ths paper presents a reservaton-based approach

More information

Queueing Networks II Network Performance

Queueing Networks II Network Performance Queueng Networks II Network Performance Davd Tpper Assocate Professor Graduate Telecommuncatons and Networkng Program Unversty of Pttsburgh Sldes 6 Networks of Queues Many communcaton systems must be modeled

More information

Outline. Communication. Bellman Ford Algorithm. Bellman Ford Example. Bellman Ford Shortest Path [1]

Outline. Communication. Bellman Ford Algorithm. Bellman Ford Example. Bellman Ford Shortest Path [1] DYNAMIC SHORTEST PATH SEARCH AND SYNCHRONIZED TASK SWITCHING Jay Wagenpfel, Adran Trachte 2 Outlne Shortest Communcaton Path Searchng Bellmann Ford algorthm Algorthm for dynamc case Modfcatons to our algorthm

More information

A Hybrid Variational Iteration Method for Blasius Equation

A Hybrid Variational Iteration Method for Blasius Equation Avalable at http://pvamu.edu/aam Appl. Appl. Math. ISSN: 1932-9466 Vol. 10, Issue 1 (June 2015), pp. 223-229 Applcatons and Appled Mathematcs: An Internatonal Journal (AAM) A Hybrd Varatonal Iteraton Method

More information

Single-Facility Scheduling over Long Time Horizons by Logic-based Benders Decomposition

Single-Facility Scheduling over Long Time Horizons by Logic-based Benders Decomposition Sngle-Faclty Schedulng over Long Tme Horzons by Logc-based Benders Decomposton Elvn Coban and J. N. Hooker Tepper School of Busness, Carnege Mellon Unversty ecoban@andrew.cmu.edu, john@hooker.tepper.cmu.edu

More information

Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks

Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks 1 Utlzaton-Based Schedulng of Flexble Mxed-Crtcalty Real-Tme Tasks Gang Chen, Nan Guan, D Lu, Qngqang He, Ka Huang, Todor Stefanov, Wang Y arxv:1711.00100v1 [cs.dc] 29 Sep 2017 Abstract Mxed-crtcalty models

More information

Introduction to Vapor/Liquid Equilibrium, part 2. Raoult s Law:

Introduction to Vapor/Liquid Equilibrium, part 2. Raoult s Law: CE304, Sprng 2004 Lecture 4 Introducton to Vapor/Lqud Equlbrum, part 2 Raoult s Law: The smplest model that allows us do VLE calculatons s obtaned when we assume that the vapor phase s an deal gas, and

More information

1 Derivation of Rate Equations from Single-Cell Conductance (Hodgkin-Huxley-like) Equations

1 Derivation of Rate Equations from Single-Cell Conductance (Hodgkin-Huxley-like) Equations Physcs 171/271 -Davd Klenfeld - Fall 2005 (revsed Wnter 2011) 1 Dervaton of Rate Equatons from Sngle-Cell Conductance (Hodgkn-Huxley-lke) Equatons We consder a network of many neurons, each of whch obeys

More information

Simultaneous Optimization of Berth Allocation, Quay Crane Assignment and Quay Crane Scheduling Problems in Container Terminals

Simultaneous Optimization of Berth Allocation, Quay Crane Assignment and Quay Crane Scheduling Problems in Container Terminals Smultaneous Optmzaton of Berth Allocaton, Quay Crane Assgnment and Quay Crane Schedulng Problems n Contaner Termnals Necat Aras, Yavuz Türkoğulları, Z. Caner Taşkın, Kuban Altınel Abstract In ths work,

More information

Department of Electrical & Electronic Engineeing Imperial College London. E4.20 Digital IC Design. Median Filter Project Specification

Department of Electrical & Electronic Engineeing Imperial College London. E4.20 Digital IC Design. Median Filter Project Specification Desgn Project Specfcaton Medan Flter Department of Electrcal & Electronc Engneeng Imperal College London E4.20 Dgtal IC Desgn Medan Flter Project Specfcaton A medan flter s used to remove nose from a sampled

More information

Hongyi Miao, College of Science, Nanjing Forestry University, Nanjing ,China. (Received 20 June 2013, accepted 11 March 2014) I)ϕ (k)

Hongyi Miao, College of Science, Nanjing Forestry University, Nanjing ,China. (Received 20 June 2013, accepted 11 March 2014) I)ϕ (k) ISSN 1749-3889 (prnt), 1749-3897 (onlne) Internatonal Journal of Nonlnear Scence Vol.17(2014) No.2,pp.188-192 Modfed Block Jacob-Davdson Method for Solvng Large Sparse Egenproblems Hongy Mao, College of

More information

Kernel Methods and SVMs Extension

Kernel Methods and SVMs Extension Kernel Methods and SVMs Extenson The purpose of ths document s to revew materal covered n Machne Learnng 1 Supervsed Learnng regardng support vector machnes (SVMs). Ths document also provdes a general

More information

9 Derivation of Rate Equations from Single-Cell Conductance (Hodgkin-Huxley-like) Equations

9 Derivation of Rate Equations from Single-Cell Conductance (Hodgkin-Huxley-like) Equations Physcs 171/271 - Chapter 9R -Davd Klenfeld - Fall 2005 9 Dervaton of Rate Equatons from Sngle-Cell Conductance (Hodgkn-Huxley-lke) Equatons We consder a network of many neurons, each of whch obeys a set

More information

Resource-Efficient Scheduling Of Multiprocessor Mixed-Criticality Real-Time Systems

Resource-Efficient Scheduling Of Multiprocessor Mixed-Criticality Real-Time Systems Unversty of Pennsylvana ScholarlyCommons Publcly Accessble Penn Dssertatons 2017 Resource-Effcent Schedulng Of Multprocessor Mxed-Crtcalty Real-Tme Systems Jaewoo Lee Unversty of Pennsylvana, jaewoo@cs.upenn.edu

More information

A Simple Inventory System

A Simple Inventory System A Smple Inventory System Lawrence M. Leems and Stephen K. Park, Dscrete-Event Smulaton: A Frst Course, Prentce Hall, 2006 Hu Chen Computer Scence Vrgna State Unversty Petersburg, Vrgna February 8, 2017

More information

CONTRAST ENHANCEMENT FOR MIMIMUM MEAN BRIGHTNESS ERROR FROM HISTOGRAM PARTITIONING INTRODUCTION

CONTRAST ENHANCEMENT FOR MIMIMUM MEAN BRIGHTNESS ERROR FROM HISTOGRAM PARTITIONING INTRODUCTION CONTRAST ENHANCEMENT FOR MIMIMUM MEAN BRIGHTNESS ERROR FROM HISTOGRAM PARTITIONING N. Phanthuna 1,2, F. Cheevasuvt 2 and S. Chtwong 2 1 Department of Electrcal Engneerng, Faculty of Engneerng Rajamangala

More information

Appendix B: Resampling Algorithms

Appendix B: Resampling Algorithms 407 Appendx B: Resamplng Algorthms A common problem of all partcle flters s the degeneracy of weghts, whch conssts of the unbounded ncrease of the varance of the mportance weghts ω [ ] of the partcles

More information

Problem Set 9 Solutions

Problem Set 9 Solutions Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem

More information

Chronically Evaluated Highest Instantaneous Priority Next: A Novel Algorithm for Processor Scheduling

Chronically Evaluated Highest Instantaneous Priority Next: A Novel Algorithm for Processor Scheduling Journal of Computer and Communcatons, 2016, 4, 146-159 Publshed Onlne Aprl 2016 n ScRes. http://www.scrp.org/journal/jcc http://dx.do.org/10.4236/jcc.2016.44013 Chroncally Evaluated Hghest Instantaneous

More information

Handling Overload (G. Buttazzo, Hard Real-Time Systems, Ch. 9) Causes for Overload

Handling Overload (G. Buttazzo, Hard Real-Time Systems, Ch. 9) Causes for Overload PS-663: Real-Te Systes Handlng Overloads Handlng Overload (G Buttazzo, Hard Real-Te Systes, h 9) auses for Overload Bad syste desgn eg poor estaton of worst-case executon tes Sultaneous arrval of unexpected

More information

Partitioned Scheduling of Multi-Modal Mixed- Criticality Real-Time Systems on Multiprocessor Platforms

Partitioned Scheduling of Multi-Modal Mixed- Criticality Real-Time Systems on Multiprocessor Platforms Unversty of Pennsylvana ScholarlyCommons Departmental Papers (CIS) Department of Computer & Informaton Scence 4-2014 Parttoned Schedulng of Mult-Modal Mxed- Crtcalty Real-Tme Systems on Multprocessor Platforms

More information

The Schedulability Region of Two-Level Mixed-Criticality Systems based on EDF-VD

The Schedulability Region of Two-Level Mixed-Criticality Systems based on EDF-VD The Schedulablty Regon of Two-Level Mxed-Crtcalty Systems based on EDF-VD Drk Müller and Alejandro Masrur Department of Computer Scence TU Chemntz, Germany Abstract The algorthm Earlest Deadlne Frst wth

More information

Energy-Efficient Primary/Backup Scheduling Techniques for Heterogeneous Multicore Systems

Energy-Efficient Primary/Backup Scheduling Techniques for Heterogeneous Multicore Systems Energy-Effcent Prmary/Backup Schedulng Technques for Heterogeneous Multcore Systems Abhshek Roy, Hakan Aydn epartment of Computer Scence George Mason Unversty Farfax, Vrgna 22030 aroy6@gmu.edu, aydn@cs.gmu.edu

More information

Annexes. EC.1. Cycle-base move illustration. EC.2. Problem Instances

Annexes. EC.1. Cycle-base move illustration. EC.2. Problem Instances ec Annexes Ths Annex frst llustrates a cycle-based move n the dynamc-block generaton tabu search. It then dsplays the characterstcs of the nstance sets, followed by detaled results of the parametercalbraton

More information

Design and Optimization of Fuzzy Controller for Inverse Pendulum System Using Genetic Algorithm

Design and Optimization of Fuzzy Controller for Inverse Pendulum System Using Genetic Algorithm Desgn and Optmzaton of Fuzzy Controller for Inverse Pendulum System Usng Genetc Algorthm H. Mehraban A. Ashoor Unversty of Tehran Unversty of Tehran h.mehraban@ece.ut.ac.r a.ashoor@ece.ut.ac.r Abstract:

More information

Critical sections. Using semaphores. Using semaphores. Using semaphores. How long is blocking time? 17/10/2016. Problems caused by mutual exclusion

Critical sections. Using semaphores. Using semaphores. Using semaphores. How long is blocking time? 17/10/2016. Problems caused by mutual exclusion rtcal sectons Problems caused by mutual excluson crtcal secton wat(s) x = ; y = 5; sgnal(s) wrte global memory buffer nt x; nt y; read wat(s) a = x+; b = y+; c = x+y; crtcal secton sgnal(s) Usng semaphores

More information

Chapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems

Chapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems Numercal Analyss by Dr. Anta Pal Assstant Professor Department of Mathematcs Natonal Insttute of Technology Durgapur Durgapur-713209 emal: anta.bue@gmal.com 1 . Chapter 5 Soluton of System of Lnear Equatons

More information

Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption

Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption Real-Tme Syst (2009) 42: 63 119 DOI 10.1007/s11241-009-9071-z Worst-case response tme analyss of real-tme tasks under fxed-prorty schedulng wth deferred preempton Render J. Brl Johan J. Lukken Wm F.J.

More information

VQ widely used in coding speech, image, and video

VQ widely used in coding speech, image, and video at Scalar quantzers are specal cases of vector quantzers (VQ): they are constraned to look at one sample at a tme (memoryless) VQ does not have such constrant better RD perfomance expected Source codng

More information

A FAST HEURISTIC FOR TASKS ASSIGNMENT IN MANYCORE SYSTEMS WITH VOLTAGE-FREQUENCY ISLANDS

A FAST HEURISTIC FOR TASKS ASSIGNMENT IN MANYCORE SYSTEMS WITH VOLTAGE-FREQUENCY ISLANDS Shervn Haamn A FAST HEURISTIC FOR TASKS ASSIGNMENT IN MANYCORE SYSTEMS WITH VOLTAGE-FREQUENCY ISLANDS INTRODUCTION Increasng computatons n applcatons has led to faster processng. o Use more cores n a chp

More information

Analysis of Queuing Delay in Multimedia Gateway Call Routing

Analysis of Queuing Delay in Multimedia Gateway Call Routing Analyss of Queung Delay n Multmeda ateway Call Routng Qwe Huang UTtarcom Inc, 33 Wood Ave. outh Iseln, NJ 08830, U..A Errol Lloyd Computer Informaton cences Department, Unv. of Delaware, Newark, DE 976,

More information

CHAPTER 5 NUMERICAL EVALUATION OF DYNAMIC RESPONSE

CHAPTER 5 NUMERICAL EVALUATION OF DYNAMIC RESPONSE CHAPTER 5 NUMERICAL EVALUATION OF DYNAMIC RESPONSE Analytcal soluton s usually not possble when exctaton vares arbtrarly wth tme or f the system s nonlnear. Such problems can be solved by numercal tmesteppng

More information

Chapter 13: Multiple Regression

Chapter 13: Multiple Regression Chapter 13: Multple Regresson 13.1 Developng the multple-regresson Model The general model can be descrbed as: It smplfes for two ndependent varables: The sample ft parameter b 0, b 1, and b are used to

More information

CHAPTER IV RESEARCH FINDING AND DISCUSSIONS

CHAPTER IV RESEARCH FINDING AND DISCUSSIONS CHAPTER IV RESEARCH FINDING AND DISCUSSIONS A. Descrpton of Research Fndng. The Implementaton of Learnng Havng ganed the whole needed data, the researcher then dd analyss whch refers to the statstcal data

More information

A Novel Feistel Cipher Involving a Bunch of Keys supplemented with Modular Arithmetic Addition

A Novel Feistel Cipher Involving a Bunch of Keys supplemented with Modular Arithmetic Addition (IJACSA) Internatonal Journal of Advanced Computer Scence Applcatons, A Novel Festel Cpher Involvng a Bunch of Keys supplemented wth Modular Arthmetc Addton Dr. V.U.K Sastry Dean R&D, Department of Computer

More information

Minimizing Energy Consumption of MPI Programs in Realistic Environment

Minimizing Energy Consumption of MPI Programs in Realistic Environment Mnmzng Energy Consumpton of MPI Programs n Realstc Envronment Amna Guermouche, Ncolas Trquenaux, Benoît Pradelle and Wllam Jalby Unversté de Versalles Sant-Quentn-en-Yvelnes arxv:1502.06733v2 [cs.dc] 25

More information

System in Weibull Distribution

System in Weibull Distribution Internatonal Matheatcal Foru 4 9 no. 9 94-95 Relablty Equvalence Factors of a Seres-Parallel Syste n Webull Dstrbuton M. A. El-Dacese Matheatcs Departent Faculty of Scence Tanta Unversty Tanta Egypt eldacese@yahoo.co

More information

Optimal Scheduling Algorithms to Minimize Total Flowtime on a Two-Machine Permutation Flowshop with Limited Waiting Times and Ready Times of Jobs

Optimal Scheduling Algorithms to Minimize Total Flowtime on a Two-Machine Permutation Flowshop with Limited Waiting Times and Ready Times of Jobs Optmal Schedulng Algorthms to Mnmze Total Flowtme on a Two-Machne Permutaton Flowshop wth Lmted Watng Tmes and Ready Tmes of Jobs Seong-Woo Cho Dept. Of Busness Admnstraton, Kyongg Unversty, Suwon-s, 443-760,

More information

For now, let us focus on a specific model of neurons. These are simplified from reality but can achieve remarkable results.

For now, let us focus on a specific model of neurons. These are simplified from reality but can achieve remarkable results. Neural Networks : Dervaton compled by Alvn Wan from Professor Jtendra Malk s lecture Ths type of computaton s called deep learnng and s the most popular method for many problems, such as computer vson

More information

Optimal Static Partition Configuration in ARINC653 System

Optimal Static Partition Configuration in ARINC653 System JOURNAL OF ELECTRONIC SCIENCE AND TECHNOLOGY, VOL. 9, NO. 4, DECEMBER 7 Optmal Statc rtton Confguraton n ARINC6 System Sheng-Ln Gu, Le Luo, Sen-Sen Tang, and Yang Meng Abstract ARINC6 systems, whch have

More information

Chapter Newton s Method

Chapter Newton s Method Chapter 9. Newton s Method After readng ths chapter, you should be able to:. Understand how Newton s method s dfferent from the Golden Secton Search method. Understand how Newton s method works 3. Solve

More information

Markov Chain Monte Carlo Lecture 6

Markov Chain Monte Carlo Lecture 6 where (x 1,..., x N ) X N, N s called the populaton sze, f(x) f (x) for at least one {1, 2,..., N}, and those dfferent from f(x) are called the tral dstrbutons n terms of mportance samplng. Dfferent ways

More information

Pop-Click Noise Detection Using Inter-Frame Correlation for Improved Portable Auditory Sensing

Pop-Click Noise Detection Using Inter-Frame Correlation for Improved Portable Auditory Sensing Advanced Scence and Technology Letters, pp.164-168 http://dx.do.org/10.14257/astl.2013 Pop-Clc Nose Detecton Usng Inter-Frame Correlaton for Improved Portable Audtory Sensng Dong Yun Lee, Kwang Myung Jeon,

More information

A LINEAR PROGRAM TO COMPARE MULTIPLE GROSS CREDIT LOSS FORECASTS. Dr. Derald E. Wentzien, Wesley College, (302) ,

A LINEAR PROGRAM TO COMPARE MULTIPLE GROSS CREDIT LOSS FORECASTS. Dr. Derald E. Wentzien, Wesley College, (302) , A LINEAR PROGRAM TO COMPARE MULTIPLE GROSS CREDIT LOSS FORECASTS Dr. Derald E. Wentzen, Wesley College, (302) 736-2574, wentzde@wesley.edu ABSTRACT A lnear programmng model s developed and used to compare

More information

The Minimum Universal Cost Flow in an Infeasible Flow Network

The Minimum Universal Cost Flow in an Infeasible Flow Network Journal of Scences, Islamc Republc of Iran 17(2): 175-180 (2006) Unversty of Tehran, ISSN 1016-1104 http://jscencesutacr The Mnmum Unversal Cost Flow n an Infeasble Flow Network H Saleh Fathabad * M Bagheran

More information

8 Derivation of Network Rate Equations from Single- Cell Conductance Equations

8 Derivation of Network Rate Equations from Single- Cell Conductance Equations Physcs 178/278 - Davd Klenfeld - Wnter 2015 8 Dervaton of Network Rate Equatons from Sngle- Cell Conductance Equatons We consder a network of many neurons, each of whch obeys a set of conductancebased,

More information

TOPICS MULTIPLIERLESS FILTER DESIGN ELEMENTARY SCHOOL ALGORITHM MULTIPLICATION

TOPICS MULTIPLIERLESS FILTER DESIGN ELEMENTARY SCHOOL ALGORITHM MULTIPLICATION 1 2 MULTIPLIERLESS FILTER DESIGN Realzaton of flters wthout full-fledged multplers Some sldes based on support materal by W. Wolf for hs book Modern VLSI Desgn, 3 rd edton. Partly based on followng papers:

More information

Partitioned EDF Scheduling in Multicore systems with Quality of Service constraints

Partitioned EDF Scheduling in Multicore systems with Quality of Service constraints Parttoned EDF Schedulng n Multcore systems wth Qualty of Servce constrants Nadne Abdallah, Audrey Queudet, Marylne Chetto, Rafc Hage Chehade To cte ths verson: Nadne Abdallah, Audrey Queudet, Marylne Chetto,

More information

Partitioned Scheduling of Multi-Modal Mixed-Criticality Real-Time Systems on Multiprocessor Platforms

Partitioned Scheduling of Multi-Modal Mixed-Criticality Real-Time Systems on Multiprocessor Platforms Parttoned Schedulng of Mult-Modal Mxed-Crtcalty Real-Tme Systems on Multprocessor Platforms Donso de Nz SEI, Carnege Mellon Unversty Lnh T.X. Phan Unversty of Pennsylvana Abstract Real-tme systems are

More information

Improvements in the configuration of Posix b scheduling

Improvements in the configuration of Posix b scheduling Improvements n the confguraton of Posx 1003.1b schedulng Matheu Grener, Ncolas Navet To cte ths verson: Matheu Grener, Ncolas Navet. Improvements n the confguraton of Posx 1003.1b schedulng. Ncolas Navet

More information

Mixed-Criticality Scheduling with I/O

Mixed-Criticality Scheduling with I/O Mxed-Crtcalty Schedulng wth I/O Erc Mssmer, Katherne Mssmer and Rchard West Computer Scence Department Boston Unversty Boston, USA Emal: mssmer,kzhao,rchwest}@cs.bu.edu Abstract Ths paper addresses the

More information

Offline Equivalence: A Non-Preemptive Scheduling Technique for Resource-Constrained Embedded Real-Time Systems

Offline Equivalence: A Non-Preemptive Scheduling Technique for Resource-Constrained Embedded Real-Time Systems Offlne Equvalence: A Non-Preemptve Schedulng Technque for Resource-Constraned Embedded Real-Tme Systems Mtra Nasr Björn B. Brandenburg Max Planck Insttute for Software Systems (MPI-SWS) Abstract We consder

More information

Parametric fractional imputation for missing data analysis. Jae Kwang Kim Survey Working Group Seminar March 29, 2010

Parametric fractional imputation for missing data analysis. Jae Kwang Kim Survey Working Group Seminar March 29, 2010 Parametrc fractonal mputaton for mssng data analyss Jae Kwang Km Survey Workng Group Semnar March 29, 2010 1 Outlne Introducton Proposed method Fractonal mputaton Approxmaton Varance estmaton Multple mputaton

More information

A Chaotic Neural Network Model of Insightful Problem Solving and the Generation Process of Constraints

A Chaotic Neural Network Model of Insightful Problem Solving and the Generation Process of Constraints A Chaotc Neural Networ Model of Insghtful Problem Solvng and the Generaton Process of Constrants Yuchro Wajma (wajma@nm.hum.ttech.ac.jp) Kega Abe (abe@nm.hum.ttech.ac.jp) Masanor Naagawa (naagawa@nm.hum.ttech.ac.jp)

More information