1 #ifndef lint 2 static char vcid[] = "$Id: baijfact.c,v 1.4 1996/02/18 00:40:22 bsmith Exp bsmith $"; 3 #endif 4 /* 5 Factorization code for BAIJ format. 6 */ 7 8 #include "baij.h" 9 10 /* 11 The symbolic factorization code is identical to that for AIJ format, 12 except for very small changes since this is now a SeqBAIJ datastructure. 13 NOT good code reuse. 14 */ 15 int MatLUFactorSymbolic_SeqBAIJ(Mat A,IS isrow,IS iscol,double f,Mat *B) 16 { 17 Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data, *b; 18 IS isicol; 19 int *r,*ic, ierr, i, n = a->mbs, *ai = a->i, *aj = a->j; 20 int *ainew,*ajnew, jmax,*fill, *ajtmp, nz, bs = a->bs; 21 int *idnew, idx, row,m,fm, nnz, nzi,len, realloc = 0,nzbd,*im; 22 23 if (a->m != a->n) SETERRQ(1,"MatLUFactorSymbolic_SeqBAIJ:Must be square"); 24 if (!isrow) SETERRQ(1,"MatLUFactorSymbolic_SeqBAIJ:Must have row permutation"); 25 if (!iscol) SETERRQ(1,"MatLUFactorSymbolic_SeqBAIJ:Must have col. permutation"); 26 27 ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 28 ISGetIndices(isrow,&r); ISGetIndices(isicol,&ic); 29 30 /* get new row pointers */ 31 ainew = (int *) PetscMalloc( (n+1)*sizeof(int) ); CHKPTRQ(ainew); 32 ainew[0] = 0; 33 /* don't know how many column pointers are needed so estimate */ 34 jmax = (int) (f*ai[n] + 1); 35 ajnew = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajnew); 36 /* fill is a linked list of nonzeros in active row */ 37 fill = (int *) PetscMalloc( (2*n+1)*sizeof(int)); CHKPTRQ(fill); 38 im = fill + n + 1; 39 /* idnew is location of diagonal in factor */ 40 idnew = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(idnew); 41 idnew[0] = 0; 42 43 for ( i=0; i<n; i++ ) { 44 /* first copy previous fill into linked list */ 45 nnz = nz = ai[r[i]+1] - ai[r[i]]; 46 ajtmp = aj + ai[r[i]]; 47 fill[n] = n; 48 while (nz--) { 49 fm = n; 50 idx = ic[*ajtmp++]; 51 do { 52 m = fm; 53 fm = fill[m]; 54 } while (fm < idx); 55 fill[m] = idx; 56 fill[idx] = fm; 57 } 58 row = fill[n]; 59 while ( row < i ) { 60 ajtmp = ajnew + idnew[row] + 1; 61 nzbd = 1 + idnew[row] - ainew[row]; 62 nz = im[row] - nzbd; 63 fm = row; 64 while (nz-- > 0) { 65 idx = *ajtmp++; 66 nzbd++; 67 if (idx == i) im[row] = nzbd; 68 do { 69 m = fm; 70 fm = fill[m]; 71 } while (fm < idx); 72 if (fm != idx) { 73 fill[m] = idx; 74 fill[idx] = fm; 75 fm = idx; 76 nnz++; 77 } 78 } 79 row = fill[row]; 80 } 81 /* copy new filled row into permanent storage */ 82 ainew[i+1] = ainew[i] + nnz; 83 if (ainew[i+1] > jmax+1) { 84 /* allocate a longer ajnew */ 85 int maxadd; 86 maxadd = (int) ((f*(ai[n]+1)*(n-i+5))/n); 87 if (maxadd < nnz) maxadd = (n-i)*(nnz+1); 88 jmax += maxadd; 89 ajtmp = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(ajtmp); 90 PetscMemcpy(ajtmp,ajnew,ainew[i]*sizeof(int)); 91 PetscFree(ajnew); 92 ajnew = ajtmp; 93 realloc++; /* count how many times we realloc */ 94 } 95 ajtmp = ajnew + ainew[i]; 96 fm = fill[n]; 97 nzi = 0; 98 im[i] = nnz; 99 while (nnz--) { 100 if (fm < i) nzi++; 101 *ajtmp++ = fm; 102 fm = fill[fm]; 103 } 104 idnew[i] = ainew[i] + nzi; 105 } 106 107 PLogInfo((PetscObject)A, 108 "Info:MatLUFactorSymbolic_SeqBAIJ:Reallocs %d Fill ratio:given %g needed %g\n", 109 realloc,f,((double)ainew[n])/((double)ai[i])); 110 111 ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 112 ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 113 114 PetscFree(fill); 115 116 /* put together the new matrix */ 117 ierr = MatCreateSeqBAIJ(A->comm,bs,bs*n,bs*n,0,PETSC_NULL,B); CHKERRQ(ierr); 118 PLogObjectParent(*B,isicol); 119 ierr = ISDestroy(isicol); CHKERRQ(ierr); 120 b = (Mat_SeqBAIJ *) (*B)->data; 121 PetscFree(b->imax); 122 b->singlemalloc = 0; 123 len = ainew[n]*sizeof(Scalar); 124 /* the next line frees the default space generated by the Create() */ 125 PetscFree(b->a); PetscFree(b->ilen); 126 b->a = (Scalar *) PetscMalloc( len*bs*bs ); CHKPTRQ(b->a); 127 b->j = ajnew; 128 b->i = ainew; 129 b->diag = idnew; 130 b->ilen = 0; 131 b->imax = 0; 132 b->row = isrow; 133 b->col = iscol; 134 b->solve_work = (Scalar *) PetscMalloc( (bs*n+bs)*sizeof(Scalar)); 135 CHKPTRQ(b->solve_work); 136 /* In b structure: Free imax, ilen, old a, old j. 137 Allocate idnew, solve_work, new a, new j */ 138 PLogObjectMemory(*B,(ainew[n]-n)*(sizeof(int)+sizeof(Scalar))); 139 b->maxnz = b->nz = ainew[n]; 140 141 return 0; 142 } 143 144 #include "pinclude/plapack.h" 145 /* ----------------------------------------------------------- */ 146 int MatLUFactorNumeric_SeqBAIJ_N(Mat A,Mat *B) 147 { 148 Mat C = *B; 149 Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data,*b = (Mat_SeqBAIJ *)C->data; 150 IS iscol = b->col, isrow = b->row, isicol; 151 int *r,*ic, ierr, i, j, n = a->mbs, *ai = b->i, *aj = b->j; 152 int *ajtmpold, *ajtmp, nz, row, bslog,info; 153 int *diag_offset=b->diag,diag,bs=a->bs,bs2 = bs*bs,*v_pivots; 154 register Scalar *pv,*v,*rtmp,*multiplier,*v_work,*pc,*w; 155 Scalar one = 1.0, zero = 0.0, mone = -1.0; 156 register int *pj; 157 158 ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 159 PLogObjectParent(*B,isicol); 160 ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 161 ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 162 rtmp = (Scalar *) PetscMalloc(bs2*(n+1)*sizeof(Scalar));CHKPTRQ(rtmp); 163 164 /* generate work space needed by dense LU factorization */ 165 v_work = (Scalar *) PetscMalloc((bs+2*bs2)*sizeof(Scalar));CHKPTRQ(v_work); 166 multiplier = v_work + bs2; 167 v_pivots = (int *) (multiplier + bs2); 168 169 /* flops in while loop */ 170 bslog = 2*bs*bs2; 171 172 for ( i=0; i<n; i++ ) { 173 nz = ai[i+1] - ai[i]; 174 ajtmp = aj + ai[i]; 175 for ( j=0; j<nz; j++ ) { 176 PetscMemzero(rtmp+bs2*ajtmp[j],bs2*sizeof(Scalar)); 177 } 178 /* load in initial (unfactored row) */ 179 nz = a->i[r[i]+1] - a->i[r[i]]; 180 ajtmpold = a->j + a->i[r[i]]; 181 v = a->a + bs2*a->i[r[i]]; 182 for ( j=0; j<nz; j++ ) { 183 PetscMemcpy(rtmp+bs2*ic[ajtmpold[j]],v+bs2*j,bs2*sizeof(Scalar)); 184 } 185 row = *ajtmp++; 186 while (row < i) { 187 pc = rtmp + bs2*row; 188 /* if (*pc) { */ 189 pv = b->a + bs2*diag_offset[row]; 190 pj = b->j + diag_offset[row] + 1; 191 BLgemm_("N","N",&bs,&bs,&bs,&one,pc,&bs,pv,&bs,&zero, 192 multiplier,&bs); 193 PetscMemcpy(pc,multiplier,bs2*sizeof(Scalar)); 194 nz = ai[row+1] - diag_offset[row] - 1; 195 pv += bs2; 196 for (j=0; j<nz; j++) { 197 BLgemm_("N","N",&bs,&bs,&bs,&mone,multiplier,&bs,pv+bs2*j,&bs, 198 &one,rtmp+bs2*pj[j],&bs); 199 } 200 PLogFlops(bslog*(nz+1)-bs); 201 /* } */ 202 row = *ajtmp++; 203 } 204 /* finished row so stick it into b->a */ 205 pv = b->a + bs2*ai[i]; 206 pj = b->j + ai[i]; 207 nz = ai[i+1] - ai[i]; 208 for ( j=0; j<nz; j++ ) { 209 PetscMemcpy(pv+bs2*j,rtmp+bs2*pj[j],bs2*sizeof(Scalar)); 210 } 211 diag = diag_offset[i] - ai[i]; 212 /* invert diagonal block */ 213 w = pv + bs2*diag; 214 LAgetrf_(&bs,&bs,w,&bs,v_pivots,&info); CHKERRQ(info); 215 PetscMemzero(v_work,bs2*sizeof(Scalar)); 216 for ( j=0; j<bs; j++ ) { v_work[j + bs*j] = 1.0; } 217 LAgetrs_("N",&bs,&bs,w,&bs,v_pivots,v_work,&bs, &info);CHKERRQ(info); 218 PetscMemcpy(w,v_work,bs2*sizeof(Scalar)); 219 } 220 221 PetscFree(rtmp); PetscFree(v_work); 222 ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 223 ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 224 ierr = ISDestroy(isicol); CHKERRQ(ierr); 225 C->factor = FACTOR_LU; 226 C->assembled = PETSC_TRUE; 227 PLogFlops(1.3333*bs*bs2*b->mbs); /* from inverting diagonal blocks */ 228 return 0; 229 } 230 /* ------------------------------------------------------------*/ 231 /* 232 Version for when blocks are 2 by 2 233 */ 234 int MatLUFactorNumeric_SeqBAIJ_2(Mat A,Mat *B) 235 { 236 Mat C = *B; 237 Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data,*b = (Mat_SeqBAIJ *)C->data; 238 IS iscol = b->col, isrow = b->row, isicol; 239 int *r,*ic, ierr, i, j, n = a->mbs, *ai = b->i, *aj = b->j; 240 int *ajtmpold, *ajtmp, nz, row, info; 241 int *diag_offset=b->diag,*v_pivots,bs = 2,idx; 242 register Scalar *pv,*v,*rtmp,m1,m2,m3,m4,*v_work,*pc,*w,*x,x1,x2,x3,x4; 243 Scalar p1,p2,p3,p4; 244 register int *pj; 245 246 ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 247 PLogObjectParent(*B,isicol); 248 ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 249 ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 250 rtmp = (Scalar *) PetscMalloc(4*(n+1)*sizeof(Scalar));CHKPTRQ(rtmp); 251 252 /* generate work space needed by dense LU factorization */ 253 v_work = (Scalar *) PetscMalloc(6*sizeof(Scalar));CHKPTRQ(v_work); 254 v_pivots = (int *) (v_work + 4); 255 256 257 for ( i=0; i<n; i++ ) { 258 nz = ai[i+1] - ai[i]; 259 ajtmp = aj + ai[i]; 260 for ( j=0; j<nz; j++ ) { 261 x = rtmp+4*ajtmp[j]; x[0] = x[1] = x[2] = x[3] = 0.0; 262 } 263 /* load in initial (unfactored row) */ 264 idx = r[i]; 265 nz = a->i[idx+1] - a->i[idx]; 266 ajtmpold = a->j + a->i[idx]; 267 v = a->a + 4*a->i[idx]; 268 for ( j=0; j<nz; j++ ) { 269 x = rtmp+4*ic[ajtmpold[j]]; 270 x[0] = v[0]; x[1] = v[1]; x[2] = v[2]; x[3] = v[3]; 271 v += 4; 272 } 273 row = *ajtmp++; 274 while (row < i) { 275 pc = rtmp + 4*row; 276 p1 = pc[0]; p2 = pc[1]; p3 = pc[2]; p4 = pc[3]; 277 if (p1 || p2 || p3 || p4) { 278 pv = b->a + 4*diag_offset[row]; 279 pj = b->j + diag_offset[row] + 1; 280 x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 281 pc[0] = m1 = p1*x1 + p3*x2; 282 pc[1] = m2 = p2*x1 + p4*x2; 283 pc[2] = m3 = p1*x3 + p3*x4; 284 pc[3] = m4 = p2*x3 + p4*x4; 285 nz = ai[row+1] - diag_offset[row] - 1; 286 pv += 4; 287 for (j=0; j<nz; j++) { 288 x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3]; 289 x = rtmp + 4*pj[j]; 290 x[0] -= m1*x1 + m3*x2; 291 x[1] -= m2*x1 + m4*x2; 292 x[2] -= m1*x3 + m3*x4; 293 x[3] -= m2*x3 + m4*x4; 294 pv += 4; 295 } 296 PLogFlops(16*nz+12); 297 } 298 row = *ajtmp++; 299 } 300 /* finished row so stick it into b->a */ 301 pv = b->a + 4*ai[i]; 302 pj = b->j + ai[i]; 303 nz = ai[i+1] - ai[i]; 304 for ( j=0; j<nz; j++ ) { 305 x = rtmp+4*pj[j]; 306 pv[0] = x[0]; pv[1] = x[1]; pv[2] = x[2]; pv[3] = x[3]; 307 pv += 4; 308 } 309 /* invert diagonal block */ 310 w = b->a + 4*diag_offset[i]; 311 LAgetrf_(&bs,&bs,w,&bs,v_pivots,&info); CHKERRQ(info); 312 v_work[0] = 1.0; v_work[1] = 0.0; v_work[2] = 0.0; v_work[3] = 1.0; 313 LAgetrs_("N",&bs,&bs,w,&bs,v_pivots,v_work,&bs, &info);CHKERRQ(info); 314 w[0] = v_work[0]; w[1] = v_work[1]; w[2] = v_work[2]; w[3] = v_work[3]; 315 } 316 317 PetscFree(rtmp); PetscFree(v_work); 318 ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 319 ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 320 ierr = ISDestroy(isicol); CHKERRQ(ierr); 321 C->factor = FACTOR_LU; 322 C->assembled = PETSC_TRUE; 323 PLogFlops(1.3333*8*b->mbs); /* from inverting diagonal blocks */ 324 return 0; 325 } 326 327 /* ----------------------------------------------------------- */ 328 /* 329 Version for when blocks are 1 by 1. 330 */ 331 int MatLUFactorNumeric_SeqBAIJ_1(Mat A,Mat *B) 332 { 333 Mat C = *B; 334 Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data, *b = (Mat_SeqBAIJ *)C->data; 335 IS iscol = b->col, isrow = b->row, isicol; 336 int *r,*ic, ierr, i, j, n = a->mbs, *ai = b->i, *aj = b->j; 337 int *ajtmpold, *ajtmp, nz, row; 338 int *diag_offset = b->diag,diag; 339 register Scalar *pv,*v,*rtmp,multiplier,*pc; 340 register int *pj; 341 342 ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 343 PLogObjectParent(*B,isicol); 344 ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 345 ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 346 rtmp = (Scalar *) PetscMalloc((n+1)*sizeof(Scalar));CHKPTRQ(rtmp); 347 348 for ( i=0; i<n; i++ ) { 349 nz = ai[i+1] - ai[i]; 350 ajtmp = aj + ai[i]; 351 for ( j=0; j<nz; j++ ) rtmp[ajtmp[j]] = 0.0; 352 353 /* load in initial (unfactored row) */ 354 nz = a->i[r[i]+1] - a->i[r[i]]; 355 ajtmpold = a->j + a->i[r[i]]; 356 v = a->a + a->i[r[i]]; 357 for ( j=0; j<nz; j++ ) rtmp[ic[ajtmpold[j]]] = v[j]; 358 359 row = *ajtmp++; 360 while (row < i) { 361 pc = rtmp + row; 362 if (*pc != 0.0) { 363 pv = b->a + diag_offset[row]; 364 pj = b->j + diag_offset[row] + 1; 365 multiplier = *pc * *pv++; 366 *pc = multiplier; 367 nz = ai[row+1] - diag_offset[row] - 1; 368 for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 369 PLogFlops(1+2*nz); 370 } 371 row = *ajtmp++; 372 } 373 /* finished row so stick it into b->a */ 374 pv = b->a + ai[i]; 375 pj = b->j + ai[i]; 376 nz = ai[i+1] - ai[i]; 377 for ( j=0; j<nz; j++ ) {pv[j] = rtmp[pj[j]];} 378 diag = diag_offset[i] - ai[i]; 379 /* check pivot entry for current row */ 380 if (pv[diag] == 0.0) { 381 SETERRQ(1,"MatLUFactorNumeric_SeqAIJ:Zero pivot"); 382 } 383 pv[diag] = 1.0/pv[diag]; 384 } 385 386 PetscFree(rtmp); 387 ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 388 ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 389 ierr = ISDestroy(isicol); CHKERRQ(ierr); 390 C->factor = FACTOR_LU; 391 C->assembled = PETSC_TRUE; 392 PLogFlops(b->n); 393 return 0; 394 } 395 396 /* ----------------------------------------------------------- */ 397 int MatLUFactor_SeqBAIJ(Mat A,IS row,IS col,double f) 398 { 399 Mat_SeqBAIJ *mat = (Mat_SeqBAIJ *) A->data; 400 int ierr; 401 Mat C; 402 403 ierr = MatLUFactorSymbolic_SeqBAIJ(A,row,col,f,&C); CHKERRQ(ierr); 404 ierr = MatLUFactorNumeric(A,&C); CHKERRQ(ierr); 405 406 /* free all the data structures from mat */ 407 PetscFree(mat->a); 408 if (!mat->singlemalloc) {PetscFree(mat->i); PetscFree(mat->j);} 409 if (mat->diag) PetscFree(mat->diag); 410 if (mat->ilen) PetscFree(mat->ilen); 411 if (mat->imax) PetscFree(mat->imax); 412 if (mat->solve_work) PetscFree(mat->solve_work); 413 PetscFree(mat); 414 415 PetscMemcpy(A,C,sizeof(struct _Mat)); 416 PetscHeaderDestroy(C); 417 return 0; 418 } 419 /* ----------------------------------------------------------- */ 420 int MatSolve_SeqBAIJ(Mat A,Vec bb, Vec xx) 421 { 422 Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data; 423 IS iscol = a->col, isrow = a->row; 424 int *r,*c, ierr, i, n = a->mbs, *vi, *ai = a->i, *aj = a->j; 425 int nz,bs = a->bs,bs2 = bs*bs,idx,idt,idc, _One = 1; 426 Scalar *xa,*ba,*aa = a->a, *sum, _DOne = 1.0, _DMOne = -1.0; 427 Scalar _DZero = 0.0,sum1,sum2,sum3,sum4,sum5,x1,x2,x3,x4,x5; 428 register Scalar *x, *b, *lsum, *tmp, *v; 429 430 if (A->factor != FACTOR_LU) SETERRQ(1,"MatSolve_SeqBAIJ:Not for unfactored matrix"); 431 432 ierr = VecGetArray(bb,&ba); CHKERRQ(ierr); b = ba; 433 ierr = VecGetArray(xx,&xa); CHKERRQ(ierr); x = xa; 434 tmp = a->solve_work; 435 436 ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 437 ierr = ISGetIndices(iscol,&c);CHKERRQ(ierr); c = c + (n-1); 438 439 switch (bs) { 440 case 1: 441 /* forward solve the lower triangular */ 442 tmp[0] = b[*r++]; 443 for ( i=1; i<n; i++ ) { 444 v = aa + ai[i]; 445 vi = aj + ai[i]; 446 nz = a->diag[i] - ai[i]; 447 sum1 = b[*r++]; 448 while (nz--) { 449 sum1 -= (*v++)*tmp[*vi++]; 450 } 451 tmp[i] = sum1; 452 } 453 /* backward solve the upper triangular */ 454 for ( i=n-1; i>=0; i-- ){ 455 v = aa + a->diag[i] + 1; 456 vi = aj + a->diag[i] + 1; 457 nz = ai[i+1] - a->diag[i] - 1; 458 sum1 = tmp[i]; 459 while (nz--) { 460 sum1 -= (*v++)*tmp[*vi++]; 461 } 462 x[*c--] = tmp[i] = aa[a->diag[i]]*sum1; 463 } 464 break; 465 case 2: 466 /* forward solve the lower triangular */ 467 idx = 2*(*r++); 468 tmp[0] = b[idx]; tmp[1] = b[1+idx]; 469 for ( i=1; i<n; i++ ) { 470 v = aa + 4*ai[i]; 471 vi = aj + ai[i]; 472 nz = a->diag[i] - ai[i]; 473 idx = 2*(*r++); 474 sum1 = b[idx]; sum2 = b[1+idx]; 475 while (nz--) { 476 idx = 2*(*vi++); 477 x1 = tmp[idx]; x2 = tmp[1+idx]; 478 sum1 -= v[0]*x1 + v[2]*x2; 479 sum2 -= v[1]*x1 + v[3]*x2; 480 v += 4; 481 } 482 idx = 2*i; 483 tmp[idx] = sum1; tmp[1+idx] = sum2; 484 } 485 /* backward solve the upper triangular */ 486 for ( i=n-1; i>=0; i-- ){ 487 v = aa + 4*a->diag[i] + 4; 488 vi = aj + a->diag[i] + 1; 489 nz = ai[i+1] - a->diag[i] - 1; 490 idt = 2*i; 491 sum1 = tmp[idt]; sum2 = tmp[1+idt]; 492 while (nz--) { 493 idx = 2*(*vi++); 494 x1 = tmp[idx]; x2 = tmp[1+idx]; 495 sum1 -= v[0]*x1 + v[2]*x2; 496 sum2 -= v[1]*x1 + v[3]*x2; 497 v += 4; 498 } 499 idc = 2*(*c--); 500 v = aa + 4*a->diag[i]; 501 x[idc] = tmp[idt] = v[0]*sum1 + v[2]*sum2; 502 x[1+idc] = tmp[1+idt] = v[1]*sum1 + v[3]*sum2; 503 } 504 break; 505 case 3: 506 /* forward solve the lower triangular */ 507 idx = 3*(*r++); 508 tmp[0] = b[idx]; tmp[1] = b[1+idx]; tmp[2] = b[2+idx]; 509 for ( i=1; i<n; i++ ) { 510 v = aa + 9*ai[i]; 511 vi = aj + ai[i]; 512 nz = a->diag[i] - ai[i]; 513 idx = 3*(*r++); 514 sum1 = b[idx]; sum2 = b[1+idx]; sum3 = b[2+idx]; 515 while (nz--) { 516 idx = 3*(*vi++); 517 x1 = tmp[idx]; x2 = tmp[1+idx]; x3 = tmp[2+idx]; 518 sum1 -= v[0]*x1 + v[3]*x2 + v[6]*x3; 519 sum2 -= v[1]*x1 + v[4]*x2 + v[7]*x3; 520 sum3 -= v[2]*x1 + v[5]*x2 + v[8]*x3; 521 v += 9; 522 } 523 idx = 3*i; 524 tmp[idx] = sum1; tmp[1+idx] = sum2; tmp[2+idx] = sum3; 525 } 526 /* backward solve the upper triangular */ 527 for ( i=n-1; i>=0; i-- ){ 528 v = aa + 9*a->diag[i] + 9; 529 vi = aj + a->diag[i] + 1; 530 nz = ai[i+1] - a->diag[i] - 1; 531 idt = 3*i; 532 sum1 = tmp[idt]; sum2 = tmp[1+idt]; sum3 = tmp[2+idt]; 533 while (nz--) { 534 idx = 3*(*vi++); 535 x1 = tmp[idx]; x2 = tmp[1+idx]; x3 = tmp[2+idx]; 536 sum1 -= v[0]*x1 + v[3]*x2 + v[6]*x3; 537 sum2 -= v[1]*x1 + v[4]*x2 + v[7]*x3; 538 sum3 -= v[2]*x1 + v[5]*x2 + v[8]*x3; 539 v += 9; 540 } 541 idc = 3*(*c--); 542 v = aa + 9*a->diag[i]; 543 x[idc] = tmp[idt] = v[0]*sum1 + v[3]*sum2 + v[6]*sum3; 544 x[1+idc] = tmp[1+idt] = v[1]*sum1 + v[4]*sum2 + v[7]*sum3; 545 x[2+idc] = tmp[2+idt] = v[2]*sum1 + v[5]*sum2 + v[8]*sum3; 546 } 547 break; 548 case 4: 549 /* forward solve the lower triangular */ 550 idx = 4*(*r++); 551 tmp[0] = b[idx]; tmp[1] = b[1+idx]; 552 tmp[2] = b[2+idx]; tmp[3] = b[3+idx]; 553 for ( i=1; i<n; i++ ) { 554 v = aa + 16*ai[i]; 555 vi = aj + ai[i]; 556 nz = a->diag[i] - ai[i]; 557 idx = 4*(*r++); 558 sum1 = b[idx];sum2 = b[1+idx];sum3 = b[2+idx];sum4 = b[3+idx]; 559 while (nz--) { 560 idx = 4*(*vi++); 561 x1 = tmp[idx];x2 = tmp[1+idx];x3 = tmp[2+idx];x4 = tmp[3+idx]; 562 sum1 -= v[0]*x1 + v[4]*x2 + v[8]*x3 + v[12]*x4; 563 sum2 -= v[1]*x1 + v[5]*x2 + v[9]*x3 + v[13]*x4; 564 sum3 -= v[2]*x1 + v[6]*x2 + v[10]*x3 + v[14]*x4; 565 sum4 -= v[3]*x1 + v[7]*x2 + v[11]*x3 + v[15]*x4; 566 v += 16; 567 } 568 idx = 4*i; 569 tmp[idx] = sum1;tmp[1+idx] = sum2; 570 tmp[2+idx] = sum3;tmp[3+idx] = sum4; 571 } 572 /* backward solve the upper triangular */ 573 for ( i=n-1; i>=0; i-- ){ 574 v = aa + 16*a->diag[i] + 16; 575 vi = aj + a->diag[i] + 1; 576 nz = ai[i+1] - a->diag[i] - 1; 577 idt = 4*i; 578 sum1 = tmp[idt]; sum2 = tmp[1+idt]; 579 sum3 = tmp[2+idt];sum4 = tmp[3+idt]; 580 while (nz--) { 581 idx = 4*(*vi++); 582 x1 = tmp[idx]; x2 = tmp[1+idx]; 583 x3 = tmp[2+idx]; x4 = tmp[3+idx]; 584 sum1 -= v[0]*x1 + v[4]*x2 + v[8]*x3 + v[12]*x4; 585 sum2 -= v[1]*x1 + v[5]*x2 + v[9]*x3 + v[13]*x4; 586 sum3 -= v[2]*x1 + v[6]*x2 + v[10]*x3 + v[14]*x4; 587 sum4 -= v[3]*x1 + v[7]*x2 + v[11]*x3 + v[15]*x4; 588 v += 16; 589 } 590 idc = 4*(*c--); 591 v = aa + 16*a->diag[i]; 592 x[idc] = tmp[idt] = v[0]*sum1+v[4]*sum2+v[8]*sum3+v[12]*sum4; 593 x[1+idc] = tmp[1+idt] = v[1]*sum1+v[5]*sum2+v[9]*sum3+v[13]*sum4; 594 x[2+idc] = tmp[2+idt] = v[2]*sum1+v[6]*sum2+v[10]*sum3+v[14]*sum4; 595 x[3+idc] = tmp[3+idt] = v[3]*sum1+v[7]*sum2+v[11]*sum3+v[15]*sum4; 596 } 597 break; 598 case 5: 599 /* forward solve the lower triangular */ 600 idx = 5*(*r++); 601 tmp[0] = b[idx]; tmp[1] = b[1+idx]; 602 tmp[2] = b[2+idx]; tmp[3] = b[3+idx]; tmp[4] = b[4+idx]; 603 for ( i=1; i<n; i++ ) { 604 v = aa + 25*ai[i]; 605 vi = aj + ai[i]; 606 nz = a->diag[i] - ai[i]; 607 idx = 5*(*r++); 608 sum1 = b[idx];sum2 = b[1+idx];sum3 = b[2+idx];sum4 = b[3+idx]; 609 sum5 = b[4+idx]; 610 while (nz--) { 611 idx = 5*(*vi++); 612 x1 = tmp[idx]; x2 = tmp[1+idx];x3 = tmp[2+idx]; 613 x4 = tmp[3+idx];x5 = tmp[4+idx]; 614 sum1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5; 615 sum2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5; 616 sum3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5; 617 sum4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5; 618 sum5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5; 619 v += 25; 620 } 621 idx = 5*i; 622 tmp[idx] = sum1;tmp[1+idx] = sum2; 623 tmp[2+idx] = sum3;tmp[3+idx] = sum4; tmp[4+idx] = sum5; 624 } 625 /* backward solve the upper triangular */ 626 for ( i=n-1; i>=0; i-- ){ 627 v = aa + 25*a->diag[i] + 25; 628 vi = aj + a->diag[i] + 1; 629 nz = ai[i+1] - a->diag[i] - 1; 630 idt = 5*i; 631 sum1 = tmp[idt]; sum2 = tmp[1+idt]; 632 sum3 = tmp[2+idt];sum4 = tmp[3+idt]; sum5 = tmp[4+idt]; 633 while (nz--) { 634 idx = 5*(*vi++); 635 x1 = tmp[idx]; x2 = tmp[1+idx]; 636 x3 = tmp[2+idx]; x4 = tmp[3+idx]; x5 = tmp[4+idx]; 637 sum1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5; 638 sum2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5; 639 sum3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5; 640 sum4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5; 641 sum5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5; 642 v += 25; 643 } 644 idc = 5*(*c--); 645 v = aa + 25*a->diag[i]; 646 x[idc] = tmp[idt] = v[0]*sum1+v[5]*sum2+v[10]*sum3+ 647 v[15]*sum4+v[20]*sum5; 648 x[1+idc] = tmp[1+idt] = v[1]*sum1+v[6]*sum2+v[11]*sum3+ 649 v[16]*sum4+v[21]*sum5; 650 x[2+idc] = tmp[2+idt] = v[2]*sum1+v[7]*sum2+v[12]*sum3+ 651 v[17]*sum4+v[22]*sum5; 652 x[3+idc] = tmp[3+idt] = v[3]*sum1+v[8]*sum2+v[13]*sum3+ 653 v[18]*sum4+v[23]*sum5; 654 x[4+idc] = tmp[4+idt] = v[4]*sum1+v[9]*sum2+v[14]*sum3+ 655 v[19]*sum4+v[24]*sum5; 656 } 657 break; 658 default: { 659 /* forward solve the lower triangular */ 660 PetscMemcpy(tmp,b + bs*(*r++), bs*sizeof(Scalar)); 661 for ( i=1; i<n; i++ ) { 662 v = aa + bs2*ai[i]; 663 vi = aj + ai[i]; 664 nz = a->diag[i] - ai[i]; 665 sum = tmp + bs*i; 666 PetscMemcpy(sum,b+bs*(*r++),bs*sizeof(Scalar)); 667 while (nz--) { 668 LAgemv_("N",&bs,&bs,&_DMOne,v,&bs,tmp+bs*(*vi++),&_One,&_DOne,sum,&_One); 669 v += bs2; 670 } 671 } 672 /* backward solve the upper triangular */ 673 lsum = a->solve_work + a->n; 674 for ( i=n-1; i>=0; i-- ){ 675 v = aa + bs2*(a->diag[i] + 1); 676 vi = aj + a->diag[i] + 1; 677 nz = ai[i+1] - a->diag[i] - 1; 678 PetscMemcpy(lsum,tmp+i*bs,bs*sizeof(Scalar)); 679 while (nz--) { 680 LAgemv_("N",&bs,&bs,&_DMOne,v,&bs,tmp+bs*(*vi++),&_One,&_DOne,lsum,&_One); 681 v += bs2; 682 } 683 LAgemv_("N",&bs,&bs,&_DOne,aa+bs2*a->diag[i],&bs,lsum,&_One,&_DZero, 684 tmp+i*bs,&_One); 685 PetscMemcpy(x + bs*(*c--),tmp+i*bs,bs*sizeof(Scalar)); 686 } 687 } 688 } 689 690 ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 691 ierr = ISRestoreIndices(iscol,&c); CHKERRQ(ierr); 692 PLogFlops(2*bs2*a->nz - a->n); 693 return 0; 694 } 695 696 /* ----------------------------------------------------------------*/ 697 /* 698 This code is virtually identical to MatILUFactorSymbolic_SeqAIJ 699 except that the data structure of Mat_SeqAIJ is slightly different. 700 Not a good example of code reuse. 701 */ 702 int MatILUFactorSymbolic_SeqBAIJ(Mat A,IS isrow,IS iscol,double f,int levels, 703 Mat *fact) 704 { 705 Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data, *b; 706 IS isicol; 707 int *r,*ic, ierr, prow, n = a->mbs, *ai = a->i, *aj = a->j; 708 int *ainew,*ajnew, jmax,*fill, *xi, nz, *im,*ajfill,*flev; 709 int *dloc, idx, row,m,fm, nzf, nzi,len, realloc = 0; 710 int incrlev,nnz,i,bs = a->bs; 711 712 if (a->m != a->n) SETERRQ(1,"MatILUFactorSymbolic_SeqBAIJ:Matrix must be square"); 713 if (!isrow) SETERRQ(1,"MatILUFactorSymbolic_SeqBAIJ:Must have row permutation"); 714 if (!iscol) SETERRQ(1,"MatILUFactorSymbolic_SeqBAIJ:Must have column permutation"); 715 716 /* special case that simply copies fill pattern */ 717 if (levels == 0 && ISIsIdentity(isrow) && ISIsIdentity(iscol)) { 718 ierr = MatConvertSameType_SeqBAIJ(A,fact,DO_NOT_COPY_VALUES); CHKERRQ(ierr); 719 (*fact)->factor = FACTOR_LU; 720 b = (Mat_SeqBAIJ *) (*fact)->data; 721 if (!b->diag) { 722 ierr = MatMarkDiag_SeqBAIJ(*fact); CHKERRQ(ierr); 723 } 724 b->row = isrow; 725 b->col = iscol; 726 b->solve_work = (Scalar *) PetscMalloc((b->m+1+b->bs)*sizeof(Scalar));CHKPTRQ(b->solve_work); 727 return 0; 728 } 729 730 ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 731 ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 732 ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 733 734 /* get new row pointers */ 735 ainew = (int *) PetscMalloc( (n+1)*sizeof(int) ); CHKPTRQ(ainew); 736 ainew[0] = 0; 737 /* don't know how many column pointers are needed so estimate */ 738 jmax = (int) (f*ai[n] + 1); 739 ajnew = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajnew); 740 /* ajfill is level of fill for each fill entry */ 741 ajfill = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajfill); 742 /* fill is a linked list of nonzeros in active row */ 743 fill = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(fill); 744 /* im is level for each filled value */ 745 im = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(im); 746 /* dloc is location of diagonal in factor */ 747 dloc = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(dloc); 748 dloc[0] = 0; 749 for ( prow=0; prow<n; prow++ ) { 750 /* first copy previous fill into linked list */ 751 nzf = nz = ai[r[prow]+1] - ai[r[prow]]; 752 xi = aj + ai[r[prow]]; 753 fill[n] = n; 754 while (nz--) { 755 fm = n; 756 idx = ic[*xi++]; 757 do { 758 m = fm; 759 fm = fill[m]; 760 } while (fm < idx); 761 fill[m] = idx; 762 fill[idx] = fm; 763 im[idx] = 0; 764 } 765 nzi = 0; 766 row = fill[n]; 767 while ( row < prow ) { 768 incrlev = im[row] + 1; 769 nz = dloc[row]; 770 xi = ajnew + ainew[row] + nz; 771 flev = ajfill + ainew[row] + nz + 1; 772 nnz = ainew[row+1] - ainew[row] - nz - 1; 773 if (*xi++ != row) { 774 SETERRQ(1,"MatILUFactorSymbolic_SeqBAIJ:zero pivot"); 775 } 776 fm = row; 777 while (nnz-- > 0) { 778 idx = *xi++; 779 if (*flev + incrlev > levels) { 780 flev++; 781 continue; 782 } 783 do { 784 m = fm; 785 fm = fill[m]; 786 } while (fm < idx); 787 if (fm != idx) { 788 im[idx] = *flev + incrlev; 789 fill[m] = idx; 790 fill[idx] = fm; 791 fm = idx; 792 nzf++; 793 } 794 else { 795 if (im[idx] > *flev + incrlev) im[idx] = *flev+incrlev; 796 } 797 flev++; 798 } 799 row = fill[row]; 800 nzi++; 801 } 802 /* copy new filled row into permanent storage */ 803 ainew[prow+1] = ainew[prow] + nzf; 804 if (ainew[prow+1] > jmax) { 805 /* allocate a longer ajnew */ 806 int maxadd; 807 maxadd = (int) (((f*ai[n]+1)*(n-prow+5))/n); 808 if (maxadd < nzf) maxadd = (n-prow)*(nzf+1); 809 jmax += maxadd; 810 xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi); 811 PetscMemcpy(xi,ajnew,ainew[prow]*sizeof(int)); 812 PetscFree(ajnew); 813 ajnew = xi; 814 /* allocate a longer ajfill */ 815 xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi); 816 PetscMemcpy(xi,ajfill,ainew[prow]*sizeof(int)); 817 PetscFree(ajfill); 818 ajfill = xi; 819 realloc++; 820 } 821 xi = ajnew + ainew[prow]; 822 flev = ajfill + ainew[prow]; 823 dloc[prow] = nzi; 824 fm = fill[n]; 825 while (nzf--) { 826 *xi++ = fm; 827 *flev++ = im[fm]; 828 fm = fill[fm]; 829 } 830 } 831 PetscFree(ajfill); 832 ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 833 ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 834 ierr = ISDestroy(isicol); CHKERRQ(ierr); 835 PetscFree(fill); PetscFree(im); 836 837 PLogInfo((PetscObject)A, 838 "Info:MatILUFactorSymbolic_SeqBAIJ:Realloc %d Fill ratio:given %g needed %g\n", 839 realloc,f,((double)ainew[n])/((double)ai[prow])); 840 841 /* put together the new matrix */ 842 ierr = MatCreateSeqBAIJ(A->comm,bs,bs*n,bs*n,0,PETSC_NULL,fact);CHKERRQ(ierr); 843 b = (Mat_SeqBAIJ *) (*fact)->data; 844 PetscFree(b->imax); 845 b->singlemalloc = 0; 846 len = bs*bs*ainew[n]*sizeof(Scalar); 847 /* the next line frees the default space generated by the Create() */ 848 PetscFree(b->a); PetscFree(b->ilen); 849 b->a = (Scalar *) PetscMalloc( len ); CHKPTRQ(b->a); 850 b->j = ajnew; 851 b->i = ainew; 852 for ( i=0; i<n; i++ ) dloc[i] += ainew[i]; 853 b->diag = dloc; 854 b->ilen = 0; 855 b->imax = 0; 856 b->row = isrow; 857 b->col = iscol; 858 b->solve_work = (Scalar *) PetscMalloc( (bs*n+bs)*sizeof(Scalar)); 859 CHKPTRQ(b->solve_work); 860 /* In b structure: Free imax, ilen, old a, old j. 861 Allocate dloc, solve_work, new a, new j */ 862 PLogObjectMemory(*fact,(ainew[n]-n)*(sizeof(int))+bs*bs*ainew[n]*sizeof(Scalar)); 863 b->maxnz = b->nz = ainew[n]; 864 (*fact)->factor = FACTOR_LU; 865 return 0; 866 } 867 868 869 870 871