Talks and Poster Presentations (with Proceedings-Entry):
S. Bukhari, F. Lodhi, O. Hasan, M. Shafique, J. Henkel:
"CAnDy-TM: Comparative Analysis of Dynamic Thermal Management in Many-Cores using Model Checking";
Talk: 2017 IEEE/ACM 20th Design, Automation and Test in Europe Conference (DATE'17),
Lausanne, Switzerland;
2017-03-27
- 2017-03-31; in: "Proceedings of the 2017 Design, Automation & Test in Europe (DATE)",
IEEE,
(2017),
ISSN: 1558-1101;
1289
- 1292.
English abstract:
Dynamic thermal management (DTM) techniques based on task migration provide a promising solution to mitigate thermal emergencies and thereby ensuring safe operation and reliability of Many-Core systems. These techniques can be classified as central or distributed on the basis of a central DTM controller for the whole system or individnal DTM controllers for each core or set of cores in the system, respectively. However, having a trustworthy comparison between central (c-) and distributed (d-) DTM techniques to find out the most suitable one for a given system is quite challenging. This is primarily due to the
systemic difference between cDTM and dDTM controllers, and the inherent non-exhaustiveness of simulation and emulation methods conventionally used for DTM analysis. In this paper, we present a novel methodology called CAnDy-TM (stands for Comparative Analysis of Dynamic Thermal Management) that employs Model Checking to perform formal comparative analysis for cDTM and dDTM techniques. We identify a set of generic functional and performance properties to provide a common ground for their comparison. We demonstrate the usability and benefits of our methodology by comparing state-of-the-art cDTM and dDTM techniques, and illustrate which technique is good w.r.t. thermal stability and other task migration parameters. Such an analysis helps in selecting the most appropriate DTM for a given chip.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.23919/DATE.2017.7927191