如何进行并行编程:从并行矩阵运算开始

矩阵计算

矩阵计算问题有很多种类型,例如:

求解线性代数方程组 Ax = b

线性最小二乘问题 given b in R^m, for x in R^n,minimize ||Ax - b||^2

矩阵特征值问题 Ax = λx

矩阵奇异值分解 A = U∑V^T

 很多矩阵计算问题都有并行的计算方法,例如矩阵乘法,我们现在来学习并且用代码实现他们,从而更深地理解并行计算的思想。

并行矩阵乘法

    并行计算,就是多个进程并行协作,完成特定的任务。现在我们假定一个并行系统,包含了p个处理机,每个处理机一个进程,我们可以分别用字符“0”,“1”,...,“p-1”来引用它们,或者为了清晰,我们用 Pi 来引用它们,i 表示一个进程的进程号,进程之间可以相互传递消息,所谓消息,指的是一个数据结构。设用x引用一个消息,那么函数 send(x, i)表示当前进程(处理机)把消息x发送给序号等于i的进程,recv(x, i)表示当前进程从序号为i的进程接收消息x。在并行编程中,我们用程序代码定义好一个过程,每个进程都将运行这段程序代码定义的过程,也就是说,代码必须是通用的。并行编程的是一个定义各个局部之间相互关系的过程,全局的发展方向不仅仅依赖于局部与局部之间的这些关系,而且对初始状态也是极其依赖的,类似于数学和物理学中的混沌现象,我们需要选择合适的初始状态和局部之间的相互作用关系,使得整体得到希望的发展方向。

    接下来我们来说明用这p个处理机来进行并行算法。给出两个矩阵A和B,要C = A×B,我们可以用矩阵乘法的标准定义,还可以用分块矩阵来先进行变换。

算法1:行列划分算法

    我们对A进行行分块,对B进行列分块:

    这两个矩阵的子矩阵分别两两相乘得到 Ai×Bj = Ci,j ,我们可以得到p×p个矩阵,这些矩阵拼接起来,就得到了结果C,亦即,C = [Ci,j]p×p。我们可以用举世闻名的数学归纳法来证明如此分块的正确性,不过这并不是本文重点,不再赘述。

由此我们得到如下伪代码:

PROCEDURE 1
INPUT: A , B . A and B are both in processor 0.
OUTPUT: C = A × B in processor 0.
BEGIN:
#数据散发阶段,进程0把矩阵A和B分发给各个进程
if myid == 0:   for i in range(1,p):     send(Ai, i), send(Bi, i)   barrier() else:   recv(Amyid, 0), recv(Bmyid, 0)   barrier()
#并行计算各个分块矩阵的阶段 left
= (myid - 1)%p , right = (myid + 1)%p for i in range(0, p):   k = (i + myid)%p   C[myid][k] = Amyid * Bk   if i != p-1 :     send(Bk,left), recv(Bk+1,right)
#聚集阶段,每个节点把自己的计算结果发送给进程0
if myid == 0:   for i in range(1, p):     j = (i - 1)%p     start_new_thread(recv, (C[j],i)) else:   j = (myid - 1)%p   send(C[j],0) return C END.   

   在初始状态时,矩阵A和B都在节点0,我们通过数据散发操作使得通信器达到这样的状态:我们用数字 i 来引用通信器在每次循环通信的状态,用数字 k 引用在此状态下进程在自己的内存中保留着的分块矩阵 Ak 和 Bk。 Ai 和 Bi相乘可以得到C[i][i],计算和循环通信完成后,B的分块矩阵在节点中完成一次轮换,通信器进入下一个状态( 用数字 i+1 来引用这个状态),继续计算得到C[i][i+1],直到计算出每个C的分块,最后每个进程把自己计算出来的分块发送给节点0,完成拼接得到C。

    考虑这个算法的计算时间,如果是串行执行乘法,需要的时间是 O(mnk),p个处理机同时计算的计算时间当然就是O(mnk/p),注意计算总量仍旧是不变的。

    再考虑通信时间。串行算法没有通信时间,对于并行算法,忽略每次通信的启动时间,数据散发阶段的通信的时间复杂度O( (m-m0)k+(n-n0)k ),再计算阶段,共要完成p-1次循环传输,每次总共传输nk个数据,时间复杂度O( (p-1)nk ),聚集阶段的时间复杂度O( (m-m0)n )。再没有采用多线程同时进行计算和传输的情况下,算法的运行时间复杂度就是计算时间与通信时间的和 O( mnk/p + (m-m0)k+(n-n0)k + (p-1)nk + (m-m0)n )。

    这个算法是否真的更快,就有待实践检验了。当然上述算法还有很多可以优化的地方,这个算法只是一个思路。比如由于矩阵B已经存在于0引用的那个节点,所以不需要把节点0纳入循环;每个节点计算矩阵的过程中,可以每次计算完一列,就可以采用非阻塞通信或者多线的方式,把这一列发送出去,从而同时进行计算和传输。

MPI来实现行列划分算法

MPI是一组接口标准,调用这些接口可以实现并行编程中的各种动作,如初始化或者结束并行编程环境,进程间传递消息等。

通信器提供进程间通信的基本环境,MPI 程序中所有通信都必须在特定的通信器中完成。 MPI 环境在初始化时(也就是会设置一些全局变量)会自动创建两个通信器,一个称为 MPI_COMM_WORLD,它包含程序中的所有进程,另一个称为 MPI_COMM_SELF,它是每个进程独自构成的、仅包含自己的通信器。MPI 系统提供了一个特殊进程号 MPI_PROC_NULL,它代表空进程 (不存在的进程),与 MPI_PROC_NULL 进行通信相当于一个空操 作,对程序的运行没有任何影响。具体的API可以查阅书籍或者看 http://www.cnblogs.com/xinchrome/p/4859119.html

下面上代码:

#include <mpi.h>
#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>

#define M 1000
#define N 1000
#define K 1000

/* 职责:读取数据到矩阵中 */
void read_to_mat(int mat[][],int m,int n){
  int i = 0,j = 0;
    char filename[80];
    FILE *fp = NULL;
  fscanf(stdin,"%s",filename);
  fp = fopen(filename,"r");
  for(i = 0;i < m;i++){
    for(j = 0;j < n;j++){
      if(EOF == fscanf(fp,"%d",&mat[i][j])){
                printf("[ERROR] - filename: %s",filename);
        exit(1);
            }
    }
  }
    fclose(fp);
  return;
}

void write_to_file(int mat[][],int m,int n){
    char filename[] = "result.txt"
    FILE *fp = fopen(filename,"w");

    for(int i = 0;i < m;i++){
        if(i > 0)
            fprintf(fp,"
");
        for(int j = 0;j < n;j++){
            fprintf(fp,"%d",mat[i][j]);
            if(j != n-1)
                fprintf(fp,"	");
        }
    }
    fclose(fp);
    return;
}

void scatter(int mat[][],int src,int size,int displs[],int sendcnts[]){
    int myid = 0;
    MPI_Comm_rank(MPI_COMM_WORLD,&myid);
    if(myid == src){
        for(int dest = 0;dest < size;dest++){
            if(dest != src){
                for(int j = displs[dest];j < displs[dest] + sendcnts[dest];j++){
                    MPI_Bsend(mat[j],K,MPI_INT,dest,0,MPI_COMM_WORLD);
                }
            }
        }
    }
    else{
        for(int j = displs[myid];j < displs[myid] + sendcnts[myid];j++){
            MPI_Recv(mat[j],K,MPI_INT,src,0,MPI_COMM_WORLD,MPI_STATURS_IGNORE);
        }
    }
    return;
}

typedef struct{
    int displs[];
    int sendcnts[];
    int mat[][];
    int src;
} RECV_ARG;

void receive(RECV_ARG *arg){
    for(int j = arg->displs[arg->src];j < arg->displs[arg->src] + arg->sendcnts[arg->src];j++){
        MPI_Recv(arg->mat[j],K,MPI_INT,arg->src,0,MPI_COMM_WORLD,MPI_STATURS_IGNORE);
    }
    return;
}

void gather(int mat[][],int dest,int size,int displs[],int sendcnts[]){
    int myid = 0;
    pthread_t tid = 0;
    RECV_ARG * arg = (RECV_ARG *)malloc(sizeof(RECV_ARG));
    MPI_Comm_rank(MPI_COMM_WORLD,&myid);
    if(myid == dest){
        for(int src = 0;src < size;src++){
            if(src != dest){
                arg->displs = displs;
                arg->sendcnts = sendcnts;
                arg->mat = mat;
                arg->src = src;
                pthread_create(&tid,NULL,receive,(RECV_ARG *)&arg);
            }
        }
    }
    else{
        for(int j = displs[myid];j < displs[myid] + sendcnts[myid];j++){
            MPI_Send(mat[j],K,MPI_INT,src,0,MPI_COMM_WORLD);
        }
    }
    free(arg);
    return;
}

int main(int argc, char *argv[]){
  int myid = 0, numprocs = 0,
        A[M][K],B[N][K],C[M][N],/* 变量B存储了真实矩阵的转置 */
        sendcnts_row[],sendcnts_col[],displs_row[],displs_col[],
        *buf = NULL;
        pack_size = 0,buf_size = 0,
        left = 0, right = 0;

    /* 起始阶段,把两个矩阵分块 */
  MPI_Init(&argc,&argv);
  MPI_Comm_rank(MPI_COMM_WORLD,&myid);
  MPI_Comm_size(MPI_COMM_WORLD,&numprocs);
    if(numprocs < 2){
        printf("[ERROR] - numprocs = %d", numprocs);
        exit(2);
    }
    sendcnts_row = (int *)malloc(sizeof(int)*numprocs);
    sendcnts_col = (int *)malloc(sizeof(int)*numprocs);    
    for(int i = 0;i < numprocs;i++){
        if(i == 0){
            displs_row[i] = 0;
            displs_col[i] = 0;
            sendcnts_row[i] = (M/numprocs) + M%numprocs;
            sendcnts_col[i] = (N/numprocs) + N%numprocs;
        } else {
            displs_row[i] = i * (M/numprocs) + M%numprocs;
            displs_col[i] = i * (N/numprocs) + N%numprocs;
            sendcnts_row[i] = M/numprocs;
            sendcnts_col[i] = N/numprocs;
        }
    }
    MPI_Pack_size(M*K+K*N,MPI_INT,&pack_size);
    buf_size = (M + N) * MPI_BSEND_OVERHEAD + pack_size;
    buf = (int*)malloc(sizeof(int)*buf_size);

  /* 数据散发阶段,形成通信器的初始状态 */
    MPI_Buffer_attach(buf,buf_size);
    if(myid == 0){
        read_to_mat(A,M,K);    
        read_to_mat(B,N,K);/* 把真实矩阵映射为转置矩阵 */
    }
    scatter(A,0,numprocs,displs_row,sendcnts_row);
    scatter(B,0,numprocs,displs_col,ndcnts_col);
    MPI_Buffer_detach(&buf,&buf_size);

    /* 计算并循环通信阶段,i的值引用了通信器的每个状态 */
    MPI_Buffer_attach(buf,buf_size);
    left = (myid - 1) % numprocs;
    right = (myid + 1) % numprocs;
    for(int i = 0;i < numprocs;i++){
        int p = (i + myid) % numprocs;
        int left_p = (p - 1) % numprocs;
        for(int n = displs_col[p];n < displs_col[p] + sendcnts_col[p];n++){
            for(int m = displs_row[myid];m < displs_row[myid] + sendcnts_row[myid];m++){
                int sum = 0;
                for(int k = 0;k < K;k++){
                    sum += A[m][k] + B[n][k];
                }
                C[m][n] = sum;
            }
            if(i != numprocs - 1)
                MPI_Bsend(B[n],K,MPI_INT,right,0,MPI_COMM_WORLD);/* 一边计算一边发送 */
        }
        if(i != numprocs - 1){
            for(int col = displs_col[left_p];col < displs_col[left_p] + sendcnts_col[left_p];col++){
                MPI_Recv(B[col],K,MPI_INT,left,0,MPI_COMM_WORLD,MPI_STATURS_IGNORE);
            }
        }
    }
    MPI_Buffer_detach(&buf,&buf_size);

    /* 聚集阶段 */
    MPI_Buffer_attach(buf,buf_size);
    gather(C,0,numprocs,displs_row,sendcnts_row);
    MPI_Buffer_detach(&buf,&buf_size);

    if(myid ==0)
        write_to_file(C,M,N);

    free(buf);
  MPI_Finalize();
  return 0;
}

/* 实际的代码和伪代码有一些区别,
* 实际代码用B存储实际矩阵的转置,
* 实际代码采用一边计算一边传输的方式,
* 循环中消息也是从小序号传递到大序号,
* 从而使得每个状态中,状态的号码等于最大的分块所在的进程号 */

其他的并行矩阵乘法

列行划分算法

这种算法在每个处理机上得到了相同规模的矩阵,最后将它们全部叠加起来得到C。另外如果处理机数目非常多,在最后聚集的时候可以采用树形聚集的方式,实现并行聚集求和,这样可以加快减少求和的时间,当然,这种方式也加大了复制传输数据的开销。

原文地址:https://www.cnblogs.com/xinchrome/p/4857733.html