1 #ifdef PETSC_RCS_HEADER 2 static char vcid[] = "$Id: aijfact.c,v 1.105 1998/07/23 19:31:17 bsmith Exp bsmith $"; 3 #endif 4 5 #include "src/mat/impls/aij/seq/aij.h" 6 #include "src/vec/vecimpl.h" 7 #include "src/inline/dot.h" 8 9 #undef __FUNC__ 10 #define __FUNC__ "MatOrder_Flow_SeqAIJ" 11 int MatOrder_Flow_SeqAIJ(Mat mat,MatReorderingType type,IS *irow,IS *icol) 12 { 13 PetscFunctionBegin; 14 15 SETERRQ(PETSC_ERR_SUP,0,"Code not written"); 16 #if !defined(USE_PETSC_DEBUG) 17 PetscFunctionReturn(0); 18 #endif 19 } 20 21 /* 22 Factorization code for AIJ format. 23 */ 24 #undef __FUNC__ 25 #define __FUNC__ "MatLUFactorSymbolic_SeqAIJ" 26 int MatLUFactorSymbolic_SeqAIJ(Mat A,IS isrow,IS iscol,double f,Mat *B) 27 { 28 Mat_SeqAIJ *a = (Mat_SeqAIJ *) A->data, *b; 29 IS isicol; 30 int *r,*ic, ierr, i, n = a->m, *ai = a->i, *aj = a->j; 31 int *ainew,*ajnew, jmax,*fill, *ajtmp, nz,shift = a->indexshift; 32 int *idnew, idx, row,m,fm, nnz, nzi, realloc = 0,nzbd,*im; 33 34 PetscFunctionBegin; 35 PetscValidHeaderSpecific(isrow,IS_COOKIE); 36 PetscValidHeaderSpecific(iscol,IS_COOKIE); 37 38 ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 39 ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 40 ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 41 42 /* get new row pointers */ 43 ainew = (int *) PetscMalloc( (n+1)*sizeof(int) ); CHKPTRQ(ainew); 44 ainew[0] = -shift; 45 /* don't know how many column pointers are needed so estimate */ 46 jmax = (int) (f*ai[n]+(!shift)); 47 ajnew = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajnew); 48 /* fill is a linked list of nonzeros in active row */ 49 fill = (int *) PetscMalloc( (2*n+1)*sizeof(int)); CHKPTRQ(fill); 50 im = fill + n + 1; 51 /* idnew is location of diagonal in factor */ 52 idnew = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(idnew); 53 idnew[0] = -shift; 54 55 for ( i=0; i<n; i++ ) { 56 /* first copy previous fill into linked list */ 57 nnz = nz = ai[r[i]+1] - ai[r[i]]; 58 if (!nz) SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,1,"Empty row in matrix"); 59 ajtmp = aj + ai[r[i]] + shift; 60 fill[n] = n; 61 while (nz--) { 62 fm = n; 63 idx = ic[*ajtmp++ + shift]; 64 do { 65 m = fm; 66 fm = fill[m]; 67 } while (fm < idx); 68 fill[m] = idx; 69 fill[idx] = fm; 70 } 71 row = fill[n]; 72 while ( row < i ) { 73 ajtmp = ajnew + idnew[row] + (!shift); 74 nzbd = 1 + idnew[row] - ainew[row]; 75 nz = im[row] - nzbd; 76 fm = row; 77 while (nz-- > 0) { 78 idx = *ajtmp++ + shift; 79 nzbd++; 80 if (idx == i) im[row] = nzbd; 81 do { 82 m = fm; 83 fm = fill[m]; 84 } while (fm < idx); 85 if (fm != idx) { 86 fill[m] = idx; 87 fill[idx] = fm; 88 fm = idx; 89 nnz++; 90 } 91 } 92 row = fill[row]; 93 } 94 /* copy new filled row into permanent storage */ 95 ainew[i+1] = ainew[i] + nnz; 96 if (ainew[i+1] > jmax) { 97 98 /* estimate how much additional space we will need */ 99 /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */ 100 /* just double the memory each time */ 101 int maxadd = jmax; 102 /* maxadd = (int) ((f*(ai[n]+(!shift))*(n-i+5))/n); */ 103 if (maxadd < nnz) maxadd = (n-i)*(nnz+1); 104 jmax += maxadd; 105 106 /* allocate a longer ajnew */ 107 ajtmp = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(ajtmp); 108 PetscMemcpy(ajtmp,ajnew,(ainew[i]+shift)*sizeof(int)); 109 PetscFree(ajnew); 110 ajnew = ajtmp; 111 realloc++; /* count how many times we realloc */ 112 } 113 ajtmp = ajnew + ainew[i] + shift; 114 fm = fill[n]; 115 nzi = 0; 116 im[i] = nnz; 117 while (nnz--) { 118 if (fm < i) nzi++; 119 *ajtmp++ = fm - shift; 120 fm = fill[fm]; 121 } 122 idnew[i] = ainew[i] + nzi; 123 } 124 if (ai[n] != 0) { 125 double af = ((double)ainew[n])/((double)ai[n]); 126 PLogInfo(A,"MatLUFactorSymbolic_SeqAIJ:Reallocs %d Fill ratio:given %g needed %g\n", 127 realloc,f,af); 128 PLogInfo(A,"MatLUFactorSymbolic_SeqAIJ:Run with -pc_lu_fill %g or use \n",af); 129 PLogInfo(A,"MatLUFactorSymbolic_SeqAIJ:PCLUSetFill(pc,%g);\n",af); 130 PLogInfo(A,"MatLUFactorSymbolic_SeqAIJ:for best performance.\n"); 131 } else { 132 PLogInfo(A,"MatLUFactorSymbolic_SeqAIJ: Empty matrix\n"); 133 } 134 135 ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 136 ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 137 138 PetscFree(fill); 139 140 /* put together the new matrix */ 141 ierr = MatCreateSeqAIJ(A->comm,n,n,0,PETSC_NULL,B); CHKERRQ(ierr); 142 PLogObjectParent(*B,isicol); 143 b = (Mat_SeqAIJ *) (*B)->data; 144 PetscFree(b->imax); 145 b->singlemalloc = 0; 146 /* the next line frees the default space generated by the Create() */ 147 PetscFree(b->a); PetscFree(b->ilen); 148 b->a = (Scalar *) PetscMalloc((ainew[n]+shift+1)*sizeof(Scalar));CHKPTRQ(b->a); 149 b->j = ajnew; 150 b->i = ainew; 151 b->diag = idnew; 152 b->ilen = 0; 153 b->imax = 0; 154 b->row = isrow; 155 b->col = iscol; 156 b->icol = isicol; 157 b->solve_work = (Scalar *) PetscMalloc( (n+1)*sizeof(Scalar));CHKPTRQ(b->solve_work); 158 /* In b structure: Free imax, ilen, old a, old j. 159 Allocate idnew, solve_work, new a, new j */ 160 PLogObjectMemory(*B,(ainew[n]+shift-n)*(sizeof(int)+sizeof(Scalar))); 161 b->maxnz = b->nz = ainew[n] + shift; 162 163 (*B)->info.factor_mallocs = realloc; 164 (*B)->info.fill_ratio_given = f; 165 if (ai[i] != 0) { 166 (*B)->info.fill_ratio_needed = ((double)ainew[n])/((double)ai[i]); 167 } else { 168 (*B)->info.fill_ratio_needed = 0.0; 169 } 170 171 PetscFunctionReturn(0); 172 } 173 /* ----------------------------------------------------------- */ 174 int Mat_AIJ_CheckInode(Mat); 175 176 #undef __FUNC__ 177 #define __FUNC__ "MatLUFactorNumeric_SeqAIJ" 178 int MatLUFactorNumeric_SeqAIJ(Mat A,Mat *B) 179 { 180 Mat C = *B; 181 Mat_SeqAIJ *a = (Mat_SeqAIJ *) A->data, *b = (Mat_SeqAIJ *)C->data; 182 IS isrow = b->row, isicol = b->icol; 183 int *r,*ic, ierr, i, j, n = a->m, *ai = b->i, *aj = b->j; 184 int *ajtmpold, *ajtmp, nz, row, *ics, shift = a->indexshift; 185 int *diag_offset = b->diag,diag,k; 186 int preserve_row_sums = (int) a->ilu_preserve_row_sums; 187 register int *pj; 188 Scalar *rtmp,*v, *pc, multiplier,sum,inner_sum,*rowsums = 0; 189 double ssum; 190 register Scalar *pv, *rtmps,*u_values; 191 192 PetscFunctionBegin; 193 194 ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 195 ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 196 rtmp = (Scalar *) PetscMalloc( (n+1)*sizeof(Scalar) ); CHKPTRQ(rtmp); 197 PetscMemzero(rtmp,(n+1)*sizeof(Scalar)); 198 rtmps = rtmp + shift; ics = ic + shift; 199 200 /* precalcuate row sums */ 201 if (preserve_row_sums) { 202 rowsums = (Scalar *) PetscMalloc( n*sizeof(Scalar) ); CHKPTRQ(rowsums); 203 for ( i=0; i<n; i++ ) { 204 nz = a->i[r[i]+1] - a->i[r[i]]; 205 v = a->a + a->i[r[i]] + shift; 206 sum = 0.0; 207 for ( j=0; j<nz; j++ ) sum += v[j]; 208 rowsums[i] = sum; 209 } 210 } 211 212 for ( i=0; i<n; i++ ) { 213 nz = ai[i+1] - ai[i]; 214 ajtmp = aj + ai[i] + shift; 215 for ( j=0; j<nz; j++ ) rtmps[ajtmp[j]] = 0.0; 216 217 /* load in initial (unfactored row) */ 218 nz = a->i[r[i]+1] - a->i[r[i]]; 219 ajtmpold = a->j + a->i[r[i]] + shift; 220 v = a->a + a->i[r[i]] + shift; 221 for ( j=0; j<nz; j++ ) rtmp[ics[ajtmpold[j]]] = v[j]; 222 223 row = *ajtmp++ + shift; 224 while (row < i ) { 225 pc = rtmp + row; 226 if (*pc != 0.0) { 227 pv = b->a + diag_offset[row] + shift; 228 pj = b->j + diag_offset[row] + (!shift); 229 multiplier = *pc / *pv++; 230 *pc = multiplier; 231 nz = ai[row+1] - diag_offset[row] - 1; 232 for (j=0; j<nz; j++) rtmps[pj[j]] -= multiplier * pv[j]; 233 PLogFlops(2*nz); 234 } 235 row = *ajtmp++ + shift; 236 } 237 /* finished row so stick it into b->a */ 238 pv = b->a + ai[i] + shift; 239 pj = b->j + ai[i] + shift; 240 nz = ai[i+1] - ai[i]; 241 for ( j=0; j<nz; j++ ) {pv[j] = rtmps[pj[j]];} 242 diag = diag_offset[i] - ai[i]; 243 /* 244 Possibly adjust diagonal entry on current row to force 245 LU matrix to have same row sum as initial matrix. 246 */ 247 if (pv[diag] == 0.0) { 248 SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,0,"Zero pivot"); 249 } 250 if (preserve_row_sums) { 251 pj = b->j + ai[i] + shift; 252 sum = rowsums[i]; 253 for ( j=0; j<diag; j++ ) { 254 u_values = b->a + diag_offset[pj[j]] + shift; 255 nz = ai[pj[j]+1] - diag_offset[pj[j]]; 256 inner_sum = 0.0; 257 for ( k=0; k<nz; k++ ) { 258 inner_sum += u_values[k]; 259 } 260 sum -= pv[j]*inner_sum; 261 262 } 263 nz = ai[i+1] - diag_offset[i] - 1; 264 u_values = b->a + diag_offset[i] + 1 + shift; 265 for ( k=0; k<nz; k++ ) { 266 sum -= u_values[k]; 267 } 268 ssum = PetscAbsScalar(sum/pv[diag]); 269 if (ssum < 1000. && ssum > .001) pv[diag] = sum; 270 } 271 /* check pivot entry for current row */ 272 } 273 274 /* invert diagonal entries for simplier triangular solves */ 275 for ( i=0; i<n; i++ ) { 276 b->a[diag_offset[i]+shift] = 1.0/b->a[diag_offset[i]+shift]; 277 } 278 279 if (preserve_row_sums) PetscFree(rowsums); 280 PetscFree(rtmp); 281 ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 282 ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 283 C->factor = FACTOR_LU; 284 ierr = Mat_AIJ_CheckInode(C); CHKERRQ(ierr); 285 C->assembled = PETSC_TRUE; 286 PLogFlops(b->n); 287 PetscFunctionReturn(0); 288 } 289 /* ----------------------------------------------------------- */ 290 #undef __FUNC__ 291 #define __FUNC__ "MatLUFactor_SeqAIJ" 292 int MatLUFactor_SeqAIJ(Mat A,IS row,IS col,double f) 293 { 294 Mat_SeqAIJ *mat = (Mat_SeqAIJ *) A->data; 295 int ierr; 296 Mat C; 297 PetscOps *Abops; 298 MatOps Aops; 299 300 PetscFunctionBegin; 301 ierr = MatLUFactorSymbolic(A,row,col,f,&C); CHKERRQ(ierr); 302 ierr = MatLUFactorNumeric(A,&C); CHKERRQ(ierr); 303 304 /* free all the data structures from mat */ 305 PetscFree(mat->a); 306 if (!mat->singlemalloc) {PetscFree(mat->i); PetscFree(mat->j);} 307 if (mat->diag) PetscFree(mat->diag); 308 if (mat->ilen) PetscFree(mat->ilen); 309 if (mat->imax) PetscFree(mat->imax); 310 if (mat->solve_work) PetscFree(mat->solve_work); 311 if (mat->inode.size) PetscFree(mat->inode.size); 312 if (mat->icol) {ierr = ISDestroy(mat->icol);CHKERRQ(ierr);} 313 PetscFree(mat); 314 315 ierr = MapDestroy(A->rmap);CHKERRQ(ierr); 316 ierr = MapDestroy(A->cmap);CHKERRQ(ierr); 317 318 /* 319 This is horrible, horrible code. We need to keep the 320 A pointers for the bops and ops but copy everything 321 else from C. 322 */ 323 Abops = A->bops; 324 Aops = A->ops; 325 PetscMemcpy(A,C,sizeof(struct _p_Mat)); 326 A->bops = Abops; 327 A->ops = Aops; 328 A->qlist = 0; 329 330 PetscHeaderDestroy(C); 331 PetscFunctionReturn(0); 332 } 333 /* ----------------------------------------------------------- */ 334 #undef __FUNC__ 335 #define __FUNC__ "MatSolve_SeqAIJ" 336 int MatSolve_SeqAIJ(Mat A,Vec bb, Vec xx) 337 { 338 Mat_SeqAIJ *a = (Mat_SeqAIJ *) A->data; 339 IS iscol = a->col, isrow = a->row; 340 int *r,*c, ierr, i, n = a->m, *vi, *ai = a->i, *aj = a->j; 341 int nz,shift = a->indexshift,*rout,*cout; 342 Scalar *x,*b,*tmp, *tmps, *aa = a->a, sum, *v; 343 344 PetscFunctionBegin; 345 if (!n) PetscFunctionReturn(0); 346 347 ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 348 ierr = VecGetArray(xx,&x); CHKERRQ(ierr); 349 tmp = a->solve_work; 350 351 ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 352 ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 353 354 /* forward solve the lower triangular */ 355 tmp[0] = b[*r++]; 356 tmps = tmp + shift; 357 for ( i=1; i<n; i++ ) { 358 v = aa + ai[i] + shift; 359 vi = aj + ai[i] + shift; 360 nz = a->diag[i] - ai[i]; 361 sum = b[*r++]; 362 while (nz--) sum -= *v++ * tmps[*vi++]; 363 tmp[i] = sum; 364 } 365 366 /* backward solve the upper triangular */ 367 for ( i=n-1; i>=0; i-- ){ 368 v = aa + a->diag[i] + (!shift); 369 vi = aj + a->diag[i] + (!shift); 370 nz = ai[i+1] - a->diag[i] - 1; 371 sum = tmp[i]; 372 while (nz--) sum -= *v++ * tmps[*vi++]; 373 x[*c--] = tmp[i] = sum*aa[a->diag[i]+shift]; 374 } 375 376 ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 377 ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 378 PLogFlops(2*a->nz - a->n); 379 PetscFunctionReturn(0); 380 } 381 382 /* ----------------------------------------------------------- */ 383 #undef __FUNC__ 384 #define __FUNC__ "MatSolve_SeqAIJ_NaturalOrdering" 385 int MatSolve_SeqAIJ_NaturalOrdering(Mat A,Vec bb, Vec xx) 386 { 387 Mat_SeqAIJ *a = (Mat_SeqAIJ *) A->data; 388 int n = a->m, *ai = a->i, *aj = a->j, *adiag = a->diag,ierr; 389 Scalar *x,*b, *aa = a->a, sum; 390 #if !defined(USE_FORTRAN_KERNEL_SOLVEAIJ) 391 int adiag_i,i,*vi,nz,ai_i; 392 Scalar *v; 393 #endif 394 395 PetscFunctionBegin; 396 if (!n) PetscFunctionReturn(0); 397 if (a->indexshift) { 398 ierr = MatSolve_SeqAIJ(A,bb,xx);CHKERRQ(ierr); 399 PetscFunctionReturn(0); 400 } 401 402 ierr = VecGetArray(bb,&b); CHKERRQ(ierr); 403 ierr = VecGetArray(xx,&x); CHKERRQ(ierr); 404 405 #if defined(USE_FORTRAN_KERNEL_SOLVEAIJ) 406 fortransolveaij_(&n,x,ai,aj,adiag,aa,b); 407 #else 408 /* forward solve the lower triangular */ 409 x[0] = b[0]; 410 for ( i=1; i<n; i++ ) { 411 ai_i = ai[i]; 412 v = aa + ai_i; 413 vi = aj + ai_i; 414 nz = adiag[i] - ai_i; 415 sum = b[i]; 416 while (nz--) sum -= *v++ * x[*vi++]; 417 x[i] = sum; 418 } 419 420 /* backward solve the upper triangular */ 421 for ( i=n-1; i>=0; i-- ){ 422 adiag_i = adiag[i]; 423 v = aa + adiag_i + 1; 424 vi = aj + adiag_i + 1; 425 nz = ai[i+1] - adiag_i - 1; 426 sum = x[i]; 427 while (nz--) sum -= *v++ * x[*vi++]; 428 x[i] = sum*aa[adiag_i]; 429 } 430 #endif 431 PLogFlops(2*a->nz - a->n); 432 PetscFunctionReturn(0); 433 } 434 435 #undef __FUNC__ 436 #define __FUNC__ "MatSolveAdd_SeqAIJ" 437 int MatSolveAdd_SeqAIJ(Mat A,Vec bb, Vec yy, Vec xx) 438 { 439 Mat_SeqAIJ *a = (Mat_SeqAIJ *) A->data; 440 IS iscol = a->col, isrow = a->row; 441 int *r,*c, ierr, i, n = a->m, *vi, *ai = a->i, *aj = a->j; 442 int nz, shift = a->indexshift,*rout,*cout; 443 Scalar *x,*b,*tmp, *aa = a->a, sum, *v; 444 445 PetscFunctionBegin; 446 if (yy != xx) {ierr = VecCopy(yy,xx); CHKERRQ(ierr);} 447 448 ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 449 ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 450 tmp = a->solve_work; 451 452 ierr = ISGetIndices(isrow,&rout); CHKERRQ(ierr); r = rout; 453 ierr = ISGetIndices(iscol,&cout); CHKERRQ(ierr); c = cout + (n-1); 454 455 /* forward solve the lower triangular */ 456 tmp[0] = b[*r++]; 457 for ( i=1; i<n; i++ ) { 458 v = aa + ai[i] + shift; 459 vi = aj + ai[i] + shift; 460 nz = a->diag[i] - ai[i]; 461 sum = b[*r++]; 462 while (nz--) sum -= *v++ * tmp[*vi++ + shift]; 463 tmp[i] = sum; 464 } 465 466 /* backward solve the upper triangular */ 467 for ( i=n-1; i>=0; i-- ){ 468 v = aa + a->diag[i] + (!shift); 469 vi = aj + a->diag[i] + (!shift); 470 nz = ai[i+1] - a->diag[i] - 1; 471 sum = tmp[i]; 472 while (nz--) sum -= *v++ * tmp[*vi++ + shift]; 473 tmp[i] = sum*aa[a->diag[i]+shift]; 474 x[*c--] += tmp[i]; 475 } 476 477 ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 478 ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 479 PLogFlops(2*a->nz); 480 481 PetscFunctionReturn(0); 482 } 483 /* -------------------------------------------------------------------*/ 484 #undef __FUNC__ 485 #define __FUNC__ "MatSolveTrans_SeqAIJ" 486 int MatSolveTrans_SeqAIJ(Mat A,Vec bb, Vec xx) 487 { 488 Mat_SeqAIJ *a = (Mat_SeqAIJ *) A->data; 489 IS iscol = a->col, isrow = a->row, invisrow,inviscol; 490 int *r,*c, ierr, i, n = a->m, *vi, *ai = a->i, *aj = a->j; 491 int nz,shift = a->indexshift,*rout,*cout; 492 Scalar *x,*b,*tmp, *aa = a->a, *v; 493 494 PetscFunctionBegin; 495 ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 496 ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 497 tmp = a->solve_work; 498 499 /* invert the permutations */ 500 ierr = ISInvertPermutation(isrow,&invisrow); CHKERRQ(ierr); 501 ierr = ISInvertPermutation(iscol,&inviscol); CHKERRQ(ierr); 502 503 ierr = ISGetIndices(invisrow,&rout); CHKERRQ(ierr); r = rout; 504 ierr = ISGetIndices(inviscol,&cout); CHKERRQ(ierr); c = cout; 505 506 /* copy the b into temp work space according to permutation */ 507 for ( i=0; i<n; i++ ) tmp[c[i]] = b[i]; 508 509 /* forward solve the U^T */ 510 for ( i=0; i<n; i++ ) { 511 v = aa + a->diag[i] + shift; 512 vi = aj + a->diag[i] + (!shift); 513 nz = ai[i+1] - a->diag[i] - 1; 514 tmp[i] *= *v++; 515 while (nz--) { 516 tmp[*vi++ + shift] -= (*v++)*tmp[i]; 517 } 518 } 519 520 /* backward solve the L^T */ 521 for ( i=n-1; i>=0; i-- ){ 522 v = aa + a->diag[i] - 1 + shift; 523 vi = aj + a->diag[i] - 1 + shift; 524 nz = a->diag[i] - ai[i]; 525 while (nz--) { 526 tmp[*vi-- + shift] -= (*v--)*tmp[i]; 527 } 528 } 529 530 /* copy tmp into x according to permutation */ 531 for ( i=0; i<n; i++ ) x[r[i]] = tmp[i]; 532 533 ierr = ISRestoreIndices(invisrow,&rout); CHKERRQ(ierr); 534 ierr = ISRestoreIndices(inviscol,&cout); CHKERRQ(ierr); 535 ierr = ISDestroy(invisrow); CHKERRQ(ierr); 536 ierr = ISDestroy(inviscol); CHKERRQ(ierr); 537 538 PLogFlops(2*a->nz-a->n); 539 PetscFunctionReturn(0); 540 } 541 542 #undef __FUNC__ 543 #define __FUNC__ "MatSolveTransAdd_SeqAIJ" 544 int MatSolveTransAdd_SeqAIJ(Mat A,Vec bb, Vec zz,Vec xx) 545 { 546 Mat_SeqAIJ *a = (Mat_SeqAIJ *) A->data; 547 IS iscol = a->col, isrow = a->row, invisrow,inviscol; 548 int *r,*c, ierr, i, n = a->m, *vi, *ai = a->i, *aj = a->j; 549 int nz,shift = a->indexshift, *rout, *cout; 550 Scalar *x,*b,*tmp, *aa = a->a, *v; 551 552 PetscFunctionBegin; 553 if (zz != xx) VecCopy(zz,xx); 554 555 ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 556 ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 557 tmp = a->solve_work; 558 559 /* invert the permutations */ 560 ierr = ISInvertPermutation(isrow,&invisrow); CHKERRQ(ierr); 561 ierr = ISInvertPermutation(iscol,&inviscol); CHKERRQ(ierr); 562 ierr = ISGetIndices(invisrow,&rout); CHKERRQ(ierr); r = rout; 563 ierr = ISGetIndices(inviscol,&cout); CHKERRQ(ierr); c = cout; 564 565 /* copy the b into temp work space according to permutation */ 566 for ( i=0; i<n; i++ ) tmp[c[i]] = b[i]; 567 568 /* forward solve the U^T */ 569 for ( i=0; i<n; i++ ) { 570 v = aa + a->diag[i] + shift; 571 vi = aj + a->diag[i] + (!shift); 572 nz = ai[i+1] - a->diag[i] - 1; 573 tmp[i] *= *v++; 574 while (nz--) { 575 tmp[*vi++ + shift] -= (*v++)*tmp[i]; 576 } 577 } 578 579 /* backward solve the L^T */ 580 for ( i=n-1; i>=0; i-- ){ 581 v = aa + a->diag[i] - 1 + shift; 582 vi = aj + a->diag[i] - 1 + shift; 583 nz = a->diag[i] - ai[i]; 584 while (nz--) { 585 tmp[*vi-- + shift] -= (*v--)*tmp[i]; 586 } 587 } 588 589 /* copy tmp into x according to permutation */ 590 for ( i=0; i<n; i++ ) x[r[i]] += tmp[i]; 591 592 ierr = ISRestoreIndices(invisrow,&rout); CHKERRQ(ierr); 593 ierr = ISRestoreIndices(inviscol,&cout); CHKERRQ(ierr); 594 ierr = ISDestroy(invisrow); CHKERRQ(ierr); 595 ierr = ISDestroy(inviscol); CHKERRQ(ierr); 596 597 PLogFlops(2*a->nz); 598 PetscFunctionReturn(0); 599 } 600 /* ----------------------------------------------------------------*/ 601 602 #undef __FUNC__ 603 #define __FUNC__ "MatILUFactorSymbolic_SeqAIJ" 604 int MatILUFactorSymbolic_SeqAIJ(Mat A,IS isrow,IS iscol,double f,int levels,Mat *fact) 605 { 606 Mat_SeqAIJ *a = (Mat_SeqAIJ *) A->data, *b; 607 IS isicol; 608 int *r,*ic, ierr, prow, n = a->m, *ai = a->i, *aj = a->j; 609 int *ainew,*ajnew, jmax,*fill, *xi, nz, *im,*ajfill,*flev; 610 int *dloc, idx, row,m,fm, nzf, nzi,len, realloc = 0; 611 int incrlev,nnz,i,shift = a->indexshift; 612 PetscTruth col_identity, row_identity; 613 614 PetscFunctionBegin; 615 ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 616 617 /* special case that simply copies fill pattern */ 618 ISIdentity(isrow,&row_identity); ISIdentity(iscol,&col_identity); 619 if (levels == 0 && row_identity && col_identity) { 620 ierr = MatConvertSameType_SeqAIJ(A,fact,DO_NOT_COPY_VALUES); CHKERRQ(ierr); 621 (*fact)->factor = FACTOR_LU; 622 b = (Mat_SeqAIJ *) (*fact)->data; 623 if (!b->diag) { 624 ierr = MatMarkDiag_SeqAIJ(*fact); CHKERRQ(ierr); 625 } 626 b->row = isrow; 627 b->col = iscol; 628 b->icol = isicol; 629 b->solve_work = (Scalar *) PetscMalloc((b->m+1)*sizeof(Scalar));CHKPTRQ(b->solve_work); 630 (*fact)->ops->solve = MatSolve_SeqAIJ_NaturalOrdering; 631 PetscFunctionReturn(0); 632 } 633 634 ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 635 ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 636 637 /* get new row pointers */ 638 ainew = (int *) PetscMalloc( (n+1)*sizeof(int) ); CHKPTRQ(ainew); 639 ainew[0] = -shift; 640 /* don't know how many column pointers are needed so estimate */ 641 jmax = (int) (f*(ai[n]+!shift)); 642 ajnew = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajnew); 643 /* ajfill is level of fill for each fill entry */ 644 ajfill = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajfill); 645 /* fill is a linked list of nonzeros in active row */ 646 fill = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(fill); 647 /* im is level for each filled value */ 648 im = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(im); 649 /* dloc is location of diagonal in factor */ 650 dloc = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(dloc); 651 dloc[0] = 0; 652 for ( prow=0; prow<n; prow++ ) { 653 /* first copy previous fill into linked list */ 654 nzf = nz = ai[r[prow]+1] - ai[r[prow]]; 655 if (!nz) SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,1,"Empty row in matrix"); 656 xi = aj + ai[r[prow]] + shift; 657 fill[n] = n; 658 while (nz--) { 659 fm = n; 660 idx = ic[*xi++ + shift]; 661 do { 662 m = fm; 663 fm = fill[m]; 664 } while (fm < idx); 665 fill[m] = idx; 666 fill[idx] = fm; 667 im[idx] = 0; 668 } 669 nzi = 0; 670 row = fill[n]; 671 while ( row < prow ) { 672 incrlev = im[row] + 1; 673 nz = dloc[row]; 674 xi = ajnew + ainew[row] + shift + nz; 675 flev = ajfill + ainew[row] + shift + nz + 1; 676 nnz = ainew[row+1] - ainew[row] - nz - 1; 677 if (*xi++ + shift != row) { 678 SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,0,"Zero pivot: try running with -pc_ilu_nonzeros_along_diagonal"); 679 } 680 fm = row; 681 while (nnz-- > 0) { 682 idx = *xi++ + shift; 683 if (*flev + incrlev > levels) { 684 flev++; 685 continue; 686 } 687 do { 688 m = fm; 689 fm = fill[m]; 690 } while (fm < idx); 691 if (fm != idx) { 692 im[idx] = *flev + incrlev; 693 fill[m] = idx; 694 fill[idx] = fm; 695 fm = idx; 696 nzf++; 697 } else { 698 if (im[idx] > *flev + incrlev) im[idx] = *flev+incrlev; 699 } 700 flev++; 701 } 702 row = fill[row]; 703 nzi++; 704 } 705 /* copy new filled row into permanent storage */ 706 ainew[prow+1] = ainew[prow] + nzf; 707 if (ainew[prow+1] > jmax-shift) { 708 709 /* estimate how much additional space we will need */ 710 /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */ 711 /* just double the memory each time */ 712 /* maxadd = (int) ((f*(ai[n]+!shift)*(n-prow+5))/n); */ 713 int maxadd = jmax; 714 if (maxadd < nzf) maxadd = (n-prow)*(nzf+1); 715 jmax += maxadd; 716 717 /* allocate a longer ajnew and ajfill */ 718 xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi); 719 PetscMemcpy(xi,ajnew,(ainew[prow]+shift)*sizeof(int)); 720 PetscFree(ajnew); 721 ajnew = xi; 722 xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi); 723 PetscMemcpy(xi,ajfill,(ainew[prow]+shift)*sizeof(int)); 724 PetscFree(ajfill); 725 ajfill = xi; 726 realloc++; /* count how many times we realloc */ 727 } 728 xi = ajnew + ainew[prow] + shift; 729 flev = ajfill + ainew[prow] + shift; 730 dloc[prow] = nzi; 731 fm = fill[n]; 732 while (nzf--) { 733 *xi++ = fm - shift; 734 *flev++ = im[fm]; 735 fm = fill[fm]; 736 } 737 } 738 PetscFree(ajfill); 739 ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 740 ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 741 PetscFree(fill); PetscFree(im); 742 743 { 744 double af = ((double)ainew[n])/((double)ai[n]); 745 PLogInfo(A,"MatILUFactorSymbolic_SeqAIJ:Reallocs %d Fill ratio:given %g needed %g\n", 746 realloc,f,af); 747 PLogInfo(A,"MatILUFactorSymbolic_SeqAIJ:Run with -pc_ilu_fill %g or use \n",af); 748 PLogInfo(A,"MatILUFactorSymbolic_SeqAIJ:PCILUSetFill(pc,%g);\n",af); 749 PLogInfo(A,"MatILUFactorSymbolic_SeqAIJ:for best performance.\n"); 750 } 751 752 /* put together the new matrix */ 753 ierr = MatCreateSeqAIJ(A->comm,n,n,0,PETSC_NULL,fact); CHKERRQ(ierr); 754 PLogObjectParent(*fact,isicol); 755 b = (Mat_SeqAIJ *) (*fact)->data; 756 PetscFree(b->imax); 757 b->singlemalloc = 0; 758 len = (ainew[n] + shift)*sizeof(Scalar); 759 /* the next line frees the default space generated by the Create() */ 760 PetscFree(b->a); PetscFree(b->ilen); 761 b->a = (Scalar *) PetscMalloc( len+1 ); CHKPTRQ(b->a); 762 b->j = ajnew; 763 b->i = ainew; 764 for ( i=0; i<n; i++ ) dloc[i] += ainew[i]; 765 b->diag = dloc; 766 b->ilen = 0; 767 b->imax = 0; 768 b->row = isrow; 769 b->col = iscol; 770 b->icol = isicol; 771 b->solve_work = (Scalar *) PetscMalloc( (n+1)*sizeof(Scalar)); CHKPTRQ(b->solve_work); 772 /* In b structure: Free imax, ilen, old a, old j. 773 Allocate dloc, solve_work, new a, new j */ 774 PLogObjectMemory(*fact,(ainew[n]+shift-n) * (sizeof(int)+sizeof(Scalar))); 775 b->maxnz = b->nz = ainew[n] + shift; 776 (*fact)->factor = FACTOR_LU; 777 778 (*fact)->info.factor_mallocs = realloc; 779 (*fact)->info.fill_ratio_given = f; 780 (*fact)->info.fill_ratio_needed = ((double)ainew[n])/((double)ai[prow]); 781 782 PetscFunctionReturn(0); 783 } 784 785 786 787 788