返回
GraalSP: Polyglot, efficient, and robust machine learning-based static profiler
DOI:10.1016/j.jss.2024.112058.png)
摘要
En 中文
Compilers use profiles to apply profile-guided optimizations and produce efficient programs. Dynamic profilers collect high-quality profiles but require identifying suitable profile collection workloads, introduce additional complexity to the application build pipeline, and cause significant time and memory overheads. Modern static profilers use machine learning (ML) models to predict profiles and mitigate these issues. However, state-of-theart ML-based static profilers handcraft features, which are platform-specific and challenging to adapt to other architectures and programming languages. They use computationally expensive deep neural network models, thus increasing application compile time. Furthermore, they can introduce performance degradation in the compiled programs due to inaccurate profile predictions. We present GraalSP, a portable, polyglot, efficient, and robust ML-based static profiler. GraalSP is portable as it defines features on a high-level, graph-based intermediate representation and semi-automates the definition of features. For the same reason, it is also polyglot and can operate on any language that compiles to Java bytecode (such as Java, Scala, and Kotlin). GraalSP is efficient as it uses an XGBoost model based on lightweight decision tree models and robust as it uses branch probability prediction heuristics to ensure the high performance of compiled programs. We integrated GraalSP into the Graal compiler and achieved an execution time speedup of 7.46% . 46 % geometric mean compared to a default configuration of the Graal compiler.
Keyword:
Compilers
GraalVM
Static profiler
Machine learning
Regression
XGBoost ensemble
期刊
IF:
4.1
论文数:
5.5K
被引数:
8.4K
机构
引用论文
Atmospheric Profiles from Radiosonde and Satellite Atmospheric Sounders in the Southwestern Atlantic Ocean利用无线电探空仪和卫星大气探测器获取的南大西洋大气廓线
Wider or Deeper: Revisiting the ResNet Model for Visual Recognition更广泛或更深入: 重新审视视觉识别的ResNet模型
PATTERN RECOGNITION
IF7.6
Obstructive sleep apnea classification based on spectrogram patterns in the electrocardiogram基于心电图谱图模式的阻塞性睡眠呼吸暂停分类
Economic benefit evaluation method for the micro-grid renewable energy system operation微网可再生能源系统运行经济效益评价方法

