A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software

作者: Kerstin Eder , Oliver Ray , Craig B Blackmore

DOI: 10.1017/S1471068415000174

关键词:

摘要: This paper introduces a new logic-based method for optimising the selection of compiler ags on embedded architectures. In particular, we use Inductive Logic Programming (ILP) to learn logical rules that relate eective specic program features. Unlike earlier work, aim infer human-readable and seek develop relational rst-order approach which automatically discovers relevant features rather than relying vector predetermined attributes. To this end generated data set by measuring execution times 60 benchmarks an system development board developed ILP prototype outperforms current state-of-the-art learning in 34 benchmarks. Finally, combined strengths state art our hybrid reduced average 8% up 50% some cases.

参考文章(7)
Elad Yom-Tov, Olivier Temam, Mircea Namolaru, Michael O'Boyle, Ayal Zaks, Grigori Fursin, Eric Courtois, Phil Barnard, Christopher K. I. Williams, Hugh Leather, Elton Ashton, Edwin Bonilla, Cupertino Miranda, Francois Bodin, Bilha Mendelson, John Thomson, MILEPOST GCC: machine learning based research compiler GCC Summit. ,(2008)
Simon J Hollis, James Pallister, Jeremy Bennett, BEEBS: Open Benchmarks for Energy Measurements on Embedded Platforms arXiv: Performance. ,(2013)
Stephen Muggleton, Luc de Raedt, Inductive Logic Programming : Theory and Methods Journal of Logic Programming. ,vol. 19, pp. 629- 679 ,(1994) , 10.1016/0743-1066(94)90035-3
Stephen Muggleton, Inverse entailment and PROGOL New Generation Computing. ,vol. 13, pp. 245- 286 ,(1995) , 10.1007/BF03037227
Grigori Fursin, Yuriy Kashnikov, Abdul Wahid Memon, Zbigniew Chamski, Olivier Temam, Mircea Namolaru, Elad Yom-Tov, Bilha Mendelson, Ayal Zaks, Eric Courtois, Francois Bodin, Phil Barnard, Elton Ashton, Edwin Bonilla, John Thomson, Christopher K. I. Williams, Michael O’Boyle, Milepost GCC: Machine Learning Enabled Self-tuning Compiler International Journal of Parallel Programming. ,vol. 39, pp. 296- 327 ,(2011) , 10.1007/S10766-010-0161-2
J. Pallister, S. J. Hollis, J. Bennett, Identifying Compiler Options to Minimize Energy Consumption for Embedded Platforms The Computer Journal. ,vol. 58, pp. 95- 109 ,(2015) , 10.1093/COMJNL/BXT129
Sameer Kulkarni, John Cavazos, Mitigating the compiler optimization phase-ordering problem using machine learning ACM SIGPLAN Notices. ,vol. 47, pp. 147- 162 ,(2012) , 10.1145/2398857.2384628