Page 105 - 《软件学报》2021年第6期

陆寅 等:面向 AADL 模型的存储资源约束可调度性分析 1679

Table 8 Adjusting of task scheduling properties in every partition of GPM_A,
when taking account of CPRD
表 8 考虑 CPRD 情况下 GPM_A 各分区内任务调度属性的调整结果
任务名 所属分区 存储资源使用量(KB) 执行时间(ms) 周期(ms) 截止期(ms)
T 11 GPM_A1 400 3 40 40
T 12 GPM_A1 440 5 80 80
T 13 GPM_A1 300 5 80 80
T 14 GPM_A1 240 3 100 100
T 15 GPM_A1 330 4 100 100
T 16 GPM_A1 320 4 80 80
T 17 GPM_A1 260 5 100 100
T 21 GPM_A2 280 3 40 40
T 22 GPM_A2 300 4 80 80
T 23 GPM_A2 200 3 200 200
T 24 GPM_A2 330 3 100 100
T 31 GPM_A3 14 3 80 80
优化系统的 3 个分区任务的超周期为 400ms,并且每个分区采用不同调度策略,所有任务在 381ms 的时候
全部执行完成,且满足每个任务的截止期约束.因此,在缓存相关抢占延迟约束下是可调度的.优化系统各分区
调度策略相同,是否考虑了 CRPD 约束下,系统的最坏执行时间对比如图 10 所示.
8
7 6
最坏执行时间/ms 5 5 5.05 5 5.04 4.05 4.09 5 5.04 4.12

4
4
4
4
3.38 3.28
3 3.17 3 3 3 3.18 3.02
3 3 3 3
2
1
0
T11 T12 T13 T14 T15 T16 T17 T21 T22 T23 T24 T31
未考虑缓存相关抢占延迟时最坏执行时间 缓存相关抢占延迟约束下任务的最坏执行时间
Fig.10 WCET calculated with or without CRPD of all tasks inside each partition of GPM_A
图 10 GPM_A 系统模型 CRPD 约束的最坏执行时间对比图
系统架构中,Cache 的容量影响系统调度过程中 Cache Miss 的发生频率,对系统可调度性也是有影响的.当
Cache Miss 时间不变,仅考虑 Cache 容量变化,系统任务的缓存相关抢占延迟见表 9,每个任务缓存相关抢占延迟
随 Cache 大小变化的折线图如图 11 所示.随着 Cache 容量的增大,CRPD 的值减小.
Table 9 CRPD calculated with different size of Cache equipped for each task
表 9 不同 Cache 大小下任务计算的 CRPD 值
Cache 大小
任务名 500KB 750KB 1MB 1.25MB 1.5MB 1.75MB 2MB
T 11 156μs 118μs 94μs 54μs 48μs 48μs 35μs
T 12 51μs 53μs 38μs 32μs 22s 24μs 17μs
T 13 43μs 34μs 27μs 21μs 13μs 14μs 12μs
T 14 6μs 6μs 4μs 5μs 2μs 2μs 1μs
T 15 51μs 37μs 42μs 33μs 27μs 25μs 25μs
T 16 85μs 54μs 34μs 32μs 19μs 18μs 18μs
T 17 41μs 45μs 31μs 28μs 22μs 22μs 20μs
T 21 183μs 150μs 87μs 52μs 43μs 44μs 30μs
T 22 121μs 84μs 51μs 28μs 21μs 24μs 26μs
T 23 383μs 314μs 256μs 231μs 161μs 160μs 153μs
T 24 24μs 19μs 18μs 13μs 4μs 4μs 3μs
T 31 281μs 134μs 89μs 49μs 42μs 43μs 32μs