arxiv: v1 [cs.ds] 30 Apr 2016

Transcription

1 Auomaic Parameer Derivaions in k2u Framework Jian-Jia Chen and Wen-Hung Huang Deparmen of Informaics TU Dormund Universiy, Germany Cong Liu Deparmen of Compuer Science The Universiy of Texas a Dallas arxiv: v1 [cs.ds] 30 Apr 2016 Absrac We have recenly developed a general schedulabiliy es framework, called k 2 U, which can be applied o deal wih a large variey of ask models ha have been widely sudied in real-ime embedded sysems. The k 2 U framework provides several means for he users o conver arbirary schedulabiliy ess (regardless of plaforms and ask models) ino polynomial-ime ess wih closed mahemaical expressions. However, he applicabiliy (as well as he performance) of he k 2 U framework relies on he users o index he asks properly and define cerain consan parameers. This repor describes how o auomaically index he asks properly and derive hose parameers. We will cover several ypical schedulabiliy ess in real-ime sysems o explain how o sysemaically and auomaically derive hose parameers required by he k 2 U framework. This auomaion significanly empowers he k 2 U framework o handle a wide range of classes of real-ime execuion plaforms and ask models, including uniprocessor scheduling, muliprocessor scheduling, self-suspending ask sysems, real-ime asks wih arrival jier, services and virualizaions wih bounded delays, ec. 1 Inroducion To analyze he wors-case response ime or o ensure he imeliness of he sysem, for each of individual ask and plaform models, researchers end o develop dedicaed echniques ha resul in schedulabiliy ess wih differen ime/space complexiy and accuracy of he analysis. A very widely adoped case is he schedulabiliy es of a (consrained-deadline) sporadic real-ime ask τ k under fixed-prioriy scheduling in uniprocessor sysems, in which he ime-demand analysis (TDA) developed in [5] can be adoped. Tha is, if wih 0 < D k and C k + C i, (1) hen askτ k is schedulable under he fixed-prioriy scheduling algorihm, where hp(τ k ) is he se of asks wih higher prioriy hanτ k,d i, C i, and represenτ i s relaive deadline, wors-case execuion ime, and period, respecively. TDA requires pseudo-polynomial-ime complexiy o check he ime poins ha lie in(0,d k ] for Eq. (1). The uilizaion U i of a sporadic ask τ i is defined asc i /. However, i is no always necessary o es all possible ime poins o derive a safe wors-case response ime or o provide sufficien schedulabiliy ess. The general and key concep o obain sufficien schedulabiliy ess in k 2 U in [3] and k 2 Q in [2] is o es only a subse of such poins for verifying he schedulabiliy. Tradiional fixedprioriy schedulabiliy ess ofen have pseudo-polynomialime (or even higher) complexiy. The idea implemened in he k 2 U and k 2 Q frameworks is o provide a general k- poin schedulabiliy es, which only needs o es k poins under any fixed-prioriy scheduling when checking schedulabiliy of he ask wih he k h highes prioriy in he sysem. Suppose ha here are k 1 higher prioriy asks, indexed as τ 1,τ 2,...,τ, han ask τ k. The success of he k 2 U framework is based on ak-poin effecive schedulabiliy es, defined as follows: Definiion 1 (Chen e al. [3]). A k-poin effecive schedulabiliy es is a sufficien schedulabiliy es of a fixedprioriy scheduling policy, ha verifies he exisence of j { 1, 2,... k } wih 0 < 1 2 k such ha C k + α i i U i + β i i U i j, (2) where C k > 0, α i > 0, U i > 0, and β i > 0 are dependen upon he seing of he ask models and ask τ i. Thek 2 U framework [3] assumes ha he corresponding coefficiensα i andβ i in Definiion 1 are given. How o derive hem depends on he ask models, he plaform models, and he scheduling policies. Provided ha hese coefficiens α i,β i,c i,u i for every higher prioriy askτ i are given, he k 2 U framework can find he wors-case assignmens of he values i for he higher-prioriy asksτ i. 1

2 Alhough several applicaions were adoped o demonsrae he power and he coverage of he k 2 U framework, we were no able o provide an auomaic procedure o consruc he required coefficiens α i and β i in Definiion 1 in [3]. Insead, we saed in [3] as follows: The choice of good parameersα i andβ i affecs he qualiy of he resuling schedulabiliy bounds.... However, deriving he good seings ofα i and β i is acually no he focus of his paper. The framework does no care how he parameers α i and β i are obained. The framework simply derives he bounds according o he given parameersα i andβ i, regardless of he seings ofα i and β i. The correcness of he seings of α i andβ i is no verified by he framework. Conribuions: This repor explains how o auomaically derive hose parameers needed in he k 2 U framework. We will cover several ypical schedulabiliy ess in real-ime sysems o explain how o sysemaically and auomaically derive hose parameers required by he k 2 U framework. This auomaion significanly empowers he k 2 U framework o handle a wide range of classes of real-ime execuion plaforms and ask models, including uniprocessor scheduling, muliprocessor scheduling, selfsuspending ask sysems, real-ime asks wih arrival jier, services and virualizaions wih bounded delays, ec. More precisely, if he corresponding (exponenial ime or pseudo-polynomial-ime) schedulabiliy es is in one of he classes provided in his repor, he derivaions of he hyperbolic-form schedulabiliy ess, uilizaion-based analysis, ec. can be auomaically consruced. Given an arbirary schedulabiliy es, here are many ways o define a corresponding k-poin effecive schedulabiliy es. The consrucions of he coefficiens in his repor may no be he bes choices. All he consrucions in his repor follow he same design philosophy: We firs idenify he asks ha can release a leas one more job a ime 0 < < D k in he schedulabiliy es and define he effecive es poin of such a ask a is las release before D k. There may be oher more effecive consrucions for differen schedulabiliy ess. These opporuniies are no explored in his repor. Organizaions. The res of his repor is organized as follows: The basic erminologies and models are presened in Secion 2. We will presen hree classes of applicable schedulabiliy ess, which can allow auomaic parameer derivaions: Consan inflaion in Secion 3.1: This class covers a wide range of applicaions in which he workload of a higher-prioriy ask may have a consan inflaion o quanify he addiional workload in he analysis window. Bounded-delayed service in Secion 3.2: This class covers a wide range of applicaions in which he compuaion service provided o he ask sysem can be lower bounded by a consan slope wih a consan offse. Arrival jier in Secion 3.3: This class covers a wide range of applicaions in which a higherprioriy ask may have arrival jier in he analysis window. Please noe ha we will no specifically explain how o use he k 2 U framework in his repor. Please refer o [3] for deails. However, for compleeness he key lemmas in [3] will be summarized in Secion 2. 2 Models and Terminologies 2.1 Basic Task and Scheduling Models This repor will inroduce he simples seings by using he ordinary sporadic real-ime ask model, even hough he frameworks arge a more general ask models. We define he erminologies here for compleeness. A sporadic ask τ i is released repeaedly, wih each such invocaion called a job. The j h job of τ i, denoed τ i,j, is released a ime r i,j and has an absolue deadline a ime d i,j. Each job of any ask τ i is assumed o have C i as is wors-case execuion ime. The response ime of a job is defined as is finishing ime minus is release ime. Associaed wih each ask τ i are a period, which specifies he minimum ime beween wo consecuive job releases ofτ i, and a deadlined i, which specifies he relaive deadline of each such job, i.e., d i,j = r i,j +D i. The wors-case response ime of a ask τ i is he maximum response ime among all is jobs. The uilizaion of a ask τ i is defined asu i = C i /. A sporadic ask sysem τ is said o be an implicideadline ask sysem if D i = holds for each τ i. A sporadic ask sysem τ is said o be a consrained-deadline ask sysem if D i holds for each τ i. Oherwise, such a sporadic ask sysemτ is an arbirary-deadline ask sysem. A ask is said schedulable by a scheduling policy if all of is jobs can finish before heir absolue deadlines, i.e., he wors-case response ime of he ask is no more han is relaive deadline. A ask sysem is said schedulable by a scheduling policy if all he asks in he ask sysem are schedulable. A schedulabiliy es is o provide sufficien condiions o ensure he feasibiliy of he resuling schedule by a scheduling policy. Throughou he repor, we will focus on fixed-prioriy scheduling. Tha is, each ask is associaed wih a prioriy level. We will only presen he schedulabiliy es of a cerain ask τ k, ha is under analysis. For noaional breviy, 2

3 in he framework presenaion, we will implicily assume ha here are asks, saysτ 1,τ 2,...,τ wih higherprioriy han ask τ k. These k 1higher-prioriy asks are assumed o be schedulable before we es ask τ k. We will use hp(τ k ) o denoe he se of hese k 1 higher prioriy asks, when heir orderings do no maer. Moreover, we only consider he cases when k 2, since k = 1 is usually rivial. Noe ha differen ask models may have differen erminologies regarding o C i and U i. Here, we implicily assume ha U i is always C i /. The definiion of C i can be very dependen upon he ask sysems. 2.2 Properies of k 2 U By using he propery defined in Definiion 1, we can have he following lemmas in he k 2 U framework [3]. All he proofs of he following lemmas are in [3]. Lemma 1 (Chen e al. [3]). For a given k-poin effecive schedulabiliy es of a scheduling algorihm, defined in Definiion 1, in which 0 < k and 0 < α i α, and 0 < β i β for any i = 1,2,...,k 1, ask τ k is schedulable by he scheduling algorihm if he following condiion holds α C k β +1 k j=1 (βu j +1) α β. (3) Lemma 2 (Chen e al. [3]). For a given k-poin effecive schedulabiliy es of a scheduling algorihm, defined in Definiion 1, in which 0 < k and 0 < α i α and 0 < β i β for any i = 1,2,...,k 1, ask τ k is schedulable by he scheduling algorihm if C k + U i (k 1)((α+β) 1 k 1)+((α+β) 1 k α). k β (4) Lemma 3 (Chen e al. [3]). For a given k-poin effecive schedulabiliy es of a scheduling algorihm, defined in Definiion 1, in which 0 < k and 0 < α i α and 0 < β i β for any i = 1,2,...,k 1, ask τ k is schedulable by he scheduling algorihm if U i ln( β α β +1 C k k + α β ). (5) Lemma 4 (Chen e al. [3]). For a given k-poin effecive schedulabiliy es of a fixed-prioriy scheduling algorihm, defined in Definiion 1, ask τ k is schedulable by he scheduling algorihm, in which 0 < k and 0 < α i and 0 < β i for any i = 1,2,...,k 1, if he following condiion holds 0 < C k U i (α i +β i ) 1 k j=i (β ju j +1). (6) 3 Classes of Applicable Schedulabiliy Tess We will presen hree classes of applicable schedulabiliy ess, which can allow auomaic parameer derivaions: Consan inflaion: This class covers a wide range of applicaions in which he workload of a higher-prioriy ask may have a consan inflaion o quanify he addiional workload in he analysis window. Bounded delayed service: This class covers a wide range of applicaions in which he compuaion service provided o he ask sysem can be lower bounded by a consan slope wih a consan offse. Arrival jier: This class covers a wide range of applicaions in which a higher-prioriy ask may have arrival jier in he analysis window. 3.1 Consan Inflaion Suppose ha he schedulabiliy es is as follows: 0 < D k s.. C k + C i +bc i, (7) where > 0 andb 0. We now classify he ask sehp(τ k ) ino wo subses: hp 1 (τ k ) consiss of he higher-prioriy asks wih periods smaller hand k. hp 2 (τ k ) consiss of he higher-prioriy asks wih periods greaer han or equal o D k. Therefore, we can rewrie Eq. (7) o 0 < D k s.. C k+ C i +bc i, wherec k is defined asc k + τ i hp 2(τ k ) (1+b)C i. Theorem 1. For Eq. (8), he k-poin effecive schedulabiliy es in Definiion 1 is wih he following seings: k = D k, forτ i hp 1 (τ k ), i = Dk 1 = g i, for τ i hp 1 (τ k ), he parameer α i is (gi+b) g i wih 0 < α i (1+b), and forτ i hp 1 (τ k ), he parameerβ i is g i wih0 < β i. The asks in hp 1 (τ k ) are indexed according o nondecreasing i defined above o saisfy Definiion 1. (8) 3

4 Proof. Le i be Dk 1 = g i, where g i is an ineger. By he definiion ofhp 1 (τ k ), we know ha g i 1. We index he asks in hp 1 (τ k ) according o non-decreasing i. We assume ha here are asks inhp(τ k ) for noaional breviy. Therefore, he lef-hand side of Eq. (8) a ime = j upper bounded by C k j + C i +bc i C k + ( Dk C i +bc i ) + i=j i C i +bc i = C k + ((g i +1)C i +bc i)+ (g ic i +bc i) i=j = C k + (g ic i +bc i)+ C i = 1 C k + (g i +b) iu i + iu i, (9) g i g i where he inequaliy comes from 1 2 k = D k in our index rule, and = 1 comes from he seing ha C i = U i = 1 g i i U i. Tha is, he es in Eq. (8) can be safely rewrien as ( j j = 1,2,...,k), C k + α i i U i + β i i U i. Therefore, we can conclude he compaibiliy of he es wih hek 2 U framework by seingα i = (gi+b) g i andβ i = g i. Due o he fac hag i 1, we also know ha0 < α i = (1+ b g i ) (1+b) and0 < β i. This concludes he proof. We can now direcly apply Lemmas 1, 2, and 3 for he es in Eq. (8). Corollary 1. For a schedulabiliy es in Eq. (8), ask τ k is schedulable if ( ) C k +(1+b) (U i +1) 2+b, (10) D k or if U i ln ( 2+b C k D k +1+b ) (11) Proof. This comes direcly from Theorem 1 and Lemma 1 and Lemma Applicaions This class of schedulabiliy ess in Eq. (7) covers quie a lo of cases in boh uniprocessor and muliprocessor sysems. In uniprocessor sysems: Consrained-deadline and implici-deadline uniprocessor ask scheduling [6, 8]: A simple schedulabiliy es for his case is o se = 1 and b = 0 in Eq. (7). This is used o demonsrae he usefulness of he k 2 U framework in [3]. Uniprocessor non-preempive scheduling [10]: This is a known case in which C k should be se o C k + max τi lp(τ k )C i, = 1 and b = 0 in Eq. (7), where lp(τ k ) is he se of he lower-prioriy asks han ask τ k. This is implicily used in [10]. Bursy-inerference [7]: This is a known case in which = 1 and b is se o a consan o reflec he bursy inerference for he firs job in he analysis window in Eq. (7). I is shown in [7] ha his can be used o model he schedulabiliy analysis of deferrable servers and self-suspending ask sysems (by seingc k oc k +S k, wheres k is he maximum self-suspending ime of ask τ k ). In muliprocessor sysems wih M processors and consrained deadline ask ses: Muliprocessor global DM/RM scheduling for sporadic ask sysems: A simple schedulabiliy es in his case is o se = 1 M andb = 1 in Eq. (7). This is used o demonsrae he usefulness of he k 2 U framework in [3]. Muliprocessor global DM/RM scheduling for selfsuspending ask sysems and direced-acyclic-graph (DAG) ask srucures: This is similar o he above case for sporadic ask sysems in which = 1 M and b = 1 by seing differen equivalen values of C k in Eq. (7). For deails, please refer o [3]. Muliprocessor pariioned RM/DM scheduling for sporadic ask sysems: Tesing wheher a ask τ k can be feasibly assigned saically on a processor can be done by seing = 1 M and b = 0 in Eq. (7). This is used in [1] for improving he speedup facors and uilizaion-based schedulabiliy ess. 3.2 Bounded Delay Services We now discuss anoher class of schedulabiliy ess by considering bounded services. In he class of he schedulabiliy ess in Eq. (7), he righ-hand side of he inequaliy is always. Here, in his subsecion, we will change he righ-hand side of Eq. (7) o A(), where A() is defined o quanify he minimum service provided by he sysem in any inerval lengh > 0 (afer he normalizaion for he schedulabiliy es of ask τ k ). We will consider he following schedulabiliy es for verifying he schedulabiliy 4

5 of askτ k : 0 < D k s.. C k + C i +bc i A(), (12) where > 0 and b 0 are consans. We will specifically consider wo ypes ofa(): Segmened service curves: An example of such a case is he ime division muliple access (TDMA) arbirary policy [9, 12] o provide fixed ime slos wih C slo oal amoun of service in every TDMA cycle lengh. In his case, we consider ha A() = ( C slo ). (13) where andc slo are specified as consans. Noe ha he seing ofa() in Eq. (13) is an approximaion of he original TDMA service curve, o be discussed laer. Bounded delay service curves: The service provided by he sysem is lower bounded by a consan slope γ when delay, where γ and delay are specified as consans. Specifically, in his case, A() = max{0,γ( delay )}. (14) Figure 1 provides an example for he above wo cases. We will discuss how hese wo bounds in Eq. (13) and Eq. (14) are relaed o TMDA and oher hierarchical scheduling policies Segmened service curve: A() in Eq. (13) For Eq. (12), in which A() is defined in Eq. (13), he schedulabiliy es of ask τ k is as follows: 0 < D k s.. C k + C i +bc i ( C slo ) (15) where > 0, b 0, C slo, and T slo are consans wih C slo 0. The above es can be reorganized as 0 < D k s.. ( C k + ( T ) cycle C slo ) + C i +bc i. (16) The above es can be imagined as if here is a virual higher-prioriy ask τ virual wih period and execuion ime C slo. In his formulaion, he virual ask τ virual does no have any inflaion. If C k b ( C slo ) > 0, we can furher se C k as C k b ( C slo ), and he schedulabiliy es of askτ k becomes 0 < D k s.. ( C k + ( C slo )+b( T ) cycle C slo ) + C i +bc i. (17) Therefore, we have reformulaed he es o he same case in Eq. (7) by adding a virual higher-prioriy ask τ virual. We can direcly use Theorem 1 for his class of schedulabiliy ess Bounded delay service curve: A() in Eq. (14) For Eq. (12), in which A() is defined in Eq. (14), he schedulabiliy es of ask τ k is as follows: delay < D k s.. C k + C i +bc i γ( delay ), (18) where > 0, b 0, γ > 0, and 0 < delay < D k are consans. This can be rewrien as delay < D k s.. C k +γ delay + γ C i +bc i. γ (19) I is also clear ha for any 0 < delay, he above inequaliy never holds when C k > 0. Therefore, we can change he boundary condiion from delay < o 0 < safely. Tha is, we have 0 < D k s.. C k +γ delay γ + C i +bc i. (20) γ Wih he above reformulaion, he es is similar o ha in Eq. (7), where in Eq. (7) is defined as γ, and C k in Eq. (7) is defined as C k+γ delay γ. Therefore, his case is now reduced o he same case in Eq. (7). We can direcly use Theorem 1 for his class of schedulabiliy ess. 5

6 A() in Eq. (14) A() in TDMA A() in Eq. (13) Figure 1: An example of delayed service curve: = 1, C slo = 2, and = 5, where γ = C slo 1 and delay = C slo in Eq. (14) Applicaions for TDMA Suppose ha he sysem provides a ime division muliple access (TDMA) policy o serve an implici-deadline sporadic ask sysem wih a TDMA cycle and a slo lengh C slo. The bandwidh of he TDMA is γ = C slo. As shown in [11], he service provided by he TDMA policy in an inerval lenghis a leasmax{ C slo, ( C slo )}. The service curve can sill be lower-bounded by ignoring he erm C slo, which leads o ( C slo ), as a segmened service curve described in Eq. (13). Anoher way is o use a linear approximaion [12], as a bounded delay service curve in Eq. (14), o quanify he lower bound on he service provided by he TDMA. I can be imagined ha he service sars when delay = C slo wih uilizaion γ = /C slo. Therefore, he service provided by he TDMA in an inerval lengh is lower bounded by max{0, delay +γ ( delay }. These wo differen approximaions and he original TDMA service curve are all presened in Figure 1. By adoping he segmened service curve, he schedulabiliy es for ask τ k can be described by Eq. (15) wih = 1 and b = 0. By he resul in Sec , we can direcly conclude ha 0 < α i 1 and 0 < β i 1 for τ i hp(τ k ) under RM scheduling, and, hence, he schedulabiliy es of askτ k if < T k is ( ) Tcycle C slo +1 (U k +1) (U i +1) 2 k (U i +1) 2 2 γ. (21) Therefore, if < T k, we can conclude ha he uilizaion bound is k U i k(( 2 2 γ ) 1 k 1). This bound is idenical o he resul ln( 2 k. 2 γ ) presened by Sha [9] when If T k, he virual ask τ virual creaed in Sec should be par of hp 2 (τ k ) defined in Sec Therefore, he schedulabiliy es of askτ k if T k is (U k + C slo T k +1) (U i +1) (U i +1) U k + T k (1 γ). (22) If T k when k, we can conclude ha ask τ k is schedulable under RM scheduling if U i ln(2) ln(1+u k + T k (1 γ)). For he case wih he bounded delay service curve, we can use Eq. (18) wih delay = C slo, = 1, b = 0, and γ = /C slo. This resuls in he following schedulabiliy es by using Corollary 1 for RM scheduling ( Ck +γ delay γt k +1 ) ( ) Ui γ (23) Therefore, if delay T k is negligible, i.e., he TDMA cycle is exremely shorer han T k, hen, we can conclude a uilizaion bound ofγln2, which dominaesln( 2 2 γ ). However, if delay is very close o T k, hen he es in Eq. (21) is beer. Noe ha he above reamen can be easily exended o handle deferrable servers, sporadic servers, polling servers, and consrained-deadline ask sysems. Exending he analysis o muliprocessor sysems is also possible if he schedulabiliy es can be wrien as Eq. (18). 6

7 3.3 Arrival Jier Suppose ha he schedulabiliy es is as follows: 0 < D k s.. C k + +δti C i, (24) where > 0 and δ 0. Noe ha if δ is an ineger, hen his is a special case of Eq. (7). We will firs focus on he cases when δ is no an ineger. We again classify he ask se hp(τ k ) ino wo subses: hp 2 (τ k ) consiss of he higher-prioriy asks τ i wih Dk +δ equal o δ. hp 1 (τ k ) ishp(τ k )\hp 2 (τ k ). Therefore, we can rewrie Eq. (24) o 0 < D k s.. C k + +δti C i, wherec k is defined asc k + τ i hp 2(τ k ) δ C i. (25) Theorem 2. For Eq. (25), he k-poin effecive schedulabiliy es in Definiion 1 is wih he following seings: k = D k, forτ i hp 1 (τ k ), se g i = Dk +δ, for τ i hp 1 (τ k ), se i = ( Dk +δ δ ) = (g i δ), for τ i hp 1 (τ k ), he parameer α i is gi g i δ wih 0 < α i δ δ δ, and for τ i hp 1 (τ k ), he parameer β i is g i δ wih 0 < β i δ δ. The asks in hp 1 (τ k ) are indexed according o nondecreasing i defined above o saisfy Definiion 1. Proof. By he definiion of i andhp 1 (τ k ), we know hag i is an ineger wih g i > δ. By following he same procedure in he proof of Theorem 1, he lef-hand side in Eq. (25) a ime = j is upper bounded by wheher C k j +δ + C i C k Dk +δ + C i i +δ C i + C k + (g i +1)C i + g ic i i=j = C k + g ic i + C i = 1C k + g i g i δ iui + i=j iui, (26) g i δ g and i δ g i δ where he las equaliy comes from he seing ha C i = U i = 1 g i δ iu i. 1 I is no difficul o see ha gi are boh decreasing funcions wih respec o g i if g i > δ. Therefore, we know ha 0 < α i δ δ δ and 0 < β i δ δ since g i is an ineger. We herefore conclude he proof. The above analysis may be improved by furher annoaing hp 1 (τ k ) o enforce g i > δ + 1 if δ is very close o δ. Corollary 2. Suppose ha we classify he ask se hp(τ k ) ino wo subses: hp 2 (τ k ) consiss of he higher-prioriy asks τ i wih Dk +δ less han or equal o δ + 1. hp 1 (τ k ) ishp(τ k )\hp 2 (τ k ). Then, for each ask τ i hp 1 (τ k ), we have 0 < α i ( δ +1) δ +1 δ and 0 < β i δ +1 δ for he schedulabiliy es in Eq. (25), where C k is defined as C k + τ i hp 2(τ k ) Dk +δ C i. Proof. This is idenical o he proof of Theorem 2 by using he fac g i > δ + 1 for a ask τ i in hp 1 (τ k ) defined in his corollary. The quanificaion of he arrival jier in Eq. (24) assumes an upper bounded jier δ for each ask τ i hp(τ k ). In many cases, he higher-prioriy asks have independen jier erms. Puing he arrival jier of askτ i oδ is someimes over pessimisic. For he res of his secion, suppose ha he schedulabiliy es is as follows: 0 < D k s.. C k + +Ji C i, (27) where > 0 and J i 0 for every τ i hp(τ k ). We again classify he ask se hp(τ k ) ino wo subses: hp 2 (τ k ) consiss of he higher-prioriy asks τ i wih Dk +J i equal o J i /. hp 1 (τ k ) ishp(τ k )\hp 2 (τ k ). Therefore, we can rewrie Eq. (27) o 0 < D k s.. C k + +Ji C i, wherec k is defined asc k + τ i hp 2(τ k ) J i/ C i (28) Theorem 3. For each ask τ i in hp 1 (τ k ) in Eq. (28), hekpoin effecive schedulabiliy es in Definiion 1 is wih he following seings: k = D k, forτ i hp 1 (τ k ), se g i = Dk +J i, 7

8 forτ i hp 1 (τ k ), se i = Dk +J i J i = g i J i, g forτ i hp 1 (τ k ), he parameerα i is i g i J i/, and forτ i hp 1 (τ k ), he parameerβ i is g i J i/. The asks in hp 1 (τ k ) are indexed according o nondecreasing i defined above o saisfy Definiion 1. Proof. The proof is idenical o ha of Theorem 2. Applicaions: Arrival jier is very common in ask sysems, especially when no criical insan heorem has been esablished. Therefore, insead of exploring all he combinaions of he arrival imes of he higher-prioriy asks, quanifying he scheduling penaly wih a jier erm is a common approach. For example, in a self-suspending consrained-deadline sporadic ask sysem, we can quanify he arrival jier J i of he higher-prioriy ask τ i hp(τ k ) asd i C i by assuming haτ i mees is deadline, e.g., [4]. Suppose has i is he self-suspension ime of a askτ i. For a self-suspending implici-deadline ask sysem under fixedprioriy scheduling, i is shown in [4] ha he schedulabiliy es is o verify 0 < T k s.. C k +S k + +Ti C i C i. (29) Tha is, = 1 andj i is C i in Eq. (27). Therefore, we can use Theorem 3 o consruc a polynomial-ime schedulabiliy es. 4 Conclusion This repor explains how o auomaically derive he parameers needed in he k 2 U framework for several classes of widely used schedulabiliy ess. The procedure o derive he parameers was no clear ye when we developed he k 2 U framework in [3]. Therefore, he parameers in all he examples in [3] were manually consruced. This auomaion procedure significanly empowers he k 2 U framework o auomaically handle a wide range of classes of real-ime execuion plaforms and ask models, including uniprocessor scheduling, muliprocessor scheduling, self-suspending ask sysems, real-ime asks wih arrival jier, services and virualizaions wih bounded delays, ec. Moreover, we would also like o emphasize ha he consrucions of he coefficiens in his repor may no be he bes choices. We do no provide any opimaliy guaranee of he resuling consrucions. In fac, given an arbirary schedulabiliy es, here are many ways o define a corresponding k-poin effecive schedulabiliy es in Definiion 1. All he consrucions in his repor follow he same design philosophy: We firs idenify he asks ha can release a leas one more job a ime 0 < < D k in he schedulabiliy es and define he effecive es poin of such a ask a is las release before D k. There may be oher more effecive consrucions for differen schedulabiliy ess. These opporuniies are no explored in his repor. Acknowledgemen: This repor has been suppored by DFG, as par of he Collaboraive Research Cener SFB876 (hp://sfb876.u-dormund.de/), he prioriy program Dependable Embedded Sysems (SPP hp://spp1500.iec.ki.edu), and NSF grans OISE and CNS The auhors would also like o hank o Mr. Niklas Ueer for his valuable feedback in he draf. References [1] J.-J. Chen. Pariioned muliprocessor fixed-prioriy scheduling of sporadic real-ime asks. Compuing Research Reposiory (CoRR), abs/ , [2] J.-J. Chen, W.-H. Huang, and C. Liu. k 2 Q: A quadraicform response ime and schedulabiliy analysis framework for uilizaion-based analysis. Compuing Research Reposiory (CoRR), abs/ , [3] J.-J. Chen, W.-H. Huang, and C. Liu. k 2 U: A general framework from k-poin effecive schedulabiliy analysis o uilizaion-based ess. In RTSS, [4] W.-H. Huang, J.-J. Chen, H. Zhou, and C. Liu. PASS: Prioriy assignmen of real-ime asks wih dynamic suspending behavior under fixed-prioriy scheduling. In Design Auomaion Conference (DAC), [5] J. P. Lehoczky, L. Sha, and Y. Ding. The rae monoonic scheduling algorihm: Exac characerizaion and average case behavior. In IEEE Real-Time Sysems Symposium, pages , [6] J. Y.-T. Leung and J. Whiehead. On he complexiy of fixed-prioriy scheduling of periodic, real-ime asks. Perform. Eval., 2(4): , [7] C. Liu and J.-J. Chen. Bursy-inerference analysis echniques for analyzing complex real-ime ask models. In IEEE Real-Time Sysems Symposium, [8] C. L. Liu and J. W. Layland. Scheduling algorihms for muliprogramming in a hard-real-ime environmen. Journal of he ACM, 20(1):46 61, [9] L. Sha. Real-ime virual machines for avionics sofware poring and developmen. In Real-Time and Embedded Compuing Sysems and Applicaions, 9h Inernaional Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, Revised Papers, pages , [10] G. von der Bruggen, J. Chen, and W. Huang. Schedulabiliy and opimizaion analysis for non-preempive saic prioriy scheduling based on ask uilizaion and blocking facors. In 27h Euromicro Conference on Real-Time Sysems, ECRTS 2015, Lund, Sweden, July 8-10, 2015, pages , [11] E. Wandeler and L. Thiele. Opimal TDMA ime slo and cycle lengh allocaion for hard real-ime sysems. In Proceedings of he 2006 Conference on Asia Souh Pacific Design Auomaion: ASP- DAC 2006, Yokohama, Japan, January 24-27, 2006, pages , [12] E. Wandeler, L. Thiele, M. Verhoef, and P. Lieverse. Sysem archiecure evaluaion using modular performance analysis - a case sudy. Sofware Tools for Technology Transfer (STTT), 8(6): , Oc