1807171c5SHong Zhang 23b1b9624SHong Zhang /* 33b1b9624SHong Zhang Defines projective product routines where A is a SeqAIJ matrix 43b1b9624SHong Zhang C = R * A * R^T 53b1b9624SHong Zhang */ 63b1b9624SHong Zhang 7807171c5SHong Zhang #include <../src/mat/impls/aij/seq/aij.h> 8807171c5SHong Zhang #include <../src/mat/utils/freespace.h> 9807171c5SHong Zhang #include <../src/mat/impls/dense/seq/dense.h> /*I "petscmat.h" I*/ 108563dfccSBarry Smith #include <petsctime.h> 11807171c5SHong Zhang 123b1b9624SHong Zhang /* #define RART_PROFILE */ 13807171c5SHong Zhang 14807171c5SHong Zhang #undef __FUNCT__ 15257c235dSHong Zhang #define __FUNCT__ "MatDestroy_SeqAIJ_RARt" 16257c235dSHong Zhang PetscErrorCode MatDestroy_SeqAIJ_RARt(Mat A) 17807171c5SHong Zhang { 18807171c5SHong Zhang PetscErrorCode ierr; 19257c235dSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 20257c235dSHong Zhang Mat_RARt *rart = a->rart; 21807171c5SHong Zhang 22807171c5SHong Zhang PetscFunctionBegin; 23807171c5SHong Zhang ierr = MatTransposeColoringDestroy(&rart->matcoloring);CHKERRQ(ierr); 24807171c5SHong Zhang ierr = MatDestroy(&rart->Rt);CHKERRQ(ierr); 25807171c5SHong Zhang ierr = MatDestroy(&rart->RARt);CHKERRQ(ierr); 263b1b9624SHong Zhang ierr = MatDestroy(&rart->ARt);CHKERRQ(ierr); 27807171c5SHong Zhang ierr = PetscFree(rart->work);CHKERRQ(ierr); 28807171c5SHong Zhang 29807171c5SHong Zhang A->ops->destroy = rart->destroy; 30807171c5SHong Zhang if (A->ops->destroy) { 31807171c5SHong Zhang ierr = (*A->ops->destroy)(A);CHKERRQ(ierr); 32807171c5SHong Zhang } 33257c235dSHong Zhang ierr = PetscFree(rart);CHKERRQ(ierr); 34807171c5SHong Zhang PetscFunctionReturn(0); 35807171c5SHong Zhang } 36807171c5SHong Zhang 37807171c5SHong Zhang #undef __FUNCT__ 38807171c5SHong Zhang #define __FUNCT__ "MatRARtSymbolic_SeqAIJ_SeqAIJ" 39807171c5SHong Zhang PetscErrorCode MatRARtSymbolic_SeqAIJ_SeqAIJ(Mat A,Mat R,PetscReal fill,Mat *C) 40807171c5SHong Zhang { 41807171c5SHong Zhang PetscErrorCode ierr; 42807171c5SHong Zhang Mat P; 43807171c5SHong Zhang PetscInt *rti,*rtj; 44807171c5SHong Zhang Mat_RARt *rart; 45807171c5SHong Zhang MatTransposeColoring matcoloring; 46807171c5SHong Zhang ISColoring iscoloring; 478d0a38e4SHong Zhang Mat Rt_dense,RARt_dense; 483b1b9624SHong Zhang #if defined(RART_PROFILE) 49807171c5SHong Zhang PetscLogDouble GColor=0.0,MCCreate=0.0,MDenCreate=0.0,t0,tf,etime=0.0; 503b1b9624SHong Zhang #endif 51807171c5SHong Zhang Mat_SeqAIJ *c; 52807171c5SHong Zhang 53807171c5SHong Zhang PetscFunctionBegin; 543b1b9624SHong Zhang #if defined(RART_PROFILE) 558563dfccSBarry Smith ierr = PetscTime(&t0);CHKERRQ(ierr); 563b1b9624SHong Zhang #endif 57807171c5SHong Zhang /* create symbolic P=Rt */ 58807171c5SHong Zhang ierr = MatGetSymbolicTranspose_SeqAIJ(R,&rti,&rtj);CHKERRQ(ierr); 590298fd71SBarry Smith ierr = MatCreateSeqAIJWithArrays(PETSC_COMM_SELF,R->cmap->n,R->rmap->n,rti,rtj,NULL,&P);CHKERRQ(ierr); 60807171c5SHong Zhang 61807171c5SHong Zhang /* get symbolic C=Pt*A*P */ 62807171c5SHong Zhang ierr = MatPtAPSymbolic_SeqAIJ_SeqAIJ(A,P,fill,C);CHKERRQ(ierr); 63fd8e3dafSHong Zhang (*C)->rmap->bs = R->rmap->bs; 64fd8e3dafSHong Zhang (*C)->cmap->bs = R->rmap->bs; 65807171c5SHong Zhang 66807171c5SHong Zhang /* create a supporting struct */ 67807171c5SHong Zhang ierr = PetscNew(Mat_RARt,&rart);CHKERRQ(ierr); 68257c235dSHong Zhang c = (Mat_SeqAIJ*)(*C)->data; 69257c235dSHong Zhang c->rart = rart; 703b1b9624SHong Zhang #if defined(RART_PROFILE) 718563dfccSBarry Smith ierr = PetscTime(&tf);CHKERRQ(ierr); 72807171c5SHong Zhang etime += tf - t0; 733b1b9624SHong Zhang #endif 74807171c5SHong Zhang 7522e94b5dSHong Zhang /* ------ Use coloring ---------- */ 76807171c5SHong Zhang /* Create MatTransposeColoring from symbolic C=R*A*R^T */ 773b1b9624SHong Zhang #if defined(RART_PROFILE) 788563dfccSBarry Smith ierr = PetscTime(&t0);CHKERRQ(ierr); 793b1b9624SHong Zhang #endif 80807171c5SHong Zhang ierr = MatGetColoring(*C,MATCOLORINGLF,&iscoloring);CHKERRQ(ierr); 813b1b9624SHong Zhang #if defined(RART_PROFILE) 828563dfccSBarry Smith ierr = PetscTime(&tf);CHKERRQ(ierr); 83807171c5SHong Zhang GColor += tf - t0; 848563dfccSBarry Smith ierr = PetscTime(&t0);CHKERRQ(ierr); 853b1b9624SHong Zhang #endif 86807171c5SHong Zhang ierr = MatTransposeColoringCreate(*C,iscoloring,&matcoloring);CHKERRQ(ierr); 872205254eSKarl Rupp 88807171c5SHong Zhang rart->matcoloring = matcoloring; 892205254eSKarl Rupp 90807171c5SHong Zhang ierr = ISColoringDestroy(&iscoloring);CHKERRQ(ierr); 913b1b9624SHong Zhang #if defined(RART_PROFILE) 928563dfccSBarry Smith ierr = PetscTime(&tf);CHKERRQ(ierr); 93807171c5SHong Zhang MCCreate += tf - t0; 948563dfccSBarry Smith ierr = PetscTime(&t0);CHKERRQ(ierr); 953b1b9624SHong Zhang #endif 963b1b9624SHong Zhang 97807171c5SHong Zhang /* Create Rt_dense */ 98807171c5SHong Zhang ierr = MatCreate(PETSC_COMM_SELF,&Rt_dense);CHKERRQ(ierr); 99807171c5SHong Zhang ierr = MatSetSizes(Rt_dense,A->cmap->n,matcoloring->ncolors,A->cmap->n,matcoloring->ncolors);CHKERRQ(ierr); 100807171c5SHong Zhang ierr = MatSetType(Rt_dense,MATSEQDENSE);CHKERRQ(ierr); 1010298fd71SBarry Smith ierr = MatSeqDenseSetPreallocation(Rt_dense,NULL);CHKERRQ(ierr); 1022205254eSKarl Rupp 103807171c5SHong Zhang Rt_dense->assembled = PETSC_TRUE; 104807171c5SHong Zhang rart->Rt = Rt_dense; 105807171c5SHong Zhang 106807171c5SHong Zhang /* Create RARt_dense = R*A*Rt_dense */ 107807171c5SHong Zhang ierr = MatCreate(PETSC_COMM_SELF,&RARt_dense);CHKERRQ(ierr); 108807171c5SHong Zhang ierr = MatSetSizes(RARt_dense,(*C)->rmap->n,matcoloring->ncolors,(*C)->rmap->n,matcoloring->ncolors);CHKERRQ(ierr); 109807171c5SHong Zhang ierr = MatSetType(RARt_dense,MATSEQDENSE);CHKERRQ(ierr); 1100298fd71SBarry Smith ierr = MatSeqDenseSetPreallocation(RARt_dense,NULL);CHKERRQ(ierr); 1112205254eSKarl Rupp 112807171c5SHong Zhang rart->RARt = RARt_dense; 113807171c5SHong Zhang 114807171c5SHong Zhang /* Allocate work array to store columns of A*R^T used in MatMatMatMultNumeric_SeqAIJ_SeqAIJ_SeqDense() */ 115807171c5SHong Zhang ierr = PetscMalloc(A->rmap->n*4*sizeof(PetscScalar),&rart->work);CHKERRQ(ierr); 116807171c5SHong Zhang 1173b1b9624SHong Zhang #if defined(RART_PROFILE) 1188563dfccSBarry Smith ierr = PetscTime(&tf);CHKERRQ(ierr); 119807171c5SHong Zhang MDenCreate += tf - t0; 1203b1b9624SHong Zhang #endif 121807171c5SHong Zhang 122807171c5SHong Zhang rart->destroy = (*C)->ops->destroy; 123807171c5SHong Zhang (*C)->ops->destroy = MatDestroy_SeqAIJ_RARt; 124807171c5SHong Zhang 125807171c5SHong Zhang /* clean up */ 126807171c5SHong Zhang ierr = MatRestoreSymbolicTranspose_SeqAIJ(R,&rti,&rtj);CHKERRQ(ierr); 127807171c5SHong Zhang ierr = MatDestroy(&P);CHKERRQ(ierr); 128807171c5SHong Zhang 129807171c5SHong Zhang #if defined(PETSC_USE_INFO) 1301ce71dffSSatish Balay { 131807171c5SHong Zhang PetscReal density= (PetscReal)(c->nz)/(RARt_dense->rmap->n*RARt_dense->cmap->n); 132a2ea699eSBarry Smith ierr = PetscInfo6(*C,"RARt_den %D %D; Rt_den %D %D, (RARt->nz %D)/(m*ncolors)=%g\n",RARt_dense->rmap->n,RARt_dense->cmap->n,Rt_dense->rmap->n,Rt_dense->cmap->n,c->nz,density);CHKERRQ(ierr); 1333b1b9624SHong Zhang #if defined(RART_PROFILE) 134a2ea699eSBarry Smith ierr = PetscInfo5(*C,"Sym = GetColor %g + MColorCreate %g + MDenCreate %g + other %g = %g\n",GColor,MCCreate,MDenCreate,etime,GColor+MCCreate+MDenCreate+etime);CHKERRQ(ierr); 1353b1b9624SHong Zhang #endif 1361ce71dffSSatish Balay } 137807171c5SHong Zhang #endif 138807171c5SHong Zhang PetscFunctionReturn(0); 139807171c5SHong Zhang } 140807171c5SHong Zhang 141807171c5SHong Zhang /* 142807171c5SHong Zhang RAB = R * A * B, R and A in seqaij format, B in dense format; 143807171c5SHong Zhang */ 144807171c5SHong Zhang #undef __FUNCT__ 145807171c5SHong Zhang #define __FUNCT__ "MatMatMatMultNumeric_SeqAIJ_SeqAIJ_SeqDense" 146807171c5SHong Zhang PetscErrorCode MatMatMatMultNumeric_SeqAIJ_SeqAIJ_SeqDense(Mat R,Mat A,Mat B,Mat RAB,PetscScalar *work) 147807171c5SHong Zhang { 148807171c5SHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*r=(Mat_SeqAIJ*)R->data; 149807171c5SHong Zhang PetscErrorCode ierr; 150807171c5SHong Zhang PetscScalar *b,r1,r2,r3,r4,*b1,*b2,*b3,*b4; 151807171c5SHong Zhang MatScalar *aa,*ra; 152807171c5SHong Zhang PetscInt cn =B->cmap->n,bm=B->rmap->n,col,i,j,n,*ai=a->i,*aj,am=A->rmap->n; 153807171c5SHong Zhang PetscInt am2=2*am,am3=3*am,bm4=4*bm; 154807171c5SHong Zhang PetscScalar *d,*c,*c2,*c3,*c4; 155807171c5SHong Zhang PetscInt *rj,rm=R->rmap->n,dm=RAB->rmap->n,dn=RAB->cmap->n; 156807171c5SHong Zhang PetscInt rm2=2*rm,rm3=3*rm,colrm; 1573b1b9624SHong Zhang #if defined(RART_PROFILE) 158274010c0SHong Zhang PetscLogDouble t0,tf,Mult_sp_den1=0.0,Mult_sp_den2=0.0; 1593b1b9624SHong Zhang #endif 160807171c5SHong Zhang 161807171c5SHong Zhang PetscFunctionBegin; 162807171c5SHong Zhang if (!dm || !dn) PetscFunctionReturn(0); 163807171c5SHong Zhang if (bm != A->cmap->n) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_ARG_SIZ,"Number columns in A %D not equal rows in B %D\n",A->cmap->n,bm); 164807171c5SHong Zhang if (am != R->cmap->n) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_ARG_SIZ,"Number columns in R %D not equal rows in A %D\n",R->cmap->n,am); 165807171c5SHong Zhang if (R->rmap->n != RAB->rmap->n) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_ARG_SIZ,"Number rows in RAB %D not equal rows in R %D\n",RAB->rmap->n,R->rmap->n); 166807171c5SHong Zhang if (B->cmap->n != RAB->cmap->n) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_ARG_SIZ,"Number columns in RAB %D not equal columns in B %D\n",RAB->cmap->n,B->cmap->n); 167807171c5SHong Zhang 168274010c0SHong Zhang { /* 169274010c0SHong Zhang This approach is not as good as original ones (will be removed later), but it reveals that 170274010c0SHong Zhang AB_den=A*B takes almost all execution time in R*A*B for src/ksp/ksp/examples/tutorials/ex56.c 171274010c0SHong Zhang */ 172274010c0SHong Zhang PetscBool via_matmatmult=PETSC_FALSE; 173274010c0SHong Zhang ierr = PetscOptionsGetBool(NULL,"-matrart_via_matmatmult",&via_matmatmult,NULL);CHKERRQ(ierr); 174274010c0SHong Zhang if (via_matmatmult) { 175274010c0SHong Zhang Mat AB_den; 176274010c0SHong Zhang ierr = MatMatMultSymbolic_SeqAIJ_SeqDense(A,B,0.0,&AB_den);CHKERRQ(ierr); 177274010c0SHong Zhang 1783b1b9624SHong Zhang #if defined(RART_PROFILE) 17926be7272SHong Zhang ierr = PetscTime(&t0);CHKERRQ(ierr); 1803b1b9624SHong Zhang #endif 181274010c0SHong Zhang ierr = MatMatMultNumeric_SeqAIJ_SeqDense(A,B,AB_den);CHKERRQ(ierr); 1823b1b9624SHong Zhang #if defined(RART_PROFILE) 18326be7272SHong Zhang ierr = PetscTime(&tf);CHKERRQ(ierr); 184274010c0SHong Zhang Mult_sp_den1 += tf - t0; 18526be7272SHong Zhang ierr = PetscTime(&t0);CHKERRQ(ierr); 1863b1b9624SHong Zhang #endif 187274010c0SHong Zhang ierr = MatMatMultNumeric_SeqAIJ_SeqDense(R,AB_den,RAB);CHKERRQ(ierr); 1883b1b9624SHong Zhang #if defined(RART_PROFILE) 18926be7272SHong Zhang ierr = PetscTime(&tf);CHKERRQ(ierr); 190274010c0SHong Zhang Mult_sp_den2 += tf - t0; 191274010c0SHong Zhang printf(" MatMatMatMultNumeric_SeqAIJ_SeqAIJ_SeqDense...time = %g + %g = %g; ncolor: %d\n",Mult_sp_den1, Mult_sp_den2, Mult_sp_den1+ Mult_sp_den2,B->cmap->n); 1923b1b9624SHong Zhang #endif 193274010c0SHong Zhang ierr = MatDestroy(&AB_den);CHKERRQ(ierr); 194274010c0SHong Zhang PetscFunctionReturn(0); 195274010c0SHong Zhang } 196274010c0SHong Zhang } 197274010c0SHong Zhang 1988c778c55SBarry Smith ierr = MatDenseGetArray(B,&b);CHKERRQ(ierr); 1998c778c55SBarry Smith ierr = MatDenseGetArray(RAB,&d);CHKERRQ(ierr); 200807171c5SHong Zhang b1 = b; b2 = b1 + bm; b3 = b2 + bm; b4 = b3 + bm; 201807171c5SHong Zhang c = work; c2 = c + am; c3 = c2 + am; c4 = c3 + am; 202807171c5SHong Zhang for (col=0; col<cn-4; col += 4) { /* over columns of C */ 203807171c5SHong Zhang for (i=0; i<am; i++) { /* over rows of A in those columns */ 204807171c5SHong Zhang r1 = r2 = r3 = r4 = 0.0; 205807171c5SHong Zhang n = ai[i+1] - ai[i]; 206807171c5SHong Zhang aj = a->j + ai[i]; 207807171c5SHong Zhang aa = a->a + ai[i]; 208807171c5SHong Zhang for (j=0; j<n; j++) { 209807171c5SHong Zhang r1 += (*aa)*b1[*aj]; 210807171c5SHong Zhang r2 += (*aa)*b2[*aj]; 211807171c5SHong Zhang r3 += (*aa)*b3[*aj]; 212807171c5SHong Zhang r4 += (*aa++)*b4[*aj++]; 213807171c5SHong Zhang } 214807171c5SHong Zhang c[i] = r1; 215807171c5SHong Zhang c[am + i] = r2; 216807171c5SHong Zhang c[am2 + i] = r3; 217807171c5SHong Zhang c[am3 + i] = r4; 218807171c5SHong Zhang } 219807171c5SHong Zhang b1 += bm4; 220807171c5SHong Zhang b2 += bm4; 221807171c5SHong Zhang b3 += bm4; 222807171c5SHong Zhang b4 += bm4; 223807171c5SHong Zhang 224807171c5SHong Zhang /* RAB[:,col] = R*C[:,col] */ 225807171c5SHong Zhang colrm = col*rm; 226807171c5SHong Zhang for (i=0; i<rm; i++) { /* over rows of R in those columns */ 227807171c5SHong Zhang r1 = r2 = r3 = r4 = 0.0; 228807171c5SHong Zhang n = r->i[i+1] - r->i[i]; 229807171c5SHong Zhang rj = r->j + r->i[i]; 230807171c5SHong Zhang ra = r->a + r->i[i]; 231807171c5SHong Zhang for (j=0; j<n; j++) { 232807171c5SHong Zhang r1 += (*ra)*c[*rj]; 233807171c5SHong Zhang r2 += (*ra)*c2[*rj]; 234807171c5SHong Zhang r3 += (*ra)*c3[*rj]; 235807171c5SHong Zhang r4 += (*ra++)*c4[*rj++]; 236807171c5SHong Zhang } 237807171c5SHong Zhang d[colrm + i] = r1; 238807171c5SHong Zhang d[colrm + rm + i] = r2; 239807171c5SHong Zhang d[colrm + rm2 + i] = r3; 240807171c5SHong Zhang d[colrm + rm3 + i] = r4; 241807171c5SHong Zhang } 242807171c5SHong Zhang } 243807171c5SHong Zhang for (; col<cn; col++) { /* over extra columns of C */ 244807171c5SHong Zhang for (i=0; i<am; i++) { /* over rows of A in those columns */ 245807171c5SHong Zhang r1 = 0.0; 246807171c5SHong Zhang n = a->i[i+1] - a->i[i]; 247807171c5SHong Zhang aj = a->j + a->i[i]; 248807171c5SHong Zhang aa = a->a + a->i[i]; 249807171c5SHong Zhang for (j=0; j<n; j++) { 250807171c5SHong Zhang r1 += (*aa++)*b1[*aj++]; 251807171c5SHong Zhang } 252807171c5SHong Zhang c[i] = r1; 253807171c5SHong Zhang } 254807171c5SHong Zhang b1 += bm; 255807171c5SHong Zhang 256807171c5SHong Zhang for (i=0; i<rm; i++) { /* over rows of R in those columns */ 257807171c5SHong Zhang r1 = 0.0; 258807171c5SHong Zhang n = r->i[i+1] - r->i[i]; 259807171c5SHong Zhang rj = r->j + r->i[i]; 260807171c5SHong Zhang ra = r->a + r->i[i]; 261807171c5SHong Zhang for (j=0; j<n; j++) { 262807171c5SHong Zhang r1 += (*ra++)*c[*rj++]; 263807171c5SHong Zhang } 264807171c5SHong Zhang d[col*rm + i] = r1; 265807171c5SHong Zhang } 266807171c5SHong Zhang } 267807171c5SHong Zhang ierr = PetscLogFlops(cn*2.0*(a->nz + r->nz));CHKERRQ(ierr); 268807171c5SHong Zhang 2698c778c55SBarry Smith ierr = MatDenseRestoreArray(B,&b);CHKERRQ(ierr); 2708c778c55SBarry Smith ierr = MatDenseRestoreArray(RAB,&d);CHKERRQ(ierr); 271807171c5SHong Zhang ierr = MatAssemblyBegin(RAB,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 272807171c5SHong Zhang ierr = MatAssemblyEnd(RAB,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 273807171c5SHong Zhang PetscFunctionReturn(0); 274807171c5SHong Zhang } 275807171c5SHong Zhang 276807171c5SHong Zhang #undef __FUNCT__ 277807171c5SHong Zhang #define __FUNCT__ "MatRARtNumeric_SeqAIJ_SeqAIJ" 278807171c5SHong Zhang PetscErrorCode MatRARtNumeric_SeqAIJ_SeqAIJ(Mat A,Mat R,Mat C) 279807171c5SHong Zhang { 280807171c5SHong Zhang PetscErrorCode ierr; 281257c235dSHong Zhang Mat_SeqAIJ *c = (Mat_SeqAIJ*)C->data; 282257c235dSHong Zhang Mat_RARt *rart=c->rart; 283807171c5SHong Zhang MatTransposeColoring matcoloring; 2848d0a38e4SHong Zhang Mat Rt,RARt; 2853b1b9624SHong Zhang #if defined(RART_PROFILE) 286807171c5SHong Zhang PetscLogDouble Mult_sp_den=0.0,app1=0.0,app2=0.0,t0,tf; 2873b1b9624SHong Zhang #endif 288807171c5SHong Zhang 289807171c5SHong Zhang PetscFunctionBegin; 290807171c5SHong Zhang /* Get dense Rt by Apply MatTransposeColoring to R */ 291807171c5SHong Zhang matcoloring = rart->matcoloring; 292807171c5SHong Zhang Rt = rart->Rt; 2932205254eSKarl Rupp 2943b1b9624SHong Zhang #if defined(RART_PROFILE) 2958563dfccSBarry Smith ierr = PetscTime(&t0);CHKERRQ(ierr); 2963b1b9624SHong Zhang #endif 297807171c5SHong Zhang ierr = MatTransColoringApplySpToDen(matcoloring,R,Rt);CHKERRQ(ierr); 2983b1b9624SHong Zhang #if defined(RART_PROFILE) 2998563dfccSBarry Smith ierr = PetscTime(&tf);CHKERRQ(ierr); 300807171c5SHong Zhang app1 += tf - t0; 3013b1b9624SHong Zhang #endif 302807171c5SHong Zhang 30350647e95SHong Zhang /* Get dense RARt = R*A*Rt -- dominates! */ 3043b1b9624SHong Zhang #if defined(RART_PROFILE) 3058563dfccSBarry Smith ierr = PetscTime(&t0);CHKERRQ(ierr); 3063b1b9624SHong Zhang #endif 307807171c5SHong Zhang RARt = rart->RARt; 308807171c5SHong Zhang ierr = MatMatMatMultNumeric_SeqAIJ_SeqAIJ_SeqDense(R,A,Rt,RARt,rart->work);CHKERRQ(ierr); 3093b1b9624SHong Zhang #if defined(RART_PROFILE) 3108563dfccSBarry Smith ierr = PetscTime(&tf);CHKERRQ(ierr); 311807171c5SHong Zhang Mult_sp_den += tf - t0; 3123b1b9624SHong Zhang #endif 313807171c5SHong Zhang 314807171c5SHong Zhang /* Recover C from C_dense */ 3153b1b9624SHong Zhang #if defined(RART_PROFILE) 3168563dfccSBarry Smith ierr = PetscTime(&t0);CHKERRQ(ierr); 3173b1b9624SHong Zhang #endif 318807171c5SHong Zhang ierr = MatTransColoringApplyDenToSp(matcoloring,RARt,C);CHKERRQ(ierr); 3193b1b9624SHong Zhang #if defined(RART_PROFILE) 3208563dfccSBarry Smith ierr = PetscTime(&tf);CHKERRQ(ierr); 321807171c5SHong Zhang app2 += tf - t0; 3223b1b9624SHong Zhang #endif 323807171c5SHong Zhang 3243b1b9624SHong Zhang #if defined(RART_PROFILE) 3253b1b9624SHong Zhang printf("MatRARtNumeric_SeqAIJ_SeqAIJ: ColorApp %g + %g + Mult_sp_den %g = %g\n",app1,app2,Mult_sp_den,app1+app2+Mult_sp_den);CHKERRQ(ierr); 326807171c5SHong Zhang #endif 327807171c5SHong Zhang PetscFunctionReturn(0); 328807171c5SHong Zhang } 329807171c5SHong Zhang 330807171c5SHong Zhang #undef __FUNCT__ 331807171c5SHong Zhang #define __FUNCT__ "MatRARt_SeqAIJ_SeqAIJ" 332807171c5SHong Zhang PetscErrorCode MatRARt_SeqAIJ_SeqAIJ(Mat A,Mat R,MatReuse scall,PetscReal fill,Mat *C) 333807171c5SHong Zhang { 334807171c5SHong Zhang PetscErrorCode ierr; 33595a72cc5SHong Zhang const char *algTypes[3] = {"matmatmatmult","matmattransposemult","coloring_rart"}; 33695a72cc5SHong Zhang PetscInt alg=0; /* set default algorithm */ 3374fa85fdeSHong Zhang Mat_SeqAIJ *c; 3384fa85fdeSHong Zhang Mat_RARt *rart; 3394fa85fdeSHong Zhang 34095a72cc5SHong Zhang PetscFunctionBegin; 341863a9f98SHong Zhang ierr = PetscObjectOptionsBegin((PetscObject)A);CHKERRQ(ierr); 342863a9f98SHong Zhang ierr = PetscOptionsEList("-matrart_via","Algorithmic approach","MatRARt",algTypes,3,algTypes[0],&alg,NULL);CHKERRQ(ierr); 343863a9f98SHong Zhang ierr = PetscOptionsEnd();CHKERRQ(ierr); 34495a72cc5SHong Zhang switch (alg) { 34595a72cc5SHong Zhang case 1: 34695a72cc5SHong Zhang /* via matmattransposemult: ARt=A*R^T, C=R*ARt - matrix coloring can be applied to A*R^T */ 34795a72cc5SHong Zhang /*---------------------------------------------------------------------------------------*/ 34836104f73SHong Zhang Mat ARt,RARt; 3493b1b9624SHong Zhang #if defined(RART_PROFILE) 350b3b4fc5aSHong Zhang PetscLogDouble t0,t1,t2; 3513b1b9624SHong Zhang #endif 35236104f73SHong Zhang if (scall == MAT_INITIAL_MATRIX) { 35336104f73SHong Zhang ierr = PetscLogEventBegin(MAT_RARtSymbolic,A,R,0,0);CHKERRQ(ierr); 354b3b4fc5aSHong Zhang /* must use '-mat_no_inode' with '-matmattransmult_color 1' - do not knwo why? */ 35536104f73SHong Zhang ierr = MatMatTransposeMultSymbolic_SeqAIJ_SeqAIJ(A,R,fill,&ARt);CHKERRQ(ierr); 35636104f73SHong Zhang ierr = MatMatMultSymbolic_SeqAIJ_SeqAIJ(R,ARt,fill,&RARt);CHKERRQ(ierr); 3573b1b9624SHong Zhang 3583b1b9624SHong Zhang *C = RARt; 3593b1b9624SHong Zhang ierr = PetscNew(Mat_RARt,&rart);CHKERRQ(ierr); 3603b1b9624SHong Zhang c = (Mat_SeqAIJ*)(*C)->data; 3613b1b9624SHong Zhang c->rart = rart; 3623b1b9624SHong Zhang rart->ARt = ARt; 3633b1b9624SHong Zhang rart->destroy = RARt->ops->destroy; 3643b1b9624SHong Zhang RARt->ops->destroy = MatDestroy_SeqAIJ_RARt; 36536104f73SHong Zhang ierr = PetscLogEventEnd(MAT_RARtSymbolic,A,R,0,0);CHKERRQ(ierr); 36636104f73SHong Zhang } 36736104f73SHong Zhang ierr = PetscLogEventBegin(MAT_RARtNumeric,A,R,0,0);CHKERRQ(ierr); 3683b1b9624SHong Zhang c = (Mat_SeqAIJ*)(*C)->data; 3693b1b9624SHong Zhang rart = c->rart; 3703b1b9624SHong Zhang ARt = rart->ARt; 3713b1b9624SHong Zhang #if defined(RART_PROFILE) 37226be7272SHong Zhang ierr = PetscTime(&t0);CHKERRQ(ierr); 3733b1b9624SHong Zhang #endif 374b3b4fc5aSHong Zhang ierr = MatMatTransposeMultNumeric_SeqAIJ_SeqAIJ(A,R,ARt);CHKERRQ(ierr); /* dominate! */ 3753b1b9624SHong Zhang #if defined(RART_PROFILE) 37626be7272SHong Zhang ierr = PetscTime(&t1);CHKERRQ(ierr); 3773b1b9624SHong Zhang #endif 3783b1b9624SHong Zhang ierr = MatMatMultNumeric_SeqAIJ_SeqAIJ(R,ARt,*C);CHKERRQ(ierr); 3793b1b9624SHong Zhang #if defined(RART_PROFILE) 38026be7272SHong Zhang ierr = PetscTime(&t2);CHKERRQ(ierr); 381b3b4fc5aSHong Zhang printf(" matrart_color_art_num = %g + %g = %g\n",t1-t0,t2-t1,t2-t0); 3823b1b9624SHong Zhang #endif 38336104f73SHong Zhang ierr = PetscLogEventEnd(MAT_RARtNumeric,A,R,0,0);CHKERRQ(ierr); 38495a72cc5SHong Zhang #if defined(PETSC_USE_INFO) 38595a72cc5SHong Zhang ierr = PetscInfo(*C,"Use ARt=A*R^T, C=R*ARt via MatMatTransposeMult(). Coloring can be applied to A*R^T.\n");CHKERRQ(ierr); 38695a72cc5SHong Zhang #endif 38795a72cc5SHong Zhang break; 38895a72cc5SHong Zhang case 2: 38995a72cc5SHong Zhang /* via coloring_rart: apply coloring C = R*A*R^T */ 39095a72cc5SHong Zhang /*-----------------------------------------------------*/ 39195a72cc5SHong Zhang if (scall == MAT_INITIAL_MATRIX) { 39250647e95SHong Zhang ierr = PetscLogEventBegin(MAT_RARtSymbolic,A,R,0,0);CHKERRQ(ierr); 393807171c5SHong Zhang ierr = MatRARtSymbolic_SeqAIJ_SeqAIJ(A,R,fill,C);CHKERRQ(ierr); 39450647e95SHong Zhang ierr = PetscLogEventEnd(MAT_RARtSymbolic,A,R,0,0);CHKERRQ(ierr); 395807171c5SHong Zhang } 39650647e95SHong Zhang ierr = PetscLogEventBegin(MAT_RARtNumeric,A,R,0,0);CHKERRQ(ierr); 397807171c5SHong Zhang ierr = MatRARtNumeric_SeqAIJ_SeqAIJ(A,R,*C);CHKERRQ(ierr); 39850647e95SHong Zhang ierr = PetscLogEventEnd(MAT_RARtNumeric,A,R,0,0);CHKERRQ(ierr); 39995a72cc5SHong Zhang #if defined(PETSC_USE_INFO) 40095a72cc5SHong Zhang ierr = PetscInfo(*C,"Coloring C=R*A*R^T.\n");CHKERRQ(ierr); 40195a72cc5SHong Zhang #endif 40295a72cc5SHong Zhang break; 40395a72cc5SHong Zhang default: 40495a72cc5SHong Zhang /* via matmatmatmult: Rt=R^T, C=R*A*Rt - avoid inefficient sparse inner products */ 40595a72cc5SHong Zhang /*-------------------------------------------------------------------------------*/ 40695a72cc5SHong Zhang Mat Rt; 40795a72cc5SHong Zhang if (scall == MAT_INITIAL_MATRIX) { 408*5008f5a7SHong Zhang ierr = PetscLogEventBegin(MAT_RARtSymbolic,A,R,0,0);CHKERRQ(ierr); 409*5008f5a7SHong Zhang ierr = MatTranspose_SeqAIJ(R,MAT_INITIAL_MATRIX,&Rt);CHKERRQ(ierr); 410*5008f5a7SHong Zhang ierr = MatMatMatMultSymbolic_SeqAIJ_SeqAIJ_SeqAIJ(R,A,Rt,fill,C);CHKERRQ(ierr); 41195a72cc5SHong Zhang 41295a72cc5SHong Zhang ierr = PetscNew(Mat_RARt,&rart);CHKERRQ(ierr); 41395a72cc5SHong Zhang rart->Rt = Rt; 41495a72cc5SHong Zhang c = (Mat_SeqAIJ*)(*C)->data; 41595a72cc5SHong Zhang c->rart = rart; 41695a72cc5SHong Zhang rart->destroy = (*C)->ops->destroy; 41795a72cc5SHong Zhang (*C)->ops->destroy = MatDestroy_SeqAIJ_RARt; 418*5008f5a7SHong Zhang ierr = PetscLogEventEnd(MAT_RARtSymbolic,A,R,0,0);CHKERRQ(ierr); 419*5008f5a7SHong Zhang } 420*5008f5a7SHong Zhang 421*5008f5a7SHong Zhang ierr = PetscLogEventBegin(MAT_RARtNumeric,A,R,0,0);CHKERRQ(ierr); 42295a72cc5SHong Zhang c = (Mat_SeqAIJ*)(*C)->data; 42395a72cc5SHong Zhang rart = c->rart; 42495a72cc5SHong Zhang Rt = rart->Rt; 425*5008f5a7SHong Zhang ierr = MatTranspose_SeqAIJ(R,MAT_REUSE_MATRIX,&Rt);CHKERRQ(ierr); 426*5008f5a7SHong Zhang ierr = MatMatMatMultNumeric_SeqAIJ_SeqAIJ_SeqAIJ(R,A,Rt,*C);CHKERRQ(ierr); 42795a72cc5SHong Zhang #if defined(PETSC_USE_INFO) 42895a72cc5SHong Zhang ierr = PetscInfo(*C,"Use Rt=R^T and C=R*A*Rt via MatMatMatMult() to avoid sparse inner products\n");CHKERRQ(ierr); 42995a72cc5SHong Zhang #endif 430*5008f5a7SHong Zhang ierr = PetscLogEventEnd(MAT_RARtNumeric,A,R,0,0);CHKERRQ(ierr); 43195a72cc5SHong Zhang break; 43295a72cc5SHong Zhang } 433807171c5SHong Zhang PetscFunctionReturn(0); 434807171c5SHong Zhang } 435