Data-flow/dependence profiling for structured transformations

Data-flow/dependence profiling for structured transformations
复制标题

结构化转换的数据流/依赖性分析

DOI:
10.1145/3293883.3295737
复制
发表时间:
2019
期刊:
Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming
影响因子:
--
通讯作者:
Rastello, Fabrice
Rastello, Fabrice
中科院分区:
--
文献类型:
--
作者:
Gruber, Fabian;Selva, Manuel;Sampaio, Diogo;Guillon, Christophe;Moynault, Antoine;Pouchet, Louis-Noël;Rastello, Fabrice

文献摘要

参考文献

被引文献

相似文献

性能分析反馈是开发人员用于性能调试的一项重要技术,通常用于查明性能瓶颈和寻找优化机会。评估程序转换的有效性和潜在收益需要准确的数据流和依赖关系的知识,这可以通过分析程序的特定执行来发现。在这项工作中,我们开发了一个端到端的基础设施,用于动态二进制分析,它产生关于应用复杂程序重新调度的潜力的反馈。我们的工具可以以统一的方式处理程序的过程间和过程内两个方面,从而提供过程间转换反馈。
Profiling feedback is an important technique used by developers for performance debugging, where it is usually used to pinpoint performance bottlenecks and also to find optimization opportunities. Assessing the validity and potential benefit of a program transformation requires accurate knowledge of the data flow and dependencies, which can be uncovered by profiling a particular execution of the program.In this work we developpoly-prof, an end-to-end infrastructure for dynamic binary analysis, which produces feedback about the potential to apply complex program rescheduling. Our tool can handle both inter- and intraprocedural aspects of the program in a unified way, thus providing interprocedural transformation feedback.
DOI: --
发表时间: 1995
期刊: --
影响因子: --
作者:
通讯作者: --
MAQAO:安腾 2 的模块化汇编器质量分析器和优化器
DOI: --
发表时间: 2005
期刊:
影响因子: --
作者:
L. Djoudi;Denis Barthou;Patrick Carribault;C. Lemuet;Jean;W. Jalby
通讯作者: W. Jalby
DOI: 10.1007/s10766-006-0012-3
发表时间: 2006-06
影响因子: 1.5
作者:
Sylvain Girbal;Nicolas Vasilache;Cédric Bastoul;Albert Cohen;David Parello;Marc Sigler;O. Temam
通讯作者: Sylvain Girbal;Nicolas Vasilache;Cédric Bastoul;Albert Cohen;David Parello;Marc Sigler;O. Temam
提高编译器可扩展性:以较小的代价优化大型程序
DOI: 10.1145/2737924.2737954
发表时间: 2015
期刊: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子: --
作者:
Sanyam Mehta;P. Yew
通讯作者: P. Yew
PolyCheck:仿射程序迭代空间变换的动态验证
DOI: 10.1145/2837614.2837656
发表时间: 2016
期刊: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子: --
作者:
Wenlei Bao;S. Krishnamoorthy;L. Pouchet;F. Rastello;P. Sadayappan
通讯作者: P. Sadayappan