Abstract
Data-dependence profiling is a dynamic program-analysis technique to discover potential parallelism in sequential programs. Unlike purely static analysis, which may overestimate the number of dependences because it does not know many pointers values and array indices at compile time, profiling has the advantage of recording data dependences that actually occur at runtime. But it has the disadvantage of significantly slowing down program execution, often by a factor of 100. In our earlier work, we lowered the overhead of data-dependence profiling by excluding polyhedral loops, which can be handled statically using certain compilers. However, neither does every program contain polyhedral loops, nor are statically identifiable dependences restricted to such loops. In this paper, we introduce an orthogonal approach, focusing on data dependences between accesses to scalar variables - across the entire program, inside and outside loops. We first analyze the program statically and identify memory-access instructions that create data dependences that would appear in any execution of these instructions. Then, we exclude these instructions from instrumentation, allowing the profiler to skip them at runtime and avoid the associated overhead. We evaluate our approach with 49 benchmarks from three benchmark suites. We improved the profiling time of all programs by at least 38%, with a median reduction of 61% across all the benchmarks.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bailey, D.H., et al.: The NAS parallel benchmarks. Int. J. Supercomput. Appl. 5(3), 63–73 (1991). https://doi.org/10.1177/109434209100500306
Benabderrahmane, M.-W., Pouchet, L.-N., Cohen, A., Bastoul, C.: The polyhedral model is more widely applicable than you think. In: Gupta, R. (ed.) CC 2010. LNCS, vol. 6011, pp. 283–303. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-11970-5_16
Bondhugula, U.: Pluto - an automatic parallelizer and locality optimizer for affine loop nests (2015). http://pluto-compiler.sourceforge.net/. Accessed 13 June 2019
Duran, A., Teruel, X., Ferrer, R., Martorell, X., Ayguade, E.: Barcelona OpenMP tasks suite: a set of benchmarks targeting the exploitation of task parallelism in OpenMP. In: Proceedings of the International Conference on Parallel Processing (ICPP), Vienna, Austria, pp. 124–131, September 2009
Ketterlin, A., Clauss, P.: Profiling data-dependence to assist parallelization: framework, scope, and optimization. In: Proceedings of the International Symposium on Microarchitecture (MICRO), Vancouver, B.C., Canada, pp. 437–448, December 2012. https://doi.org/10.1109/MICRO.2012.47
Kim, M., Kim, H., Luk, C.K.: SD3: a scalable approach to dynamic data-dependence profiling. In: Proceedings of the International Symposium on Microarchitecture (MICRO), Atlanta, GA, USA, pp. 535–546, December 2010. https://doi.org/10.1109/MICRO.2010.49
Li, Z., Atre, R., Huda, Z.U., Jannesari, A., Wolf, F.: Unveiling parallelization opportunities in sequential programs. J. Syst. Softw. 117(C), 282–295 (2016). https://doi.org/10.1016/j.jss.2016.03.045
Li, Z., Beaumont, M., Jannesari, A., Wolf, F.: Fast data-dependence profiling by skipping repeatedly executed memory operations. In: Wang, G., Zomaya, A., Perez, G.M., Li, K. (eds.) ICA3PP 2015. LNCS, vol. 9531, pp. 583–596. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-27140-8_40
Li, Z., Jannesari, A., Wolf, F.: An efficient data-dependence profiler for sequential and parallel programs. In: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), Hyderabad, India, pp. 484–493, May 2015. https://doi.org/10.1109/IPDPS.2015.41
Liao, C., Quinlan, D.J., Willcock, J.J., Panas, T.: Semantic-aware automatic parallelization of modern applications using high-level abstractions. Int. J. Parallel Program. 38(5), 361–378 (2010). https://doi.org/10.1007/s10766-010-0139-0
Liao, C., Quinlan, D.J., Willcock, J.J., Panas, T.: Extending automatic parallelization to optimize high-level abstractions for multicore. In: Müller, M.S., de Supinski, B.R., Chapman, B.M. (eds.) IWOMP 2009. LNCS, vol. 5568, pp. 28–41. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02303-3_3
Morew, N., Norouzi, M., Jannesari, A., Wolf, F.: Artifact and instructions to generate experimental results for Euro-Par proceeding 2020 paper: skipping Non-essential Instructions Makes Data-dependence Profiling Faster, July 2020. https://doi.org/10.6084/m9.figshare.12555083. https://springernature.figshare.com/articles/software/Artifact_and_instructions_to_generate_experimental_results_for_Euro-Par_proceeding_2020_paper_Skipping_Non-essential_Instructions_Makes_Data-dependence_Profiling_Faster/12555083/1
Norouzi, M., Ilias, Q., Jannesari, A., Wolf, F.: Accelerating data-dependence profiling with static hints. In: Yahyapour, R. (ed.) Euro-Par 2019. LNCS, vol. 11725, pp. 17–28. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-29400-7_2
Norouzi, M., Wolf, F., Jannesari, A.: Automatic construct selection and variable classification in OpenMP. In: Proceedings of the International Conference on Supercomputing (ICS), Phoenix, AZ, USA, pp. 330–342, June 2019. https://doi.org/10.1145/3330345.3330375
Pouchet, L.N.: Polyhedral suite (2011). http://www.cs.ucla.edu/~pouchet/software/polybench/. Accessed 31 Jan 2020
Ramos, P., Mendonca, G., Soares, D., Araujo, G., Pereira, F.M.Q.: Automatic annotation of tasks in structured code. In: Proceedings of the International Conference on Parallel Architectures and Compilation Techniques (PACT), Limassol, Cyprus, pp. 20–33, May 2018. https://doi.org/10.1145/3243176.3243200
Sampaio, D., Ketterlin, A., Pouchet, L., Rastello, F.: Hybrid data dependence analysis for loop transformations. In: Proceedings of the International Conference on Parallel Architecture and Compilation Techniques (PACT), Los Alamitos, CA, USA, pp. 439–440, September 2016. https://doi.org/10.1145/2967938.2974059
Wilhelm, A., Cakaric, F., Gerndt, M., Schuele, T.: Tool-based interactive software parallelization: a case study. In: Proceedings of the International Conference on Software Engineering (ICSE), Gothenburg, Sweden, pp. 115–123, June 2018. https://doi.org/10.1145/3183519.3183555
Acknowledgements and Data Availability Statement
This work was funded by the Hessian LOEWE initiative within the Software- Factory 4.0 project. The datasets and code generated during and/or analysed during the current study are available in the Figshare repository: https://doi.org/10.6084/m9.figshare.12555083 [12].
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Morew, N., Norouzi, M., Jannesari, A., Wolf, F. (2020). Skipping Non-essential Instructions Makes Data-Dependence Profiling Faster. In: Malawski, M., Rzadca, K. (eds) Euro-Par 2020: Parallel Processing. Euro-Par 2020. Lecture Notes in Computer Science(), vol 12247. Springer, Cham. https://doi.org/10.1007/978-3-030-57675-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-57675-2_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-57674-5
Online ISBN: 978-3-030-57675-2
eBook Packages: Computer ScienceComputer Science (R0)