[论文解读] TEMANEJO - a debugger for task based parallel programming models

Steffen Brinkmann, José Gracia+2 more|arXiv (Cornell University)|Dec 20, 2011

Distributed and Parallel Computing Systems参考文献 1被引用 11

一句话总结

Temanejo 是一种用于任务并行编程模型（如 StarSs）的调试器，使开发者能够通过图形化界面可视化运行时任务依赖图，并控制任务调度。它与 Ayudame 库和 StarSs 运行时集成，提供实时调试、任务状态监控以及对执行顺序和线程行为的动态控制，显著提升了对不规则、数据依赖型并行工作负载的调试体验。

ABSTRACT

We present the program Temanejo, a debugger for task based parallelisation models such as StarSs. The challenge in debugging StarSs applications lies in the fact that tasks are scheduled at runtime, i.e dynamically in accordance to the data dependencies between them. Our tool assists the programmer in the debugging process by visualising the task dependency graph and allowing to control the scheduling of tasks. The toolset consists of the library Ayudame which communicates with the StarSs runtime on one side and of the debugger Temanejo on the other side which communicates with Ayudame. Temanejo provides a graphical user interface with which the application can be analysed and controlled.

研究动机与目标

• 解决任务调度动态且依赖数据的任务并行程序的调试挑战，传统调试技术在此类场景下失效。
• 为开发者提供对数据并行应用程序中任务执行流程、依赖关系和运行时状态的实时洞察。
• 支持对任务调度的交互式控制，包括在执行过程中暂停、优先级调整、阻塞和重启特定任务。
• 通过颜色编码的任务节点可视化任务持续时间与负载均衡问题，支持性能分析。
• 与基于 StarSs 的现有框架（如 SMPSs 和 OMPSs）无缝集成，无需修改应用程序代码。

提出的方法

• 调试器使用 Ayudame 库作为 StarSs 运行时与 Temanejo GUI 之间的通信桥梁，实现实时数据交换。
• Temanejo 通过颜色编码的节点和边动态可视化任务依赖图，表示任务状态、执行线程、函数和数据依赖关系。
• 通过 GUI 支持动态控制，包括暂停、优先级调整和阻塞特定任务或函数。
• 允许在执行过程中的任意时刻启动 gdb，支持全局或指定函数的调试，实现与标准调试工具的混合调试。
• 收集并以颜色显示任务持续时间信息，帮助识别性能瓶颈或负载不均。
• 未来扩展包括动态调整线程数量、可配置的执行顺序，以及对 gdb 以外的多个调试器的支持。

实验结果

研究问题

• RQ1 如何有效可视化任务并行模型中固有的动态、数据依赖型任务调度？
• RQ2 为使开发者能够在运行时检查和操纵任务执行顺序，需要哪些交互式控制功能？
• RQ3 调试工具如何通过暴露任务持续时间和负载分布信息来支持性能分析？
• RQ4 何种机制可实现在不修改应用程序代码的前提下，将调试器与 StarSs 等运行时系统无缝集成？
• RQ5 如何将现有的调试工具（如 gdb）集成到面向任务并行程序的可视化、交互式调试环境中？

主要发现

• Temanejo 成功实现实时可视化任务依赖图的动态构建与执行，为开发者提供对程序结构和执行流程的即时洞察。
• 该工具支持对任务调度的交互式操作，包括暂停、优先级调整和阻塞任务，这对于诊断数据竞争和逻辑错误至关重要。
• 颜色编码的任务节点和边有效传达了任务状态、执行线程、函数和数据依赖关系的信息，显著提升了视觉调试效率。
• 尽管由于性能检测开销导致任务持续时间可视化为近似值，但其作为识别性能瓶颈和负载不均的启发式方法已被证明非常有效。
• 与 gdb 的集成使开发者可在任意时刻切换至逐行调试，实现高层概览与低层检查的结合。
• 该工具具有良好的可扩展性且持续开发中，计划支持的功能包括动态调整线程数量、可配置的执行顺序以及对多个调试器的支持。