syed aftab rashid id geoffrey nelissen and eduardo tovar
play

Syed Aftab Rashid id, Geoffrey Nelissen and Eduardo Tovar 4/12/2016 - PowerPoint PPT Presentation

Syed Aftab Rashid id, Geoffrey Nelissen and Eduardo Tovar 4/12/2016 Main CPU Cache Memory Fast Slow 4/12/2016 Main CPU Cache Memory Fast Slow Limited capacity 4/12/2016 Main CPU Cache Memory Fast Slow Limited capacity 1


  1. Syed Aftab Rashid id, Geoffrey Nelissen and Eduardo Tovar 4/12/2016

  2. Main CPU Cache Memory Fast Slow 4/12/2016

  3. Main CPU Cache Memory Fast Slow Limited capacity 4/12/2016

  4. Main CPU Cache Memory Fast Slow Limited capacity Ƭ 1 Ƭ 2 4/12/2016

  5. Main CPU Cache Memory Fast Slow Limited capacity Ƭ 1 Ƭ 2 4/12/2016

  6. Main CPU Cache Memory Fast Slow Limited capacity Ƭ 1 Ƭ 2 Cache Related Preemption Delay (CRPD) 4/12/2016

  7. • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 4/12/2016

  8. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 Cache sets Cache Contents Fetched from Main CRPD Memory 4/12/2016

  9. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 Cache sets 5 4 3 2 1 0 Cache Contents Fetched from Main CRPD Memory 4/12/2016

  10. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 200 Cache sets 5 4 3 2 1 0 Cache Contents Fetched from Main CRPD Memory 4/12/2016

  11. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 200 9 8 Cache sets 7 6 5 5 4 4 3 2 1 0 Cache Contents Fetched from Main CRPD Memory 4/12/2016

  12. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 200 300 9 8 Cache sets 7 6 5 5 4 4 3 2 1 0 Cache Contents Fetched from Main CRPD Memory 4/12/2016

  13. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 200 300 9 8 Cache sets 7 6 5 5 5 4 4 4 3 3 2 2 1 1 0 0 Cache Contents Fetched from Main CRPD Memory 4/12/2016

  14. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 200 300 400 9 9 8 8 Cache sets 7 7 6 6 5 5 5 5 4 4 4 4 3 3 2 2 1 1 0 0 Cache Contents Fetched from Main CRPD Memory 4/12/2016

  15. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 200 300 400 500 9 9 8 8 Cache sets 7 7 6 6 5 5 5 5 5 4 4 4 4 4 3 3 3 2 2 2 1 1 1 0 0 0 Cache Contents Fetched from Main CRPD Memory 4/12/2016

  16. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 200 300 400 500 600 700 9 9 9 8 8 8 Cache sets 7 7 7 6 6 6 5 5 5 5 5 5 5 4 4 4 4 4 4 4 3 3 3 3 2 2 2 2 1 1 1 1 0 0 0 0 Cache Contents Fetched from Main CRPD Memory 4/12/2016

  17. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 200 300 400 500 600 700 9 9 9 8 8 8 Cache sets 7 7 7 6 6 6 5 5 5 5 5 5 5 4 4 4 4 4 4 4 3 3 3 3 2 2 2 2 1 1 1 1 0 0 0 0 Cache Contents Fetched from Main CRPD Memory MD(R 2 )=MD 2 +3MD 1 +CRPD 4/12/2016

  18. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 200 300 400 500 600 700 9 9 9 8 8 8 Cache sets 7 7 7 6 6 6 5 5 5 5 5 5 5 4 4 4 4 4 4 4 3 3 3 3 2 2 2 2 1 1 1 1 0 0 0 0 Cache Contents Fetched from Main CRPD Memory MD(R 2 )=MD 2 +3MD 1 +CRPD 4/12/2016

  19. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 200 300 400 500 600 700 9 9 9 9 8 8 8 8 Cache sets 7 7 7 7 6 6 6 6 5 5 5 5 5 5 5 4 4 4 4 4 4 4 3 3 3 3 2 2 2 2 1 1 1 1 0 0 0 0 Cache Contents Fetched from Main CRPD Memory MD(R 2 )=MD 2 +3MD 1 +CRPD 4/12/2016

  20. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 200 300 400 500 600 700 9 9 9 9 9 8 8 8 8 8 Cache sets 7 7 7 7 7 6 6 6 6 6 5 5 5 5 5 5 5 4 4 4 4 4 4 4 3 3 3 3 2 2 2 2 1 1 1 1 0 0 0 0 Cache Contents Fetched from Main CRPD Memory MD(R 2 )=MD 2 +3MD 1 +CRPD 4/12/2016

  21. Ƭ 1 • Taskset { Ƭ 1, Ƭ 2 } C 1 = 100 and T 1 = 200 C 2 = 400 and T 2 = 1000 Ƭ 2 0 100 200 300 400 500 600 700 9 9 9 9 9 8 8 8 8 8 Cache sets 7 7 7 7 7 6 6 6 6 6 5 5 5 5 5 5 5 4 4 4 4 4 4 4 3 3 3 3 2 2 2 2 1 1 1 1 0 0 0 0 Cache Contents Fetched from Main CRPD Memory MD(R 2 )=MD 2 +3MD 1 +CRPD MD(R 2 )=MD 2 +MD 1 +2(MD 1 – |PCB|) +CRPD 4/12/2016

  22. 4/12/2016

  23. • Impr mproved ed WCRT analysis is for r fix ixed ed pr prio iorit ity y pree pr eempti mptive e systems ems 𝑆 𝑗 𝑢 = 𝑸 𝒋 + 𝑵𝑬 𝒋 + ෍ 𝑄 𝑘 + 𝑵𝑬 𝒌 + ෍ 𝑫𝑺𝑸𝑬 𝒋,𝒌 ∀𝑘 ∈ℎ𝑞 𝑗 ∀𝑘∈ℎ𝑞 𝑗 + ⌈𝑆 𝑗 𝑘 + 𝑵𝑬 𝒔 𝒌 + 𝑫𝑸𝑺𝑷 𝒌,𝒋 ) ෍ − 1⌉ ∗ (𝑄 𝑈 𝑘 ∀𝑘∈ℎ𝑞(𝑗) 4/12/2016

  24. • Impr mproved ed WCRT analysis is for r fix ixed ed pr prio iorit ity y pr pree eempti mptive e systems ems 𝑆 𝑗 𝑢 = 𝑸 𝒋 + 𝑵𝑬 𝒋 + ෍ 𝑄 𝑘 + 𝑵𝑬 𝒌 + ෍ 𝑫𝑺𝑸𝑬 𝒋,𝒌 ∀𝑘 ∈ℎ𝑞 𝑗 ∀𝑘∈ℎ𝑞 𝑗 + ⌈𝑆 𝑗 𝑘 + 𝑵𝑬 𝒔 𝒌 + 𝑫𝑸𝑺𝑷 𝒌,𝒋 ) ෍ − 1⌉ ∗ (𝑄 𝑈 𝑘 ∀𝑘∈ℎ𝑞(𝑗) Considering the effect of PCBs 4/12/2016

  25. • Impr mproved ed WCRT analysis is for r fix ixed ed pr prio iorit ity y pr pree eempti mptive e systems ems 𝑆 𝑗 𝑢 = 𝑸 𝒋 + 𝑵𝑬 𝒋 + ෍ 𝑄 𝑘 + 𝑵𝑬 𝒌 + ෍ 𝑫𝑺𝑸𝑬 𝒋,𝒌 ∀𝑘 ∈ℎ𝑞 𝑗 ∀𝑘∈ℎ𝑞 𝑗 Considering + evictions of PCBs ⌈𝑆 𝑗 𝑘 + 𝑵𝑬 𝒔 𝒌 + 𝑫𝑸𝑺𝑷 𝒌,𝒋 ) ෍ − 1⌉ ∗ (𝑄 𝑈 𝑘 ∀𝑘∈ℎ𝑞(𝑗) Considering the effect of PCBs 4/12/2016

  26. • Impr mproved ed WCRT analysis is for r fix ixed ed pr prio iorit ity y pr pree eempti mptive e systems ems Considering the effect of CRPD 𝑆 𝑗 𝑢 = 𝑸 𝒋 + 𝑵𝑬 𝒋 + ෍ 𝑄 𝑘 + 𝑵𝑬 𝒌 + ෍ 𝑫𝑺𝑸𝑬 𝒋,𝒌 ∀𝑘 ∈ℎ𝑞 𝑗 ∀𝑘∈ℎ𝑞 𝑗 Considering + evictions of PCBs ⌈𝑆 𝑗 𝑘 + 𝑵𝑬 𝒔 𝒌 + 𝑫𝑸𝑺𝑷 𝒌,𝒋 ) ෍ − 1⌉ ∗ (𝑄 𝑈 𝑘 ∀𝑘∈ℎ𝑞(𝑗) Considering the effect of PCBs 4/12/2016

  27. Proposed WCRT analysis State-of-the-art WCRT analysis 4/12/2016

  28. • Extend the analysis to set et associ ociativ ative and data ta caches. • Provide a less pessimistic multi lti-se set t appr proa oach ch to calculate the impact of PCBs. • Combine approaches to calculate both th CRPD and impact of PCBs. • Extensi ensive e experim perimental ental evalua valuation tion using available benchmarks. 4/12/2016

  29. 4/12/2016

Recommend


More recommend