Name
Abstract | ||
|---|---|---|
With the development of multicore systems, multicore real time scheduling is becoming a hot topic in time-critical systems. Cache warm-up overheads introduced by task migration between two cores can result in missed deadlines for tight realtime schedules. In this paper, we present an exact method for multicore schedule ability analysis under cache warm-up overheads. The result of the analysis is used to determine whether it's necessary to change the scheduling algorithm or the hardware architecture. Correct and schedulable properties of the model are formalized and verified. It is shown that our approach is less pessimistic than bound tests. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1109/MTV.2010.13 | Proceedings - International Workshop on Microprocessor Test and Verification |
Keywords | Field | DocType |
hardware architecture,cache warm-up overhead,processor scheduling,multicore scheduleability analysis,cache warm-up overheads,real-time systems,multicore real time scheduling,hot topic,cache storage,scheduling algorithm,model checking,bound test,multicore systems,schedulable property,verification,time-critical systems,task migration,multiprocessing systems,multicore scheduling,exact method,cache warm-up,missed deadlines,schedulability analysis,multicore global scheduling,multicore system,tight realtime schedules,formal verification,multicore schedule ability analysis,real time systems,schedules,automata,scheduling,multicore processing | Computer architecture,Model checking,Cache,Scheduling (computing),Computer science,Parallel computing,Automaton,Real-time computing,Schedule,Multi-core processor,Hardware architecture,Formal verification | Conference |
Volume | Issue | ISSN |
null | null | null |
ISBN | Citations | PageRank |
978-1-61284-287-5 | 1 | 0.40 |
References | Authors | |
13 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Wei Sheng | 1 | 317 | 32.53 |
| Yanyan Gao | 2 | 31 | 9.12 |
| Li Xi | 3 | 1 | 0.40 |
| Xuehai Zhou | 4 | 37 | 6.89 |