1 /* 2 GAMG geometric-algebric multiogrid PC - Mark Adams 2011 3 */ 4 5 #include <../src/ksp/pc/impls/gamg/gamg.h> /*I "petscpc.h" I*/ 6 #include <petsc-private/kspimpl.h> 7 8 #include <assert.h> 9 #include <petscblaslapack.h> 10 11 typedef struct { 12 PetscInt nsmooths; 13 PetscBool sym_graph; 14 PetscBool square_graph; 15 }PC_GAMG_AGG; 16 17 #undef __FUNCT__ 18 #define __FUNCT__ "PCGAMGSetNSmooths" 19 /*@ 20 PCGAMGSetNSmooths - Set number of smoothing steps (1 is typical) 21 22 Not Collective on PC 23 24 Input Parameters: 25 . pc - the preconditioner context 26 27 Options Database Key: 28 . -pc_gamg_agg_nsmooths 29 30 Level: intermediate 31 32 Concepts: Aggregation AMG preconditioner 33 34 .seealso: () 35 @*/ 36 PetscErrorCode PCGAMGSetNSmooths(PC pc, PetscInt n) 37 { 38 PetscErrorCode ierr; 39 40 PetscFunctionBegin; 41 PetscValidHeaderSpecific(pc,PC_CLASSID,1); 42 ierr = PetscTryMethod(pc,"PCGAMGSetNSmooths_C",(PC,PetscInt),(pc,n));CHKERRQ(ierr); 43 PetscFunctionReturn(0); 44 } 45 46 EXTERN_C_BEGIN 47 #undef __FUNCT__ 48 #define __FUNCT__ "PCGAMGSetNSmooths_GAMG" 49 PetscErrorCode PCGAMGSetNSmooths_GAMG(PC pc, PetscInt n) 50 { 51 PC_MG *mg = (PC_MG*)pc->data; 52 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 53 PC_GAMG_AGG *pc_gamg_agg = (PC_GAMG_AGG*)pc_gamg->subctx; 54 55 PetscFunctionBegin; 56 pc_gamg_agg->nsmooths = n; 57 PetscFunctionReturn(0); 58 } 59 EXTERN_C_END 60 61 #undef __FUNCT__ 62 #define __FUNCT__ "PCGAMGSetSymGraph" 63 /*@ 64 PCGAMGSetSymGraph - 65 66 Not Collective on PC 67 68 Input Parameters: 69 . pc - the preconditioner context 70 71 Options Database Key: 72 . -pc_gamg_sym_graph 73 74 Level: intermediate 75 76 Concepts: Aggregation AMG preconditioner 77 78 .seealso: () 79 @*/ 80 PetscErrorCode PCGAMGSetSymGraph(PC pc, PetscBool n) 81 { 82 PetscErrorCode ierr; 83 84 PetscFunctionBegin; 85 PetscValidHeaderSpecific(pc,PC_CLASSID,1); 86 ierr = PetscTryMethod(pc,"PCGAMGSetSymGraph_C",(PC,PetscBool),(pc,n));CHKERRQ(ierr); 87 PetscFunctionReturn(0); 88 } 89 90 EXTERN_C_BEGIN 91 #undef __FUNCT__ 92 #define __FUNCT__ "PCGAMGSetSymGraph_GAMG" 93 PetscErrorCode PCGAMGSetSymGraph_GAMG(PC pc, PetscBool n) 94 { 95 PC_MG *mg = (PC_MG*)pc->data; 96 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 97 PC_GAMG_AGG *pc_gamg_agg = (PC_GAMG_AGG*)pc_gamg->subctx; 98 99 PetscFunctionBegin; 100 pc_gamg_agg->sym_graph = n; 101 PetscFunctionReturn(0); 102 } 103 EXTERN_C_END 104 105 #undef __FUNCT__ 106 #define __FUNCT__ "PCGAMGSetSquareGraph" 107 /*@ 108 PCGAMGSetSquareGraph - 109 110 Not Collective on PC 111 112 Input Parameters: 113 . pc - the preconditioner context 114 115 Options Database Key: 116 . -pc_gamg_square_graph 117 118 Level: intermediate 119 120 Concepts: Aggregation AMG preconditioner 121 122 .seealso: () 123 @*/ 124 PetscErrorCode PCGAMGSetSquareGraph(PC pc, PetscBool n) 125 { 126 PetscErrorCode ierr; 127 128 PetscFunctionBegin; 129 PetscValidHeaderSpecific(pc,PC_CLASSID,1); 130 ierr = PetscTryMethod(pc,"PCGAMGSetSquareGraph_C",(PC,PetscBool),(pc,n));CHKERRQ(ierr); 131 PetscFunctionReturn(0); 132 } 133 134 EXTERN_C_BEGIN 135 #undef __FUNCT__ 136 #define __FUNCT__ "PCGAMGSetSquareGraph_GAMG" 137 PetscErrorCode PCGAMGSetSquareGraph_GAMG(PC pc, PetscBool n) 138 { 139 PC_MG *mg = (PC_MG*)pc->data; 140 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 141 PC_GAMG_AGG *pc_gamg_agg = (PC_GAMG_AGG*)pc_gamg->subctx; 142 143 PetscFunctionBegin; 144 pc_gamg_agg->square_graph = n; 145 PetscFunctionReturn(0); 146 } 147 EXTERN_C_END 148 149 /* -------------------------------------------------------------------------- */ 150 /* 151 PCSetFromOptions_GAMG_AGG 152 153 Input Parameter: 154 . pc - 155 */ 156 #undef __FUNCT__ 157 #define __FUNCT__ "PCSetFromOptions_GAMG_AGG" 158 PetscErrorCode PCSetFromOptions_GAMG_AGG( PC pc ) 159 { 160 PetscErrorCode ierr; 161 PC_MG *mg = (PC_MG*)pc->data; 162 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 163 PC_GAMG_AGG *pc_gamg_agg = (PC_GAMG_AGG*)pc_gamg->subctx; 164 PetscBool flag; 165 166 PetscFunctionBegin; 167 /* call base class */ 168 ierr = PCSetFromOptions_GAMG( pc ); CHKERRQ(ierr); 169 170 ierr = PetscOptionsHead("GAMG-AGG options"); CHKERRQ(ierr); 171 { 172 /* -pc_gamg_agg_nsmooths */ 173 pc_gamg_agg->nsmooths = 0; 174 ierr = PetscOptionsInt("-pc_gamg_agg_nsmooths", 175 "smoothing steps for smoothed aggregation, usually 1 (0)", 176 "PCGAMGSetNSmooths", 177 pc_gamg_agg->nsmooths, 178 &pc_gamg_agg->nsmooths, 179 &flag); 180 CHKERRQ(ierr); 181 182 /* -pc_gamg_sym_graph */ 183 pc_gamg_agg->sym_graph = PETSC_FALSE; 184 ierr = PetscOptionsBool("-pc_gamg_sym_graph", 185 "Set for asymmetric matrices", 186 "PCGAMGSetSymGraph", 187 pc_gamg_agg->sym_graph, 188 &pc_gamg_agg->sym_graph, 189 &flag); 190 CHKERRQ(ierr); 191 192 /* -pc_gamg_square_graph */ 193 pc_gamg_agg->square_graph = PETSC_TRUE; 194 ierr = PetscOptionsBool("-pc_gamg_square_graph", 195 "For faster coarsening and lower coarse grid complexity", 196 "PCGAMGSetSquareGraph", 197 pc_gamg_agg->square_graph, 198 &pc_gamg_agg->square_graph, 199 &flag); 200 CHKERRQ(ierr); 201 } 202 ierr = PetscOptionsTail();CHKERRQ(ierr); 203 204 PetscFunctionReturn(0); 205 } 206 207 /* -------------------------------------------------------------------------- */ 208 /* 209 PCDestroy_AGG 210 211 Input Parameter: 212 . pc - 213 */ 214 #undef __FUNCT__ 215 #define __FUNCT__ "PCDestroy_AGG" 216 PetscErrorCode PCDestroy_AGG( PC pc ) 217 { 218 PetscErrorCode ierr; 219 PC_MG *mg = (PC_MG*)pc->data; 220 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 221 PC_GAMG_AGG *pc_gamg_agg = (PC_GAMG_AGG*)pc_gamg->subctx; 222 223 PetscFunctionBegin; 224 if( pc_gamg_agg ) { 225 ierr = PetscFree(pc_gamg_agg);CHKERRQ(ierr); 226 pc_gamg_agg = 0; 227 } 228 229 /* call base class */ 230 ierr = PCDestroy_GAMG( pc );CHKERRQ(ierr); 231 232 PetscFunctionReturn(0); 233 } 234 235 /* -------------------------------------------------------------------------- */ 236 /* 237 PCSetCoordinates_AGG 238 - collective 239 240 Input Parameter: 241 . pc - the preconditioner context 242 . ndm - dimesion of data (used for dof/vertex for Stokes) 243 . a_nloc - number of vertices local 244 . coords - [a_nloc][ndm] - interleaved coordinate data: {x_0, y_0, z_0, x_1, y_1, ...} 245 */ 246 EXTERN_C_BEGIN 247 #undef __FUNCT__ 248 #define __FUNCT__ "PCSetCoordinates_AGG" 249 PetscErrorCode PCSetCoordinates_AGG( PC pc, PetscInt ndm, PetscInt a_nloc, PetscReal *coords ) 250 { 251 PC_MG *mg = (PC_MG*)pc->data; 252 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 253 PetscErrorCode ierr; 254 PetscInt arrsz,kk,ii,jj,nloc,ndatarows,ndf; 255 Mat mat = pc->pmat; 256 /* MPI_Comm wcomm = ((PetscObject)pc)->comm; */ 257 258 PetscFunctionBegin; 259 PetscValidHeaderSpecific(pc,PC_CLASSID,1); 260 PetscValidHeaderSpecific(mat,MAT_CLASSID,1); 261 nloc = a_nloc; 262 263 /* SA: null space vectors */ 264 ierr = MatGetBlockSize( mat, &ndf ); CHKERRQ( ierr ); /* this does not work for Stokes */ 265 if( coords && ndf==1 ) pc_gamg->data_cell_cols = 1; /* scalar w/ coords and SA (not needed) */ 266 else if( coords ) { 267 if(ndm > ndf) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_LIB,"degrees of motion %d > block size %d",ndm,ndf); 268 pc_gamg->data_cell_cols = (ndm==2 ? 3 : 6); /* displacement elasticity */ 269 if(ndm != ndf) { 270 if(pc_gamg->data_cell_cols != ndf) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_LIB,"Don't know how to create null space for ndm=%d, ndf=%d. Use MatSetNearNullSpace.",ndm,ndf); 271 } 272 } 273 else pc_gamg->data_cell_cols = ndf; /* no data, force SA with constant null space vectors */ 274 pc_gamg->data_cell_rows = ndatarows = ndf; assert(pc_gamg->data_cell_cols>0); 275 arrsz = nloc*pc_gamg->data_cell_rows*pc_gamg->data_cell_cols; 276 277 /* create data - syntactic sugar that should be refactored at some point */ 278 if (pc_gamg->data==0 || (pc_gamg->data_sz != arrsz)) { 279 ierr = PetscFree( pc_gamg->data ); CHKERRQ(ierr); 280 ierr = PetscMalloc((arrsz+1)*sizeof(PetscReal), &pc_gamg->data ); CHKERRQ(ierr); 281 } 282 /* copy data in - column oriented */ 283 for(kk=0;kk<nloc;kk++){ 284 const PetscInt M = nloc*pc_gamg->data_cell_rows; /* stride into data */ 285 PetscReal *data = &pc_gamg->data[kk*ndatarows]; /* start of cell */ 286 if( pc_gamg->data_cell_cols==1 ) *data = 1.0; 287 else { 288 /* translational modes */ 289 for(ii=0;ii<ndatarows;ii++) 290 for(jj=0;jj<ndatarows;jj++) 291 if(ii==jj)data[ii*M + jj] = 1.0; 292 else data[ii*M + jj] = 0.0; 293 294 /* rotational modes */ 295 if( coords ) { 296 if( ndm == 2 ){ 297 data += 2*M; 298 data[0] = -coords[2*kk+1]; 299 data[1] = coords[2*kk]; 300 } 301 else { 302 data += 3*M; 303 data[0] = 0.0; data[M+0] = coords[3*kk+2]; data[2*M+0] = -coords[3*kk+1]; 304 data[1] = -coords[3*kk+2]; data[M+1] = 0.0; data[2*M+1] = coords[3*kk]; 305 data[2] = coords[3*kk+1]; data[M+2] = -coords[3*kk]; data[2*M+2] = 0.0; 306 } 307 } 308 } 309 } 310 311 pc_gamg->data_sz = arrsz; 312 313 PetscFunctionReturn(0); 314 } 315 EXTERN_C_END 316 317 typedef PetscInt NState; 318 static const NState NOT_DONE=-2; 319 static const NState DELETED=-1; 320 static const NState REMOVED=-3; 321 #define IS_SELECTED(s) (s!=DELETED && s!=NOT_DONE && s!=REMOVED) 322 323 /* -------------------------------------------------------------------------- */ 324 /* 325 smoothAggs - greedy grab of with G1 (unsquared graph) -- AIJ specific 326 - AGG-MG specific: clears singletons out of 'selected_2' 327 328 Input Parameter: 329 . Gmat_2 - glabal matrix of graph (data not defined) 330 . Gmat_1 - base graph to grab with 331 Input/Output Parameter: 332 . aggs_2 - linked list of aggs with gids ) 333 */ 334 #undef __FUNCT__ 335 #define __FUNCT__ "smoothAggs" 336 static PetscErrorCode smoothAggs( const Mat Gmat_2, /* base (squared) graph */ 337 const Mat Gmat_1, /* base graph */ 338 /* const IS selected_2, [nselected local] selected vertices */ 339 PetscCoarsenData *aggs_2 /* [nselected local] global ID of aggregate */ 340 ) 341 { 342 PetscErrorCode ierr; 343 PetscBool isMPI; 344 Mat_SeqAIJ *matA_1, *matB_1=0, *matA_2, *matB_2=0; 345 MPI_Comm wcomm = ((PetscObject)Gmat_2)->comm; 346 PetscMPIInt mype,npe; 347 PetscInt lid,*ii,*idx,ix,Iend,my0,kk,n,j; 348 Mat_MPIAIJ *mpimat_2 = 0, *mpimat_1=0; 349 const PetscInt nloc = Gmat_2->rmap->n; 350 PetscScalar *cpcol_1_state,*cpcol_2_state,*cpcol_2_par_orig,*lid_parent_gid; 351 PetscInt *lid_cprowID_1; 352 NState *lid_state; 353 Vec ghost_par_orig2; 354 355 PetscFunctionBegin; 356 ierr = MPI_Comm_rank( wcomm, &mype ); CHKERRQ(ierr); 357 ierr = MPI_Comm_size( wcomm, &npe ); CHKERRQ(ierr); 358 ierr = MatGetOwnershipRange(Gmat_1,&my0,&Iend); CHKERRQ(ierr); 359 360 if( PETSC_FALSE ) { 361 PetscViewer viewer; char fname[32]; static int llev=0; 362 sprintf(fname,"Gmat2_%d.m",llev++); 363 PetscViewerASCIIOpen(wcomm,fname,&viewer); 364 ierr = PetscViewerSetFormat( viewer, PETSC_VIEWER_ASCII_MATLAB); CHKERRQ(ierr); 365 ierr = MatView(Gmat_2, viewer ); CHKERRQ(ierr); 366 ierr = PetscViewerDestroy( &viewer ); 367 } 368 369 /* get submatrices */ 370 ierr = PetscObjectTypeCompare( (PetscObject)Gmat_1, MATMPIAIJ, &isMPI ); CHKERRQ(ierr); 371 if(isMPI) { 372 /* grab matrix objects */ 373 mpimat_2 = (Mat_MPIAIJ*)Gmat_2->data; 374 mpimat_1 = (Mat_MPIAIJ*)Gmat_1->data; 375 matA_1 = (Mat_SeqAIJ*)mpimat_1->A->data; 376 matB_1 = (Mat_SeqAIJ*)mpimat_1->B->data; 377 matA_2 = (Mat_SeqAIJ*)mpimat_2->A->data; 378 matB_2 = (Mat_SeqAIJ*)mpimat_2->B->data; 379 380 /* force compressed row storage for B matrix in AuxMat */ 381 matB_1->compressedrow.check = PETSC_TRUE; 382 ierr = MatCheckCompressedRow(mpimat_1->B,&matB_1->compressedrow,matB_1->i,Gmat_1->rmap->n,-1.0); 383 CHKERRQ(ierr); 384 385 ierr = PetscMalloc( nloc*sizeof(PetscInt), &lid_cprowID_1 ); CHKERRQ(ierr); 386 for( lid = 0 ; lid < nloc ; lid++ ) lid_cprowID_1[lid] = -1; 387 for (ix=0; ix<matB_1->compressedrow.nrows; ix++) { 388 PetscInt lid = matB_1->compressedrow.rindex[ix]; 389 lid_cprowID_1[lid] = ix; 390 } 391 } 392 else { 393 matA_1 = (Mat_SeqAIJ*)Gmat_1->data; 394 matA_2 = (Mat_SeqAIJ*)Gmat_2->data; 395 lid_cprowID_1 = PETSC_NULL; 396 } 397 assert( matA_1 && !matA_1->compressedrow.use ); 398 assert( matB_1==0 || matB_1->compressedrow.use ); 399 assert( matA_2 && !matA_2->compressedrow.use ); 400 assert( matB_2==0 || matB_2->compressedrow.use ); 401 402 /* get state of locals and selected gid for deleted */ 403 ierr = PetscMalloc( nloc*sizeof(NState), &lid_state ); CHKERRQ(ierr); 404 ierr = PetscMalloc( nloc*sizeof(PetscScalar), &lid_parent_gid ); CHKERRQ(ierr); 405 for( lid = 0 ; lid < nloc ; lid++ ) { 406 lid_parent_gid[lid] = -1.0; 407 lid_state[lid] = DELETED; 408 } 409 410 /* set lid_state */ 411 for( lid = 0 ; lid < nloc ; lid++ ) { 412 PetscCDPos pos; 413 ierr = PetscCDGetHeadPos(aggs_2,lid,&pos); CHKERRQ(ierr); 414 if( pos ) { 415 PetscInt gid1; 416 ierr = PetscLLNGetID( pos, &gid1 ); CHKERRQ(ierr); assert(gid1==lid+my0); 417 lid_state[lid] = gid1; 418 } 419 } 420 421 /* map local to selected local, DELETED means a ghost owns it */ 422 for(lid=kk=0;lid<nloc;lid++){ 423 NState state = lid_state[lid]; 424 if( IS_SELECTED(state) ){ 425 PetscCDPos pos; 426 ierr = PetscCDGetHeadPos(aggs_2,lid,&pos); CHKERRQ(ierr); 427 while(pos){ 428 PetscInt gid1; 429 ierr = PetscLLNGetID( pos, &gid1 ); CHKERRQ(ierr); 430 ierr = PetscCDGetNextPos(aggs_2,lid,&pos); CHKERRQ(ierr); 431 432 if( gid1 >= my0 && gid1 < Iend ){ 433 lid_parent_gid[gid1-my0] = (PetscScalar)(lid + my0); 434 } 435 } 436 } 437 } 438 /* get 'cpcol_1/2_state' & cpcol_2_par_orig - uses mpimat_1/2->lvec for temp space */ 439 if (isMPI) { 440 Vec tempVec; 441 /* get 'cpcol_1_state' */ 442 ierr = MatGetVecs( Gmat_1, &tempVec, 0 ); CHKERRQ(ierr); 443 for(kk=0,j=my0;kk<nloc;kk++,j++){ 444 PetscScalar v = (PetscScalar)lid_state[kk]; 445 ierr = VecSetValues( tempVec, 1, &j, &v, INSERT_VALUES ); CHKERRQ(ierr); 446 } 447 ierr = VecAssemblyBegin( tempVec ); CHKERRQ(ierr); 448 ierr = VecAssemblyEnd( tempVec ); CHKERRQ(ierr); 449 ierr = VecScatterBegin(mpimat_1->Mvctx,tempVec, mpimat_1->lvec,INSERT_VALUES,SCATTER_FORWARD); 450 CHKERRQ(ierr); 451 ierr = VecScatterEnd(mpimat_1->Mvctx,tempVec, mpimat_1->lvec,INSERT_VALUES,SCATTER_FORWARD); 452 CHKERRQ(ierr); 453 ierr = VecGetArray( mpimat_1->lvec, &cpcol_1_state ); CHKERRQ(ierr); 454 /* get 'cpcol_2_state' */ 455 ierr = VecScatterBegin(mpimat_2->Mvctx,tempVec, mpimat_2->lvec,INSERT_VALUES,SCATTER_FORWARD); 456 CHKERRQ(ierr); 457 ierr = VecScatterEnd(mpimat_2->Mvctx,tempVec, mpimat_2->lvec,INSERT_VALUES,SCATTER_FORWARD); 458 CHKERRQ(ierr); 459 ierr = VecGetArray( mpimat_2->lvec, &cpcol_2_state ); CHKERRQ(ierr); 460 /* get 'cpcol_2_par_orig' */ 461 for(kk=0,j=my0;kk<nloc;kk++,j++){ 462 PetscScalar v = (PetscScalar)lid_parent_gid[kk]; 463 ierr = VecSetValues( tempVec, 1, &j, &v, INSERT_VALUES ); CHKERRQ(ierr); 464 } 465 ierr = VecAssemblyBegin( tempVec ); CHKERRQ(ierr); 466 ierr = VecAssemblyEnd( tempVec ); CHKERRQ(ierr); 467 ierr = VecDuplicate( mpimat_2->lvec, &ghost_par_orig2 ); CHKERRQ(ierr); 468 ierr = VecScatterBegin(mpimat_2->Mvctx,tempVec, ghost_par_orig2,INSERT_VALUES,SCATTER_FORWARD); 469 CHKERRQ(ierr); 470 ierr = VecScatterEnd(mpimat_2->Mvctx,tempVec, ghost_par_orig2,INSERT_VALUES,SCATTER_FORWARD); 471 CHKERRQ(ierr); 472 ierr = VecGetArray( ghost_par_orig2, &cpcol_2_par_orig ); CHKERRQ(ierr); 473 474 ierr = VecDestroy( &tempVec ); CHKERRQ(ierr); 475 } /* ismpi */ 476 477 /* doit */ 478 for(lid=0;lid<nloc;lid++){ 479 NState state = lid_state[lid]; 480 if( IS_SELECTED(state) ) { 481 /* steal locals */ 482 ii = matA_1->i; n = ii[lid+1] - ii[lid]; 483 idx = matA_1->j + ii[lid]; 484 for (j=0; j<n; j++) { 485 PetscInt lidj = idx[j], sgid; 486 NState statej = lid_state[lidj]; 487 if (statej==DELETED && (sgid=(PetscInt)PetscRealPart(lid_parent_gid[lidj])) != lid+my0) { /* steal local */ 488 lid_parent_gid[lidj] = (PetscScalar)(lid+my0); /* send this if sgid is not local */ 489 if( sgid >= my0 && sgid < Iend ){ /* I'm stealing this local from a local sgid */ 490 PetscInt hav=0,slid=sgid-my0,gidj=lidj+my0; 491 PetscCDPos pos,last=PETSC_NULL; 492 /* looking for local from local so id_llist_2 works */ 493 ierr = PetscCDGetHeadPos(aggs_2,slid,&pos); CHKERRQ(ierr); 494 while(pos){ 495 PetscInt gid; 496 ierr = PetscLLNGetID( pos, &gid ); CHKERRQ(ierr); 497 if( gid == gidj ) { 498 assert(last); 499 ierr = PetscCDRemoveNextNode( aggs_2, slid, last ); CHKERRQ(ierr); 500 ierr = PetscCDAppendNode( aggs_2, lid, pos ); CHKERRQ(ierr); 501 hav = 1; 502 break; 503 } 504 else last = pos; 505 506 ierr = PetscCDGetNextPos(aggs_2,slid,&pos); CHKERRQ(ierr); 507 } 508 if(hav!=1){ 509 if(hav==0)SETERRQ(PETSC_COMM_SELF,PETSC_ERR_LIB,"failed to find adj in 'selected' lists - structurally unsymmetric matrix"); 510 SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"found node %d times???",hav); 511 } 512 } 513 else{ /* I'm stealing this local, owned by a ghost */ 514 assert(sgid==-1); 515 ierr = PetscCDAppendID( aggs_2, lid, lidj+my0 ); CHKERRQ(ierr); 516 } 517 } 518 } /* local neighbors */ 519 } 520 else if( state == DELETED && lid_cprowID_1 ) { 521 PetscInt sgidold = (PetscInt)PetscRealPart(lid_parent_gid[lid]); 522 /* see if I have a selected ghost neighbor that will steal me */ 523 if( (ix=lid_cprowID_1[lid]) != -1 ){ 524 ii = matB_1->compressedrow.i; n = ii[ix+1] - ii[ix]; 525 idx = matB_1->j + ii[ix]; 526 for( j=0 ; j<n ; j++ ) { 527 PetscInt cpid = idx[j]; 528 NState statej = (NState)PetscRealPart(cpcol_1_state[cpid]); 529 if( IS_SELECTED(statej) && sgidold != (PetscInt)statej ) { /* ghost will steal this, remove from my list */ 530 lid_parent_gid[lid] = (PetscScalar)statej; /* send who selected */ 531 if( sgidold>=my0 && sgidold<Iend ) { /* this was mine */ 532 PetscInt hav=0,oldslidj=sgidold-my0; 533 PetscCDPos pos,last=PETSC_NULL; 534 /* remove from 'oldslidj' list */ 535 ierr = PetscCDGetHeadPos(aggs_2,oldslidj,&pos); CHKERRQ(ierr); 536 while( pos ) { 537 PetscInt gid; 538 ierr = PetscLLNGetID( pos, &gid ); CHKERRQ(ierr); 539 if( lid+my0 == gid ) { 540 /* id_llist_2[lastid] = id_llist_2[flid]; /\* remove lid from oldslidj list *\/ */ 541 assert(last); 542 ierr = PetscCDRemoveNextNode( aggs_2, oldslidj, last ); CHKERRQ(ierr); 543 /* ghost (PetscScalar)statej will add this later */ 544 hav = 1; 545 break; 546 } 547 else last = pos; 548 549 ierr = PetscCDGetNextPos(aggs_2,oldslidj,&pos); CHKERRQ(ierr); 550 } 551 if(hav!=1){ 552 if(hav==0)SETERRQ(PETSC_COMM_SELF,PETSC_ERR_LIB,"failed to find adj in 'selected' lists - structurally unsymmetric matrix"); 553 SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"found node %d times???",hav); 554 } 555 } 556 else { 557 /* ghosts remove this later */ 558 } 559 } 560 } 561 } 562 } /* selected/deleted */ 563 } /* node loop */ 564 565 if( isMPI ) { 566 PetscScalar *cpcol_2_parent,*cpcol_2_gid; 567 Vec tempVec,ghostgids2,ghostparents2; 568 PetscInt cpid,nghost_2; 569 GAMGHashTable gid_cpid; 570 571 ierr = VecGetSize( mpimat_2->lvec, &nghost_2 ); CHKERRQ(ierr); 572 ierr = MatGetVecs( Gmat_2, &tempVec, 0 ); CHKERRQ(ierr); 573 574 /* get 'cpcol_2_parent' */ 575 for(kk=0,j=my0;kk<nloc;kk++,j++){ 576 ierr = VecSetValues( tempVec, 1, &j, &lid_parent_gid[kk], INSERT_VALUES ); CHKERRQ(ierr); 577 } 578 ierr = VecAssemblyBegin( tempVec ); CHKERRQ(ierr); 579 ierr = VecAssemblyEnd( tempVec ); CHKERRQ(ierr); 580 ierr = VecDuplicate( mpimat_2->lvec, &ghostparents2 ); CHKERRQ(ierr); 581 ierr = VecScatterBegin(mpimat_2->Mvctx,tempVec, ghostparents2,INSERT_VALUES,SCATTER_FORWARD); 582 CHKERRQ(ierr); 583 ierr = VecScatterEnd(mpimat_2->Mvctx,tempVec, ghostparents2,INSERT_VALUES,SCATTER_FORWARD); 584 CHKERRQ(ierr); 585 ierr = VecGetArray( ghostparents2, &cpcol_2_parent ); CHKERRQ(ierr); 586 587 /* get 'cpcol_2_gid' */ 588 for(kk=0,j=my0;kk<nloc;kk++,j++){ 589 PetscScalar v = (PetscScalar)j; 590 ierr = VecSetValues( tempVec, 1, &j, &v, INSERT_VALUES ); CHKERRQ(ierr); 591 } 592 ierr = VecAssemblyBegin( tempVec ); CHKERRQ(ierr); 593 ierr = VecAssemblyEnd( tempVec ); CHKERRQ(ierr); 594 ierr = VecDuplicate( mpimat_2->lvec, &ghostgids2 ); CHKERRQ(ierr); 595 ierr = VecScatterBegin(mpimat_2->Mvctx,tempVec, ghostgids2,INSERT_VALUES,SCATTER_FORWARD); 596 CHKERRQ(ierr); 597 ierr = VecScatterEnd(mpimat_2->Mvctx,tempVec, ghostgids2,INSERT_VALUES,SCATTER_FORWARD); 598 CHKERRQ(ierr); 599 ierr = VecGetArray( ghostgids2, &cpcol_2_gid ); CHKERRQ(ierr); 600 601 ierr = VecDestroy( &tempVec ); CHKERRQ(ierr); 602 603 /* look for deleted ghosts and add to table */ 604 ierr = GAMGTableCreate( 2*nghost_2, &gid_cpid ); CHKERRQ(ierr); 605 for( cpid = 0 ; cpid < nghost_2 ; cpid++ ) { 606 NState state = (NState)PetscRealPart(cpcol_2_state[cpid]); 607 if( state==DELETED ) { 608 PetscInt sgid_new = (PetscInt)PetscRealPart(cpcol_2_parent[cpid]); 609 PetscInt sgid_old = (PetscInt)PetscRealPart(cpcol_2_par_orig[cpid]); 610 if( sgid_old == -1 && sgid_new != -1 ) { 611 PetscInt gid = (PetscInt)PetscRealPart(cpcol_2_gid[cpid]); 612 ierr = GAMGTableAdd( &gid_cpid, gid, cpid ); CHKERRQ(ierr); 613 } 614 } 615 } 616 617 /* look for deleted ghosts and see if they moved - remove it */ 618 for(lid=0;lid<nloc;lid++){ 619 NState state = lid_state[lid]; 620 if( IS_SELECTED(state) ){ 621 PetscCDPos pos,last=PETSC_NULL; 622 /* look for deleted ghosts and see if they moved */ 623 ierr = PetscCDGetHeadPos(aggs_2,lid,&pos); CHKERRQ(ierr); 624 while(pos){ 625 PetscInt gid; 626 ierr = PetscLLNGetID( pos, &gid ); CHKERRQ(ierr); 627 628 if( gid < my0 || gid >= Iend ) { 629 ierr = GAMGTableFind( &gid_cpid, gid, &cpid ); CHKERRQ(ierr); 630 if( cpid != -1 ) { 631 /* a moved ghost - */ 632 /* id_llist_2[lastid] = id_llist_2[flid]; /\* remove 'flid' from list *\/ */ 633 ierr = PetscCDRemoveNextNode( aggs_2, lid, last ); CHKERRQ(ierr); 634 } 635 else last = pos; 636 } 637 else last = pos; 638 639 ierr = PetscCDGetNextPos(aggs_2,lid,&pos); CHKERRQ(ierr); 640 } /* loop over list of deleted */ 641 } /* selected */ 642 } 643 ierr = GAMGTableDestroy( &gid_cpid ); CHKERRQ(ierr); 644 645 /* look at ghosts, see if they changed - and it */ 646 for( cpid = 0 ; cpid < nghost_2 ; cpid++ ){ 647 PetscInt sgid_new = (PetscInt)PetscRealPart(cpcol_2_parent[cpid]); 648 if( sgid_new >= my0 && sgid_new < Iend ) { /* this is mine */ 649 PetscInt gid = (PetscInt)PetscRealPart(cpcol_2_gid[cpid]); 650 PetscInt slid_new=sgid_new-my0,hav=0; 651 PetscCDPos pos; 652 /* search for this gid to see if I have it */ 653 ierr = PetscCDGetHeadPos(aggs_2,slid_new,&pos); CHKERRQ(ierr); 654 while(pos){ 655 PetscInt gidj; 656 ierr = PetscLLNGetID( pos, &gidj ); CHKERRQ(ierr); 657 ierr = PetscCDGetNextPos(aggs_2,slid_new,&pos); CHKERRQ(ierr); 658 659 if( gidj == gid ) { hav = 1; break; } 660 } 661 if( hav != 1 ){ 662 /* insert 'flidj' into head of llist */ 663 ierr = PetscCDAppendID( aggs_2, slid_new, gid ); CHKERRQ(ierr); 664 } 665 } 666 } 667 668 ierr = VecRestoreArray( mpimat_1->lvec, &cpcol_1_state ); CHKERRQ(ierr); 669 ierr = VecRestoreArray( mpimat_2->lvec, &cpcol_2_state ); CHKERRQ(ierr); 670 ierr = VecRestoreArray( ghostparents2, &cpcol_2_parent ); CHKERRQ(ierr); 671 ierr = VecRestoreArray( ghostgids2, &cpcol_2_gid ); CHKERRQ(ierr); 672 ierr = PetscFree( lid_cprowID_1 ); CHKERRQ(ierr); 673 ierr = VecDestroy( &ghostgids2 ); CHKERRQ(ierr); 674 ierr = VecDestroy( &ghostparents2 ); CHKERRQ(ierr); 675 ierr = VecDestroy( &ghost_par_orig2 ); CHKERRQ(ierr); 676 } 677 678 ierr = PetscFree( lid_parent_gid ); CHKERRQ(ierr); 679 ierr = PetscFree( lid_state ); CHKERRQ(ierr); 680 681 PetscFunctionReturn(0); 682 } 683 684 /* -------------------------------------------------------------------------- */ 685 /* 686 PCSetData_AGG - called if data is not set with PCSetCoordinates. 687 Looks in Mat for near null space. 688 Does not work for Stokes 689 690 Input Parameter: 691 . pc - 692 . a_A - matrix to get (near) null space out of. 693 */ 694 #undef __FUNCT__ 695 #define __FUNCT__ "PCSetData_AGG" 696 PetscErrorCode PCSetData_AGG( PC pc, Mat a_A ) 697 { 698 PetscErrorCode ierr; 699 PC_MG *mg = (PC_MG*)pc->data; 700 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 701 MatNullSpace mnull; 702 703 PetscFunctionBegin; 704 ierr = MatGetNearNullSpace( a_A, &mnull ); CHKERRQ(ierr); 705 if( !mnull ) { 706 PetscInt bs,NN,MM; 707 ierr = MatGetBlockSize( a_A, &bs ); CHKERRQ( ierr ); 708 ierr = MatGetLocalSize( a_A, &MM, &NN ); CHKERRQ( ierr ); assert(MM%bs==0); 709 ierr = PCSetCoordinates_AGG( pc, bs, MM/bs, PETSC_NULL ); CHKERRQ(ierr); 710 } 711 else { 712 PetscReal *nullvec; 713 PetscBool has_const; 714 PetscInt i,j,mlocal,nvec,bs; 715 const Vec *vecs; const PetscScalar *v; 716 ierr = MatGetLocalSize(a_A,&mlocal,PETSC_NULL);CHKERRQ(ierr); 717 ierr = MatNullSpaceGetVecs( mnull, &has_const, &nvec, &vecs ); CHKERRQ(ierr); 718 ierr = PetscMalloc((nvec+!!has_const)*mlocal*sizeof *nullvec,&nullvec);CHKERRQ(ierr); 719 if (has_const) for (i=0; i<mlocal; i++) nullvec[i] = 1.0; 720 for (i=0; i<nvec; i++) { 721 ierr = VecGetArrayRead(vecs[i],&v);CHKERRQ(ierr); 722 for (j=0; j<mlocal; j++) nullvec[(i+!!has_const)*mlocal + j] = PetscRealPart(v[j]); 723 ierr = VecRestoreArrayRead(vecs[i],&v);CHKERRQ(ierr); 724 } 725 pc_gamg->data = nullvec; 726 pc_gamg->data_cell_cols = (nvec+!!has_const); 727 ierr = MatGetBlockSize( a_A, &bs ); CHKERRQ( ierr ); /* this does not work for Stokes */ 728 pc_gamg->data_cell_rows = bs; 729 } 730 PetscFunctionReturn(0); 731 } 732 733 /* -------------------------------------------------------------------------- */ 734 /* 735 formProl0 736 737 Input Parameter: 738 . agg_llists - list of arrays with aggregates 739 . bs - block size 740 . nSAvec - column bs of new P 741 . my0crs - global index of start of locals 742 . data_stride - bs*(nloc nodes + ghost nodes) 743 . data_in[data_stride*nSAvec] - local data on fine grid 744 . flid_fgid[data_stride/bs] - make local to global IDs, includes ghosts in 'locals_llist' 745 Output Parameter: 746 . a_data_out - in with fine grid data (w/ghosts), out with coarse grid data 747 . a_Prol - prolongation operator 748 */ 749 #undef __FUNCT__ 750 #define __FUNCT__ "formProl0" 751 static PetscErrorCode formProl0(const PetscCoarsenData *agg_llists,/* list from selected vertices of aggregate unselected vertices */ 752 const PetscInt bs, /* (row) block size */ 753 const PetscInt nSAvec, /* column bs */ 754 const PetscInt my0crs, /* global index of start of locals */ 755 const PetscInt data_stride, /* (nloc+nghost)*bs */ 756 PetscReal data_in[], /* [data_stride][nSAvec] */ 757 const PetscInt flid_fgid[], /* [data_stride/bs] */ 758 PetscReal **a_data_out, 759 Mat a_Prol /* prolongation operator (output)*/ 760 ) 761 { 762 PetscErrorCode ierr; 763 PetscInt Istart,my0,Iend,nloc,clid,flid,aggID,kk,jj,ii,mm,ndone,nSelected,minsz,nghosts,out_data_stride; 764 MPI_Comm wcomm = ((PetscObject)a_Prol)->comm; 765 PetscMPIInt mype, npe; 766 PetscReal *out_data; 767 PetscCDPos pos; 768 GAMGHashTable fgid_flid; 769 770 /* #define OUT_AGGS */ 771 #ifdef OUT_AGGS 772 static PetscInt llev = 0; char fname[32]; FILE *file = PETSC_NULL; PetscInt pM; 773 #endif 774 775 PetscFunctionBegin; 776 ierr = MPI_Comm_rank(wcomm,&mype);CHKERRQ(ierr); 777 ierr = MPI_Comm_size(wcomm,&npe);CHKERRQ(ierr); 778 ierr = MatGetOwnershipRange( a_Prol, &Istart, &Iend ); CHKERRQ(ierr); 779 nloc = (Iend-Istart)/bs; my0 = Istart/bs; assert((Iend-Istart)%bs==0); 780 Iend /= bs; 781 nghosts = data_stride/bs - nloc; 782 783 ierr = GAMGTableCreate( 2*nghosts, &fgid_flid ); CHKERRQ(ierr); 784 for(kk=0;kk<nghosts;kk++) { 785 ierr = GAMGTableAdd( &fgid_flid, flid_fgid[nloc+kk], nloc+kk ); CHKERRQ(ierr); 786 } 787 788 #ifdef OUT_AGGS 789 sprintf(fname,"aggs_%d_%d.m",llev++,mype); 790 if(llev==1) { 791 file = fopen(fname,"w"); 792 } 793 MatGetSize( a_Prol, &pM, &jj ); 794 #endif 795 796 /* count selected -- same as number of cols of P */ 797 for(nSelected=mm=0;mm<nloc;mm++) { 798 PetscBool ise; 799 ierr = PetscCDEmptyAt( agg_llists, mm, &ise ); CHKERRQ(ierr); 800 if( !ise ) nSelected++; 801 } 802 ierr = MatGetOwnershipRangeColumn( a_Prol, &ii, &jj ); CHKERRQ(ierr); 803 assert((ii/nSAvec)==my0crs); assert(nSelected==(jj-ii)/nSAvec); 804 805 /* aloc space for coarse point data (output) */ 806 out_data_stride = nSelected*nSAvec; 807 ierr = PetscMalloc( out_data_stride*nSAvec*sizeof(PetscReal), &out_data ); CHKERRQ(ierr); 808 for(ii=0;ii<out_data_stride*nSAvec;ii++) { 809 out_data[ii]=1.e300; 810 } 811 *a_data_out = out_data; /* output - stride nSelected*nSAvec */ 812 813 /* find points and set prolongation */ 814 minsz = 100; 815 ndone = 0; 816 for( mm = clid = 0 ; mm < nloc ; mm++ ){ 817 ierr = PetscCDSizeAt( agg_llists, mm, &jj ); CHKERRQ(ierr); 818 if( jj > 0 ) { 819 const PetscInt lid = mm, cgid = my0crs + clid; 820 PetscInt cids[100]; /* max bs */ 821 PetscBLASInt asz=jj,M=asz*bs,N=nSAvec,INFO; 822 PetscBLASInt Mdata=M+((N-M>0)?N-M:0),LDA=Mdata,LWORK=N*bs; 823 PetscScalar *qqc,*qqr,*TAU,*WORK; 824 PetscInt *fids; 825 PetscReal *data; 826 /* count agg */ 827 if( asz<minsz ) minsz = asz; 828 829 /* get block */ 830 ierr = PetscMalloc( (Mdata*N)*sizeof(PetscScalar), &qqc ); CHKERRQ(ierr); 831 ierr = PetscMalloc( (M*N)*sizeof(PetscScalar), &qqr ); CHKERRQ(ierr); 832 ierr = PetscMalloc( N*sizeof(PetscScalar), &TAU ); CHKERRQ(ierr); 833 ierr = PetscMalloc( LWORK*sizeof(PetscScalar), &WORK ); CHKERRQ(ierr); 834 ierr = PetscMalloc( M*sizeof(PetscInt), &fids ); CHKERRQ(ierr); 835 836 aggID = 0; 837 ierr = PetscCDGetHeadPos(agg_llists,lid,&pos); CHKERRQ(ierr); 838 while(pos){ 839 PetscInt gid1; 840 ierr = PetscLLNGetID( pos, &gid1 ); CHKERRQ(ierr); 841 ierr = PetscCDGetNextPos(agg_llists,lid,&pos); CHKERRQ(ierr); 842 843 if( gid1 >= my0 && gid1 < Iend ) flid = gid1 - my0; 844 else { 845 ierr = GAMGTableFind( &fgid_flid, gid1, &flid ); CHKERRQ(ierr); 846 assert(flid>=0); 847 } 848 /* copy in B_i matrix - column oriented */ 849 data = &data_in[flid*bs]; 850 for( kk = ii = 0; ii < bs ; ii++ ) { 851 for( jj = 0; jj < N ; jj++ ) { 852 PetscReal d = data[jj*data_stride + ii]; 853 qqc[jj*Mdata + aggID*bs + ii] = d; 854 } 855 } 856 #ifdef OUT_AGGS 857 if(llev==1) { 858 char str[] = "plot(%e,%e,'r*'), hold on,\n", col[] = "rgbkmc", sim[] = "*os+h>d<vx^"; 859 PetscInt MM,pi,pj; 860 str[12] = col[(clid+17*mype)%6]; str[13] = sim[(clid+17*mype)%11]; 861 MM = (PetscInt)(PetscSqrtReal((PetscReal)pM)); 862 pj = gid1/MM; pi = gid1%MM; 863 fprintf(file,str,(double)pi,(double)pj); 864 /* fprintf(file,str,data[2*data_stride+1],-data[2*data_stride]); */ 865 } 866 #endif 867 /* set fine IDs */ 868 for(kk=0;kk<bs;kk++) fids[aggID*bs + kk] = flid_fgid[flid]*bs + kk; 869 870 aggID++; 871 } 872 873 /* pad with zeros */ 874 for( ii = asz*bs; ii < Mdata ; ii++ ) { 875 for( jj = 0; jj < N ; jj++, kk++ ) { 876 qqc[jj*Mdata + ii] = .0; 877 } 878 } 879 880 ndone += aggID; 881 /* QR */ 882 ierr = PetscFPTrapPush(PETSC_FP_TRAP_OFF);CHKERRQ(ierr); 883 LAPACKgeqrf_( &Mdata, &N, qqc, &LDA, TAU, WORK, &LWORK, &INFO ); 884 ierr = PetscFPTrapPop();CHKERRQ(ierr); 885 if( INFO != 0 ) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_LIB,"xGEQRS error"); 886 /* get R - column oriented - output B_{i+1} */ 887 { 888 PetscReal *data = &out_data[clid*nSAvec]; 889 for( jj = 0; jj < nSAvec ; jj++ ) { 890 for( ii = 0; ii < nSAvec ; ii++ ) { 891 assert(data[jj*out_data_stride + ii] == 1.e300); 892 if( ii <= jj ) data[jj*out_data_stride + ii] = PetscRealPart(qqc[jj*Mdata + ii]); 893 else data[jj*out_data_stride + ii] = 0.; 894 } 895 } 896 } 897 898 /* get Q - row oriented */ 899 LAPACKungqr_( &Mdata, &N, &N, qqc, &LDA, TAU, WORK, &LWORK, &INFO ); 900 if( INFO != 0 ) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"xORGQR error arg %d",-INFO); 901 902 for( ii = 0 ; ii < M ; ii++ ){ 903 for( jj = 0 ; jj < N ; jj++ ) { 904 qqr[N*ii + jj] = qqc[jj*Mdata + ii]; 905 } 906 } 907 908 /* add diagonal block of P0 */ 909 for(kk=0;kk<N;kk++) { 910 cids[kk] = N*cgid + kk; /* global col IDs in P0 */ 911 } 912 ierr = MatSetValues(a_Prol,M,fids,N,cids,qqr,INSERT_VALUES); CHKERRQ(ierr); 913 914 ierr = PetscFree( qqc ); CHKERRQ(ierr); 915 ierr = PetscFree( qqr ); CHKERRQ(ierr); 916 ierr = PetscFree( TAU ); CHKERRQ(ierr); 917 ierr = PetscFree( WORK ); CHKERRQ(ierr); 918 ierr = PetscFree( fids ); CHKERRQ(ierr); 919 clid++; 920 } /* coarse agg */ 921 } /* for all fine nodes */ 922 ierr = MatAssemblyBegin(a_Prol,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 923 ierr = MatAssemblyEnd(a_Prol,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 924 925 /* ierr = MPI_Allreduce( &ndone, &ii, 1, MPIU_INT, MPIU_SUM, wcomm ); */ 926 /* MatGetSize( a_Prol, &kk, &jj ); */ 927 /* ierr = MPI_Allreduce( &minsz, &jj, 1, MPIU_INT, MPIU_MIN, wcomm ); */ 928 /* PetscPrintf(wcomm," **** [%d]%s %d total done, %d nodes (%d local done), min agg. size = %d\n",mype,__FUNCT__,ii,kk/bs,ndone,jj); */ 929 930 #ifdef OUT_AGGS 931 if(llev==1) fclose(file); 932 #endif 933 ierr = GAMGTableDestroy( &fgid_flid ); CHKERRQ(ierr); 934 935 PetscFunctionReturn(0); 936 } 937 938 /* -------------------------------------------------------------------------- */ 939 /* 940 PCGAMGgraph_AGG 941 942 Input Parameter: 943 . pc - this 944 . Amat - matrix on this fine level 945 Output Parameter: 946 . a_Gmat - 947 */ 948 #undef __FUNCT__ 949 #define __FUNCT__ "PCGAMGgraph_AGG" 950 PetscErrorCode PCGAMGgraph_AGG( PC pc, 951 const Mat Amat, 952 Mat *a_Gmat 953 ) 954 { 955 PetscErrorCode ierr; 956 PC_MG *mg = (PC_MG*)pc->data; 957 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 958 const PetscInt verbose = pc_gamg->verbose; 959 const PetscReal vfilter = pc_gamg->threshold; 960 PC_GAMG_AGG *pc_gamg_agg = (PC_GAMG_AGG*)pc_gamg->subctx; 961 PetscMPIInt mype,npe; 962 Mat Gmat; 963 MPI_Comm wcomm = ((PetscObject)Amat)->comm; 964 PetscBool set,flg,symm; 965 966 PetscFunctionBegin; 967 #if defined PETSC_USE_LOG 968 ierr = PetscLogEventBegin(PC_GAMGGgraph_AGG,0,0,0,0);CHKERRQ(ierr); 969 #endif 970 ierr = MPI_Comm_rank( wcomm, &mype); CHKERRQ(ierr); 971 ierr = MPI_Comm_size( wcomm, &npe); CHKERRQ(ierr); 972 973 ierr = MatIsSymmetricKnown(Amat, &set, &flg); CHKERRQ(ierr); 974 symm = (PetscBool)(pc_gamg_agg->sym_graph || !(set && flg)); 975 976 ierr = PCGAMGCreateGraph( Amat, &Gmat ); CHKERRQ( ierr ); 977 ierr = PCGAMGFilterGraph( &Gmat, vfilter, symm, verbose ); CHKERRQ( ierr ); 978 979 *a_Gmat = Gmat; 980 981 #if defined PETSC_USE_LOG 982 ierr = PetscLogEventEnd(PC_GAMGGgraph_AGG,0,0,0,0);CHKERRQ(ierr); 983 #endif 984 PetscFunctionReturn(0); 985 } 986 987 /* -------------------------------------------------------------------------- */ 988 /* 989 PCGAMGCoarsen_AGG 990 991 Input Parameter: 992 . a_pc - this 993 Input/Output Parameter: 994 . a_Gmat1 - graph on this fine level - coarsening can change this (squares it) 995 Output Parameter: 996 . agg_lists - list of aggregates 997 */ 998 #undef __FUNCT__ 999 #define __FUNCT__ "PCGAMGCoarsen_AGG" 1000 PetscErrorCode PCGAMGCoarsen_AGG( PC a_pc, 1001 Mat *a_Gmat1, 1002 PetscCoarsenData **agg_lists 1003 ) 1004 { 1005 PetscErrorCode ierr; 1006 PC_MG *mg = (PC_MG*)a_pc->data; 1007 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 1008 PC_GAMG_AGG *pc_gamg_agg = (PC_GAMG_AGG*)pc_gamg->subctx; 1009 Mat mat,Gmat2, Gmat1 = *a_Gmat1; /* squared graph */ 1010 IS perm; 1011 PetscInt Ii,nloc,bs,n,m; 1012 PetscInt *permute; 1013 PetscBool *bIndexSet; 1014 MatCoarsen crs; 1015 MPI_Comm wcomm = ((PetscObject)Gmat1)->comm; 1016 PetscMPIInt mype,npe; 1017 1018 PetscFunctionBegin; 1019 #if defined PETSC_USE_LOG 1020 ierr = PetscLogEventBegin(PC_GAMGCoarsen_AGG,0,0,0,0);CHKERRQ(ierr); 1021 #endif 1022 ierr = MPI_Comm_rank( wcomm, &mype); CHKERRQ(ierr); 1023 ierr = MPI_Comm_size( wcomm, &npe); CHKERRQ(ierr); 1024 ierr = MatGetLocalSize( Gmat1, &n, &m ); CHKERRQ(ierr); 1025 ierr = MatGetBlockSize( Gmat1, &bs ); CHKERRQ(ierr); assert(bs==1); 1026 nloc = n/bs; 1027 1028 if( pc_gamg_agg->square_graph ) { 1029 ierr = MatTransposeMatMult( Gmat1, Gmat1, MAT_INITIAL_MATRIX, PETSC_DEFAULT, &Gmat2 ); 1030 CHKERRQ(ierr); 1031 } 1032 else Gmat2 = Gmat1; 1033 1034 /* get MIS aggs */ 1035 /* randomize */ 1036 ierr = PetscMalloc( nloc*sizeof(PetscInt), &permute ); CHKERRQ(ierr); 1037 ierr = PetscMalloc( nloc*sizeof(PetscBool), &bIndexSet ); CHKERRQ(ierr); 1038 for ( Ii = 0; Ii < nloc ; Ii++ ){ 1039 bIndexSet[Ii] = PETSC_FALSE; 1040 permute[Ii] = Ii; 1041 } 1042 srand(1); /* make deterministic */ 1043 for ( Ii = 0; Ii < nloc ; Ii++ ) { 1044 PetscInt iSwapIndex = rand()%nloc; 1045 if (!bIndexSet[iSwapIndex] && iSwapIndex != Ii) { 1046 PetscInt iTemp = permute[iSwapIndex]; 1047 permute[iSwapIndex] = permute[Ii]; 1048 permute[Ii] = iTemp; 1049 bIndexSet[iSwapIndex] = PETSC_TRUE; 1050 } 1051 } 1052 ierr = PetscFree( bIndexSet ); CHKERRQ(ierr); 1053 1054 ierr = ISCreateGeneral(PETSC_COMM_SELF, nloc, permute, PETSC_USE_POINTER, &perm); 1055 CHKERRQ(ierr); 1056 #if defined PETSC_GAMG_USE_LOG 1057 ierr = PetscLogEventBegin(petsc_gamg_setup_events[SET4],0,0,0,0);CHKERRQ(ierr); 1058 #endif 1059 ierr = MatCoarsenCreate( wcomm, &crs ); CHKERRQ(ierr); 1060 /* ierr = MatCoarsenSetType( crs, MATCOARSENMIS ); CHKERRQ(ierr); */ 1061 ierr = MatCoarsenSetFromOptions( crs ); CHKERRQ(ierr); 1062 ierr = MatCoarsenSetGreedyOrdering( crs, perm ); CHKERRQ(ierr); 1063 ierr = MatCoarsenSetAdjacency( crs, Gmat2 ); CHKERRQ(ierr); 1064 ierr = MatCoarsenSetVerbose( crs, pc_gamg->verbose ); CHKERRQ(ierr); 1065 ierr = MatCoarsenSetStrictAggs( crs, PETSC_TRUE ); CHKERRQ(ierr); 1066 ierr = MatCoarsenApply( crs ); CHKERRQ(ierr); 1067 ierr = MatCoarsenGetData( crs, agg_lists ); CHKERRQ(ierr); /* output */ 1068 ierr = MatCoarsenDestroy( &crs ); CHKERRQ(ierr); 1069 1070 ierr = ISDestroy( &perm ); CHKERRQ(ierr); 1071 ierr = PetscFree( permute ); CHKERRQ(ierr); 1072 #if defined PETSC_GAMG_USE_LOG 1073 ierr = PetscLogEventEnd(petsc_gamg_setup_events[SET4],0,0,0,0);CHKERRQ(ierr); 1074 #endif 1075 /* smooth aggs */ 1076 if( Gmat2 != Gmat1 ) { 1077 const PetscCoarsenData *llist = *agg_lists; 1078 ierr = smoothAggs( Gmat2, Gmat1, *agg_lists ); CHKERRQ(ierr); 1079 ierr = MatDestroy( &Gmat1 ); CHKERRQ(ierr); 1080 *a_Gmat1 = Gmat2; /* output */ 1081 ierr = PetscCDGetMat( llist, &mat ); CHKERRQ(ierr); 1082 if(mat) SETERRQ(wcomm,PETSC_ERR_ARG_WRONG, "Auxilary matrix with squared graph????"); 1083 } 1084 else { 1085 const PetscCoarsenData *llist = *agg_lists; 1086 /* see if we have a matrix that takes pecedence (returned from MatCoarsenAppply) */ 1087 ierr = PetscCDGetMat( llist, &mat ); CHKERRQ(ierr); 1088 if( mat ) { 1089 ierr = MatDestroy( &Gmat1 ); CHKERRQ(ierr); 1090 *a_Gmat1 = mat; /* output */ 1091 } 1092 } 1093 #if defined PETSC_USE_LOG 1094 ierr = PetscLogEventEnd(PC_GAMGCoarsen_AGG,0,0,0,0);CHKERRQ(ierr); 1095 #endif 1096 PetscFunctionReturn(0); 1097 } 1098 1099 /* -------------------------------------------------------------------------- */ 1100 /* 1101 PCGAMGProlongator_AGG 1102 1103 Input Parameter: 1104 . pc - this 1105 . Amat - matrix on this fine level 1106 . Graph - used to get ghost data for nodes in 1107 . agg_lists - list of aggregates 1108 Output Parameter: 1109 . a_P_out - prolongation operator to the next level 1110 */ 1111 #undef __FUNCT__ 1112 #define __FUNCT__ "PCGAMGProlongator_AGG" 1113 PetscErrorCode PCGAMGProlongator_AGG( PC pc, 1114 const Mat Amat, 1115 const Mat Gmat, 1116 PetscCoarsenData *agg_lists, 1117 Mat *a_P_out 1118 ) 1119 { 1120 PC_MG *mg = (PC_MG*)pc->data; 1121 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 1122 const PetscInt verbose = pc_gamg->verbose; 1123 const PetscInt data_cols = pc_gamg->data_cell_cols; 1124 PetscErrorCode ierr; 1125 PetscInt Istart,Iend,nloc,ii,jj,kk,my0,nLocalSelected,bs; 1126 Mat Prol; 1127 PetscMPIInt mype, npe; 1128 MPI_Comm wcomm = ((PetscObject)Amat)->comm; 1129 const PetscInt col_bs = data_cols; 1130 PetscReal *data_w_ghost; 1131 PetscInt myCrs0, nbnodes=0, *flid_fgid; 1132 1133 PetscFunctionBegin; 1134 #if defined PETSC_USE_LOG 1135 ierr = PetscLogEventBegin(PC_GAMGProlongator_AGG,0,0,0,0);CHKERRQ(ierr); 1136 #endif 1137 ierr = MPI_Comm_rank( wcomm, &mype); CHKERRQ(ierr); 1138 ierr = MPI_Comm_size( wcomm, &npe); CHKERRQ(ierr); 1139 ierr = MatGetOwnershipRange( Amat, &Istart, &Iend ); CHKERRQ(ierr); 1140 ierr = MatGetBlockSize( Amat, &bs ); CHKERRQ( ierr ); 1141 nloc = (Iend-Istart)/bs; my0 = Istart/bs; assert((Iend-Istart)%bs==0); 1142 1143 /* get 'nLocalSelected' */ 1144 for( ii=0, nLocalSelected = 0 ; ii < nloc ; ii++ ){ 1145 PetscBool ise; 1146 /* filter out singletons 0 or 1? */ 1147 ierr = PetscCDEmptyAt( agg_lists, ii, &ise ); CHKERRQ(ierr); 1148 if( !ise ) nLocalSelected++; 1149 } 1150 1151 /* create prolongator, create P matrix */ 1152 ierr = MatCreate( wcomm, &Prol ); CHKERRQ(ierr); 1153 ierr = MatSetSizes(Prol,nloc*bs,nLocalSelected*col_bs,PETSC_DETERMINE,PETSC_DETERMINE); 1154 CHKERRQ(ierr); 1155 ierr = MatSetBlockSizes( Prol, bs, col_bs ); CHKERRQ(ierr); 1156 ierr = MatSetType( Prol, MATAIJ ); CHKERRQ(ierr); 1157 ierr = MatSeqAIJSetPreallocation( Prol, data_cols, PETSC_NULL); CHKERRQ(ierr); 1158 ierr = MatMPIAIJSetPreallocation(Prol,data_cols, PETSC_NULL,data_cols, PETSC_NULL);CHKERRQ(ierr); 1159 /* nloc*bs, nLocalSelected*col_bs, */ 1160 /* PETSC_DETERMINE, PETSC_DETERMINE, */ 1161 /* data_cols, PETSC_NULL, data_cols, PETSC_NULL, */ 1162 /* &Prol ); */ 1163 1164 /* can get all points "removed" */ 1165 ierr = MatGetSize( Prol, &kk, &ii ); CHKERRQ(ierr); 1166 if( ii==0 ) { 1167 if( verbose ) { 1168 PetscPrintf(wcomm,"[%d]%s no selected points on coarse grid\n",mype,__FUNCT__); 1169 } 1170 ierr = MatDestroy( &Prol ); CHKERRQ(ierr); 1171 *a_P_out = PETSC_NULL; /* out */ 1172 PetscFunctionReturn(0); 1173 } 1174 if( verbose ) { 1175 PetscPrintf(wcomm,"\t\t[%d]%s New grid %d nodes\n",mype,__FUNCT__,ii/col_bs); 1176 } 1177 ierr = MatGetOwnershipRangeColumn( Prol, &myCrs0, &kk ); CHKERRQ(ierr); 1178 1179 assert((kk-myCrs0)%col_bs==0); 1180 myCrs0 = myCrs0/col_bs; 1181 assert((kk/col_bs-myCrs0)==nLocalSelected); 1182 1183 /* create global vector of data in 'data_w_ghost' */ 1184 #if defined PETSC_GAMG_USE_LOG 1185 ierr = PetscLogEventBegin(petsc_gamg_setup_events[SET7],0,0,0,0);CHKERRQ(ierr); 1186 #endif 1187 if (npe > 1) { /* */ 1188 PetscReal *tmp_gdata,*tmp_ldata,*tp2; 1189 ierr = PetscMalloc( nloc*sizeof(PetscReal), &tmp_ldata ); CHKERRQ(ierr); 1190 for( jj = 0 ; jj < data_cols ; jj++ ){ 1191 for( kk = 0 ; kk < bs ; kk++) { 1192 PetscInt ii,stride; 1193 const PetscReal *tp = pc_gamg->data + jj*bs*nloc + kk; 1194 for( ii = 0 ; ii < nloc ; ii++, tp += bs ){ 1195 tmp_ldata[ii] = *tp; 1196 } 1197 ierr = PCGAMGGetDataWithGhosts( Gmat, 1, tmp_ldata, &stride, &tmp_gdata ); 1198 CHKERRQ(ierr); 1199 1200 if(jj==0 && kk==0) { /* now I know how many todal nodes - allocate */ 1201 ierr = PetscMalloc( stride*bs*data_cols*sizeof(PetscReal), &data_w_ghost ); CHKERRQ(ierr); 1202 nbnodes = bs*stride; 1203 } 1204 tp2 = data_w_ghost + jj*bs*stride + kk; 1205 for( ii = 0 ; ii < stride ; ii++, tp2 += bs ){ 1206 *tp2 = tmp_gdata[ii]; 1207 } 1208 ierr = PetscFree( tmp_gdata ); CHKERRQ(ierr); 1209 } 1210 } 1211 ierr = PetscFree( tmp_ldata ); CHKERRQ(ierr); 1212 } 1213 else { 1214 nbnodes = bs*nloc; 1215 data_w_ghost = (PetscReal*)pc_gamg->data; 1216 } 1217 1218 /* get P0 */ 1219 if( npe > 1 ){ 1220 PetscReal *fid_glid_loc,*fiddata; 1221 PetscInt stride; 1222 1223 ierr = PetscMalloc( nloc*sizeof(PetscReal), &fid_glid_loc ); CHKERRQ(ierr); 1224 for(kk=0;kk<nloc;kk++) fid_glid_loc[kk] = (PetscReal)(my0+kk); 1225 ierr = PCGAMGGetDataWithGhosts( Gmat, 1, fid_glid_loc, &stride, &fiddata ); 1226 CHKERRQ(ierr); 1227 ierr = PetscMalloc( stride*sizeof(PetscInt), &flid_fgid ); CHKERRQ(ierr); 1228 for(kk=0;kk<stride;kk++) flid_fgid[kk] = (PetscInt)fiddata[kk]; 1229 ierr = PetscFree( fiddata ); CHKERRQ(ierr); 1230 1231 assert(stride==nbnodes/bs); 1232 ierr = PetscFree( fid_glid_loc ); CHKERRQ(ierr); 1233 } 1234 else { 1235 ierr = PetscMalloc( nloc*sizeof(PetscInt), &flid_fgid ); CHKERRQ(ierr); 1236 for(kk=0;kk<nloc;kk++) flid_fgid[kk] = my0 + kk; 1237 } 1238 #if defined PETSC_GAMG_USE_LOG 1239 ierr = PetscLogEventEnd(petsc_gamg_setup_events[SET7],0,0,0,0);CHKERRQ(ierr); 1240 ierr = PetscLogEventBegin(petsc_gamg_setup_events[SET8],0,0,0,0);CHKERRQ(ierr); 1241 #endif 1242 { 1243 PetscReal *data_out = PETSC_NULL; 1244 ierr = formProl0( agg_lists, bs, data_cols, myCrs0, nbnodes, 1245 data_w_ghost, flid_fgid, &data_out, Prol ); 1246 CHKERRQ(ierr); 1247 ierr = PetscFree( pc_gamg->data ); CHKERRQ( ierr ); 1248 pc_gamg->data = data_out; 1249 pc_gamg->data_cell_rows = data_cols; 1250 pc_gamg->data_sz = data_cols*data_cols*nLocalSelected; 1251 } 1252 #if defined PETSC_GAMG_USE_LOG 1253 ierr = PetscLogEventEnd(petsc_gamg_setup_events[SET8],0,0,0,0);CHKERRQ(ierr); 1254 #endif 1255 if (npe > 1) ierr = PetscFree( data_w_ghost ); CHKERRQ(ierr); 1256 ierr = PetscFree( flid_fgid ); CHKERRQ(ierr); 1257 1258 *a_P_out = Prol; /* out */ 1259 #if defined PETSC_USE_LOG 1260 ierr = PetscLogEventEnd(PC_GAMGProlongator_AGG,0,0,0,0);CHKERRQ(ierr); 1261 #endif 1262 PetscFunctionReturn(0); 1263 } 1264 1265 /* -------------------------------------------------------------------------- */ 1266 /* 1267 PCGAMGOptprol_AGG 1268 1269 Input Parameter: 1270 . pc - this 1271 . Amat - matrix on this fine level 1272 In/Output Parameter: 1273 . a_P_out - prolongation operator to the next level 1274 */ 1275 #undef __FUNCT__ 1276 #define __FUNCT__ "PCGAMGOptprol_AGG" 1277 PetscErrorCode PCGAMGOptprol_AGG( PC pc, 1278 const Mat Amat, 1279 Mat *a_P 1280 ) 1281 { 1282 PetscErrorCode ierr; 1283 PC_MG *mg = (PC_MG*)pc->data; 1284 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 1285 const PetscInt verbose = pc_gamg->verbose; 1286 PC_GAMG_AGG *pc_gamg_agg = (PC_GAMG_AGG*)pc_gamg->subctx; 1287 PetscInt jj; 1288 PetscMPIInt mype,npe; 1289 Mat Prol = *a_P; 1290 MPI_Comm wcomm = ((PetscObject)Amat)->comm; 1291 1292 PetscFunctionBegin; 1293 #if defined PETSC_USE_LOG 1294 ierr = PetscLogEventBegin(PC_GAMGOptprol_AGG,0,0,0,0);CHKERRQ(ierr); 1295 #endif 1296 ierr = MPI_Comm_rank( wcomm, &mype); CHKERRQ(ierr); 1297 ierr = MPI_Comm_size( wcomm, &npe); CHKERRQ(ierr); 1298 1299 /* smooth P0 */ 1300 for( jj = 0 ; jj < pc_gamg_agg->nsmooths ; jj++ ){ 1301 Mat tMat; 1302 Vec diag; 1303 PetscReal alpha, emax, emin; 1304 #if defined PETSC_GAMG_USE_LOG 1305 ierr = PetscLogEventBegin(petsc_gamg_setup_events[SET9],0,0,0,0);CHKERRQ(ierr); 1306 #endif 1307 if( jj == 0 ) { 1308 KSP eksp; 1309 Vec bb, xx; 1310 PC pc; 1311 ierr = MatGetVecs( Amat, &bb, 0 ); CHKERRQ(ierr); 1312 ierr = MatGetVecs( Amat, &xx, 0 ); CHKERRQ(ierr); 1313 { 1314 PetscRandom rctx; 1315 ierr = PetscRandomCreate(wcomm,&rctx);CHKERRQ(ierr); 1316 ierr = PetscRandomSetFromOptions(rctx);CHKERRQ(ierr); 1317 ierr = VecSetRandom(bb,rctx);CHKERRQ(ierr); 1318 ierr = PetscRandomDestroy( &rctx ); CHKERRQ(ierr); 1319 } 1320 ierr = KSPCreate(wcomm,&eksp); CHKERRQ(ierr); 1321 ierr = KSPAppendOptionsPrefix( eksp, "gamg_est_"); CHKERRQ(ierr); 1322 ierr = KSPSetFromOptions( eksp ); CHKERRQ(ierr); 1323 ierr = KSPSetInitialGuessNonzero( eksp, PETSC_FALSE ); CHKERRQ(ierr); 1324 ierr = KSPSetOperators( eksp, Amat, Amat, SAME_NONZERO_PATTERN ); 1325 CHKERRQ( ierr ); 1326 ierr = KSPGetPC( eksp, &pc ); CHKERRQ( ierr ); 1327 ierr = PCSetType( pc, PCJACOBI ); CHKERRQ(ierr); /* smoother */ 1328 ierr = KSPSetTolerances(eksp,PETSC_DEFAULT,PETSC_DEFAULT,PETSC_DEFAULT,10); 1329 CHKERRQ(ierr); 1330 ierr = KSPSetNormType( eksp, KSP_NORM_NONE ); CHKERRQ(ierr); 1331 ierr = KSPSetComputeSingularValues( eksp,PETSC_TRUE ); CHKERRQ(ierr); 1332 1333 /* solve - keep stuff out of logging */ 1334 ierr = PetscLogEventDeactivate(KSP_Solve);CHKERRQ(ierr); 1335 ierr = PetscLogEventDeactivate(PC_Apply);CHKERRQ(ierr); 1336 ierr = KSPSolve( eksp, bb, xx ); CHKERRQ(ierr); 1337 ierr = PetscLogEventActivate(KSP_Solve);CHKERRQ(ierr); 1338 ierr = PetscLogEventActivate(PC_Apply);CHKERRQ(ierr); 1339 1340 ierr = KSPComputeExtremeSingularValues( eksp, &emax, &emin ); CHKERRQ(ierr); 1341 if( verbose ) { 1342 PetscPrintf(wcomm,"\t\t\t%s smooth P0: max eigen=%e min=%e PC=%s\n", 1343 __FUNCT__,emax,emin,PCJACOBI); 1344 } 1345 ierr = VecDestroy( &xx ); CHKERRQ(ierr); 1346 ierr = VecDestroy( &bb ); CHKERRQ(ierr); 1347 ierr = KSPDestroy( &eksp ); CHKERRQ(ierr); 1348 1349 if( pc_gamg->emax_id == -1 ) { 1350 ierr = PetscObjectComposedDataRegister( &pc_gamg->emax_id ); 1351 assert(pc_gamg->emax_id != -1 ); 1352 } 1353 ierr = PetscObjectComposedDataSetScalar( (PetscObject)Amat, pc_gamg->emax_id, emax ); CHKERRQ(ierr); 1354 } 1355 1356 /* smooth P1 := (I - omega/lam D^{-1}A)P0 */ 1357 ierr = MatMatMult( Amat, Prol, MAT_INITIAL_MATRIX, PETSC_DEFAULT, &tMat ); CHKERRQ(ierr); 1358 ierr = MatGetVecs( Amat, &diag, 0 ); CHKERRQ(ierr); 1359 ierr = MatGetDiagonal( Amat, diag ); CHKERRQ(ierr); /* effectively PCJACOBI */ 1360 ierr = VecReciprocal( diag ); CHKERRQ(ierr); 1361 ierr = MatDiagonalScale( tMat, diag, 0 ); CHKERRQ(ierr); 1362 ierr = VecDestroy( &diag ); CHKERRQ(ierr); 1363 alpha = -1.4/emax; 1364 ierr = MatAYPX( tMat, alpha, Prol, SUBSET_NONZERO_PATTERN ); CHKERRQ(ierr); 1365 ierr = MatDestroy( &Prol ); CHKERRQ(ierr); 1366 Prol = tMat; 1367 #if defined PETSC_GAMG_USE_LOG 1368 ierr = PetscLogEventEnd(petsc_gamg_setup_events[SET9],0,0,0,0);CHKERRQ(ierr); 1369 #endif 1370 } 1371 #if defined PETSC_USE_LOG 1372 ierr = PetscLogEventEnd(PC_GAMGOptprol_AGG,0,0,0,0);CHKERRQ(ierr); 1373 #endif 1374 *a_P = Prol; 1375 1376 PetscFunctionReturn(0); 1377 } 1378 1379 /* -------------------------------------------------------------------------- */ 1380 /* 1381 PCGAMGKKTProl_AGG 1382 1383 Input Parameter: 1384 . pc - this 1385 . Prol11 - matrix on this fine level 1386 . A21 - matrix on this fine level 1387 In/Output Parameter: 1388 . a_P22 - prolongation operator to the next level 1389 */ 1390 #undef __FUNCT__ 1391 #define __FUNCT__ "PCGAMGKKTProl_AGG" 1392 PetscErrorCode PCGAMGKKTProl_AGG( PC pc, 1393 const Mat Prol11, 1394 const Mat A21, 1395 Mat *a_P22 1396 ) 1397 { 1398 PetscErrorCode ierr; 1399 PC_MG *mg = (PC_MG*)pc->data; 1400 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 1401 const PetscInt verbose = pc_gamg->verbose; 1402 /* PC_GAMG_AGG *pc_gamg_agg = (PC_GAMG_AGG*)pc_gamg->subctx; */ 1403 PetscMPIInt mype,npe; 1404 Mat Prol22,Tmat,Gmat; 1405 MPI_Comm wcomm = ((PetscObject)pc)->comm; 1406 PetscCoarsenData *agg_lists; 1407 1408 PetscFunctionBegin; 1409 #if defined PETSC_USE_LOG 1410 ierr = PetscLogEventBegin(PC_GAMGKKTProl_AGG,0,0,0,0); CHKERRQ(ierr); 1411 #endif 1412 ierr = MPI_Comm_rank( wcomm, &mype); CHKERRQ(ierr); 1413 ierr = MPI_Comm_size( wcomm, &npe); CHKERRQ(ierr); 1414 1415 /* form C graph */ 1416 ierr = MatMatMult( A21, Prol11, MAT_INITIAL_MATRIX, PETSC_DEFAULT, &Tmat); CHKERRQ(ierr); 1417 ierr = MatMatTransposeMult(Tmat, Tmat, MAT_INITIAL_MATRIX, PETSC_DEFAULT, &Gmat ); CHKERRQ(ierr); 1418 ierr = MatDestroy(&Tmat); CHKERRQ(ierr); 1419 ierr = PCGAMGFilterGraph(&Gmat, 0.0, PETSC_FALSE, verbose); CHKERRQ(ierr); 1420 1421 /* coarsen constraints */ 1422 { 1423 MatCoarsen crs; 1424 ierr = MatCoarsenCreate( wcomm, &crs ); CHKERRQ(ierr); 1425 ierr = MatCoarsenSetType( crs, MATCOARSENMIS ); CHKERRQ(ierr); 1426 ierr = MatCoarsenSetAdjacency( crs, Gmat ); CHKERRQ(ierr); 1427 ierr = MatCoarsenSetVerbose( crs, verbose ); CHKERRQ(ierr); 1428 ierr = MatCoarsenSetStrictAggs( crs, PETSC_TRUE ); CHKERRQ(ierr); 1429 ierr = MatCoarsenApply( crs ); CHKERRQ(ierr); 1430 ierr = MatCoarsenGetData( crs, &agg_lists ); CHKERRQ(ierr); 1431 ierr = MatCoarsenDestroy( &crs ); CHKERRQ(ierr); 1432 } 1433 1434 /* form simple prolongation 'Prol22' */ 1435 { 1436 PetscInt ii,mm,clid,my0,nloc,nLocalSelected; 1437 PetscScalar val = 1.0; 1438 /* get 'nLocalSelected' */ 1439 ierr = MatGetLocalSize( Gmat, &nloc, &ii ); CHKERRQ(ierr); 1440 for( ii=0, nLocalSelected = 0 ; ii < nloc ; ii++ ){ 1441 PetscBool ise; 1442 /* filter out singletons 0 or 1? */ 1443 ierr = PetscCDEmptyAt( agg_lists, ii, &ise ); CHKERRQ(ierr); 1444 if( !ise ) nLocalSelected++; 1445 } 1446 1447 ierr = MatCreate(wcomm,&Prol22);CHKERRQ(ierr); 1448 ierr = MatSetSizes( Prol22,nloc, nLocalSelected, 1449 PETSC_DETERMINE, PETSC_DETERMINE); 1450 CHKERRQ(ierr); 1451 ierr = MatSetType( Prol22, MATAIJ ); CHKERRQ(ierr); 1452 ierr = MatSeqAIJSetPreallocation(Prol22,1,PETSC_NULL); CHKERRQ(ierr); 1453 ierr = MatMPIAIJSetPreallocation(Prol22,1,PETSC_NULL,1,PETSC_NULL); 1454 CHKERRQ(ierr); 1455 /* ierr = MatCreateAIJ( wcomm, */ 1456 /* nloc, nLocalSelected, */ 1457 /* PETSC_DETERMINE, PETSC_DETERMINE, */ 1458 /* 1, PETSC_NULL, 1, PETSC_NULL, */ 1459 /* &Prol22 ); */ 1460 1461 ierr = MatGetOwnershipRange( Prol22, &my0, &ii ); CHKERRQ(ierr); 1462 nloc = ii - my0; 1463 1464 /* make aggregates */ 1465 for( mm = clid = 0 ; mm < nloc ; mm++ ){ 1466 ierr = PetscCDSizeAt( agg_lists, mm, &ii ); CHKERRQ(ierr); 1467 if( ii > 0 ) { 1468 PetscInt asz=ii,cgid=my0+clid,rids[1000]; 1469 PetscCDPos pos; 1470 if(asz>1000)SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Very large aggregate: %d",asz); 1471 ii = 0; 1472 ierr = PetscCDGetHeadPos(agg_lists,mm,&pos); CHKERRQ(ierr); 1473 while(pos){ 1474 PetscInt gid1; 1475 ierr = PetscLLNGetID( pos, &gid1 ); CHKERRQ(ierr); 1476 ierr = PetscCDGetNextPos(agg_lists,mm,&pos); CHKERRQ(ierr); 1477 1478 rids[ii++] = gid1; 1479 } 1480 assert(ii==asz); 1481 /* add diagonal block of P0 */ 1482 ierr = MatSetValues(Prol22,asz,rids,1,&cgid,&val,INSERT_VALUES); CHKERRQ(ierr); 1483 1484 clid++; 1485 } /* coarse agg */ 1486 } /* for all fine nodes */ 1487 ierr = MatAssemblyBegin(Prol22,MAT_FINAL_ASSEMBLY); CHKERRQ(ierr); 1488 ierr = MatAssemblyEnd(Prol22,MAT_FINAL_ASSEMBLY); CHKERRQ(ierr); 1489 } 1490 1491 /* clean up */ 1492 ierr = MatDestroy( &Gmat ); CHKERRQ(ierr); 1493 ierr = PetscCDDestroy( agg_lists ); CHKERRQ(ierr); 1494 #if defined PETSC_USE_LOG 1495 ierr = PetscLogEventEnd(PC_GAMGKKTProl_AGG,0,0,0,0);CHKERRQ(ierr); 1496 #endif 1497 *a_P22 = Prol22; 1498 1499 PetscFunctionReturn(0); 1500 } 1501 1502 /* -------------------------------------------------------------------------- */ 1503 /* 1504 PCCreateGAMG_AGG 1505 1506 Input Parameter: 1507 . pc - 1508 */ 1509 #undef __FUNCT__ 1510 #define __FUNCT__ "PCCreateGAMG_AGG" 1511 PetscErrorCode PCCreateGAMG_AGG( PC pc ) 1512 { 1513 PetscErrorCode ierr; 1514 PC_MG *mg = (PC_MG*)pc->data; 1515 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 1516 PC_GAMG_AGG *pc_gamg_agg; 1517 1518 PetscFunctionBegin; 1519 /* create sub context for SA */ 1520 ierr = PetscNewLog( pc, PC_GAMG_AGG, &pc_gamg_agg ); CHKERRQ(ierr); 1521 assert(!pc_gamg->subctx); 1522 pc_gamg->subctx = pc_gamg_agg; 1523 1524 pc->ops->setfromoptions = PCSetFromOptions_GAMG_AGG; 1525 pc->ops->destroy = PCDestroy_AGG; 1526 /* reset does not do anything; setup not virtual */ 1527 1528 /* set internal function pointers */ 1529 pc_gamg->graph = PCGAMGgraph_AGG; 1530 pc_gamg->coarsen = PCGAMGCoarsen_AGG; 1531 pc_gamg->prolongator = PCGAMGProlongator_AGG; 1532 pc_gamg->optprol = PCGAMGOptprol_AGG; 1533 pc_gamg->formkktprol = PCGAMGKKTProl_AGG; 1534 1535 pc_gamg->createdefaultdata = PCSetData_AGG; 1536 1537 ierr = PetscObjectComposeFunctionDynamic( (PetscObject)pc, 1538 "PCSetCoordinates_C", 1539 "PCSetCoordinates_AGG", 1540 PCSetCoordinates_AGG); 1541 PetscFunctionReturn(0); 1542 } 1543