A Design That Incorporates Adaptive Reservation into Mixed-Criticality Systems

<div>Ready queue insertion example (<svg height="11.927pt" id="M113" style="vertical-align:-3.291101pt" version="1.1" viewbox="-0.0498162 -8.6359 101.285 11.927" width="101.285pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M703 650H36V622C118 616 126 607 126 526V124C126 45 117 34 40 28V0H297V28C219 34 211 44 211 124V581C211 609 214 613 245 613H494C521 613 527 610 527 583V124C527 45 519 34 434 28V0H700V28C620 34 612 44 612 124V526C612 605 620 616 703 622V650Z" id="g113-145"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="738" vert-adv-y="738"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,9.594,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z" id="g50-50"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="487" vert-adv-y="487"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,18.172,0)"><path d="M531 71V127L115 310L531 494V550L57 335V285L531 71ZM531 -40V10H57V-40H531Z" id="g117-93"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="587" vert-adv-y="587"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,29.435,0)"><path d="M703 650H36V622C118 616 126 607 126 526V124C126 45 117 34 40 28V0H297V28C219 34 211 44 211 124V581C211 609 214 613 245 613H494C521 613 527 610 527 583V124C527 45 519 34 434 28V0H700V28C620 34 612 44 612 124V526C612 605 620 616 703 622V650Z" id="g113-145"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="738" vert-adv-y="738"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,39.029,3.132)"><path d="M414 144C384 79 371 75 317 75H135L276 221C367 316 408 376 408 465C408 570 327 635 237 635C179 635 131 609 100 575L42 494L67 471C94 510 138 565 205 565C277 565 321 517 321 435C321 348 258 270 195 195C146 137 88 81 33 26V0H411C423 44 433 88 446 135L414 144Z" id="g50-51"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="487" vert-adv-y="487"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,47.608,0)"><path d="M512 -3V55L134 254V256L512 456V514L75 281V230L512 -3Z" id="g117-91"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="587" vert-adv-y="587"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,58.87,0)"><path d="M703 650H36V622C118 616 126 607 126 526V124C126 45 117 34 40 28V0H297V28C219 34 211 44 211 124V581C211 609 214 613 245 613H494C521 613 527 610 527 583V124C527 45 519 34 434 28V0H700V28C620 34 612 44 612 124V526C612 605 620 616 703 622V650Z" id="g113-145"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="738" vert-adv-y="738"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,68.464,3.132)"><path d="M250 606C250 634 233 656 203 656C168 656 146 618 146 593C146 564 169 545 192 545C227 545 250 573 250 606ZM227 95L212 119C187 98 152 71 135 71C129 71 128 78 134 102L207 373C219 418 217 451 194 451C165 451 92 411 30 351L44 326C77 353 106 371 114 371C124 371 121 357 117 341L55 97C32 5 46 -12 70 -12C108 -12 191 51 227 95Z" id="g50-106"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="280" vert-adv-y="280"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,75.152,0)"><path d="M531 71V127L115 310L531 494V550L57 335V285L531 71ZM531 -40V10H57V-40H531Z" id="g117-93"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="587" vert-adv-y="587"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,86.415,0)"><path d="M703 650H36V622C118 616 126 607 126 526V124C126 45 117 34 40 28V0H297V28C219 34 211 44 211 124V581C211 609 214 613 245 613H494C521 613 527 610 527 583V124C527 45 519 34 434 28V0H700V28C620 34 612 44 612 124V526C612 605 620 616 703 622V650Z" id="g113-145"></path><glyph.data ascent="3473" descent="-2876" horiz-adv-x="738" vert-adv-y="738"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,96.009,3.132)"><path d="M290 377C321 398 342 415 358 430C378 450 389 473 389 502C389 578 329 635 238 635H237C184 635 137 610 109 578L64 515L88 493C112 529 154 573 208 573S303 542 303 482C303 409 233 370 141 341L149 308C165 313 190 319 215 319C272 319 341 283 341 193C342 98 292 43 222 43C163 43 122 72 96 94C88 101 79 100 70 94C61 87 47 73 46 60C44 47 48 37 62 23C76 10 118 -12 165 -12C238 -12 430 62 430 223C430 297 379 359 290 375V377Z" id="g50-52"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="487" vert-adv-y="487"></glyph.data></g></svg>).</div>

Scientific Programming

fig6

Figure 6

Figure 6: A Design That Incorporates Adaptive Reservation into Mixed-Criticality Systems 