Static Prediction of Silent Stores

Fernando Magno Quintão Pereira 1, 2 Guilherme Leobas 1 Abdoulaye Gamatié 2
2 ADAC - ADAptive Computing
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : A Store operation is called “silent” if it writes in memory a value that is already there. Œe ability to detect silent stores is important, because they might indicate performance bugs, might enable code optimizations, and might reveal opportunities of automatic parallelization, for instance. Silent stores are traditionally detected via pro€ling tools. In this paper, we depart from this methodology, and, instead, explore the following question: is it possible to predict silentness by analyzing the syntax of programs? Œe process of building an answer to this question is interesting in itself, given the stochastic nature of silent stores, which depend on data and coding style. To build such an answer, we have developed a methodology to classify store operations in terms of syntactic features of programs. Based on such features, we develop di‚erent kinds of predictors, some of which go much beyond what any trivial approach could achieve. To illustrate how static prediction can be employed in practice, we use it to optimize programs running on non-volatile memory systems.
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01912634
Contributor : Abdoulaye Gamatié <>
Submitted on : Monday, November 5, 2018 - 3:28:32 PM
Last modification on : Thursday, March 14, 2019 - 9:44:05 AM

Links full text

Identifiers

Collections

Citation

Fernando Magno Quintão Pereira, Guilherme Leobas, Abdoulaye Gamatié. Static Prediction of Silent Stores. ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2019, 15 (4), pp.#44. ⟨10.1145/3280848⟩. ⟨lirmm-01912634⟩

Share

Metrics

Record views

190