nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems

verfasst von : Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar

Erschienen in: Computer Performance Engineering

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

The increasing usage of multi-cores in safety-critical applications, such as autonomous control, demands high levels of reliability, which crucially depends on the temperature. On the other hand, there is a natural trade-off between reliability and performance. The scheduling of tasks is one of the key factors which determine the resulting system performance as well as reliability. Commonly used techniques, such as simulation based on benchmarks, can simulate only a limited number of input sequences of system runs and hardly optimize the performance-reliability trade-off. In order to accurately evaluate the schedulers and provide formal guarantees suitable in early design stages, we use formal methods for a quantitative performance-reliability trade-off analysis. Specifically, we propose to use energy-utility quantiles as a metric to evaluate the effectiveness of a given scheduler. For illustration, we evaluate TAPE, a state-of-the-art thermal-constrained scheduler, with theoretical optimal ones.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel A Queueing Model that Works Only on the Biggest Jobs

Nächstes Kapitel Bounding the Rate of Convergence for One Class of Finite Capacity Time Varying Markov Queues

Baier, C., Daum, M., Dubslaff, C., Klein, J., Klüppelholz, S.: Energy-utility quantiles. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2014. LNCS, vol. 8430, pp. 285–299. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-06200-6_24CrossRef

Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008) MATH

Bukhari, S.A.A., Lodhi, F.K., Hasan, O., Shafique, M., Henkel, J.: FAMe-TM: formal analysis methodology for task migration algorithms in many-core systems. Sci. Comput. Program. 133(2), 154–174 (2017). https://doi.org/10.1016/j.scico.2016.06.004CrossRef

Burmeister, L.C.: Convective Heat Transfer. Wiley, Hoboken (1993)

Dunn, D.: Intel delays Montecito in roadmap shakeup. EE Times, Manufacturing/Packaging (2005)

Ebi, T., Al Faruque, M.A., Henkel, J.: TAPE: thermal-aware agent-based power economy multi/many-core architectures. In: Computer-Aided Design, pp. 302–309. IEEE (2009). https://doi.org/10.1145/1687399.1687457

Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated verification techniques for probabilistic systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 53–113. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21455-4_3CrossRef

Gnad, D., Shafique, M., Kriebel, F., Rehman, S., Sun, D., Henkel, J.: Hayat: harnessing dark silicon and variability for aging deceleration and balancing. In: Design Automation Conference, pp. 1–6. ACM/EDAC/IEEE (2015). https://doi.org/10.1145/2744769.2744849

Gunther, S.H., Binns, F., Carmean, D.M., Hall, J.C.: Managing the impact of increasing microprocessor power consumption. Intel Technol. J. 1–9 (2001)

10.

Iqtedar, S., Hasan, O., Shafique, M., Henkel, J.: Formal probabilistic analysis of distributed dynamic thermal management. In: Design, Automation and Test in Europe, pp. 1221–1224. IEEE (2015). https://doi.org/10.7873/DATE.2015.0503

11.

Iqtedar, S., Hasan, O., Shafique, M., Henkel, J.: Probabilistic formal verification methodology for decentralized thermal management in on-chip systems. In: Enabling Technologies: Infrastructures for Collaborative Enterprises, pp. 210–215. IEEE (2015). https://doi.org/10.1109/WETICE.2015.39

12.

Ismail, M., Hasan, O., Ebi, T., Shafique, M., Henkel, J.: Formal verification of distributed dynamic thermal management. In: Computer-Aided Design, pp. 248–255. IEEE (2013). https://doi.org/10.1109/ICCAD.2013.6691126

13.

Klein, J., et al.: Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. Int. J. Softw. Tools Technol. Transfer 20(2), 179–194 (2017). https://doi.org/10.1007/s10009-017-0456-3CrossRef

14.

Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22110-1_47CrossRef

15.

Lee, Y., Chwa, H.S., Shin, K.G., Wang, S.: Thermal-aware resource management for embedded real-time systems. Comput.-Aided Des. Integr. Circuits Syst. 37(11), 2857–2868 (2018). https://doi.org/10.1109/TCAD.2018.2857279CrossRef

16.

Liu, Z., Tan, S.X.D., Huang, X., Wang, H.: Task migrations for distributed thermal management considering transient effects. IEEE Trans. Very Large Scale Integr. Syst. 23(2), 397–401 (2015). https://doi.org/10.1109/TVLSI.2014.2309331CrossRef

17.

Pagani, S., Chen, J., Shafique, M., Henkel, J.: Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-77479-4CrossRef

18.

Pathania, A., Venkataramani, V., Shafique, M., Mitra, T., Henkel, J.: Defragmentation of tasks in many-core architecture. Archit. Code Optim. 14(1), 2:1–2:21 (2017). https://doi.org/10.1145/3050437CrossRef

19.

Pedram, M., Nazarian, S.: Thermal modeling, analysis, and management in VLSI circuits: principles and methods. Proc. IEEE 94(8), 1487–1501 (2006). https://doi.org/10.1109/JPROC.2006.879797CrossRef

20.

Remsburg, R.: Advanced Thermal Design of Electronic Equipment. Springer, Heidelberg (2011)

21.

Sardar, M.U., Hasan, O., Shafique, M., Henkel, J.: Theorem proving based formal verification of distributed dynamic thermal management schemes. J. Parallel Distrib. Comput. 100, 157–171 (2017). https://doi.org/10.1016/j.jpdc.2016.06.011CrossRef

22.

Sbalzarini, I.F.: Spatiotemporal modeling and simulation (2016)

23.

Srinivasan, J., Adve, S.V., Bose, P., Rivers, J.A.: Lifetime reliability: toward an architectural solution. IEEE Micro 25(3), 70–80 (2005). https://doi.org/10.1109/MM.2005.54CrossRef

24.

Stan, M.R., Skadron, K., Barcella, M., Huang, W., Sankaranarayanan, K., Velusamy, S.: HotSpot: a dynamic compact thermal model at the processor-architecture level. Microelectronics 34(12), 1153–1165 (2003). https://doi.org/10.1016/S0026-2692(03)00206-4CrossRef

25.

Viswanath, R., Wakharkar, V., Watwe, A., Lebonheur, V.: Thermal performance challenges from silicon to systems. Intel Technol. J. 1–16 (2000)

26.

Yeo, I., Liu, C.C., Kim, E.J.: Predictive dynamic thermal management for multicore systems. In: Design Automation Conference, pp. 734–739. ACM/IEEE (2008). https://doi.org/10.1145/1391469.1391658

Titel: Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems
verfasst von: Muhammad Usama Sardar
Clemens Dubslaff
Sascha Klüppelholz
Christel Baier
Akash Kumar
Verlag: Springer International Publishing
Buch: Computer Performance Engineering
Print ISBN: 978-3-030-44410-5

Electronic ISBN: 978-3-030-44411-2

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-44411-2_9

Neuer Inhalt

Bildnachweise

VDI-Icon, Profil Icon, inhalt2, Springer Professional Modul/© Springer Fachmedien Wiesbaden GmbH, Die Gewinner und Laudatoren des Sustainability Award in Automotive 2024/© Uli Regenscheit | ATZlive, Search Icon, Banner Hanser, Kundenpotenzial/© Andrii Yalanskyi / Getty Images / iStock, Toyota-Logo/© ollo / Getty Images / iStock, Sebastian Glenschek/© Hermes International, Zeitschrift Wissensmanagement Cover, PatentFit-Logo/© Springer Fachmedien Wiesbaden GmbH, ATZ-Webinar: Prototypenfreie Entwicklung durch Offline- und Driver-in-the-Loop-HiL-Tests /© (c) VI-grade, chassis.tech plus 2023/© [M] ATZlive / TÜV SÜD PRODUCT SERVICE GMBH, adäsion-Webinar-Matinee/© krystiannawrocki_ Getty Images

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Neuer Inhalt

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.