{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T10:16:22Z","timestamp":1672568182438},"reference-count":48,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2017,12,21]],"date-time":"2017-12-21T00:00:00Z","timestamp":1513814400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EC","award":["FP7-612069-HARPA"]},{"name":"Thales Communications 8 Security, France"},{"name":"Material Transfer Agreement between ICCS, Greece and Intel Corporation"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2018,3,31]]},"abstract":"Modern microprocessors contain a variety of mechanisms used to mitigate errors in the logic and memory, referred to as Reliability, Availability, and Serviceability (RAS) techniques. Many of these techniques, such as component disabling, come at a performance cost. With the aggressive downscaling of device dimensions, it is reasonable to expect that chip-wide error rates will intensify in the future and perhaps vary throughout system lifetime. As a result, it is important to reclaim the temporal RAS overheads in a systematic way and enable dependable performance. The current article presents a closed-loop control scheme that actuates processor\u2019s frequency based on detected timing interference to ensure performance dependability. The concepts of slack and deadline vulnerability factor are introduced to support the formulation of a discrete time control problem. Default application timing is derived using the system scenario methodology, the applicability of which is demonstrated through simulations. Additionally, the proposed concept is demonstrated on a real platform and application: a Proportional-Integral-Differential controller, implemented within the application, actuates the Dynamic Voltage and Frequency Scaling (DVFS) framework of the Linux kernel to effectively reclaim temporal overheads injected at runtime. The current article discusses the responsiveness and energy efficiency of the proposed performance dependability scheme. Finally, additional formulation is introduced to predict the upper bound of timing interference that can be absorbed by actuating the DVFS of any processor and is also validated on a representative reduction to practice.<\/jats:p>","DOI":"10.1145\/3152158","type":"journal-article","created":{"date-parts":[[2017,12,21]],"date-time":"2017-12-21T16:58:29Z","timestamp":1513875509000},"page":"1-23","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Runtime Slack Creation for Processor Performance Variability using System Scenarios"],"prefix":"10.1145","volume":"23","author":[{"given":"Michail","family":"Noltsis","sequence":"first","affiliation":[{"name":"National Technical University of Athens and KU Leuven, Belgium"}]},{"given":"Dimitrios","family":"Rodopoulos","sequence":"additional","affiliation":[{"name":"imec, Leuven, Belgium"}]},{"given":"Nikolaos","family":"Zompakis","sequence":"additional","affiliation":[{"name":"National Technical University of Athens, Greece"}]},{"given":"Francky","family":"Catthoor","sequence":"additional","affiliation":[{"name":"imec and KU Leuven, Belgium"}]},{"given":"Dimitrios","family":"Soudris","sequence":"additional","affiliation":[{"name":"National Technical University of Athens, Greece"}]}],"member":"320","published-online":{"date-parts":[[2017,12,21]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1977.5215080"},{"key":"e_1_2_1_2_1","first-page":"3","article-title":"Feedback performance control in software services","volume":"23","author":"Abdelzaher T. F.","year":"2003","unstructured":"T. F. Abdelzaher , J. A. Stankovic , and Chenyang Lu . 2003 . Feedback performance control in software services . IEEE Control Syst. 23 , 3 (May 2003), 74--90. T. F. Abdelzaher, J. A. Stankovic, and Chenyang Lu. 2003. Feedback performance control in software services. IEEE Control Syst. 23, 3 (May 2003), 74--90.","journal-title":"IEEE Control Syst."},{"key":"e_1_2_1_3_1","unstructured":"Wolfgang Arden Michel Brillou\u00ebt Patrick Cogez Mart Graef Bert Huizing and Reinhard Mahnkopf. 2010. \u201cMore-than-Moore\u201d White Paper. International Technology Roadmap for Semiconductors. Retrieved from http:\/\/www.itrs.net\/ITRS201999-2014Mtgs Presentations&Links\/2010ITRS\/IRC-ITRS-MtM-v23.pdf. Wolfgang Arden Michel Brillou\u00ebt Patrick Cogez Mart Graef Bert Huizing and Reinhard Mahnkopf. 2010. \u201cMore-than-Moore\u201d White Paper. International Technology Roadmap for Semiconductors. Retrieved from http:\/\/www.itrs.net\/ITRS201999-2014Mtgs Presentations&Links\/2010ITRS\/IRC-ITRS-MtM-v23.pdf."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1986.13527"},{"key":"e_1_2_1_5_1","volume-title":"Davis","author":"Burns Alan","year":"2015","unstructured":"Alan Burns and Robert I . Davis . 2015 . Mixed Criticality Systems\u2014A Review. Technical Report. Department of Computer Science\u2014University of York . Retrieved from https:\/\/www-users.cs.york.ac.uk\/burns\/review.pdf. Alan Burns and Robert I. Davis. 2015. Mixed Criticality Systems\u2014A Review. Technical Report. Department of Computer Science\u2014University of York. Retrieved from https:\/\/www-users.cs.york.ac.uk\/burns\/review.pdf."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629677"},{"key":"e_1_2_1_7_1","first-page":"758","article-title":"Method and system for real-time error mitigation","volume":"13","author":"Catthoor F.","year":"2013","unstructured":"F. Catthoor , M. Sabry , Z. Ma , and D. A. Alonso . 2013 . Method and system for real-time error mitigation . U.S. Patent App. 13\/467 , 758 . F. Catthoor, M. Sabry, Z. Ma, and D. A. Alonso. 2013. Method and system for real-time error mitigation. U.S. Patent App. 13\/467,758.","journal-title":"U.S. Patent App."},{"key":"e_1_2_1_9_1","unstructured":"Paul Diefenbaugh and Dominik Brodowski. 2006. ACPI Processor P-States Driver. Retrieved from http:\/\/lxr.free-electrons.com\/source\/drivers\/cpufreq\/acpi-cpufreq.c. Paul Diefenbaugh and Dominik Brodowski. 2006. ACPI Processor P-States Driver. Retrieved from http:\/\/lxr.free-electrons.com\/source\/drivers\/cpufreq\/acpi-cpufreq.c."},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the IEEE\/ACM International Symposium on Microarchitecture (MICRO\u201903)","author":"Ernst D.","unstructured":"D. Ernst , Nam Sung Kim , S. Das , S. Pant , R. Rao , T. Pham , C. Ziesler , D. Blaauw , T. Austin , K. Flautner , and T. Mudge . 2003. Razor: A low-power pipeline based on circuit-level timing speculation . In Proceedings of the IEEE\/ACM International Symposium on Microarchitecture (MICRO\u201903) . 7--18. D. Ernst, Nam Sung Kim, S. Das, S. Pant, R. Rao, T. Pham, C. Ziesler, D. Blaauw, T. Austin, K. Flautner, and T. Mudge. 2003. Razor: A low-power pipeline based on circuit-level timing speculation. In Proceedings of the IEEE\/ACM International Symposium on Microarchitecture (MICRO\u201903). 7--18."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2007.3"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455229.1455232"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 2016 Design, Automation Test in Europe Conference Exhibition (DATE\u201916)","author":"Hardy D.","unstructured":"D. Hardy , I. Puaut , and Y. Sazeides . 2016. Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults . In Proceedings of the 2016 Design, Automation Test in Europe Conference Exhibition (DATE\u201916) . 91--96. D. Hardy, I. Puaut, and Y. Sazeides. 2016. Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults. In Proceedings of the 2016 Design, Automation Test in Europe Conference Exhibition (DATE\u201916). 91--96."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2012.14"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809049.1809065"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593169"},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the 3rd IEEE International High-Assurance Systems Engineering Symposium. 240--247","author":"Hwang S. H.","unstructured":"S. H. Hwang and G. S. Choi . 1998. On-chip cache memory resilience . In Proceedings of the 3rd IEEE International High-Assurance Systems Engineering Symposium. 240--247 . S. H. Hwang and G. S. Choi. 1998. On-chip cache memory resilience. In Proceedings of the 3rd IEEE International High-Assurance Systems Engineering Symposium. 240--247."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024794"},{"key":"e_1_2_1_19_1","volume-title":"Offline and Online Estimation of Performance Degradation Due to Aging Faults in Caches. Master\u2019s thesis","author":"Klokkaris Georgios","unstructured":"Georgios Klokkaris . 2014. Offline and Online Estimation of Performance Degradation Due to Aging Faults in Caches. Master\u2019s thesis . University of Cyprus. Georgios Klokkaris. 2014. Offline and Online Estimation of Performance Degradation Due to Aging Faults in Caches. Master\u2019s thesis. University of Cyprus."},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the 2016 Design, Automation Test in Europe Conference Exhibition (DATE\u201916)","author":"Kokolis A.","unstructured":"A. Kokolis , A. Mavrogiannis , D. Rodopoulos , C. Strydis , and D. Soudris . 2016. Runtime interval optimization and dependable performance for application-level checkpointing . In Proceedings of the 2016 Design, Automation Test in Europe Conference Exhibition (DATE\u201916) . 594--599. A. Kokolis, A. Mavrogiannis, D. Rodopoulos, C. Strydis, and D. Soudris. 2016. Runtime interval optimization and dependable performance for application-level checkpointing. In Proceedings of the 2016 Design, Automation Test in Europe Conference Exhibition (DATE\u201916). 594--599."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.368011"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the IEEE 20th Real-Time Systems Symposium.","author":"Lu C.","unstructured":"C. Lu , J. A. Stankovic , and G. Tao . 1999. Design and evaluation of a feedback control EDF scheduling algorithm . In Proceedings of the IEEE 20th Real-Time Systems Symposium. C. Lu, J. A. Stankovic, and G. Tao. 1999. Design and evaluation of a feedback control EDF scheduling algorithm. In Proceedings of the IEEE 20th Real-Time Systems Symposium."},{"key":"e_1_2_1_23_1","volume-title":"Peng Yang, Chun Wong, Jose Ignacio Gomez, Stefaan Himpe, Chantal Ykman-Couvreur, and Francky Catthoor.","author":"Ma Zhe","year":"2007","unstructured":"Zhe Ma , Pol Marchal , Daniele Paolo Scarpazza , Peng Yang, Chun Wong, Jose Ignacio Gomez, Stefaan Himpe, Chantal Ykman-Couvreur, and Francky Catthoor. 2007 . Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms. Springer . Zhe Ma, Pol Marchal, Daniele Paolo Scarpazza, Peng Yang, Chun Wong, Jose Ignacio Gomez, Stefaan Himpe, Chantal Ykman-Couvreur, and Francky Catthoor. 2007. Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms. Springer."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLSIT.2012.6242503"},{"key":"e_1_2_1_25_1","unstructured":"C. Mcnairy D. Heckman J. Mayfield and S. Hoyt. 2013. Error Framework for a Microprocessor and System. (June 27 2013). WO Patent App. PCT\/US2011\/066 658. C. Mcnairy D. Heckman J. Mayfield and S. Hoyt. 2013. Error Framework for a Microprocessor and System. (June 27 2013). WO Patent App. PCT\/US2011\/066 658."},{"key":"e_1_2_1_26_1","volume-title":"Operating Performance Points","author":"Menon Nishanth","unstructured":"Nishanth Menon . 2010. Operating Performance Points ( OPP) Library . Free Electrons\u2014Embedded Linux Experts. Retrieved from http:\/\/lxr.free-electrons.com\/source\/Documentation\/power\/opp.txt. Nishanth Menon. 2010. Operating Performance Points (OPP) Library. Free Electrons\u2014Embedded Linux Experts. Retrieved from http:\/\/lxr.free-electrons.com\/source\/Documentation\/power\/opp.txt."},{"key":"e_1_2_1_27_1","first-page":"856","article-title":"Method and system for operating in hard real time","volume":"8","author":"Munaga S.","year":"2014","unstructured":"S. Munaga and F. Catthoor . 2014 . Method and system for operating in hard real time . U.S. Patent 8 , 856 ,791. S. Munaga and F. Catthoor. 2014. Method and system for operating in hard real time. U.S. Patent 8,856,791.","journal-title":"U.S. Patent"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2235126"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362336.2362338"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289816.1289873"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCA.2014.2385713"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2014.2309663"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2678276"},{"key":"e_1_2_1_35_1","volume-title":"Proceedings of the Linux-Kongress.","author":"Seyfried Stefan","year":"2010","unstructured":"Stefan Seyfried . 2010 . Resource management in linux with control groups . In Proceedings of the Linux-Kongress. Stefan Seyfried. 2010. Resource management in linux with control groups. In Proceedings of the Linux-Kongress."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.21141"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.1999.777445"},{"key":"e_1_2_1_38_1","volume-title":"Proceedings of the IEEE International Solid-State Circuits Conference (ISSCC\u201910)","author":"Tschanz J.","unstructured":"J. Tschanz , K. Bowman , Shih-Lien Lu , P. Aseron , M. Khellah , A. Raychowdhury , B. Geuskens , C. Tokunaga , C. Wilkerson , T. Karnik , and V. De . 2010. A 45nm resilient and adaptive microprocessor core for dynamic variation tolerance . In Proceedings of the IEEE International Solid-State Circuits Conference (ISSCC\u201910) . 282--283. J. Tschanz, K. Bowman, Shih-Lien Lu, P. Aseron, M. Khellah, A. Raychowdhury, B. Geuskens, C. Tokunaga, C. Wilkerson, T. Karnik, and V. De. 2010. A 45nm resilient and adaptive microprocessor core for dynamic variation tolerance. In Proceedings of the IEEE International Solid-State Circuits Conference (ISSCC\u201910). 282--283."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/951710.951744"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.12"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488861"},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the Advanced Semiconductor Manufacturing Conference and Workshop (IEEE\/SEMI\u201998)","author":"Wilcox R.","unstructured":"R. Wilcox , T. Forhan , G. Starkey , and D. Turner . 1998. Design for manufacturability: A key to semiconductor manufacturing excellence . In Proceedings of the Advanced Semiconductor Manufacturing Conference and Workshop (IEEE\/SEMI\u201998) . 308--313. R. Wilcox, T. Forhan, G. Starkey, and D. Turner. 1998. Design for manufacturability: A key to semiconductor manufacturing excellence. In Proceedings of the Advanced Semiconductor Manufacturing Conference and Workshop (IEEE\/SEMI\u201998). 308--313."},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the IEEE\/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC\u201912)","author":"Wu B.","unstructured":"B. Wu and P. Li . 2012. Load-aware stochastic feedback control for DVFS with tight performance guarantee . In Proceedings of the IEEE\/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC\u201912) . 231--236. B. Wu and P. Li. 2012. Load-aware stochastic feedback control for DVFS with tight performance guarantee. In Proceedings of the IEEE\/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC\u201912). 231--236."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024423"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.106"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2016.7428031"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744848"},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the IEEE 10th Real-Time and Embedded Technology and Applications Symposium (RTAS\u201904)","author":"Zhu Yifan","unstructured":"Yifan Zhu and F. Mueller . 2004. Feedback EDF scheduling exploiting dynamic voltage scaling . In Proceedings of the IEEE 10th Real-Time and Embedded Technology and Applications Symposium (RTAS\u201904) . Yifan Zhu and F. Mueller. 2004. Feedback EDF scheduling exploiting dynamic voltage scaling. In Proceedings of the IEEE 10th Real-Time and Embedded Technology and Applications Symposium (RTAS\u201904)."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3060403.3060449"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10776-012-0197-x"}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3152158","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T18:29:29Z","timestamp":1672511369000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3152158"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,21]]},"references-count":48,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,3,31]]}},"alternative-id":["10.1145\/3152158"],"URL":"https:\/\/doi.org\/10.1145\/3152158","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"value":"1084-4309","type":"print"},{"value":"1557-7309","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,12,21]]},"assertion":[{"value":"2017-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-12-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}