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 239 Input Parameter: 240 . pc - the preconditioner context 241 */ 242 EXTERN_C_BEGIN 243 #undef __FUNCT__ 244 #define __FUNCT__ "PCSetCoordinates_AGG" 245 PetscErrorCode PCSetCoordinates_AGG( PC pc, PetscInt ndm, PetscReal *coords ) 246 { 247 PC_MG *mg = (PC_MG*)pc->data; 248 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 249 PetscErrorCode ierr; 250 PetscInt arrsz,bs,my0,kk,ii,jj,nloc,Iend; 251 Mat Amat = pc->pmat; 252 253 PetscFunctionBegin; 254 PetscValidHeaderSpecific( Amat, MAT_CLASSID, 1 ); 255 ierr = MatGetBlockSize( Amat, &bs ); CHKERRQ( ierr ); 256 ierr = MatGetOwnershipRange( Amat, &my0, &Iend ); CHKERRQ(ierr); 257 nloc = (Iend-my0)/bs; 258 if((Iend-my0)%bs!=0) SETERRQ1(((PetscObject)Amat)->comm,PETSC_ERR_ARG_WRONG, "Bad local size %d.",nloc); 259 260 /* SA: null space vectors */ 261 if( coords && bs==1 ) pc_gamg->data_cell_cols = 1; /* scalar w/ coords and SA (not needed) */ 262 else if( coords ) pc_gamg->data_cell_cols = (ndm==2 ? 3 : 6); /* elasticity */ 263 else pc_gamg->data_cell_cols = bs; /* no data, force SA with constant null space vectors */ 264 pc_gamg->data_cell_rows = bs; 265 266 arrsz = nloc*pc_gamg->data_cell_rows*pc_gamg->data_cell_cols; 267 268 /* create data - syntactic sugar that should be refactored at some point */ 269 if (pc_gamg->data==0 || (pc_gamg->data_sz != arrsz)) { 270 ierr = PetscFree( pc_gamg->data ); CHKERRQ(ierr); 271 ierr = PetscMalloc(arrsz*sizeof(PetscReal), &pc_gamg->data ); CHKERRQ(ierr); 272 } 273 /* copy data in - column oriented */ 274 for(kk=0;kk<nloc;kk++){ 275 const PetscInt M = Iend - my0; 276 PetscReal *data = &pc_gamg->data[kk*bs]; 277 if( pc_gamg->data_cell_cols==1 ) *data = 1.0; 278 else { 279 for(ii=0;ii<bs;ii++) 280 for(jj=0;jj<bs;jj++) 281 if(ii==jj)data[ii*M + jj] = 1.0; /* translational modes */ 282 else data[ii*M + jj] = 0.0; 283 if( coords ) { 284 if( ndm == 2 ){ /* rotational modes */ 285 data += 2*M; 286 data[0] = -coords[2*kk+1]; 287 data[1] = coords[2*kk]; 288 } 289 else { 290 data += 3*M; 291 data[0] = 0.0; data[M+0] = coords[3*kk+2]; data[2*M+0] = -coords[3*kk+1]; 292 data[1] = -coords[3*kk+2]; data[M+1] = 0.0; data[2*M+1] = coords[3*kk]; 293 data[2] = coords[3*kk+1]; data[M+2] = -coords[3*kk]; data[2*M+2] = 0.0; 294 } 295 } 296 } 297 } 298 299 pc_gamg->data_sz = arrsz; 300 301 PetscFunctionReturn(0); 302 } 303 EXTERN_C_END 304 305 typedef PetscInt NState; 306 static const NState NOT_DONE=-2; 307 static const NState DELETED=-1; 308 static const NState REMOVED=-3; 309 #define IS_SELECTED(s) (s!=DELETED && s!=NOT_DONE && s!=REMOVED) 310 311 /* -------------------------------------------------------------------------- */ 312 /* 313 smoothAggs - greedy grab of with G1 (unsquared graph) -- AIJ specific 314 - AGG-MG specific: clears singletons out of 'selected_2' 315 316 Input Parameter: 317 . Gmat_2 - glabal matrix of graph (data not defined) 318 . Gmat_1 - base graph to grab with 319 Input/Output Parameter: 320 . aggs_2 - linked list of aggs with gids ) 321 */ 322 #undef __FUNCT__ 323 #define __FUNCT__ "smoothAggs" 324 static PetscErrorCode smoothAggs( const Mat Gmat_2, /* base (squared) graph */ 325 const Mat Gmat_1, /* base graph */ 326 /* const IS selected_2, [nselected local] selected vertices */ 327 PetscCoarsenData *aggs_2 /* [nselected local] global ID of aggregate */ 328 ) 329 { 330 PetscErrorCode ierr; 331 PetscBool isMPI; 332 Mat_SeqAIJ *matA_1, *matB_1=0, *matA_2, *matB_2=0; 333 MPI_Comm wcomm = ((PetscObject)Gmat_2)->comm; 334 PetscMPIInt mype,npe; 335 PetscInt lid,*ii,*idx,ix,Iend,my0,kk,n,j; 336 Mat_MPIAIJ *mpimat_2 = 0, *mpimat_1=0; 337 const PetscInt nloc = Gmat_2->rmap->n; 338 PetscScalar *cpcol_1_state,*cpcol_2_state,*cpcol_2_par_orig,*lid_parent_gid; 339 PetscInt *lid_cprowID_1; 340 NState *lid_state; 341 Vec ghost_par_orig2; 342 343 PetscFunctionBegin; 344 ierr = MPI_Comm_rank( wcomm, &mype ); CHKERRQ(ierr); 345 ierr = MPI_Comm_size( wcomm, &npe ); CHKERRQ(ierr); 346 ierr = MatGetOwnershipRange(Gmat_1,&my0,&Iend); CHKERRQ(ierr); 347 348 if( PETSC_FALSE ) { 349 PetscViewer viewer; char fname[32]; static int llev=0; 350 sprintf(fname,"Gmat2_%d.m",llev++); 351 PetscViewerASCIIOpen(wcomm,fname,&viewer); 352 ierr = PetscViewerSetFormat( viewer, PETSC_VIEWER_ASCII_MATLAB); CHKERRQ(ierr); 353 ierr = MatView(Gmat_2, viewer ); CHKERRQ(ierr); 354 ierr = PetscViewerDestroy( &viewer ); 355 } 356 357 /* get submatrices */ 358 ierr = PetscTypeCompare( (PetscObject)Gmat_1, MATMPIAIJ, &isMPI ); CHKERRQ(ierr); 359 if(isMPI) { 360 /* grab matrix objects */ 361 mpimat_2 = (Mat_MPIAIJ*)Gmat_2->data; 362 mpimat_1 = (Mat_MPIAIJ*)Gmat_1->data; 363 matA_1 = (Mat_SeqAIJ*)mpimat_1->A->data; 364 matB_1 = (Mat_SeqAIJ*)mpimat_1->B->data; 365 matA_2 = (Mat_SeqAIJ*)mpimat_2->A->data; 366 matB_2 = (Mat_SeqAIJ*)mpimat_2->B->data; 367 368 /* force compressed row storage for B matrix in AuxMat */ 369 matB_1->compressedrow.check = PETSC_TRUE; 370 ierr = MatCheckCompressedRow(mpimat_1->B,&matB_1->compressedrow,matB_1->i,Gmat_1->rmap->n,-1.0); 371 CHKERRQ(ierr); 372 373 ierr = PetscMalloc( nloc*sizeof(PetscInt), &lid_cprowID_1 ); CHKERRQ(ierr); 374 for( lid = 0 ; lid < nloc ; lid++ ) lid_cprowID_1[lid] = -1; 375 for (ix=0; ix<matB_1->compressedrow.nrows; ix++) { 376 PetscInt lid = matB_1->compressedrow.rindex[ix]; 377 lid_cprowID_1[lid] = ix; 378 } 379 } 380 else { 381 matA_1 = (Mat_SeqAIJ*)Gmat_1->data; 382 matA_2 = (Mat_SeqAIJ*)Gmat_2->data; 383 lid_cprowID_1 = PETSC_NULL; 384 } 385 assert( matA_1 && !matA_1->compressedrow.use ); 386 assert( matB_1==0 || matB_1->compressedrow.use ); 387 assert( matA_2 && !matA_2->compressedrow.use ); 388 assert( matB_2==0 || matB_2->compressedrow.use ); 389 390 /* get state of locals and selected gid for deleted */ 391 ierr = PetscMalloc( nloc*sizeof(NState), &lid_state ); CHKERRQ(ierr); 392 ierr = PetscMalloc( nloc*sizeof(PetscScalar), &lid_parent_gid ); CHKERRQ(ierr); 393 for( lid = 0 ; lid < nloc ; lid++ ) { 394 lid_parent_gid[lid] = -1.0; 395 lid_state[lid] = DELETED; 396 } 397 398 /* set lid_state */ 399 for( lid = 0 ; lid < nloc ; lid++ ) { 400 PetscCDPos pos; 401 ierr = PetscCDGetHeadPos(aggs_2,lid,&pos); CHKERRQ(ierr); 402 if( pos ) { 403 PetscInt gid1; 404 ierr = LLNGetID( pos, &gid1 ); CHKERRQ(ierr); assert(gid1==lid+my0); 405 lid_state[lid] = gid1; 406 } 407 } 408 409 /* map local to selected local, DELETED means a ghost owns it */ 410 for(lid=kk=0;lid<nloc;lid++){ 411 NState state = lid_state[lid]; 412 if( IS_SELECTED(state) ){ 413 PetscCDPos pos; 414 ierr = PetscCDGetHeadPos(aggs_2,lid,&pos); CHKERRQ(ierr); 415 while(pos){ 416 PetscInt gid1; 417 ierr = LLNGetID( pos, &gid1 ); CHKERRQ(ierr); 418 ierr = PetscCDGetNextPos(aggs_2,lid,&pos); CHKERRQ(ierr); 419 420 if( gid1 >= my0 && gid1 < Iend ){ 421 lid_parent_gid[gid1-my0] = (PetscScalar)(lid + my0); 422 } 423 } 424 } 425 } 426 /* get 'cpcol_1/2_state' & cpcol_2_par_orig - uses mpimat_1/2->lvec for temp space */ 427 if (isMPI) { 428 Vec tempVec; 429 /* get 'cpcol_1_state' */ 430 ierr = MatGetVecs( Gmat_1, &tempVec, 0 ); CHKERRQ(ierr); 431 for(kk=0,j=my0;kk<nloc;kk++,j++){ 432 PetscScalar v = (PetscScalar)lid_state[kk]; 433 ierr = VecSetValues( tempVec, 1, &j, &v, INSERT_VALUES ); CHKERRQ(ierr); 434 } 435 ierr = VecAssemblyBegin( tempVec ); CHKERRQ(ierr); 436 ierr = VecAssemblyEnd( tempVec ); CHKERRQ(ierr); 437 ierr = VecScatterBegin(mpimat_1->Mvctx,tempVec, mpimat_1->lvec,INSERT_VALUES,SCATTER_FORWARD); 438 CHKERRQ(ierr); 439 ierr = VecScatterEnd(mpimat_1->Mvctx,tempVec, mpimat_1->lvec,INSERT_VALUES,SCATTER_FORWARD); 440 CHKERRQ(ierr); 441 ierr = VecGetArray( mpimat_1->lvec, &cpcol_1_state ); CHKERRQ(ierr); 442 /* get 'cpcol_2_state' */ 443 ierr = VecScatterBegin(mpimat_2->Mvctx,tempVec, mpimat_2->lvec,INSERT_VALUES,SCATTER_FORWARD); 444 CHKERRQ(ierr); 445 ierr = VecScatterEnd(mpimat_2->Mvctx,tempVec, mpimat_2->lvec,INSERT_VALUES,SCATTER_FORWARD); 446 CHKERRQ(ierr); 447 ierr = VecGetArray( mpimat_2->lvec, &cpcol_2_state ); CHKERRQ(ierr); 448 /* get 'cpcol_2_par_orig' */ 449 for(kk=0,j=my0;kk<nloc;kk++,j++){ 450 PetscScalar v = (PetscScalar)lid_parent_gid[kk]; 451 ierr = VecSetValues( tempVec, 1, &j, &v, INSERT_VALUES ); CHKERRQ(ierr); 452 } 453 ierr = VecAssemblyBegin( tempVec ); CHKERRQ(ierr); 454 ierr = VecAssemblyEnd( tempVec ); CHKERRQ(ierr); 455 ierr = VecDuplicate( mpimat_2->lvec, &ghost_par_orig2 ); CHKERRQ(ierr); 456 ierr = VecScatterBegin(mpimat_2->Mvctx,tempVec, ghost_par_orig2,INSERT_VALUES,SCATTER_FORWARD); 457 CHKERRQ(ierr); 458 ierr = VecScatterEnd(mpimat_2->Mvctx,tempVec, ghost_par_orig2,INSERT_VALUES,SCATTER_FORWARD); 459 CHKERRQ(ierr); 460 ierr = VecGetArray( ghost_par_orig2, &cpcol_2_par_orig ); CHKERRQ(ierr); 461 462 ierr = VecDestroy( &tempVec ); CHKERRQ(ierr); 463 } /* ismpi */ 464 465 /* doit */ 466 for(lid=0;lid<nloc;lid++){ 467 NState state = lid_state[lid]; 468 if( IS_SELECTED(state) ) { 469 /* steal locals */ 470 ii = matA_1->i; n = ii[lid+1] - ii[lid]; 471 idx = matA_1->j + ii[lid]; 472 for (j=0; j<n; j++) { 473 PetscInt lidj = idx[j], sgid; 474 NState statej = lid_state[lidj]; 475 if (statej==DELETED && (sgid=(PetscInt)PetscRealPart(lid_parent_gid[lidj])) != lid+my0) { /* steal local */ 476 lid_parent_gid[lidj] = (PetscScalar)(lid+my0); /* send this if sgid is not local */ 477 if( sgid >= my0 && sgid < Iend ){ /* I'm stealing this local from a local sgid */ 478 PetscInt hav=0,slid=sgid-my0,gidj=lidj+my0; 479 PetscCDPos pos,last=PETSC_NULL; 480 /* looking for local from local so id_llist_2 works */ 481 /* for( pos=PetscCDGetHeadPos(aggs_2,slid) ; pos ; pos=PetscCDGetNextPos(aggs_2,slid,pos)){ */ 482 /* PetscInt gid = LLNGetID(pos); */ 483 ierr = PetscCDGetHeadPos(aggs_2,slid,&pos); CHKERRQ(ierr); 484 while(pos){ 485 PetscInt gid; 486 ierr = LLNGetID( pos, &gid ); CHKERRQ(ierr); 487 if( gid == gidj ) { 488 assert(last); 489 ierr = PetscCDRemoveNextNode( aggs_2, slid, last ); CHKERRQ(ierr); 490 ierr = PetscCDAppendNode( aggs_2, lid, pos ); CHKERRQ(ierr); 491 hav = 1; 492 break; 493 } 494 else last = pos; 495 496 ierr = PetscCDGetNextPos(aggs_2,slid,&pos); CHKERRQ(ierr); 497 } 498 if(hav!=1){ 499 if(hav==0)SETERRQ(PETSC_COMM_SELF,PETSC_ERR_LIB,"failed to find adj in 'selected' lists - structurally unsymmetric matrix"); 500 SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"found node %d times???",hav); 501 } 502 } 503 else{ /* I'm stealing this local, owned by a ghost */ 504 assert(sgid==-1); 505 ierr = PetscCDAppendID( aggs_2, lid, lidj+my0 ); CHKERRQ(ierr); 506 } 507 } 508 } /* local neighbors */ 509 } 510 else if( state == DELETED && lid_cprowID_1 ) { 511 PetscInt sgidold = (PetscInt)PetscRealPart(lid_parent_gid[lid]); 512 /* see if I have a selected ghost neighbor that will steal me */ 513 if( (ix=lid_cprowID_1[lid]) != -1 ){ 514 ii = matB_1->compressedrow.i; n = ii[ix+1] - ii[ix]; 515 idx = matB_1->j + ii[ix]; 516 for( j=0 ; j<n ; j++ ) { 517 PetscInt cpid = idx[j]; 518 NState statej = (NState)PetscRealPart(cpcol_1_state[cpid]); 519 if( IS_SELECTED(statej) && sgidold != (PetscInt)statej ) { /* ghost will steal this, remove from my list */ 520 lid_parent_gid[lid] = (PetscScalar)statej; /* send who selected */ 521 if( sgidold>=my0 && sgidold<Iend ) { /* this was mine */ 522 PetscInt hav=0,oldslidj=sgidold-my0; 523 PetscCDPos pos,last=PETSC_NULL; 524 /* remove from 'oldslidj' list */ 525 /* for( pos=PetscCDGetHeadPos(aggs_2,oldslidj) ; pos ; pos=PetscCDGetNextPos(aggs_2,oldslidj,pos)){ */ 526 /* PetscInt gid = LLNGetID(pos); */ 527 ierr = PetscCDGetHeadPos(aggs_2,oldslidj,&pos); CHKERRQ(ierr); 528 while( pos ) { 529 PetscInt gid; 530 ierr = LLNGetID( pos, &gid ); CHKERRQ(ierr); 531 if( lid+my0 == gid ) { 532 /* id_llist_2[lastid] = id_llist_2[flid]; /\* remove lid from oldslidj list *\/ */ 533 assert(last); 534 ierr = PetscCDRemoveNextNode( aggs_2, oldslidj, last ); CHKERRQ(ierr); 535 /* ghost (PetscScalar)statej will add this later */ 536 hav = 1; 537 break; 538 } 539 else last = pos; 540 541 ierr = PetscCDGetNextPos(aggs_2,oldslidj,&pos); CHKERRQ(ierr); 542 } 543 if(hav!=1){ 544 if(hav==0)SETERRQ(PETSC_COMM_SELF,PETSC_ERR_LIB,"failed to find adj in 'selected' lists - structurally unsymmetric matrix"); 545 SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"found node %d times???",hav); 546 } 547 } 548 else { 549 /* ghosts remove this later */ 550 } 551 } 552 } 553 } 554 } /* selected/deleted */ 555 } /* node loop */ 556 557 if( isMPI ) { 558 PetscScalar *cpcol_2_parent,*cpcol_2_gid; 559 Vec tempVec,ghostgids2,ghostparents2; 560 PetscInt cpid,nghost_2; 561 GAMGHashTable gid_cpid; 562 563 ierr = VecGetSize( mpimat_2->lvec, &nghost_2 ); CHKERRQ(ierr); 564 ierr = MatGetVecs( Gmat_2, &tempVec, 0 ); CHKERRQ(ierr); 565 566 /* get 'cpcol_2_parent' */ 567 for(kk=0,j=my0;kk<nloc;kk++,j++){ 568 ierr = VecSetValues( tempVec, 1, &j, &lid_parent_gid[kk], INSERT_VALUES ); CHKERRQ(ierr); 569 } 570 ierr = VecAssemblyBegin( tempVec ); CHKERRQ(ierr); 571 ierr = VecAssemblyEnd( tempVec ); CHKERRQ(ierr); 572 ierr = VecDuplicate( mpimat_2->lvec, &ghostparents2 ); CHKERRQ(ierr); 573 ierr = VecScatterBegin(mpimat_2->Mvctx,tempVec, ghostparents2,INSERT_VALUES,SCATTER_FORWARD); 574 CHKERRQ(ierr); 575 ierr = VecScatterEnd(mpimat_2->Mvctx,tempVec, ghostparents2,INSERT_VALUES,SCATTER_FORWARD); 576 CHKERRQ(ierr); 577 ierr = VecGetArray( ghostparents2, &cpcol_2_parent ); CHKERRQ(ierr); 578 579 /* get 'cpcol_2_gid' */ 580 for(kk=0,j=my0;kk<nloc;kk++,j++){ 581 PetscScalar v = (PetscScalar)j; 582 ierr = VecSetValues( tempVec, 1, &j, &v, INSERT_VALUES ); CHKERRQ(ierr); 583 } 584 ierr = VecAssemblyBegin( tempVec ); CHKERRQ(ierr); 585 ierr = VecAssemblyEnd( tempVec ); CHKERRQ(ierr); 586 ierr = VecDuplicate( mpimat_2->lvec, &ghostgids2 ); CHKERRQ(ierr); 587 ierr = VecScatterBegin(mpimat_2->Mvctx,tempVec, ghostgids2,INSERT_VALUES,SCATTER_FORWARD); 588 CHKERRQ(ierr); 589 ierr = VecScatterEnd(mpimat_2->Mvctx,tempVec, ghostgids2,INSERT_VALUES,SCATTER_FORWARD); 590 CHKERRQ(ierr); 591 ierr = VecGetArray( ghostgids2, &cpcol_2_gid ); CHKERRQ(ierr); 592 593 ierr = VecDestroy( &tempVec ); CHKERRQ(ierr); 594 595 /* look for deleted ghosts and add to table */ 596 ierr = GAMGTableCreate( 2*nghost_2, &gid_cpid ); CHKERRQ(ierr); 597 for( cpid = 0 ; cpid < nghost_2 ; cpid++ ) { 598 NState state = (NState)PetscRealPart(cpcol_2_state[cpid]); 599 if( state==DELETED ) { 600 PetscInt sgid_new = (PetscInt)PetscRealPart(cpcol_2_parent[cpid]); 601 PetscInt sgid_old = (PetscInt)PetscRealPart(cpcol_2_par_orig[cpid]); 602 if( sgid_old == -1 && sgid_new != -1 ) { 603 PetscInt gid = (PetscInt)PetscRealPart(cpcol_2_gid[cpid]); 604 ierr = GAMGTableAdd( &gid_cpid, gid, cpid ); CHKERRQ(ierr); 605 } 606 } 607 } 608 609 /* look for deleted ghosts and see if they moved - remove it */ 610 for(lid=0;lid<nloc;lid++){ 611 NState state = lid_state[lid]; 612 if( IS_SELECTED(state) ){ 613 PetscCDPos pos,last=PETSC_NULL; 614 /* look for deleted ghosts and see if they moved */ 615 /* for( pos=PetscCDGetHeadPos(aggs_2,lid) ; pos ; pos=PetscCDGetNextPos(aggs_2,lid,pos)){ */ 616 /* PetscInt gid = LLNGetID(pos); */ 617 ierr = PetscCDGetHeadPos(aggs_2,lid,&pos); CHKERRQ(ierr); 618 while(pos){ 619 PetscInt gid; 620 ierr = LLNGetID( pos, &gid ); CHKERRQ(ierr); 621 622 if( gid < my0 || gid >= Iend ) { 623 ierr = GAMGTableFind( &gid_cpid, gid, &cpid ); CHKERRQ(ierr); 624 if( cpid != -1 ) { 625 /* a moved ghost - */ 626 /* id_llist_2[lastid] = id_llist_2[flid]; /\* remove 'flid' from list *\/ */ 627 ierr = PetscCDRemoveNextNode( aggs_2, lid, last ); CHKERRQ(ierr); 628 } 629 else last = pos; 630 } 631 else last = pos; 632 633 ierr = PetscCDGetNextPos(aggs_2,lid,&pos); CHKERRQ(ierr); 634 } /* loop over list of deleted */ 635 } /* selected */ 636 } 637 ierr = GAMGTableDestroy( &gid_cpid ); CHKERRQ(ierr); 638 639 /* look at ghosts, see if they changed - and it */ 640 for( cpid = 0 ; cpid < nghost_2 ; cpid++ ){ 641 PetscInt sgid_new = (PetscInt)PetscRealPart(cpcol_2_parent[cpid]); 642 if( sgid_new >= my0 && sgid_new < Iend ) { /* this is mine */ 643 PetscInt gid = (PetscInt)PetscRealPart(cpcol_2_gid[cpid]); 644 PetscInt slid_new=sgid_new-my0,hav=0; 645 PetscCDPos pos; 646 /* search for this gid to see if I have it */ 647 /* for( pos=PetscCDGetHeadPos(aggs_2,slid_new) ; pos ; pos=PetscCDGetNextPos(aggs_2,slid_new,pos) ) { */ 648 /* PetscInt gidj = LLNGetID(pos); */ 649 ierr = PetscCDGetHeadPos(aggs_2,slid_new,&pos); CHKERRQ(ierr); 650 while(pos){ 651 PetscInt gidj; 652 ierr = LLNGetID( pos, &gidj ); CHKERRQ(ierr); 653 ierr = PetscCDGetNextPos(aggs_2,slid_new,&pos); CHKERRQ(ierr); 654 655 if( gidj == gid ) { hav = 1; break; } 656 } 657 if( hav != 1 ){ 658 /* id_llist_2[flidj] = id_llist_2[slid_new]; id_llist_2[slid_new] = flidj; /\* insert 'flidj' into head of llist *\/ */ 659 ierr = PetscCDAppendID( aggs_2, slid_new, gid ); CHKERRQ(ierr); 660 } 661 } 662 } 663 664 ierr = VecRestoreArray( mpimat_1->lvec, &cpcol_1_state ); CHKERRQ(ierr); 665 ierr = VecRestoreArray( mpimat_2->lvec, &cpcol_2_state ); CHKERRQ(ierr); 666 ierr = VecRestoreArray( ghostparents2, &cpcol_2_parent ); CHKERRQ(ierr); 667 ierr = VecRestoreArray( ghostgids2, &cpcol_2_gid ); CHKERRQ(ierr); 668 ierr = PetscFree( lid_cprowID_1 ); CHKERRQ(ierr); 669 ierr = VecDestroy( &ghostgids2 ); CHKERRQ(ierr); 670 ierr = VecDestroy( &ghostparents2 ); CHKERRQ(ierr); 671 ierr = VecDestroy( &ghost_par_orig2 ); CHKERRQ(ierr); 672 } 673 674 ierr = PetscFree( lid_parent_gid ); CHKERRQ(ierr); 675 ierr = PetscFree( lid_state ); CHKERRQ(ierr); 676 677 PetscFunctionReturn(0); 678 } 679 680 /* -------------------------------------------------------------------------- */ 681 /* 682 PCSetData_AGG 683 684 Input Parameter: 685 . pc - 686 */ 687 #undef __FUNCT__ 688 #define __FUNCT__ "PCSetData_AGG" 689 PetscErrorCode PCSetData_AGG( PC pc ) 690 { 691 PetscErrorCode ierr; 692 PetscFunctionBegin; 693 ierr = PCSetCoordinates_AGG( pc, -1, PETSC_NULL ); CHKERRQ(ierr); 694 PetscFunctionReturn(0); 695 } 696 697 /* -------------------------------------------------------------------------- */ 698 /* 699 formProl0 700 701 Input Parameter: 702 . agg_llists - list of arrays with aggregates 703 . bs - block size 704 . nSAvec - column bs of new P 705 . my0crs - global index of start of locals 706 . data_stride - bs*(nloc nodes + ghost nodes) 707 . data_in[data_stride*nSAvec] - local data on fine grid 708 . flid_fgid[data_stride/bs] - make local to global IDs, includes ghosts in 'locals_llist' 709 Output Parameter: 710 . a_data_out - in with fine grid data (w/ghosts), out with coarse grid data 711 . a_Prol - prolongation operator 712 */ 713 #undef __FUNCT__ 714 #define __FUNCT__ "formProl0" 715 static PetscErrorCode formProl0(const PetscCoarsenData *agg_llists,/* list from selected vertices of aggregate unselected vertices */ 716 const PetscInt bs, /* (row) block size */ 717 const PetscInt nSAvec, /* column bs */ 718 const PetscInt my0crs, /* global index of start of locals */ 719 const PetscInt data_stride, /* (nloc+nghost)*bs */ 720 PetscReal data_in[], /* [data_stride][nSAvec] */ 721 const PetscInt flid_fgid[], /* [data_stride/bs] */ 722 PetscReal **a_data_out, 723 Mat a_Prol /* prolongation operator (output)*/ 724 ) 725 { 726 PetscErrorCode ierr; 727 PetscInt Istart,my0,Iend,nloc,clid,flid,aggID,kk,jj,ii,mm,ndone,nSelected,minsz,nghosts,out_data_stride; 728 MPI_Comm wcomm = ((PetscObject)a_Prol)->comm; 729 PetscMPIInt mype, npe; 730 PetscReal *out_data; 731 PetscCDPos pos; 732 GAMGHashTable fgid_flid; 733 734 /* #define OUT_AGGS */ 735 #ifdef OUT_AGGS 736 static PetscInt llev = 0; char fname[32]; FILE *file; PetscInt pM; 737 #endif 738 739 PetscFunctionBegin; 740 ierr = MPI_Comm_rank(wcomm,&mype);CHKERRQ(ierr); 741 ierr = MPI_Comm_size(wcomm,&npe);CHKERRQ(ierr); 742 ierr = MatGetOwnershipRange( a_Prol, &Istart, &Iend ); CHKERRQ(ierr); 743 nloc = (Iend-Istart)/bs; my0 = Istart/bs; assert((Iend-Istart)%bs==0); 744 Iend /= bs; 745 nghosts = data_stride/bs - nloc; 746 747 ierr = GAMGTableCreate( 2*nghosts, &fgid_flid ); CHKERRQ(ierr); 748 for(kk=0;kk<nghosts;kk++) { 749 ierr = GAMGTableAdd( &fgid_flid, flid_fgid[nloc+kk], nloc+kk ); CHKERRQ(ierr); 750 } 751 752 #ifdef OUT_AGGS 753 sprintf(fname,"aggs_%d_%d.m",llev++,mype); 754 if(llev==1) { 755 file = fopen(fname,"w"); 756 } 757 MatGetSize( a_Prol, &pM, &jj ); 758 #endif 759 760 /* count selected -- same as number of cols of P */ 761 for(nSelected=mm=0;mm<nloc;mm++) { 762 PetscBool ise; 763 ierr = PetscCDEmptyAt( agg_llists, mm, &ise ); CHKERRQ(ierr); 764 if( !ise ) nSelected++; 765 } 766 ierr = MatGetOwnershipRangeColumn( a_Prol, &ii, &jj ); CHKERRQ(ierr); 767 assert((ii/nSAvec)==my0crs); assert(nSelected==(jj-ii)/nSAvec); 768 769 /* aloc space for coarse point data (output) */ 770 out_data_stride = nSelected*nSAvec; 771 ierr = PetscMalloc( out_data_stride*nSAvec*sizeof(PetscReal), &out_data ); CHKERRQ(ierr); 772 for(ii=0;ii<out_data_stride*nSAvec;ii++) { 773 out_data[ii]=1.e300; 774 } 775 *a_data_out = out_data; /* output - stride nSelected*nSAvec */ 776 777 /* find points and set prolongation */ 778 minsz = 100; 779 ndone = 0; 780 for( mm = clid = 0 ; mm < nloc ; mm++ ){ 781 ierr = PetscCDSizeAt( agg_llists, mm, &jj ); CHKERRQ(ierr); 782 if( jj > 0 ) { 783 const PetscInt lid = mm, cgid = my0crs + clid; 784 PetscInt cids[100]; /* max bs */ 785 PetscBLASInt asz=jj,M=asz*bs,N=nSAvec,INFO; 786 PetscBLASInt Mdata=M+((N-M>0)?N-M:0),LDA=Mdata,LWORK=N*bs; 787 PetscScalar *qqc,*qqr,*TAU,*WORK; 788 PetscInt *fids; 789 PetscReal *data; 790 /* count agg */ 791 if( asz<minsz ) minsz = asz; 792 793 /* get block */ 794 ierr = PetscMalloc( (Mdata*N)*sizeof(PetscScalar), &qqc ); CHKERRQ(ierr); 795 ierr = PetscMalloc( (M*N)*sizeof(PetscScalar), &qqr ); CHKERRQ(ierr); 796 ierr = PetscMalloc( N*sizeof(PetscScalar), &TAU ); CHKERRQ(ierr); 797 ierr = PetscMalloc( LWORK*sizeof(PetscScalar), &WORK ); CHKERRQ(ierr); 798 ierr = PetscMalloc( M*sizeof(PetscInt), &fids ); CHKERRQ(ierr); 799 800 aggID = 0; 801 /* for( pos=PetscCDGetHeadPos(agg_llists,lid) ; */ 802 /* pos ; */ 803 /* pos=PetscCDGetNextPos(agg_llists,lid,pos)) { */ 804 /* PetscInt gid1 = LLNGetID(pos); */ 805 ierr = PetscCDGetHeadPos(agg_llists,lid,&pos); CHKERRQ(ierr); 806 while(pos){ 807 PetscInt gid1; 808 ierr = LLNGetID( pos, &gid1 ); CHKERRQ(ierr); 809 ierr = PetscCDGetNextPos(agg_llists,lid,&pos); CHKERRQ(ierr); 810 811 if( gid1 >= my0 && gid1 < Iend ) flid = gid1 - my0; 812 else { 813 ierr = GAMGTableFind( &fgid_flid, gid1, &flid ); CHKERRQ(ierr); 814 assert(flid>=0); 815 } 816 /* copy in B_i matrix - column oriented */ 817 data = &data_in[flid*bs]; 818 for( kk = ii = 0; ii < bs ; ii++ ) { 819 for( jj = 0; jj < N ; jj++ ) { 820 PetscReal d = data[jj*data_stride + ii]; 821 qqc[jj*Mdata + aggID*bs + ii] = d; 822 } 823 } 824 #ifdef OUT_AGGS 825 if(llev==1) { 826 char str[] = "plot(%e,%e,'r*'), hold on,\n", col[] = "rgbkmc", sim[] = "*os+h>d<vx^"; 827 PetscInt MM,pi,pj; 828 str[12] = col[(clid+17*mype)%6]; str[13] = sim[(clid+17*mype)%11]; 829 MM = (PetscInt)(PetscSqrtScalar((PetscScalar)pM)); 830 pj = gid1/MM; pi = gid1%MM; 831 fprintf(file,str,(double)pi,(double)pj); 832 /* fprintf(file,str,data[2*data_stride+1],-data[2*data_stride]); */ 833 } 834 #endif 835 /* set fine IDs */ 836 for(kk=0;kk<bs;kk++) fids[aggID*bs + kk] = flid_fgid[flid]*bs + kk; 837 838 aggID++; 839 } 840 841 /* pad with zeros */ 842 for( ii = asz*bs; ii < Mdata ; ii++ ) { 843 for( jj = 0; jj < N ; jj++, kk++ ) { 844 qqc[jj*Mdata + ii] = .0; 845 } 846 } 847 848 ndone += aggID; 849 /* QR */ 850 LAPACKgeqrf_( &Mdata, &N, qqc, &LDA, TAU, WORK, &LWORK, &INFO ); 851 if( INFO != 0 ) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_LIB,"xGEQRS error"); 852 /* get R - column oriented - output B_{i+1} */ 853 { 854 PetscReal *data = &out_data[clid*nSAvec]; 855 for( jj = 0; jj < nSAvec ; jj++ ) { 856 for( ii = 0; ii < nSAvec ; ii++ ) { 857 assert(data[jj*out_data_stride + ii] == 1.e300); 858 if( ii <= jj ) data[jj*out_data_stride + ii] = PetscRealPart(qqc[jj*Mdata + ii]); 859 else data[jj*out_data_stride + ii] = 0.; 860 } 861 } 862 } 863 864 /* get Q - row oriented */ 865 LAPACKungqr_( &Mdata, &N, &N, qqc, &LDA, TAU, WORK, &LWORK, &INFO ); 866 if( INFO != 0 ) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"xORGQR error arg %d",-INFO); 867 868 for( ii = 0 ; ii < M ; ii++ ){ 869 for( jj = 0 ; jj < N ; jj++ ) { 870 qqr[N*ii + jj] = qqc[jj*Mdata + ii]; 871 } 872 } 873 874 /* add diagonal block of P0 */ 875 for(kk=0;kk<N;kk++) { 876 cids[kk] = N*cgid + kk; /* global col IDs in P0 */ 877 } 878 ierr = MatSetValues(a_Prol,M,fids,N,cids,qqr,INSERT_VALUES); CHKERRQ(ierr); 879 880 ierr = PetscFree( qqc ); CHKERRQ(ierr); 881 ierr = PetscFree( qqr ); CHKERRQ(ierr); 882 ierr = PetscFree( TAU ); CHKERRQ(ierr); 883 ierr = PetscFree( WORK ); CHKERRQ(ierr); 884 ierr = PetscFree( fids ); CHKERRQ(ierr); 885 clid++; 886 } /* coarse agg */ 887 } /* for all fine nodes */ 888 ierr = MatAssemblyBegin(a_Prol,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 889 ierr = MatAssemblyEnd(a_Prol,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 890 891 /* ierr = MPI_Allreduce( &ndone, &ii, 1, MPIU_INT, MPIU_SUM, wcomm ); */ 892 /* MatGetSize( a_Prol, &kk, &jj ); */ 893 /* ierr = MPI_Allreduce( &minsz, &jj, 1, MPIU_INT, MPIU_MIN, wcomm ); */ 894 /* PetscPrintf(wcomm," **** [%d]%s %d total done, %d nodes (%d local done), min agg. size = %d\n",mype,__FUNCT__,ii,kk/bs,ndone,jj); */ 895 896 #ifdef OUT_AGGS 897 if(llev==1) fclose(file); 898 #endif 899 ierr = GAMGTableDestroy( &fgid_flid ); CHKERRQ(ierr); 900 901 PetscFunctionReturn(0); 902 } 903 904 /* -------------------------------------------------------------------------- */ 905 /* 906 PCGAMGgraph_AGG 907 908 Input Parameter: 909 . pc - this 910 . Amat - matrix on this fine level 911 Output Parameter: 912 . a_Gmat - 913 */ 914 #undef __FUNCT__ 915 #define __FUNCT__ "PCGAMGgraph_AGG" 916 PetscErrorCode PCGAMGgraph_AGG( PC pc, 917 const Mat Amat, 918 Mat *a_Gmat 919 ) 920 { 921 PetscErrorCode ierr; 922 PC_MG *mg = (PC_MG*)pc->data; 923 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 924 const PetscInt verbose = pc_gamg->verbose; 925 const PetscReal vfilter = pc_gamg->threshold; 926 PC_GAMG_AGG *pc_gamg_agg = (PC_GAMG_AGG*)pc_gamg->subctx; 927 PetscMPIInt mype,npe; 928 Mat Gmat; 929 MPI_Comm wcomm = ((PetscObject)Amat)->comm; 930 PetscBool set,flg,symm; 931 932 PetscFunctionBegin; 933 #if defined PETSC_USE_LOG 934 ierr = PetscLogEventBegin(PC_GAMGGgraph_AGG,0,0,0,0);CHKERRQ(ierr); 935 #endif 936 ierr = MPI_Comm_rank( wcomm, &mype); CHKERRQ(ierr); 937 ierr = MPI_Comm_size( wcomm, &npe); CHKERRQ(ierr); 938 939 ierr = MatIsSymmetricKnown(Amat, &set, &flg); CHKERRQ(ierr); 940 symm = (PetscBool)(pc_gamg_agg->sym_graph || !(set && flg)); 941 942 ierr = PCGAMGCreateGraph( Amat, &Gmat ); CHKERRQ( ierr ); 943 ierr = PCGAMGFilterGraph( &Gmat, vfilter, symm, verbose ); CHKERRQ( ierr ); 944 945 *a_Gmat = Gmat; 946 947 #if defined PETSC_USE_LOG 948 ierr = PetscLogEventEnd(PC_GAMGGgraph_AGG,0,0,0,0);CHKERRQ(ierr); 949 #endif 950 PetscFunctionReturn(0); 951 } 952 953 /* -------------------------------------------------------------------------- */ 954 /* 955 PCGAMGCoarsen_AGG 956 957 Input Parameter: 958 . a_pc - this 959 Input/Output Parameter: 960 . a_Gmat1 - graph on this fine level - coarsening can change this (squares it) 961 Output Parameter: 962 . agg_lists - list of aggregates 963 */ 964 #undef __FUNCT__ 965 #define __FUNCT__ "PCGAMGCoarsen_AGG" 966 PetscErrorCode PCGAMGCoarsen_AGG( PC a_pc, 967 Mat *a_Gmat1, 968 PetscCoarsenData **agg_lists 969 ) 970 { 971 PetscErrorCode ierr; 972 PC_MG *mg = (PC_MG*)a_pc->data; 973 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 974 PC_GAMG_AGG *pc_gamg_agg = (PC_GAMG_AGG*)pc_gamg->subctx; 975 Mat mat,Gmat2, Gmat1 = *a_Gmat1; /* squared graph */ 976 IS perm; 977 PetscInt Ii,nloc,bs,n,m; 978 PetscInt *permute; 979 PetscBool *bIndexSet; 980 MatCoarsen crs; 981 MPI_Comm wcomm = ((PetscObject)Gmat1)->comm; 982 PetscMPIInt mype,npe; 983 984 PetscFunctionBegin; 985 #if defined PETSC_USE_LOG 986 ierr = PetscLogEventBegin(PC_GAMGCoarsen_AGG,0,0,0,0);CHKERRQ(ierr); 987 #endif 988 ierr = MPI_Comm_rank( wcomm, &mype); CHKERRQ(ierr); 989 ierr = MPI_Comm_size( wcomm, &npe); CHKERRQ(ierr); 990 ierr = MatGetLocalSize( Gmat1, &n, &m ); CHKERRQ(ierr); 991 ierr = MatGetBlockSize( Gmat1, &bs ); CHKERRQ(ierr); assert(bs==1); 992 nloc = n/bs; 993 994 if( pc_gamg_agg->square_graph ) { 995 ierr = MatTransposeMatMult( Gmat1, Gmat1, MAT_INITIAL_MATRIX, PETSC_DEFAULT, &Gmat2 ); 996 CHKERRQ(ierr); 997 } 998 else Gmat2 = Gmat1; 999 1000 /* get MIS aggs */ 1001 /* randomize */ 1002 ierr = PetscMalloc( nloc*sizeof(PetscInt), &permute ); CHKERRQ(ierr); 1003 ierr = PetscMalloc( nloc*sizeof(PetscBool), &bIndexSet ); CHKERRQ(ierr); 1004 for ( Ii = 0; Ii < nloc ; Ii++ ){ 1005 bIndexSet[Ii] = PETSC_FALSE; 1006 permute[Ii] = Ii; 1007 } 1008 srand(1); /* make deterministic */ 1009 for ( Ii = 0; Ii < nloc ; Ii++ ) { 1010 PetscInt iSwapIndex = rand()%nloc; 1011 if (!bIndexSet[iSwapIndex] && iSwapIndex != Ii) { 1012 PetscInt iTemp = permute[iSwapIndex]; 1013 permute[iSwapIndex] = permute[Ii]; 1014 permute[Ii] = iTemp; 1015 bIndexSet[iSwapIndex] = PETSC_TRUE; 1016 } 1017 } 1018 ierr = PetscFree( bIndexSet ); CHKERRQ(ierr); 1019 1020 ierr = ISCreateGeneral(PETSC_COMM_SELF, nloc, permute, PETSC_USE_POINTER, &perm); 1021 CHKERRQ(ierr); 1022 #if defined PETSC_GAMG_USE_LOG 1023 ierr = PetscLogEventBegin(petsc_gamg_setup_events[SET4],0,0,0,0);CHKERRQ(ierr); 1024 #endif 1025 ierr = MatCoarsenCreate( wcomm, &crs ); CHKERRQ(ierr); 1026 /* ierr = MatCoarsenSetType( crs, MATCOARSENMIS ); CHKERRQ(ierr); */ 1027 ierr = MatCoarsenSetFromOptions( crs ); CHKERRQ(ierr); 1028 ierr = MatCoarsenSetGreedyOrdering( crs, perm ); CHKERRQ(ierr); 1029 ierr = MatCoarsenSetAdjacency( crs, Gmat2 ); CHKERRQ(ierr); 1030 ierr = MatCoarsenSetVerbose( crs, pc_gamg->verbose ); CHKERRQ(ierr); 1031 ierr = MatCoarsenSetStrictAggs( crs, PETSC_TRUE ); CHKERRQ(ierr); 1032 ierr = MatCoarsenApply( crs ); CHKERRQ(ierr); 1033 ierr = MatCoarsenGetData( crs, agg_lists ); CHKERRQ(ierr); /* output */ 1034 ierr = MatCoarsenDestroy( &crs ); CHKERRQ(ierr); 1035 1036 ierr = ISDestroy( &perm ); CHKERRQ(ierr); 1037 ierr = PetscFree( permute ); CHKERRQ(ierr); 1038 #if defined PETSC_GAMG_USE_LOG 1039 ierr = PetscLogEventEnd(petsc_gamg_setup_events[SET4],0,0,0,0);CHKERRQ(ierr); 1040 #endif 1041 /* smooth aggs */ 1042 if( Gmat2 != Gmat1 ) { 1043 const PetscCoarsenData *llist = *agg_lists; 1044 ierr = smoothAggs( Gmat2, Gmat1, *agg_lists ); CHKERRQ(ierr); 1045 ierr = MatDestroy( &Gmat1 ); CHKERRQ(ierr); 1046 *a_Gmat1 = Gmat2; /* output */ 1047 ierr = PetscCDGetMat( llist, &mat ); CHKERRQ(ierr); 1048 if(mat) SETERRQ(wcomm,PETSC_ERR_ARG_WRONG, "Auxilary matrix with squared graph????"); 1049 } 1050 else { 1051 const PetscCoarsenData *llist = *agg_lists; 1052 /* see if we have a matrix that takes pecedence (returned from MatCoarsenAppply) */ 1053 ierr = PetscCDGetMat( llist, &mat ); CHKERRQ(ierr); 1054 if( mat ) { 1055 ierr = MatDestroy( &Gmat1 ); CHKERRQ(ierr); 1056 *a_Gmat1 = mat; /* output */ 1057 } 1058 } 1059 #if defined PETSC_USE_LOG 1060 ierr = PetscLogEventEnd(PC_GAMGCoarsen_AGG,0,0,0,0);CHKERRQ(ierr); 1061 #endif 1062 PetscFunctionReturn(0); 1063 } 1064 1065 /* -------------------------------------------------------------------------- */ 1066 /* 1067 PCGAMGProlongator_AGG 1068 1069 Input Parameter: 1070 . pc - this 1071 . Amat - matrix on this fine level 1072 . Graph - used to get ghost data for nodes in 1073 . agg_lists - list of aggregates 1074 Output Parameter: 1075 . a_P_out - prolongation operator to the next level 1076 */ 1077 #undef __FUNCT__ 1078 #define __FUNCT__ "PCGAMGProlongator_AGG" 1079 PetscErrorCode PCGAMGProlongator_AGG( PC pc, 1080 const Mat Amat, 1081 const Mat Gmat, 1082 PetscCoarsenData *agg_lists, 1083 Mat *a_P_out 1084 ) 1085 { 1086 PC_MG *mg = (PC_MG*)pc->data; 1087 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 1088 const PetscInt verbose = pc_gamg->verbose; 1089 const PetscInt data_cols = pc_gamg->data_cell_cols; 1090 PetscErrorCode ierr; 1091 PetscInt Istart,Iend,nloc,ii,jj,kk,my0,nLocalSelected,bs; 1092 Mat Prol; 1093 PetscMPIInt mype, npe; 1094 MPI_Comm wcomm = ((PetscObject)Amat)->comm; 1095 const PetscInt col_bs=data_cols; 1096 PetscReal *data_w_ghost; 1097 PetscInt myCrs0, nbnodes=0, *flid_fgid; 1098 1099 PetscFunctionBegin; 1100 #if defined PETSC_USE_LOG 1101 ierr = PetscLogEventBegin(PC_GAMGProlongator_AGG,0,0,0,0);CHKERRQ(ierr); 1102 #endif 1103 ierr = MPI_Comm_rank( wcomm, &mype); CHKERRQ(ierr); 1104 ierr = MPI_Comm_size( wcomm, &npe); CHKERRQ(ierr); 1105 ierr = MatGetOwnershipRange( Amat, &Istart, &Iend ); CHKERRQ(ierr); 1106 ierr = MatGetBlockSize( Amat, &bs ); CHKERRQ( ierr ); 1107 nloc = (Iend-Istart)/bs; my0 = Istart/bs; assert((Iend-Istart)%bs==0); 1108 1109 /* get 'nLocalSelected' */ 1110 for( ii=0, nLocalSelected = 0 ; ii < nloc ; ii++ ){ 1111 PetscBool ise; 1112 /* filter out singletons 0 or 1? */ 1113 ierr = PetscCDEmptyAt( agg_lists, ii, &ise ); CHKERRQ(ierr); 1114 if( !ise ) nLocalSelected++; 1115 } 1116 1117 /* create prolongator, create P matrix */ 1118 ierr = MatCreateAIJ( wcomm, 1119 nloc*bs, nLocalSelected*col_bs, 1120 PETSC_DETERMINE, PETSC_DETERMINE, 1121 data_cols, PETSC_NULL, data_cols, PETSC_NULL, 1122 &Prol ); 1123 CHKERRQ(ierr); 1124 1125 /* can get all points "removed" */ 1126 ierr = MatGetSize( Prol, &kk, &ii ); CHKERRQ(ierr); 1127 if( ii==0 ) { 1128 if( verbose ) { 1129 PetscPrintf(wcomm,"[%d]%s no selected points on coarse grid\n",mype,__FUNCT__); 1130 } 1131 ierr = MatDestroy( &Prol ); CHKERRQ(ierr); 1132 *a_P_out = PETSC_NULL; /* out */ 1133 PetscFunctionReturn(0); 1134 } 1135 if( verbose ) { 1136 PetscPrintf(wcomm,"\t\t[%d]%s New grid %d nodes\n",mype,__FUNCT__,ii/col_bs); 1137 } 1138 ierr = MatGetOwnershipRangeColumn( Prol, &myCrs0, &kk ); CHKERRQ(ierr); 1139 1140 assert((kk-myCrs0)%col_bs==0); 1141 myCrs0 = myCrs0/col_bs; 1142 assert((kk/col_bs-myCrs0)==nLocalSelected); 1143 1144 /* create global vector of data in 'data_w_ghost' */ 1145 #if defined PETSC_GAMG_USE_LOG 1146 ierr = PetscLogEventBegin(petsc_gamg_setup_events[SET7],0,0,0,0);CHKERRQ(ierr); 1147 #endif 1148 if (npe > 1) { /* */ 1149 PetscReal *tmp_gdata,*tmp_ldata,*tp2; 1150 ierr = PetscMalloc( nloc*sizeof(PetscReal), &tmp_ldata ); CHKERRQ(ierr); 1151 for( jj = 0 ; jj < data_cols ; jj++ ){ 1152 for( kk = 0 ; kk < bs ; kk++) { 1153 PetscInt ii,nnodes; 1154 const PetscReal *tp = pc_gamg->data + jj*bs*nloc + kk; 1155 for( ii = 0 ; ii < nloc ; ii++, tp += bs ){ 1156 tmp_ldata[ii] = *tp; 1157 } 1158 ierr = PCGAMGGetDataWithGhosts( Gmat, 1, tmp_ldata, &nnodes, &tmp_gdata ); 1159 CHKERRQ(ierr); 1160 if(jj==0 && kk==0) { /* now I know how many todal nodes - allocate */ 1161 ierr = PetscMalloc( nnodes*bs*data_cols*sizeof(PetscReal), &data_w_ghost ); CHKERRQ(ierr); 1162 nbnodes = bs*nnodes; 1163 } 1164 tp2 = data_w_ghost + jj*bs*nnodes + kk; 1165 for( ii = 0 ; ii < nnodes ; ii++, tp2 += bs ){ 1166 *tp2 = tmp_gdata[ii]; 1167 } 1168 ierr = PetscFree( tmp_gdata ); CHKERRQ(ierr); 1169 } 1170 } 1171 ierr = PetscFree( tmp_ldata ); CHKERRQ(ierr); 1172 } 1173 else { 1174 nbnodes = bs*nloc; 1175 data_w_ghost = (PetscReal*)pc_gamg->data; 1176 } 1177 1178 /* get P0 */ 1179 if( npe > 1 ){ 1180 PetscReal *fid_glid_loc,*fiddata; 1181 PetscInt nnodes; 1182 1183 ierr = PetscMalloc( nloc*sizeof(PetscReal), &fid_glid_loc ); CHKERRQ(ierr); 1184 for(kk=0;kk<nloc;kk++) fid_glid_loc[kk] = (PetscReal)(my0+kk); 1185 ierr = PCGAMGGetDataWithGhosts( Gmat, 1, fid_glid_loc, &nnodes, &fiddata ); 1186 CHKERRQ(ierr); 1187 ierr = PetscMalloc( nnodes*sizeof(PetscInt), &flid_fgid ); CHKERRQ(ierr); 1188 for(kk=0;kk<nnodes;kk++) flid_fgid[kk] = (PetscInt)fiddata[kk]; 1189 ierr = PetscFree( fiddata ); CHKERRQ(ierr); 1190 assert(nnodes==nbnodes/bs); 1191 ierr = PetscFree( fid_glid_loc ); CHKERRQ(ierr); 1192 } 1193 else { 1194 ierr = PetscMalloc( nloc*sizeof(PetscInt), &flid_fgid ); CHKERRQ(ierr); 1195 for(kk=0;kk<nloc;kk++) flid_fgid[kk] = my0 + kk; 1196 } 1197 #if defined PETSC_GAMG_USE_LOG 1198 ierr = PetscLogEventEnd(petsc_gamg_setup_events[SET7],0,0,0,0);CHKERRQ(ierr); 1199 ierr = PetscLogEventBegin(petsc_gamg_setup_events[SET8],0,0,0,0);CHKERRQ(ierr); 1200 #endif 1201 { 1202 PetscReal *data_out; 1203 ierr = formProl0( agg_lists, bs, data_cols, myCrs0, nbnodes, 1204 data_w_ghost, flid_fgid, &data_out, Prol ); 1205 CHKERRQ(ierr); 1206 ierr = PetscFree( pc_gamg->data ); CHKERRQ( ierr ); 1207 pc_gamg->data = data_out; 1208 pc_gamg->data_cell_rows = data_cols; 1209 pc_gamg->data_sz = data_cols*data_cols*nLocalSelected; 1210 } 1211 #if defined PETSC_GAMG_USE_LOG 1212 ierr = PetscLogEventEnd(petsc_gamg_setup_events[SET8],0,0,0,0);CHKERRQ(ierr); 1213 #endif 1214 if (npe > 1) ierr = PetscFree( data_w_ghost ); CHKERRQ(ierr); 1215 ierr = PetscFree( flid_fgid ); CHKERRQ(ierr); 1216 1217 /* attach block size of columns */ 1218 if( pc_gamg->col_bs_id == -1 ) { 1219 ierr = PetscObjectComposedDataRegister( &pc_gamg->col_bs_id ); assert(pc_gamg->col_bs_id != -1 ); 1220 } 1221 ierr = PetscObjectComposedDataSetInt( (PetscObject)Prol, pc_gamg->col_bs_id, data_cols ); CHKERRQ(ierr); 1222 1223 *a_P_out = Prol; /* out */ 1224 #if defined PETSC_USE_LOG 1225 ierr = PetscLogEventEnd(PC_GAMGProlongator_AGG,0,0,0,0);CHKERRQ(ierr); 1226 #endif 1227 PetscFunctionReturn(0); 1228 } 1229 1230 /* -------------------------------------------------------------------------- */ 1231 /* 1232 PCGAMGOptprol_AGG 1233 1234 Input Parameter: 1235 . pc - this 1236 . Amat - matrix on this fine level 1237 In/Output Parameter: 1238 . a_P_out - prolongation operator to the next level 1239 */ 1240 #undef __FUNCT__ 1241 #define __FUNCT__ "PCGAMGOptprol_AGG" 1242 PetscErrorCode PCGAMGOptprol_AGG( PC pc, 1243 const Mat Amat, 1244 Mat *a_P 1245 ) 1246 { 1247 PetscErrorCode ierr; 1248 PC_MG *mg = (PC_MG*)pc->data; 1249 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 1250 const PetscInt verbose = pc_gamg->verbose; 1251 PC_GAMG_AGG *pc_gamg_agg = (PC_GAMG_AGG*)pc_gamg->subctx; 1252 PetscInt jj; 1253 PetscMPIInt mype,npe; 1254 Mat Prol = *a_P; 1255 MPI_Comm wcomm = ((PetscObject)Amat)->comm; 1256 1257 PetscFunctionBegin; 1258 #if defined PETSC_USE_LOG 1259 ierr = PetscLogEventBegin(PC_GAMGOptprol_AGG,0,0,0,0);CHKERRQ(ierr); 1260 #endif 1261 ierr = MPI_Comm_rank( wcomm, &mype); CHKERRQ(ierr); 1262 ierr = MPI_Comm_size( wcomm, &npe); CHKERRQ(ierr); 1263 1264 /* smooth P0 */ 1265 for( jj = 0 ; jj < pc_gamg_agg->nsmooths ; jj++ ){ 1266 Mat tMat; 1267 Vec diag; 1268 PetscReal alpha, emax, emin; 1269 #if defined PETSC_GAMG_USE_LOG 1270 ierr = PetscLogEventBegin(petsc_gamg_setup_events[SET9],0,0,0,0);CHKERRQ(ierr); 1271 #endif 1272 if( jj == 0 ) { 1273 KSP eksp; 1274 Vec bb, xx; 1275 PC pc; 1276 ierr = MatGetVecs( Amat, &bb, 0 ); CHKERRQ(ierr); 1277 ierr = MatGetVecs( Amat, &xx, 0 ); CHKERRQ(ierr); 1278 { 1279 PetscRandom rctx; 1280 ierr = PetscRandomCreate(wcomm,&rctx);CHKERRQ(ierr); 1281 ierr = PetscRandomSetFromOptions(rctx);CHKERRQ(ierr); 1282 ierr = VecSetRandom(bb,rctx);CHKERRQ(ierr); 1283 ierr = PetscRandomDestroy( &rctx ); CHKERRQ(ierr); 1284 } 1285 ierr = KSPCreate(wcomm,&eksp); CHKERRQ(ierr); 1286 ierr = KSPAppendOptionsPrefix( eksp, "est_"); CHKERRQ(ierr); 1287 ierr = KSPSetFromOptions( eksp ); CHKERRQ(ierr); 1288 ierr = KSPSetInitialGuessNonzero( eksp, PETSC_FALSE ); CHKERRQ(ierr); 1289 ierr = KSPSetOperators( eksp, Amat, Amat, SAME_NONZERO_PATTERN ); 1290 CHKERRQ( ierr ); 1291 ierr = KSPGetPC( eksp, &pc ); CHKERRQ( ierr ); 1292 ierr = PCSetType( pc, PCJACOBI ); CHKERRQ(ierr); /* smoother */ 1293 ierr = KSPSetTolerances(eksp,PETSC_DEFAULT,PETSC_DEFAULT,PETSC_DEFAULT,10); 1294 CHKERRQ(ierr); 1295 ierr = KSPSetNormType( eksp, KSP_NORM_NONE ); CHKERRQ(ierr); 1296 ierr = KSPSetComputeSingularValues( eksp,PETSC_TRUE ); CHKERRQ(ierr); 1297 1298 /* solve - keep stuff out of logging */ 1299 ierr = PetscLogEventDeactivate(KSP_Solve);CHKERRQ(ierr); 1300 ierr = PetscLogEventDeactivate(PC_Apply);CHKERRQ(ierr); 1301 ierr = KSPSolve( eksp, bb, xx ); CHKERRQ(ierr); 1302 ierr = PetscLogEventActivate(KSP_Solve);CHKERRQ(ierr); 1303 ierr = PetscLogEventActivate(PC_Apply);CHKERRQ(ierr); 1304 1305 ierr = KSPComputeExtremeSingularValues( eksp, &emax, &emin ); CHKERRQ(ierr); 1306 if( verbose ) { 1307 PetscPrintf(wcomm,"\t\t\t%s smooth P0: max eigen=%e min=%e PC=%s\n", 1308 __FUNCT__,emax,emin,PCJACOBI); 1309 } 1310 ierr = VecDestroy( &xx ); CHKERRQ(ierr); 1311 ierr = VecDestroy( &bb ); CHKERRQ(ierr); 1312 ierr = KSPDestroy( &eksp ); CHKERRQ(ierr); 1313 1314 if( pc_gamg->emax_id == -1 ) { 1315 ierr = PetscObjectComposedDataRegister( &pc_gamg->emax_id ); 1316 assert(pc_gamg->emax_id != -1 ); 1317 } 1318 ierr = PetscObjectComposedDataSetScalar( (PetscObject)Amat, pc_gamg->emax_id, emax ); CHKERRQ(ierr); 1319 } 1320 1321 /* smooth P1 := (I - omega/lam D^{-1}A)P0 */ 1322 ierr = MatMatMult( Amat, Prol, MAT_INITIAL_MATRIX, PETSC_DEFAULT, &tMat ); CHKERRQ(ierr); 1323 ierr = MatGetVecs( Amat, &diag, 0 ); CHKERRQ(ierr); 1324 ierr = MatGetDiagonal( Amat, diag ); CHKERRQ(ierr); /* effectively PCJACOBI */ 1325 ierr = VecReciprocal( diag ); CHKERRQ(ierr); 1326 ierr = MatDiagonalScale( tMat, diag, 0 ); CHKERRQ(ierr); 1327 ierr = VecDestroy( &diag ); CHKERRQ(ierr); 1328 alpha = -1.5/emax; 1329 ierr = MatAYPX( tMat, alpha, Prol, SUBSET_NONZERO_PATTERN ); CHKERRQ(ierr); 1330 ierr = MatDestroy( &Prol ); CHKERRQ(ierr); 1331 Prol = tMat; 1332 #if defined PETSC_GAMG_USE_LOG 1333 ierr = PetscLogEventEnd(petsc_gamg_setup_events[SET9],0,0,0,0);CHKERRQ(ierr); 1334 #endif 1335 } 1336 #if defined PETSC_USE_LOG 1337 ierr = PetscLogEventEnd(PC_GAMGOptprol_AGG,0,0,0,0);CHKERRQ(ierr); 1338 #endif 1339 *a_P = Prol; 1340 1341 PetscFunctionReturn(0); 1342 } 1343 1344 /* -------------------------------------------------------------------------- */ 1345 /* 1346 PCCreateGAMG_AGG 1347 1348 Input Parameter: 1349 . pc - 1350 */ 1351 #undef __FUNCT__ 1352 #define __FUNCT__ "PCCreateGAMG_AGG" 1353 PetscErrorCode PCCreateGAMG_AGG( PC pc ) 1354 { 1355 PetscErrorCode ierr; 1356 PC_MG *mg = (PC_MG*)pc->data; 1357 PC_GAMG *pc_gamg = (PC_GAMG*)mg->innerctx; 1358 PC_GAMG_AGG *pc_gamg_agg; 1359 1360 PetscFunctionBegin; 1361 /* create sub context for SA */ 1362 ierr = PetscNewLog( pc, PC_GAMG_AGG, &pc_gamg_agg ); CHKERRQ(ierr); 1363 assert(!pc_gamg->subctx); 1364 pc_gamg->subctx = pc_gamg_agg; 1365 1366 pc->ops->setfromoptions = PCSetFromOptions_GAMG_AGG; 1367 pc->ops->destroy = PCDestroy_AGG; 1368 /* reset does not do anything; setup not virtual */ 1369 1370 /* set internal function pointers */ 1371 pc_gamg->graph = PCGAMGgraph_AGG; 1372 pc_gamg->coarsen = PCGAMGCoarsen_AGG; 1373 pc_gamg->prolongator = PCGAMGProlongator_AGG; 1374 pc_gamg->optprol = PCGAMGOptprol_AGG; 1375 1376 pc_gamg->createdefaultdata = PCSetData_AGG; 1377 1378 ierr = PetscObjectComposeFunctionDynamic( (PetscObject)pc, 1379 "PCSetCoordinates_C", 1380 "PCSetCoordinates_AGG", 1381 PCSetCoordinates_AGG); 1382 PetscFunctionReturn(0); 1383 } 1384