并行编程工具:Temanejo 调试器与 HiFlow3 有限元包介绍
1. 并行编程与调试挑战
在当今的计算领域,为了充分利用多核处理器甚至加速器的性能,出现了多种并行编程范式,如 OpenMP、CAPS HMPP 和 StarSs 编程模型。这些模型让程序员能够在源代码中表达并行性,识别任务以及任务之间的依赖关系(OpenMP 除外),使得编译器和运行时系统可以将任务调度到多个并发执行实体上,例如多核系统中的线程。
然而,并行编程在各个方面都增加了复杂性,尤其是在调试应用程序时。基于进程的并行编程模型允许调试器附加到每个单独的进程,而基于线程的编程模型由于线程的特性,查找错误变得更加困难。在 Unix 环境中,线程程序共享信号、文件描述符和最重要的内存地址空间。为了避免竞态条件,多个线程需要同步对共享资源的访问。
2. StarSs 编程模型
StarSs 编程模型允许通过使用编译指示语句(在 C 语言中)和注释(在 Fortran 语言中)来注释顺序代码,从而指定任务及其相互依赖关系。以下是一个用 C 语言编写的 StarSs 示例,用于并行递归斐波那契计算:
#include <stdio.h>
#pragma css task input(a) output(out)
void fib (int a, int *out) {
int tmp1, tmp2;
if (a <= 1)
*out = 1;
else {
fib (a-1, &tmp1);
fib (a-2, &