1 #ifdef PETSC_RCS_HEADER 2 static char vcid[] = "$Id: baijfact2.c,v 1.2 1997/12/05 19:10:17 balay Exp bsmith $"; 3 #endif 4 /* 5 Factorization code for BAIJ format. 6 */ 7 8 #include "src/mat/impls/baij/seq/baij.h" 9 #include "src/vec/vecimpl.h" 10 #include "src/inline/ilu.h" 11 12 /* ----------------------------------------------------------- */ 13 #undef __FUNC__ 14 #define __FUNC__ "MatSolve_SeqBAIJ_N" 15 int MatSolve_SeqBAIJ_N(Mat A,Vec bb,Vec xx) 16 { 17 Mat_SeqBAIJ *a=(Mat_SeqBAIJ *)A->data; 18 IS iscol=a->col,isrow=a->row; 19 int *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j; 20 int nz,bs=a->bs,bs2=a->bs2,*rout,*cout; 21 Scalar *aa=a->a,*sum; 22 register Scalar *x,*b,*lsum,*tmp,*v; 23 24 PetscFunctionBegin; 25 VecGetArray_Fast(bb,b); 26 VecGetArray_Fast(xx,x); 27 tmp = a->solve_work; 28 29 ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 30 ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 31 32 /* forward solve the lower triangular */ 33 PetscMemcpy(tmp,b + bs*(*r++), bs*sizeof(Scalar)); 34 for ( i=1; i<n; i++ ) { 35 v = aa + bs2*ai[i]; 36 vi = aj + ai[i]; 37 nz = a->diag[i] - ai[i]; 38 sum = tmp + bs*i; 39 PetscMemcpy(sum,b+bs*(*r++),bs*sizeof(Scalar)); 40 while (nz--) { 41 Kernel_v_gets_v_minus_A_times_w(bs,sum,v,tmp+bs*(*vi++)); 42 v += bs2; 43 } 44 } 45 /* backward solve the upper triangular */ 46 lsum = a->solve_work + a->n; 47 for ( i=n-1; i>=0; i-- ){ 48 v = aa + bs2*(a->diag[i] + 1); 49 vi = aj + a->diag[i] + 1; 50 nz = ai[i+1] - a->diag[i] - 1; 51 PetscMemcpy(lsum,tmp+i*bs,bs*sizeof(Scalar)); 52 while (nz--) { 53 Kernel_v_gets_v_minus_A_times_w(bs,lsum,v,tmp+bs*(*vi++)); 54 v += bs2; 55 } 56 Kernel_w_gets_A_times_v(bs,lsum,aa+bs2*a->diag[i],tmp+i*bs); 57 PetscMemcpy(x + bs*(*c--),tmp+i*bs,bs*sizeof(Scalar)); 58 } 59 60 ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 61 ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 62 VecRestoreArray_Fast(bb,b); 63 VecRestoreArray_Fast(xx,x); 64 PLogFlops(2*(a->bs2)*(a->nz) - a->n); 65 PetscFunctionReturn(0); 66 } 67 68 #undef __FUNC__ 69 #define __FUNC__ "MatSolve_SeqBAIJ_7" 70 int MatSolve_SeqBAIJ_7(Mat A,Vec bb,Vec xx) 71 { 72 Mat_SeqBAIJ *a=(Mat_SeqBAIJ *)A->data; 73 IS iscol=a->col,isrow=a->row; 74 int *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc,*rout,*cout; 75 int *diag = a->diag; 76 Scalar *aa=a->a,sum1,sum2,sum3,sum4,sum5,sum6,sum7,x1,x2,x3,x4,x5,x6,x7; 77 register Scalar *x,*b,*tmp,*v; 78 79 PetscFunctionBegin; 80 VecGetArray_Fast(bb,b); 81 VecGetArray_Fast(xx,x); 82 tmp = a->solve_work; 83 84 ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 85 ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 86 87 /* forward solve the lower triangular */ 88 idx = 7*(*r++); 89 tmp[0] = b[idx]; tmp[1] = b[1+idx]; 90 tmp[2] = b[2+idx]; tmp[3] = b[3+idx]; tmp[4] = b[4+idx]; 91 tmp[5] = b[5+idx]; tmp[6] = b[6+idx]; 92 93 for ( i=1; i<n; i++ ) { 94 v = aa + 49*ai[i]; 95 vi = aj + ai[i]; 96 nz = diag[i] - ai[i]; 97 idx = 7*(*r++); 98 sum1 = b[idx];sum2 = b[1+idx];sum3 = b[2+idx];sum4 = b[3+idx]; 99 sum5 = b[4+idx];sum6 = b[5+idx];sum7 = b[6+idx]; 100 while (nz--) { 101 idx = 7*(*vi++); 102 x1 = tmp[idx]; x2 = tmp[1+idx];x3 = tmp[2+idx]; 103 x4 = tmp[3+idx];x5 = tmp[4+idx]; 104 x6 = tmp[5+idx];x7 = tmp[6+idx]; 105 sum1 -= v[0]*x1 + v[7]*x2 + v[14]*x3 + v[21]*x4 + v[28]*x5 + v[35]*x6 + v[42]*x7; 106 sum2 -= v[1]*x1 + v[8]*x2 + v[15]*x3 + v[22]*x4 + v[29]*x5 + v[36]*x6 + v[43]*x7; 107 sum3 -= v[2]*x1 + v[9]*x2 + v[16]*x3 + v[23]*x4 + v[30]*x5 + v[37]*x6 + v[44]*x7; 108 sum4 -= v[3]*x1 + v[10]*x2 + v[17]*x3 + v[24]*x4 + v[31]*x5 + v[38]*x6 + v[45]*x7; 109 sum5 -= v[4]*x1 + v[11]*x2 + v[18]*x3 + v[25]*x4 + v[32]*x5 + v[39]*x6 + v[46]*x7; 110 sum6 -= v[5]*x1 + v[12]*x2 + v[19]*x3 + v[26]*x4 + v[33]*x5 + v[40]*x6 + v[47]*x7; 111 sum7 -= v[6]*x1 + v[13]*x2 + v[20]*x3 + v[27]*x4 + v[34]*x5 + v[41]*x6 + v[48]*x7; 112 v += 49; 113 } 114 idx = 7*i; 115 tmp[idx] = sum1;tmp[1+idx] = sum2; 116 tmp[2+idx] = sum3;tmp[3+idx] = sum4; tmp[4+idx] = sum5; 117 tmp[5+idx] = sum6;tmp[6+idx] = sum7; 118 } 119 /* backward solve the upper triangular */ 120 for ( i=n-1; i>=0; i-- ){ 121 v = aa + 49*diag[i] + 49; 122 vi = aj + diag[i] + 1; 123 nz = ai[i+1] - diag[i] - 1; 124 idt = 7*i; 125 sum1 = tmp[idt]; sum2 = tmp[1+idt]; 126 sum3 = tmp[2+idt];sum4 = tmp[3+idt]; sum5 = tmp[4+idt]; 127 sum6 = tmp[5+idt];sum7 = tmp[6+idt]; 128 while (nz--) { 129 idx = 7*(*vi++); 130 x1 = tmp[idx]; x2 = tmp[1+idx]; 131 x3 = tmp[2+idx]; x4 = tmp[3+idx]; x5 = tmp[4+idx]; 132 x6 = tmp[5+idx]; x7 = tmp[6+idx]; 133 sum1 -= v[0]*x1 + v[7]*x2 + v[14]*x3 + v[21]*x4 + v[28]*x5 + v[35]*x6 + v[42]*x7; 134 sum2 -= v[1]*x1 + v[8]*x2 + v[15]*x3 + v[22]*x4 + v[29]*x5 + v[36]*x6 + v[43]*x7; 135 sum3 -= v[2]*x1 + v[9]*x2 + v[16]*x3 + v[23]*x4 + v[30]*x5 + v[37]*x6 + v[44]*x7; 136 sum4 -= v[3]*x1 + v[10]*x2 + v[17]*x3 + v[24]*x4 + v[31]*x5 + v[38]*x6 + v[45]*x7; 137 sum5 -= v[4]*x1 + v[11]*x2 + v[18]*x3 + v[25]*x4 + v[32]*x5 + v[39]*x6 + v[46]*x7; 138 sum6 -= v[5]*x1 + v[12]*x2 + v[19]*x3 + v[26]*x4 + v[33]*x5 + v[40]*x6 + v[47]*x7; 139 sum7 -= v[6]*x1 + v[13]*x2 + v[20]*x3 + v[27]*x4 + v[34]*x5 + v[41]*x6 + v[48]*x7; 140 v += 49; 141 } 142 idc = 7*(*c--); 143 v = aa + 49*diag[i]; 144 x[idc] = tmp[idt] = v[0]*sum1+v[7]*sum2+v[14]*sum3+ 145 v[21]*sum4+v[28]*sum5+v[35]*sum6+v[42]*sum7; 146 x[1+idc] = tmp[1+idt] = v[1]*sum1+v[8]*sum2+v[15]*sum3+ 147 v[22]*sum4+v[29]*sum5+v[36]*sum6+v[43]*sum7; 148 x[2+idc] = tmp[2+idt] = v[2]*sum1+v[9]*sum2+v[16]*sum3+ 149 v[23]*sum4+v[30]*sum5+v[37]*sum6+v[44]*sum7; 150 x[3+idc] = tmp[3+idt] = v[3]*sum1+v[10]*sum2+v[17]*sum3+ 151 v[24]*sum4+v[31]*sum5+v[38]*sum6+v[45]*sum7; 152 x[4+idc] = tmp[4+idt] = v[4]*sum1+v[11]*sum2+v[18]*sum3+ 153 v[25]*sum4+v[32]*sum5+v[39]*sum6+v[46]*sum7; 154 x[5+idc] = tmp[5+idt] = v[5]*sum1+v[12]*sum2+v[19]*sum3+ 155 v[26]*sum4+v[33]*sum5+v[40]*sum6+v[47]*sum7; 156 x[6+idc] = tmp[6+idt] = v[6]*sum1+v[13]*sum2+v[20]*sum3+ 157 v[27]*sum4+v[34]*sum5+v[41]*sum6+v[48]*sum7; 158 } 159 160 ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 161 ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 162 VecRestoreArray_Fast(bb,b); 163 VecRestoreArray_Fast(xx,x); 164 PLogFlops(2*49*(a->nz) - a->n); 165 PetscFunctionReturn(0); 166 } 167 168 #undef __FUNC__ 169 #define __FUNC__ "MatSolve_SeqBAIJ_5" 170 int MatSolve_SeqBAIJ_5(Mat A,Vec bb,Vec xx) 171 { 172 Mat_SeqBAIJ *a=(Mat_SeqBAIJ *)A->data; 173 IS iscol=a->col,isrow=a->row; 174 int *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc,*rout,*cout; 175 int *diag = a->diag; 176 Scalar *aa=a->a,sum1,sum2,sum3,sum4,sum5,x1,x2,x3,x4,x5; 177 register Scalar *x,*b,*tmp,*v; 178 179 PetscFunctionBegin; 180 VecGetArray_Fast(bb,b); 181 VecGetArray_Fast(xx,x); 182 tmp = a->solve_work; 183 184 ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 185 ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 186 187 /* forward solve the lower triangular */ 188 idx = 5*(*r++); 189 tmp[0] = b[idx]; tmp[1] = b[1+idx]; 190 tmp[2] = b[2+idx]; tmp[3] = b[3+idx]; tmp[4] = b[4+idx]; 191 for ( i=1; i<n; i++ ) { 192 v = aa + 25*ai[i]; 193 vi = aj + ai[i]; 194 nz = diag[i] - ai[i]; 195 idx = 5*(*r++); 196 sum1 = b[idx];sum2 = b[1+idx];sum3 = b[2+idx];sum4 = b[3+idx]; 197 sum5 = b[4+idx]; 198 while (nz--) { 199 idx = 5*(*vi++); 200 x1 = tmp[idx]; x2 = tmp[1+idx];x3 = tmp[2+idx]; 201 x4 = tmp[3+idx];x5 = tmp[4+idx]; 202 sum1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5; 203 sum2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5; 204 sum3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5; 205 sum4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5; 206 sum5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5; 207 v += 25; 208 } 209 idx = 5*i; 210 tmp[idx] = sum1;tmp[1+idx] = sum2; 211 tmp[2+idx] = sum3;tmp[3+idx] = sum4; tmp[4+idx] = sum5; 212 } 213 /* backward solve the upper triangular */ 214 for ( i=n-1; i>=0; i-- ){ 215 v = aa + 25*diag[i] + 25; 216 vi = aj + diag[i] + 1; 217 nz = ai[i+1] - diag[i] - 1; 218 idt = 5*i; 219 sum1 = tmp[idt]; sum2 = tmp[1+idt]; 220 sum3 = tmp[2+idt];sum4 = tmp[3+idt]; sum5 = tmp[4+idt]; 221 while (nz--) { 222 idx = 5*(*vi++); 223 x1 = tmp[idx]; x2 = tmp[1+idx]; 224 x3 = tmp[2+idx]; x4 = tmp[3+idx]; x5 = tmp[4+idx]; 225 sum1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5; 226 sum2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5; 227 sum3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5; 228 sum4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5; 229 sum5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5; 230 v += 25; 231 } 232 idc = 5*(*c--); 233 v = aa + 25*diag[i]; 234 x[idc] = tmp[idt] = v[0]*sum1+v[5]*sum2+v[10]*sum3+ 235 v[15]*sum4+v[20]*sum5; 236 x[1+idc] = tmp[1+idt] = v[1]*sum1+v[6]*sum2+v[11]*sum3+ 237 v[16]*sum4+v[21]*sum5; 238 x[2+idc] = tmp[2+idt] = v[2]*sum1+v[7]*sum2+v[12]*sum3+ 239 v[17]*sum4+v[22]*sum5; 240 x[3+idc] = tmp[3+idt] = v[3]*sum1+v[8]*sum2+v[13]*sum3+ 241 v[18]*sum4+v[23]*sum5; 242 x[4+idc] = tmp[4+idt] = v[4]*sum1+v[9]*sum2+v[14]*sum3+ 243 v[19]*sum4+v[24]*sum5; 244 } 245 246 ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 247 ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 248 VecRestoreArray_Fast(bb,b); 249 VecRestoreArray_Fast(xx,x); 250 PLogFlops(2*25*(a->nz) - a->n); 251 PetscFunctionReturn(0); 252 } 253 254 #undef __FUNC__ 255 #define __FUNC__ "MatSolve_SeqBAIJ_4" 256 int MatSolve_SeqBAIJ_4(Mat A,Vec bb,Vec xx) 257 { 258 Mat_SeqBAIJ *a = (Mat_SeqBAIJ *)A->data; 259 IS iscol=a->col,isrow=a->row; 260 int *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc,*rout,*cout; 261 int *diag = a->diag; 262 Scalar *aa=a->a,sum1,sum2,sum3,sum4,x1,x2,x3,x4; 263 register Scalar *x,*b,*tmp,*v; 264 265 PetscFunctionBegin; 266 VecGetArray_Fast(bb,b); 267 VecGetArray_Fast(xx,x); 268 tmp = a->solve_work; 269 270 ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 271 ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 272 273 /* forward solve the lower triangular */ 274 idx = 4*(*r++); 275 tmp[0] = b[idx]; tmp[1] = b[1+idx]; 276 tmp[2] = b[2+idx]; tmp[3] = b[3+idx]; 277 for ( i=1; i<n; i++ ) { 278 v = aa + 16*ai[i]; 279 vi = aj + ai[i]; 280 nz = diag[i] - ai[i]; 281 idx = 4*(*r++); 282 sum1 = b[idx];sum2 = b[1+idx];sum3 = b[2+idx];sum4 = b[3+idx]; 283 while (nz--) { 284 idx = 4*(*vi++); 285 x1 = tmp[idx];x2 = tmp[1+idx];x3 = tmp[2+idx];x4 = tmp[3+idx]; 286 sum1 -= v[0]*x1 + v[4]*x2 + v[8]*x3 + v[12]*x4; 287 sum2 -= v[1]*x1 + v[5]*x2 + v[9]*x3 + v[13]*x4; 288 sum3 -= v[2]*x1 + v[6]*x2 + v[10]*x3 + v[14]*x4; 289 sum4 -= v[3]*x1 + v[7]*x2 + v[11]*x3 + v[15]*x4; 290 v += 16; 291 } 292 idx = 4*i; 293 tmp[idx] = sum1;tmp[1+idx] = sum2; 294 tmp[2+idx] = sum3;tmp[3+idx] = sum4; 295 } 296 /* backward solve the upper triangular */ 297 for ( i=n-1; i>=0; i-- ){ 298 v = aa + 16*diag[i] + 16; 299 vi = aj + diag[i] + 1; 300 nz = ai[i+1] - diag[i] - 1; 301 idt = 4*i; 302 sum1 = tmp[idt]; sum2 = tmp[1+idt]; 303 sum3 = tmp[2+idt];sum4 = tmp[3+idt]; 304 while (nz--) { 305 idx = 4*(*vi++); 306 x1 = tmp[idx]; x2 = tmp[1+idx]; 307 x3 = tmp[2+idx]; x4 = tmp[3+idx]; 308 sum1 -= v[0]*x1 + v[4]*x2 + v[8]*x3 + v[12]*x4; 309 sum2 -= v[1]*x1 + v[5]*x2 + v[9]*x3 + v[13]*x4; 310 sum3 -= v[2]*x1 + v[6]*x2 + v[10]*x3 + v[14]*x4; 311 sum4 -= v[3]*x1 + v[7]*x2 + v[11]*x3 + v[15]*x4; 312 v += 16; 313 } 314 idc = 4*(*c--); 315 v = aa + 16*diag[i]; 316 x[idc] = tmp[idt] = v[0]*sum1+v[4]*sum2+v[8]*sum3+v[12]*sum4; 317 x[1+idc] = tmp[1+idt] = v[1]*sum1+v[5]*sum2+v[9]*sum3+v[13]*sum4; 318 x[2+idc] = tmp[2+idt] = v[2]*sum1+v[6]*sum2+v[10]*sum3+v[14]*sum4; 319 x[3+idc] = tmp[3+idt] = v[3]*sum1+v[7]*sum2+v[11]*sum3+v[15]*sum4; 320 } 321 322 ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 323 ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 324 VecRestoreArray_Fast(bb,b); 325 VecRestoreArray_Fast(xx,x); 326 PLogFlops(2*16*(a->nz) - a->n); 327 PetscFunctionReturn(0); 328 } 329 330 /* 331 Special case where the matrix was ILU(0) factored in the natural 332 ordering. This eliminates the need for the column and row permutation. 333 */ 334 #undef __FUNC__ 335 #define __FUNC__ "MatSolve_SeqBAIJ_4_NaturalOrdering" 336 int MatSolve_SeqBAIJ_4_NaturalOrdering(Mat A,Vec bb,Vec xx) 337 { 338 Mat_SeqBAIJ *a = (Mat_SeqBAIJ *)A->data; 339 int i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt; 340 int *diag = a->diag,jdx; 341 Scalar *aa=a->a,sum1,sum2,sum3,sum4,x1,x2,x3,x4; 342 register Scalar *x,*b,*v; 343 344 PetscFunctionBegin; 345 VecGetArray_Fast(bb,b); 346 VecGetArray_Fast(xx,x); 347 348 /* forward solve the lower triangular */ 349 idx = 0; 350 x[0] = b[idx]; x[1] = b[1+idx]; x[2] = b[2+idx]; x[3] = b[3+idx]; 351 for ( i=1; i<n; i++ ) { 352 v = aa + 16*ai[i]; 353 vi = aj + ai[i]; 354 nz = diag[i] - ai[i]; 355 idx = 4*i; 356 sum1 = b[idx];sum2 = b[1+idx];sum3 = b[2+idx];sum4 = b[3+idx]; 357 while (nz--) { 358 jdx = 4*(*vi++); 359 x1 = x[jdx];x2 = x[1+jdx];x3 = x[2+jdx];x4 = x[3+jdx]; 360 sum1 -= v[0]*x1 + v[4]*x2 + v[8]*x3 + v[12]*x4; 361 sum2 -= v[1]*x1 + v[5]*x2 + v[9]*x3 + v[13]*x4; 362 sum3 -= v[2]*x1 + v[6]*x2 + v[10]*x3 + v[14]*x4; 363 sum4 -= v[3]*x1 + v[7]*x2 + v[11]*x3 + v[15]*x4; 364 v += 16; 365 } 366 x[idx] = sum1; 367 x[1+idx] = sum2; 368 x[2+idx] = sum3; 369 x[3+idx] = sum4; 370 } 371 /* backward solve the upper triangular */ 372 for ( i=n-1; i>=0; i-- ){ 373 v = aa + 16*diag[i] + 16; 374 vi = aj + diag[i] + 1; 375 nz = ai[i+1] - diag[i] - 1; 376 idt = 4*i; 377 sum1 = x[idt]; sum2 = x[1+idt]; 378 sum3 = x[2+idt];sum4 = x[3+idt]; 379 while (nz--) { 380 idx = 4*(*vi++); 381 x1 = x[idx]; x2 = x[1+idx];x3 = x[2+idx]; x4 = x[3+idx]; 382 sum1 -= v[0]*x1 + v[4]*x2 + v[8]*x3 + v[12]*x4; 383 sum2 -= v[1]*x1 + v[5]*x2 + v[9]*x3 + v[13]*x4; 384 sum3 -= v[2]*x1 + v[6]*x2 + v[10]*x3 + v[14]*x4; 385 sum4 -= v[3]*x1 + v[7]*x2 + v[11]*x3 + v[15]*x4; 386 v += 16; 387 } 388 v = aa + 16*diag[i]; 389 x[idt] = v[0]*sum1 + v[4]*sum2 + v[8]*sum3 + v[12]*sum4; 390 x[1+idt] = v[1]*sum1 + v[5]*sum2 + v[9]*sum3 + v[13]*sum4; 391 x[2+idt] = v[2]*sum1 + v[6]*sum2 + v[10]*sum3 + v[14]*sum4; 392 x[3+idt] = v[3]*sum1 + v[7]*sum2 + v[11]*sum3 + v[15]*sum4; 393 } 394 395 VecRestoreArray_Fast(bb,b); 396 VecRestoreArray_Fast(xx,x); 397 PLogFlops(2*16*(a->nz) - a->n); 398 PetscFunctionReturn(0); 399 } 400 401 402 #undef __FUNC__ 403 #define __FUNC__ "MatSolve_SeqBAIJ_3" 404 int MatSolve_SeqBAIJ_3(Mat A,Vec bb,Vec xx) 405 { 406 Mat_SeqBAIJ *a=(Mat_SeqBAIJ *)A->data; 407 IS iscol=a->col,isrow=a->row; 408 int *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc,*rout,*cout; 409 int *diag = a->diag; 410 Scalar *aa=a->a,sum1,sum2,sum3,x1,x2,x3; 411 register Scalar *x,*b,*tmp,*v; 412 413 PetscFunctionBegin; 414 VecGetArray_Fast(bb,b); 415 VecGetArray_Fast(xx,x); 416 tmp = a->solve_work; 417 418 ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 419 ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 420 421 /* forward solve the lower triangular */ 422 idx = 3*(*r++); 423 tmp[0] = b[idx]; tmp[1] = b[1+idx]; tmp[2] = b[2+idx]; 424 for ( i=1; i<n; i++ ) { 425 v = aa + 9*ai[i]; 426 vi = aj + ai[i]; 427 nz = diag[i] - ai[i]; 428 idx = 3*(*r++); 429 sum1 = b[idx]; sum2 = b[1+idx]; sum3 = b[2+idx]; 430 while (nz--) { 431 idx = 3*(*vi++); 432 x1 = tmp[idx]; x2 = tmp[1+idx]; x3 = tmp[2+idx]; 433 sum1 -= v[0]*x1 + v[3]*x2 + v[6]*x3; 434 sum2 -= v[1]*x1 + v[4]*x2 + v[7]*x3; 435 sum3 -= v[2]*x1 + v[5]*x2 + v[8]*x3; 436 v += 9; 437 } 438 idx = 3*i; 439 tmp[idx] = sum1; tmp[1+idx] = sum2; tmp[2+idx] = sum3; 440 } 441 /* backward solve the upper triangular */ 442 for ( i=n-1; i>=0; i-- ){ 443 v = aa + 9*diag[i] + 9; 444 vi = aj + diag[i] + 1; 445 nz = ai[i+1] - diag[i] - 1; 446 idt = 3*i; 447 sum1 = tmp[idt]; sum2 = tmp[1+idt]; sum3 = tmp[2+idt]; 448 while (nz--) { 449 idx = 3*(*vi++); 450 x1 = tmp[idx]; x2 = tmp[1+idx]; x3 = tmp[2+idx]; 451 sum1 -= v[0]*x1 + v[3]*x2 + v[6]*x3; 452 sum2 -= v[1]*x1 + v[4]*x2 + v[7]*x3; 453 sum3 -= v[2]*x1 + v[5]*x2 + v[8]*x3; 454 v += 9; 455 } 456 idc = 3*(*c--); 457 v = aa + 9*diag[i]; 458 x[idc] = tmp[idt] = v[0]*sum1 + v[3]*sum2 + v[6]*sum3; 459 x[1+idc] = tmp[1+idt] = v[1]*sum1 + v[4]*sum2 + v[7]*sum3; 460 x[2+idc] = tmp[2+idt] = v[2]*sum1 + v[5]*sum2 + v[8]*sum3; 461 } 462 ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 463 ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 464 VecRestoreArray_Fast(bb,b); 465 VecRestoreArray_Fast(xx,x); 466 PLogFlops(2*9*(a->nz) - a->n); 467 PetscFunctionReturn(0); 468 } 469 470 #undef __FUNC__ 471 #define __FUNC__ "MatSolve_SeqBAIJ_2" 472 int MatSolve_SeqBAIJ_2(Mat A,Vec bb,Vec xx) 473 { 474 Mat_SeqBAIJ *a=(Mat_SeqBAIJ *)A->data; 475 IS iscol=a->col,isrow=a->row; 476 int *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc,*rout,*cout; 477 int *diag = a->diag; 478 Scalar *aa=a->a,sum1,sum2,x1,x2; 479 register Scalar *x,*b,*tmp,*v; 480 481 PetscFunctionBegin; 482 VecGetArray_Fast(bb,b); 483 VecGetArray_Fast(xx,x); 484 tmp = a->solve_work; 485 486 ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 487 ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 488 489 /* forward solve the lower triangular */ 490 idx = 2*(*r++); 491 tmp[0] = b[idx]; tmp[1] = b[1+idx]; 492 for ( i=1; i<n; i++ ) { 493 v = aa + 4*ai[i]; 494 vi = aj + ai[i]; 495 nz = diag[i] - ai[i]; 496 idx = 2*(*r++); 497 sum1 = b[idx]; sum2 = b[1+idx]; 498 while (nz--) { 499 idx = 2*(*vi++); 500 x1 = tmp[idx]; x2 = tmp[1+idx]; 501 sum1 -= v[0]*x1 + v[2]*x2; 502 sum2 -= v[1]*x1 + v[3]*x2; 503 v += 4; 504 } 505 idx = 2*i; 506 tmp[idx] = sum1; tmp[1+idx] = sum2; 507 } 508 /* backward solve the upper triangular */ 509 for ( i=n-1; i>=0; i-- ){ 510 v = aa + 4*diag[i] + 4; 511 vi = aj + diag[i] + 1; 512 nz = ai[i+1] - diag[i] - 1; 513 idt = 2*i; 514 sum1 = tmp[idt]; sum2 = tmp[1+idt]; 515 while (nz--) { 516 idx = 2*(*vi++); 517 x1 = tmp[idx]; x2 = tmp[1+idx]; 518 sum1 -= v[0]*x1 + v[2]*x2; 519 sum2 -= v[1]*x1 + v[3]*x2; 520 v += 4; 521 } 522 idc = 2*(*c--); 523 v = aa + 4*diag[i]; 524 x[idc] = tmp[idt] = v[0]*sum1 + v[2]*sum2; 525 x[1+idc] = tmp[1+idt] = v[1]*sum1 + v[3]*sum2; 526 } 527 ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 528 ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 529 VecRestoreArray_Fast(bb,b); 530 VecRestoreArray_Fast(xx,x); 531 PLogFlops(2*4*(a->nz) - a->n); 532 PetscFunctionReturn(0); 533 } 534 535 536 #undef __FUNC__ 537 #define __FUNC__ "MatSolve_SeqBAIJ_1" 538 int MatSolve_SeqBAIJ_1(Mat A,Vec bb,Vec xx) 539 { 540 Mat_SeqBAIJ *a=(Mat_SeqBAIJ *)A->data; 541 IS iscol=a->col,isrow=a->row; 542 int *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,*rout,*cout; 543 int *diag = a->diag; 544 Scalar *aa=a->a,sum1; 545 register Scalar *x,*b,*tmp,*v; 546 547 PetscFunctionBegin; 548 if (!n) PetscFunctionReturn(0); 549 550 VecGetArray_Fast(bb,b); 551 VecGetArray_Fast(xx,x); 552 tmp = a->solve_work; 553 554 ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 555 ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 556 557 /* forward solve the lower triangular */ 558 tmp[0] = b[*r++]; 559 for ( i=1; i<n; i++ ) { 560 v = aa + ai[i]; 561 vi = aj + ai[i]; 562 nz = diag[i] - ai[i]; 563 sum1 = b[*r++]; 564 while (nz--) { 565 sum1 -= (*v++)*tmp[*vi++]; 566 } 567 tmp[i] = sum1; 568 } 569 /* backward solve the upper triangular */ 570 for ( i=n-1; i>=0; i-- ){ 571 v = aa + diag[i] + 1; 572 vi = aj + diag[i] + 1; 573 nz = ai[i+1] - diag[i] - 1; 574 sum1 = tmp[i]; 575 while (nz--) { 576 sum1 -= (*v++)*tmp[*vi++]; 577 } 578 x[*c--] = tmp[i] = aa[diag[i]]*sum1; 579 } 580 581 ierr = ISRestoreIndices(isrow,&rout); CHKERRQ(ierr); 582 ierr = ISRestoreIndices(iscol,&cout); CHKERRQ(ierr); 583 VecRestoreArray_Fast(bb,b); 584 VecRestoreArray_Fast(xx,x); 585 PLogFlops(2*1*(a->nz) - a->n); 586 PetscFunctionReturn(0); 587 } 588 589 extern int MatLUFactorNumeric_SeqBAIJ_4_NaturalOrdering(Mat,Mat*); 590 extern int MatSolve_SeqBAIJ_4_NaturalOrdering(Mat,Vec,Vec); 591 /* ----------------------------------------------------------------*/ 592 /* 593 This code is virtually identical to MatILUFactorSymbolic_SeqAIJ 594 except that the data structure of Mat_SeqAIJ is slightly different. 595 Not a good example of code reuse. 596 */ 597 #undef __FUNC__ 598 #define __FUNC__ "MatILUFactorSymbolic_SeqBAIJ" 599 int MatILUFactorSymbolic_SeqBAIJ(Mat A,IS isrow,IS iscol,double f,int levels, 600 Mat *fact) 601 { 602 Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data, *b; 603 IS isicol; 604 int *r,*ic, ierr, prow, n = a->mbs, *ai = a->i, *aj = a->j; 605 int *ainew,*ajnew, jmax,*fill, *xi, nz, *im,*ajfill,*flev; 606 int *dloc, idx, row,m,fm, nzf, nzi,len, realloc = 0; 607 int incrlev,nnz,i,bs = a->bs,bs2 = a->bs2; 608 PetscTruth col_identity, row_identity; 609 610 PetscFunctionBegin; 611 /* special case that simply copies fill pattern */ 612 PetscValidHeaderSpecific(isrow,IS_COOKIE); 613 PetscValidHeaderSpecific(iscol,IS_COOKIE); 614 ISIdentity(isrow,&row_identity); ISIdentity(iscol,&col_identity); 615 if (levels == 0 && row_identity && col_identity) { 616 ierr = MatConvertSameType_SeqBAIJ(A,fact,DO_NOT_COPY_VALUES); CHKERRQ(ierr); 617 (*fact)->factor = FACTOR_LU; 618 b = (Mat_SeqBAIJ *) (*fact)->data; 619 if (!b->diag) { 620 ierr = MatMarkDiag_SeqBAIJ(*fact); CHKERRQ(ierr); 621 } 622 b->row = isrow; 623 b->col = iscol; 624 b->solve_work = (Scalar *) PetscMalloc((b->m+1+b->bs)*sizeof(Scalar));CHKPTRQ(b->solve_work); 625 /* 626 Blocksize 4 has a special faster solver for ILU(0) factorization 627 with natural ordering 628 */ 629 if (b->bs == 4) { 630 (*fact)->ops.lufactornumeric = MatLUFactorNumeric_SeqBAIJ_4_NaturalOrdering; 631 (*fact)->ops.solve = MatSolve_SeqBAIJ_4_NaturalOrdering; 632 } 633 PetscFunctionReturn(0); 634 } 635 636 ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 637 ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 638 ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 639 640 /* get new row pointers */ 641 ainew = (int *) PetscMalloc( (n+1)*sizeof(int) ); CHKPTRQ(ainew); 642 ainew[0] = 0; 643 /* don't know how many column pointers are needed so estimate */ 644 jmax = (int) (f*ai[n] + 1); 645 ajnew = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajnew); 646 /* ajfill is level of fill for each fill entry */ 647 ajfill = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajfill); 648 /* fill is a linked list of nonzeros in active row */ 649 fill = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(fill); 650 /* im is level for each filled value */ 651 im = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(im); 652 /* dloc is location of diagonal in factor */ 653 dloc = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(dloc); 654 dloc[0] = 0; 655 for ( prow=0; prow<n; prow++ ) { 656 /* first copy previous fill into linked list */ 657 nzf = nz = ai[r[prow]+1] - ai[r[prow]]; 658 if (!nz) SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,1,"Empty row in matrix"); 659 xi = aj + ai[r[prow]]; 660 fill[n] = n; 661 while (nz--) { 662 fm = n; 663 idx = ic[*xi++]; 664 do { 665 m = fm; 666 fm = fill[m]; 667 } while (fm < idx); 668 fill[m] = idx; 669 fill[idx] = fm; 670 im[idx] = 0; 671 } 672 nzi = 0; 673 row = fill[n]; 674 while ( row < prow ) { 675 incrlev = im[row] + 1; 676 nz = dloc[row]; 677 xi = ajnew + ainew[row] + nz; 678 flev = ajfill + ainew[row] + nz + 1; 679 nnz = ainew[row+1] - ainew[row] - nz - 1; 680 if (*xi++ != row) { 681 SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,0,"Zero pivot: try running with -pc_ilu_nonzeros_along_diagonal"); 682 } 683 fm = row; 684 while (nnz-- > 0) { 685 idx = *xi++; 686 if (*flev + incrlev > levels) { 687 flev++; 688 continue; 689 } 690 do { 691 m = fm; 692 fm = fill[m]; 693 } while (fm < idx); 694 if (fm != idx) { 695 im[idx] = *flev + incrlev; 696 fill[m] = idx; 697 fill[idx] = fm; 698 fm = idx; 699 nzf++; 700 } 701 else { 702 if (im[idx] > *flev + incrlev) im[idx] = *flev+incrlev; 703 } 704 flev++; 705 } 706 row = fill[row]; 707 nzi++; 708 } 709 /* copy new filled row into permanent storage */ 710 ainew[prow+1] = ainew[prow] + nzf; 711 if (ainew[prow+1] > jmax) { 712 /* allocate a longer ajnew */ 713 int maxadd; 714 maxadd = (int) (((f*ai[n]+1)*(n-prow+5))/n); 715 if (maxadd < nzf) maxadd = (n-prow)*(nzf+1); 716 jmax += maxadd; 717 xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi); 718 PetscMemcpy(xi,ajnew,ainew[prow]*sizeof(int)); 719 PetscFree(ajnew); 720 ajnew = xi; 721 /* allocate a longer ajfill */ 722 xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi); 723 PetscMemcpy(xi,ajfill,ainew[prow]*sizeof(int)); 724 PetscFree(ajfill); 725 ajfill = xi; 726 realloc++; 727 } 728 xi = ajnew + ainew[prow]; 729 flev = ajfill + ainew[prow]; 730 dloc[prow] = nzi; 731 fm = fill[n]; 732 while (nzf--) { 733 *xi++ = fm; 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 ierr = ISDestroy(isicol); CHKERRQ(ierr); 742 PetscFree(fill); PetscFree(im); 743 744 { 745 double af = ((double)ainew[n])/((double)ai[n]); 746 PLogInfo(A,"MatILUFactorSymbolic_SeqBAIJ:Reallocs %d Fill ratio:given %g needed %g\n", 747 realloc,f,af); 748 PLogInfo(A,"MatILUFactorSymbolic_SeqBAIJ:Run with -pc_ilu_fill %g or use \n",af); 749 PLogInfo(A,"MatILUFactorSymbolic_SeqBAIJ:PCILUSetFill(pc,%g);\n",af); 750 PLogInfo(A,"MatILUFactorSymbolic_SeqBAIJ:for best performance.\n"); 751 } 752 753 /* put together the new matrix */ 754 ierr = MatCreateSeqBAIJ(A->comm,bs,bs*n,bs*n,0,PETSC_NULL,fact);CHKERRQ(ierr); 755 b = (Mat_SeqBAIJ *) (*fact)->data; 756 PetscFree(b->imax); 757 b->singlemalloc = 0; 758 len = bs2*ainew[n]*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 ); 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->solve_work = (Scalar *) PetscMalloc( (bs*n+bs)*sizeof(Scalar));CHKPTRQ(b->solve_work); 771 /* In b structure: Free imax, ilen, old a, old j. 772 Allocate dloc, solve_work, new a, new j */ 773 PLogObjectMemory(*fact,(ainew[n]-n)*(sizeof(int))+bs2*ainew[n]*sizeof(Scalar)); 774 b->maxnz = b->nz = ainew[n]; 775 (*fact)->factor = FACTOR_LU; 776 777 (*fact)->info.factor_mallocs = realloc; 778 (*fact)->info.fill_ratio_given = f; 779 (*fact)->info.fill_ratio_needed = ((double)ainew[n])/((double)ai[prow]); 780 781 PetscFunctionReturn(0); 782 } 783 784 785 786 787