A logic programming approach to predict effective compiler settings for embedded software

doi:10.1017/s1471068415000174

A logic programming approach to predict effective compiler settings for embedded software

2015-09-03

0

OA

AI

DOI：10.1017/s1471068415000174

原文链接

查看原文

摘要

En 中文

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

A logic programming approach to predict effective compiler settings for embedded software

摘要

AI总结

期刊

机构

引用论文