1 #ifdef PETSC_RCS_HEADER 2 static char vcid[] = "$Id: baijfact2.c,v 1.8 1998/03/26 22:59:08 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 Scalar *x,*b,*lsum,*tmp,*v; 23 24 PetscFunctionBegin; 25 ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 26 ierr = VecGetArray(xx,&x); CHKERRQ(ierr); 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 ierr = VecRestoreArray(bb,&b); CHKERRQ(ierr); 63 ierr = VecRestoreArray(xx,&x); CHKERRQ(ierr); 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 Scalar *x,*b,*tmp,*v; 78 79 PetscFunctionBegin; 80 ierr = VecGetArray(bb,&b); CHKERRQ(ierr); 81 ierr = VecGetArray(xx,&x); CHKERRQ(ierr); 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 ierr = VecRestoreArray(bb,&b); CHKERRQ(ierr); 163 ierr = VecRestoreArray(xx,&x); CHKERRQ(ierr); 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 Scalar *x,*b,*tmp,*v; 178 179 PetscFunctionBegin; 180 ierr = VecGetArray(bb,&b); CHKERRQ(ierr); 181 ierr = VecGetArray(xx,&x); CHKERRQ(ierr); 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 ierr = VecRestoreArray(bb,&b); CHKERRQ(ierr); 249 ierr = VecRestoreArray(xx,&x); CHKERRQ(ierr); 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 Scalar *x,*b,*tmp,*v; 264 265 PetscFunctionBegin; 266 ierr = VecGetArray(bb,&b); CHKERRQ(ierr); 267 ierr = VecGetArray(xx,&x); CHKERRQ(ierr); 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 ierr = VecRestoreArray(bb,&b); CHKERRQ(ierr); 325 ierr = VecRestoreArray(xx,&x); CHKERRQ(ierr); 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 ierr,*diag = a->diag,jdx; 341 Scalar *aa=a->a,sum1,sum2,sum3,sum4,x1,x2,x3,x4; 342 Scalar *x,*b,*v; 343 344 PetscFunctionBegin; 345 ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 346 ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 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 ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 396 ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 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 Scalar *x,*b,*tmp,*v; 412 413 PetscFunctionBegin; 414 ierr = VecGetArray(bb,&b); CHKERRQ(ierr); 415 ierr = VecGetArray(xx,&x); CHKERRQ(ierr); 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 ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 465 ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 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 Scalar *x,*b,*tmp,*v; 480 481 PetscFunctionBegin; 482 ierr = VecGetArray(bb,&b); CHKERRQ(ierr); 483 ierr = VecGetArray(xx,&x); CHKERRQ(ierr); 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 ierr = VecRestoreArray(bb,&b); CHKERRQ(ierr); 530 ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 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 Scalar *x,*b,*tmp,*v; 546 547 PetscFunctionBegin; 548 if (!n) PetscFunctionReturn(0); 549 550 ierr = VecGetArray(bb,&b); CHKERRQ(ierr); 551 ierr = VecGetArray(xx,&x); CHKERRQ(ierr); 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 ierr = VecRestoreArray(bb,&b); CHKERRQ(ierr); 584 ierr = VecRestoreArray(xx,&x); CHKERRQ(ierr); 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 ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr); 612 613 /* special case that simply copies fill pattern */ 614 PetscValidHeaderSpecific(isrow,IS_COOKIE); 615 PetscValidHeaderSpecific(iscol,IS_COOKIE); 616 ISIdentity(isrow,&row_identity); ISIdentity(iscol,&col_identity); 617 if (levels == 0 && row_identity && col_identity) { 618 ierr = MatConvertSameType_SeqBAIJ(A,fact,DO_NOT_COPY_VALUES); CHKERRQ(ierr); 619 (*fact)->factor = FACTOR_LU; 620 b = (Mat_SeqBAIJ *) (*fact)->data; 621 if (!b->diag) { 622 ierr = MatMarkDiag_SeqBAIJ(*fact); CHKERRQ(ierr); 623 } 624 b->row = isrow; 625 b->col = iscol; 626 b->icol = isicol; 627 b->solve_work = (Scalar *) PetscMalloc((b->m+1+b->bs)*sizeof(Scalar));CHKPTRQ(b->solve_work); 628 /* 629 Blocksize 4 has a special faster solver for ILU(0) factorization 630 with natural ordering 631 */ 632 if (b->bs == 4) { 633 (*fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqBAIJ_4_NaturalOrdering; 634 (*fact)->ops->solve = MatSolve_SeqBAIJ_4_NaturalOrdering; 635 } 636 PetscFunctionReturn(0); 637 } 638 639 ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr); 640 ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr); 641 642 /* get new row pointers */ 643 ainew = (int *) PetscMalloc( (n+1)*sizeof(int) ); CHKPTRQ(ainew); 644 ainew[0] = 0; 645 /* don't know how many column pointers are needed so estimate */ 646 jmax = (int) (f*ai[n] + 1); 647 ajnew = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajnew); 648 /* ajfill is level of fill for each fill entry */ 649 ajfill = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajfill); 650 /* fill is a linked list of nonzeros in active row */ 651 fill = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(fill); 652 /* im is level for each filled value */ 653 im = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(im); 654 /* dloc is location of diagonal in factor */ 655 dloc = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(dloc); 656 dloc[0] = 0; 657 for ( prow=0; prow<n; prow++ ) { 658 /* first copy previous fill into linked list */ 659 nzf = nz = ai[r[prow]+1] - ai[r[prow]]; 660 if (!nz) SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,1,"Empty row in matrix"); 661 xi = aj + ai[r[prow]]; 662 fill[n] = n; 663 while (nz--) { 664 fm = n; 665 idx = ic[*xi++]; 666 do { 667 m = fm; 668 fm = fill[m]; 669 } while (fm < idx); 670 fill[m] = idx; 671 fill[idx] = fm; 672 im[idx] = 0; 673 } 674 nzi = 0; 675 row = fill[n]; 676 while ( row < prow ) { 677 incrlev = im[row] + 1; 678 nz = dloc[row]; 679 xi = ajnew + ainew[row] + nz; 680 flev = ajfill + ainew[row] + nz + 1; 681 nnz = ainew[row+1] - ainew[row] - nz - 1; 682 if (*xi++ != row) { 683 SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,0,"Zero pivot: try running with -pc_ilu_nonzeros_along_diagonal"); 684 } 685 fm = row; 686 while (nnz-- > 0) { 687 idx = *xi++; 688 if (*flev + incrlev > levels) { 689 flev++; 690 continue; 691 } 692 do { 693 m = fm; 694 fm = fill[m]; 695 } while (fm < idx); 696 if (fm != idx) { 697 im[idx] = *flev + incrlev; 698 fill[m] = idx; 699 fill[idx] = fm; 700 fm = idx; 701 nzf++; 702 } else { 703 if (im[idx] > *flev + incrlev) im[idx] = *flev+incrlev; 704 } 705 flev++; 706 } 707 row = fill[row]; 708 nzi++; 709 } 710 /* copy new filled row into permanent storage */ 711 ainew[prow+1] = ainew[prow] + nzf; 712 if (ainew[prow+1] > jmax) { 713 714 /* estimate how much additional space we will need */ 715 /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */ 716 /* just double the memory each time */ 717 int maxadd = jmax; 718 /* maxadd = (int) (((f*ai[n]+1)*(n-prow+5))/n); */ 719 if (maxadd < nzf) maxadd = (n-prow)*(nzf+1); 720 jmax += maxadd; 721 722 /* allocate a longer ajnew and ajfill */ 723 xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi); 724 PetscMemcpy(xi,ajnew,ainew[prow]*sizeof(int)); 725 PetscFree(ajnew); 726 ajnew = xi; 727 xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi); 728 PetscMemcpy(xi,ajfill,ainew[prow]*sizeof(int)); 729 PetscFree(ajfill); 730 ajfill = xi; 731 realloc++; /* count how many reallocations are needed */ 732 } 733 xi = ajnew + ainew[prow]; 734 flev = ajfill + ainew[prow]; 735 dloc[prow] = nzi; 736 fm = fill[n]; 737 while (nzf--) { 738 *xi++ = fm; 739 *flev++ = im[fm]; 740 fm = fill[fm]; 741 } 742 } 743 PetscFree(ajfill); 744 ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr); 745 ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr); 746 PetscFree(fill); PetscFree(im); 747 748 { 749 double af = ((double)ainew[n])/((double)ai[n]); 750 PLogInfo(A,"MatILUFactorSymbolic_SeqBAIJ:Reallocs %d Fill ratio:given %g needed %g\n", 751 realloc,f,af); 752 PLogInfo(A,"MatILUFactorSymbolic_SeqBAIJ:Run with -pc_ilu_fill %g or use \n",af); 753 PLogInfo(A,"MatILUFactorSymbolic_SeqBAIJ:PCILUSetFill(pc,%g);\n",af); 754 PLogInfo(A,"MatILUFactorSymbolic_SeqBAIJ:for best performance.\n"); 755 } 756 757 /* put together the new matrix */ 758 ierr = MatCreateSeqBAIJ(A->comm,bs,bs*n,bs*n,0,PETSC_NULL,fact);CHKERRQ(ierr); 759 PLogObjectParent(*fact,isicol); 760 b = (Mat_SeqBAIJ *) (*fact)->data; 761 PetscFree(b->imax); 762 b->singlemalloc = 0; 763 len = bs2*ainew[n]*sizeof(Scalar); 764 /* the next line frees the default space generated by the Create() */ 765 PetscFree(b->a); PetscFree(b->ilen); 766 b->a = (Scalar *) PetscMalloc( len ); CHKPTRQ(b->a); 767 b->j = ajnew; 768 b->i = ainew; 769 for ( i=0; i<n; i++ ) dloc[i] += ainew[i]; 770 b->diag = dloc; 771 b->ilen = 0; 772 b->imax = 0; 773 b->row = isrow; 774 b->col = iscol; 775 b->icol = isicol; 776 b->solve_work = (Scalar *) PetscMalloc( (bs*n+bs)*sizeof(Scalar));CHKPTRQ(b->solve_work); 777 /* In b structure: Free imax, ilen, old a, old j. 778 Allocate dloc, solve_work, new a, new j */ 779 PLogObjectMemory(*fact,(ainew[n]-n)*(sizeof(int))+bs2*ainew[n]*sizeof(Scalar)); 780 b->maxnz = b->nz = ainew[n]; 781 (*fact)->factor = FACTOR_LU; 782 783 (*fact)->info.factor_mallocs = realloc; 784 (*fact)->info.fill_ratio_given = f; 785 (*fact)->info.fill_ratio_needed = ((double)ainew[n])/((double)ai[prow]); 786 787 PetscFunctionReturn(0); 788 } 789 790 791 792 793