Admissibility Tests for Interrupted Earliest Deadline

First Scheduling with Priority Inheritance

Steven Sommer and John Potter

7HFKQLFDO?5HSRUW?&?75oae?<=? LFURVRIW?5HVHDUFK?,QVWLWXWH???'HSDUWPHQW?RI?&RPSXWLQJffl 6FKRRO?RI?03&(ffl DFTXDULH?8QLYHUVLWffl 1?6?:??>=<=?offl?$XVWUDOLD?

-XQH?<=ooae?

(PDLOAE?VWHYH#PSFH?PT?HGX?DXffl?SRWWHU#PSFH?PT?HGX?DX

1. Introduction

,Q? WKLV? SDSHU? ZH? H[WHQG? /LX? DQG? /DODQG?V? (DUOLHVW? 'HDGOLQH? )LUVW? ff(') ? VFKHGXODELOLW? WHVW? >/LXae?@? WR LQFOXGH?WKH?HIIHFWV?RI?LQWHUUXSWV?DQG?WR?LQFOXGH?WKH?EORFNLQJ?WLPH?GXH?WR?FULWLFDO?VHFWLRQV?LQ?D?VVWHP?WKDW LPSOHPHQWV?SULRULW?LQKHULWDQFH?>6KDo?@?

7KHVH? UHVXOWV? ZHUH? GHULYHG? DV? SDUW? RI? WKH? 'UHDPV? SURMHFW? >6RPPHUossEffl? 6RPPHUoaeE@?? 7KH? DLP? RI? WKH 'UHDPV?SURMHFW?LV?WR?SURYLGH?D?VHW?RI?H[WHQVLRQV?IRU?FRQYHQWLRQDO?RSHUDWLQJ?VVWHP?WR?VXSSRUW?GLVWULEXWHG UHDO?WLPH? DSSOLFDWLRQV?? 7KH? UHVXOWV? GHULYHG? LQ? WKLV? SDSHU? ZHUH? QHFHVVDU? IRU? EXLOGLQJ? DQ? RQ?OLQH VFKHGXODELOLW?WHVW?ZKLFK?LV?SHUIRUPHG?DV?SDUW?RI?WKH?DGPLVVLRQ?PHFKDQLVP?

,Q? VHFWLRQV? >=ffl? ?ffl? DQG? ?ffl? ZH? SURYLGH? D? IRUPDO? DQDOVLV? WR? H[WHQG? WKH? (')? VFKHGXODELOLW? WHVW? WR? LQFOXGH FORFNHGffl?LQWHUVSDFHG?VSRUDGLFffl?DQG?JHQHUDO?UHDO?WLPH?LQWHUUXSWV?UHVSHFWLYHO??,Q?VHFWLRQ???ZH?H[WHQG?WKH?WHVW WR?LQFOXGH?SULRULW?LQKHULWDQFH?DQG?FULWLFDO?VHFWLRQVffl?ERWK?ZLWK?DQG?ZLWKRXW?HQIRUFHPHQW?PHFKDQLVPV??7KH H[WHQGHG? IRUP? RI? SULRULW? LQKHULWDQFH? XVHG? LQ? WKH? 'UHDPV? SURMHFW? LV? GHVFULEHG? LQ? >6RPPHUoss@? (QIRUFHPHQW? LV? UHTXLUHG?ZLWKLQ? WKH?'UHDPV?PRGHO? WR? HQVXUH? WKDW? D?UHDO?WLPH? WDVN? FDQQRW? LQWHUIHUH? ZLWK DQRWKHU? UHDO?WLPH? WDVN?V? DELOLW? WR? PHHW? LWV? GHDGOLQH?? 7KH? 'UHDPV? HQIRUFHPHQW? PHFKDQLVP? DQG? RYHUUXQ PRGHO?DUH?GHVFULEHG?LQ?>6RPPHUoae@??,Q?VHFWLRQ?ss?ZH?FRPELQH?WKH?UHVXOWV?RI?VHFWLRQV?>=ffl??ffl??ffl?DQG???LQWR?D VLQJOH?VFKHGXODELOLW?WHVW??:H?GLVFXVV?UHODWHG?VFKHGXODELOLW?DQDOVHV?LQ?VHFWLRQ?ae?

,Q?WKLV?SDSHU?ZH?DUH?FRQFHUQHG?ZLWK?SHULRGLF?UHDO?WLPH?WDVNV??5HDO?WLPH?WDVNV?KDYH?GHDGOLQHV??3HULRGLF?UHDO? WLPH? WDVNV? DUH? H[HFXWHG? UHJXODUO? ZLWKLQ? D? IL[HG? SHULRGLF? WLPH? VORW?? ,Q? WKLV? SDSHUffl? HDFK? LQYRFDWLRQ? RI? WKH SHULRGLF?SURFHVV?FDQ?EHJLQ?H[HFXWLQJ?DW?WKH?VWDUW?RI?HDFK?SHULRG? ffZKLFK?ZH?FDOO?WKH?LQYRFDWLRQ?V?VWDUW?WLPH DQG?KDV?LWV?GHDGOLQH?DW?WKH?HQG?RI?LWV?SHULRG??7KH?UHVXOWV?LQ?WKLV?SDSHU?DUH?GHULYHG?IRU?D?XQLSURFHVVRU?

7KH?IROORZLQJ?WHUPLQRORJ?LV?UHTXLUHG?IRU?SODFLQJ?WKH?VFKHGXODELOLW?UHVXOWV?LQWR?WKH?'UHDPV?FRQWH[W??7KLV LV?SDUWLFXODUO?LPSRUWDQW?LQ?VHFWLRQ???ZKHUH?RYHUUXQ?PXVW?EH?H[SOLFLWO?DGGUHVVHG?

)RU?WKH?GHULYDWLRQV?RI?RXU?VFKHGXODELOLW?WHVWVffl?D?UHDO?WLPH?WDVN?PLVVHV? LWV? GHDGOLQH?RQO? LI? LW? GRHV?QRW?REWDLQ WKH?FRPSXWDWLRQDO?UHVRXUFHV?WKDW?LW?UHVHUYHGffl?E?WKH?WLPH?LW?UHDFKHV?LWV?GHDGOLQH??7KH?VFKHGXODELOLW?WHVWV?DUH GHVLJQHG?WR?HQVXUH? WKDW? WKLV?FRQGLWLRQ?FDQ?QHYHU?RFFXU??:H?DUH?QRW?FRQFHUQHG?KHUH?ZLWK?UHDO?WLPH? WDVNV WKDW?GR?QRW?PHHW?WKHLU?GHDGOLQH?EHFDXVH?WKH?KDYH?RYHUUXQffl?WKDW?LVffl?WDVNV?ZKLFK?PLVV?WKHLU?GHDGOLQH?EHFDXVH WKH?UHTXLUH?PRUH?WKDQ?WKHLU?UHVHUYHG?WLPH?

2FFDVLRQDOO?ZH?QHHG?WR?GLIIHUHQWLDWH?EHWZHHQ?UHDO?WLPH?WDVNV?WKDW?KDYH?RYHUUXQ?DQG?WKRVH?WKDW?KDYH?QRW? 7DVNV? WKDW? KDYH?RYHUUXQ?DUH? UHIHUUHG? WR? DV? RYHUUXQ? UHDO?WLPH? WDVNV? DQG? WKRVH? WKDW? KDYH?QRWffl? DV? IXOO? UHDO?WLPH WDVNV??,I?D?UHDO?WLPH?WDVN?RYHUUXQV?LW?LV?QRW?FRQVLGHUHG?D?IXOO?UHDO?WLPH?WDVN?XQWLO?LWV?IROORZLQJ?SHULRG?