1561742edSMatthew G. Knepley /* 2561742edSMatthew G. Knepley Defines a SNES that can consist of a collection of SNESes on patches of the domain 3561742edSMatthew G. Knepley */ 4561742edSMatthew G. Knepley #include <petsc/private/snesimpl.h> /*I "petscsnes.h" I*/ 5561742edSMatthew G. Knepley #include <petsc/private/pcpatchimpl.h> /* We need internal access to PCPatch right now, until that part is moved to Plex */ 61202d238SPatrick Farrell #include <petscsf.h> 7561742edSMatthew G. Knepley 8561742edSMatthew G. Knepley typedef struct { 9561742edSMatthew G. Knepley PC pc; /* The linear patch preconditioner */ 10561742edSMatthew G. Knepley } SNES_Patch; 11561742edSMatthew G. Knepley 12561742edSMatthew G. Knepley static PetscErrorCode SNESPatchComputeResidual_Private(SNES snes, Vec x, Vec F, void *ctx) 13561742edSMatthew G. Knepley { 14ab270f91SPatrick Farrell PC pc = (PC) ctx; 15ab270f91SPatrick Farrell PC_PATCH *pcpatch = (PC_PATCH *) pc->data; 16561742edSMatthew G. Knepley PetscErrorCode ierr; 17561742edSMatthew G. Knepley 18561742edSMatthew G. Knepley PetscFunctionBegin; 19ab270f91SPatrick Farrell ierr = PCPatchComputeFunction_Internal(pc, x, F, pcpatch->currentPatch);CHKERRQ(ierr); 20561742edSMatthew G. Knepley PetscFunctionReturn(0); 21561742edSMatthew G. Knepley } 22561742edSMatthew G. Knepley 23561742edSMatthew G. Knepley static PetscErrorCode SNESPatchComputeJacobian_Private(SNES snes, Vec x, Mat J, Mat M, void *ctx) 24561742edSMatthew G. Knepley { 25ab270f91SPatrick Farrell PC pc = (PC) ctx; 26ab270f91SPatrick Farrell PC_PATCH *pcpatch = (PC_PATCH *) pc->data; 27561742edSMatthew G. Knepley PetscErrorCode ierr; 28561742edSMatthew G. Knepley 29561742edSMatthew G. Knepley PetscFunctionBegin; 30ab270f91SPatrick Farrell ierr = PCPatchComputeOperator_Internal(pc, x, M, pcpatch->currentPatch, PETSC_FALSE);CHKERRQ(ierr); 31561742edSMatthew G. Knepley PetscFunctionReturn(0); 32561742edSMatthew G. Knepley } 33561742edSMatthew G. Knepley 34561742edSMatthew G. Knepley static PetscErrorCode PCSetUp_PATCH_Nonlinear(PC pc) 35561742edSMatthew G. Knepley { 36561742edSMatthew G. Knepley PC_PATCH *patch = (PC_PATCH *) pc->data; 37561742edSMatthew G. Knepley const char *prefix; 38561742edSMatthew G. Knepley PetscInt i; 39561742edSMatthew G. Knepley PetscErrorCode ierr; 40561742edSMatthew G. Knepley 41561742edSMatthew G. Knepley PetscFunctionBegin; 42561742edSMatthew G. Knepley if (!pc->setupcalled) { 43561742edSMatthew G. Knepley ierr = PetscMalloc1(patch->npatch, &patch->solver);CHKERRQ(ierr); 44561742edSMatthew G. Knepley ierr = PCGetOptionsPrefix(pc, &prefix);CHKERRQ(ierr); 45561742edSMatthew G. Knepley for (i = 0; i < patch->npatch; ++i) { 46561742edSMatthew G. Knepley SNES snes; 47561742edSMatthew G. Knepley KSP subksp; 48561742edSMatthew G. Knepley 49561742edSMatthew G. Knepley ierr = SNESCreate(PETSC_COMM_SELF, &snes);CHKERRQ(ierr); 50561742edSMatthew G. Knepley ierr = SNESSetOptionsPrefix(snes, prefix);CHKERRQ(ierr); 51561742edSMatthew G. Knepley ierr = SNESAppendOptionsPrefix(snes, "sub_");CHKERRQ(ierr); 52bfdd6862SPatrick Farrell ierr = PetscObjectIncrementTabLevel((PetscObject) snes, (PetscObject) pc, 2);CHKERRQ(ierr); 53561742edSMatthew G. Knepley ierr = SNESGetKSP(snes, &subksp);CHKERRQ(ierr); 54bfdd6862SPatrick Farrell ierr = PetscObjectIncrementTabLevel((PetscObject) subksp, (PetscObject) pc, 2);CHKERRQ(ierr); 55561742edSMatthew G. Knepley ierr = PetscLogObjectParent((PetscObject) pc, (PetscObject) snes);CHKERRQ(ierr); 56561742edSMatthew G. Knepley patch->solver[i] = (PetscObject) snes; 57561742edSMatthew G. Knepley } 581202d238SPatrick Farrell 591202d238SPatrick Farrell ierr = PetscMalloc1(patch->npatch, &patch->patchResidual);CHKERRQ(ierr); 601202d238SPatrick Farrell ierr = PetscMalloc1(patch->npatch, &patch->patchState);CHKERRQ(ierr); 611202d238SPatrick Farrell for (i = 0; i < patch->npatch; ++i) { 621202d238SPatrick Farrell ierr = VecDuplicate(patch->patchRHS[i], &patch->patchResidual[i]);CHKERRQ(ierr); 631202d238SPatrick Farrell ierr = VecDuplicate(patch->patchUpdate[i], &patch->patchState[i]);CHKERRQ(ierr); 641202d238SPatrick Farrell } 651202d238SPatrick Farrell ierr = VecDuplicate(patch->localUpdate, &patch->localState);CHKERRQ(ierr); 66561742edSMatthew G. Knepley } 67561742edSMatthew G. Knepley for (i = 0; i < patch->npatch; ++i) { 68561742edSMatthew G. Knepley SNES snes = (SNES) patch->solver[i]; 69561742edSMatthew G. Knepley 701202d238SPatrick Farrell ierr = SNESSetFunction(snes, patch->patchResidual[i], SNESPatchComputeResidual_Private, pc);CHKERRQ(ierr); 71ab270f91SPatrick Farrell ierr = SNESSetJacobian(snes, patch->mat[i], patch->mat[i], SNESPatchComputeJacobian_Private, pc);CHKERRQ(ierr); 72561742edSMatthew G. Knepley } 73561742edSMatthew G. Knepley if (!pc->setupcalled && patch->optionsSet) for (i = 0; i < patch->npatch; ++i) {ierr = SNESSetFromOptions((SNES) patch->solver[i]);CHKERRQ(ierr);} 74561742edSMatthew G. Knepley PetscFunctionReturn(0); 75561742edSMatthew G. Knepley } 76561742edSMatthew G. Knepley 771202d238SPatrick Farrell static PetscErrorCode PCApply_PATCH_Nonlinear(PC pc, PetscInt i, Vec patchRHS, Vec patchUpdate) 78561742edSMatthew G. Knepley { 79561742edSMatthew G. Knepley PC_PATCH *patch = (PC_PATCH *) pc->data; 801202d238SPatrick Farrell PetscInt pStart; 81561742edSMatthew G. Knepley PetscErrorCode ierr; 82561742edSMatthew G. Knepley 83561742edSMatthew G. Knepley PetscFunctionBegin; 84561742edSMatthew G. Knepley patch->currentPatch = i; 85561742edSMatthew G. Knepley ierr = PetscLogEventBegin(PC_Patch_Solve, pc, 0, 0, 0);CHKERRQ(ierr); 861202d238SPatrick Farrell 871202d238SPatrick Farrell /* Scatter the overlapped global state to our patch state vector */ 881202d238SPatrick Farrell ierr = PetscSectionGetChart(patch->gtolCounts, &pStart, NULL);CHKERRQ(ierr); 891202d238SPatrick Farrell ierr = PCPatch_ScatterLocal_Private(pc, i+pStart, patch->localState, patch->patchState[i], INSERT_VALUES, SCATTER_FORWARD, PETSC_FALSE);CHKERRQ(ierr); 901202d238SPatrick Farrell 911202d238SPatrick Farrell /* Set initial guess to be current state*/ 921202d238SPatrick Farrell ierr = VecCopy(patch->patchState[i], patchUpdate);CHKERRQ(ierr); 931202d238SPatrick Farrell /* Solve for new state */ 941202d238SPatrick Farrell ierr = SNESSolve((SNES) patch->solver[i], patchRHS, patchUpdate);CHKERRQ(ierr); 951202d238SPatrick Farrell /* To compute update, subtract off previous state */ 961202d238SPatrick Farrell ierr = VecAXPY(patchUpdate, -1.0, patch->patchState[i]);CHKERRQ(ierr); 971202d238SPatrick Farrell 98561742edSMatthew G. Knepley ierr = PetscLogEventEnd(PC_Patch_Solve, pc, 0, 0, 0);CHKERRQ(ierr); 99561742edSMatthew G. Knepley PetscFunctionReturn(0); 100561742edSMatthew G. Knepley } 101561742edSMatthew G. Knepley 102561742edSMatthew G. Knepley static PetscErrorCode PCReset_PATCH_Nonlinear(PC pc) 103561742edSMatthew G. Knepley { 104561742edSMatthew G. Knepley PC_PATCH *patch = (PC_PATCH *) pc->data; 105561742edSMatthew G. Knepley PetscInt i; 106561742edSMatthew G. Knepley PetscErrorCode ierr; 107561742edSMatthew G. Knepley 108561742edSMatthew G. Knepley PetscFunctionBegin; 1091202d238SPatrick Farrell 110561742edSMatthew G. Knepley if (patch->solver) { 111561742edSMatthew G. Knepley for (i = 0; i < patch->npatch; ++i) {ierr = SNESReset((SNES) patch->solver[i]);CHKERRQ(ierr);} 112561742edSMatthew G. Knepley } 1131202d238SPatrick Farrell 1141202d238SPatrick Farrell if (patch->patchResidual) { 1151202d238SPatrick Farrell for (i = 0; i < patch->npatch; ++i) {ierr = VecDestroy(&patch->patchResidual[i]);CHKERRQ(ierr);} 1161202d238SPatrick Farrell ierr = PetscFree(patch->patchResidual);CHKERRQ(ierr); 1171202d238SPatrick Farrell } 1181202d238SPatrick Farrell 1191202d238SPatrick Farrell if (patch->patchState) { 1201202d238SPatrick Farrell for (i = 0; i < patch->npatch; ++i) {ierr = VecDestroy(&patch->patchState[i]);CHKERRQ(ierr);} 1211202d238SPatrick Farrell ierr = PetscFree(patch->patchState);CHKERRQ(ierr); 1221202d238SPatrick Farrell } 1231202d238SPatrick Farrell 1241202d238SPatrick Farrell ierr = VecDestroy(&patch->localState);CHKERRQ(ierr); 1251202d238SPatrick Farrell 126561742edSMatthew G. Knepley PetscFunctionReturn(0); 127561742edSMatthew G. Knepley } 128561742edSMatthew G. Knepley 129561742edSMatthew G. Knepley static PetscErrorCode PCDestroy_PATCH_Nonlinear(PC pc) 130561742edSMatthew G. Knepley { 131561742edSMatthew G. Knepley PC_PATCH *patch = (PC_PATCH *) pc->data; 132561742edSMatthew G. Knepley PetscInt i; 133561742edSMatthew G. Knepley PetscErrorCode ierr; 134561742edSMatthew G. Knepley 135561742edSMatthew G. Knepley PetscFunctionBegin; 136561742edSMatthew G. Knepley if (patch->solver) { 137561742edSMatthew G. Knepley for (i = 0; i < patch->npatch; ++i) {ierr = SNESDestroy((SNES *) &patch->solver[i]);CHKERRQ(ierr);} 138561742edSMatthew G. Knepley ierr = PetscFree(patch->solver);CHKERRQ(ierr); 139561742edSMatthew G. Knepley } 140561742edSMatthew G. Knepley PetscFunctionReturn(0); 141561742edSMatthew G. Knepley } 142561742edSMatthew G. Knepley 1436c9c532dSPatrick Farrell static PetscErrorCode PCUpdateMultiplicative_PATCH_Nonlinear(PC pc, PetscInt i, PetscInt pStart) 1446c9c532dSPatrick Farrell { 1456c9c532dSPatrick Farrell PC_PATCH *patch = (PC_PATCH *) pc->data; 1466c9c532dSPatrick Farrell PetscErrorCode ierr; 1476c9c532dSPatrick Farrell 1486c9c532dSPatrick Farrell ierr = PCPatch_ScatterLocal_Private(pc, i + pStart, patch->patchUpdate[i], patch->localState, ADD_VALUES, SCATTER_REVERSE, PETSC_FALSE);CHKERRQ(ierr); 1496c9c532dSPatrick Farrell } 1506c9c532dSPatrick Farrell 151561742edSMatthew G. Knepley static PetscErrorCode SNESSetUp_Patch(SNES snes) 152561742edSMatthew G. Knepley { 153561742edSMatthew G. Knepley SNES_Patch *patch = (SNES_Patch *) snes->data; 154561742edSMatthew G. Knepley DM dm; 155561742edSMatthew G. Knepley Mat dummy; 156561742edSMatthew G. Knepley Vec F; 157561742edSMatthew G. Knepley PetscInt n, N; 158561742edSMatthew G. Knepley PetscErrorCode ierr; 159561742edSMatthew G. Knepley 160561742edSMatthew G. Knepley PetscFunctionBegin; 161561742edSMatthew G. Knepley ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr); 162561742edSMatthew G. Knepley ierr = PCSetDM(patch->pc, dm);CHKERRQ(ierr); 163561742edSMatthew G. Knepley ierr = SNESGetFunction(snes, &F, NULL, NULL);CHKERRQ(ierr); 164561742edSMatthew G. Knepley ierr = VecGetLocalSize(F, &n);CHKERRQ(ierr); 165561742edSMatthew G. Knepley ierr = VecGetSize(F, &N);CHKERRQ(ierr); 166561742edSMatthew G. Knepley ierr = MatCreateShell(PetscObjectComm((PetscObject) snes), n, n, N, N, (void *) snes, &dummy);CHKERRQ(ierr); 167561742edSMatthew G. Knepley ierr = PCSetOperators(patch->pc, dummy, dummy);CHKERRQ(ierr); 168561742edSMatthew G. Knepley ierr = MatDestroy(&dummy);CHKERRQ(ierr); 169561742edSMatthew G. Knepley ierr = PCSetUp(patch->pc);CHKERRQ(ierr); 170561742edSMatthew G. Knepley /* allocate workspace */ 171561742edSMatthew G. Knepley PetscFunctionReturn(0); 172561742edSMatthew G. Knepley } 173561742edSMatthew G. Knepley 174561742edSMatthew G. Knepley static PetscErrorCode SNESReset_Patch(SNES snes) 175561742edSMatthew G. Knepley { 176561742edSMatthew G. Knepley SNES_Patch *patch = (SNES_Patch *) snes->data; 177561742edSMatthew G. Knepley PetscErrorCode ierr; 178561742edSMatthew G. Knepley 179561742edSMatthew G. Knepley PetscFunctionBegin; 180561742edSMatthew G. Knepley ierr = PCReset(patch->pc);CHKERRQ(ierr); 181561742edSMatthew G. Knepley PetscFunctionReturn(0); 182561742edSMatthew G. Knepley } 183561742edSMatthew G. Knepley 184561742edSMatthew G. Knepley static PetscErrorCode SNESDestroy_Patch(SNES snes) 185561742edSMatthew G. Knepley { 186561742edSMatthew G. Knepley SNES_Patch *patch = (SNES_Patch *) snes->data; 187561742edSMatthew G. Knepley PetscErrorCode ierr; 188561742edSMatthew G. Knepley 189561742edSMatthew G. Knepley PetscFunctionBegin; 190561742edSMatthew G. Knepley ierr = SNESReset_Patch(snes);CHKERRQ(ierr); 191561742edSMatthew G. Knepley ierr = PCDestroy(&patch->pc);CHKERRQ(ierr); 192561742edSMatthew G. Knepley ierr = PetscFree(snes->data);CHKERRQ(ierr); 193561742edSMatthew G. Knepley PetscFunctionReturn(0); 194561742edSMatthew G. Knepley } 195561742edSMatthew G. Knepley 196561742edSMatthew G. Knepley static PetscErrorCode SNESSetFromOptions_Patch(PetscOptionItems *PetscOptionsObject, SNES snes) 197561742edSMatthew G. Knepley { 198561742edSMatthew G. Knepley SNES_Patch *patch = (SNES_Patch *) snes->data; 199561742edSMatthew G. Knepley PetscBool flg; 2004aa795a7SPatrick Farrell const char *prefix; 201561742edSMatthew G. Knepley PetscErrorCode ierr; 202561742edSMatthew G. Knepley 203561742edSMatthew G. Knepley PetscFunctionBegin; 2044aa795a7SPatrick Farrell ierr = PetscObjectGetOptionsPrefix((PetscObject)snes, &prefix);CHKERRQ(ierr); 2054aa795a7SPatrick Farrell ierr = PetscObjectSetOptionsPrefix((PetscObject)patch->pc, prefix);CHKERRQ(ierr); 206561742edSMatthew G. Knepley ierr = PCSetFromOptions(patch->pc);CHKERRQ(ierr); 207561742edSMatthew G. Knepley PetscFunctionReturn(0); 208561742edSMatthew G. Knepley } 209561742edSMatthew G. Knepley 210561742edSMatthew G. Knepley static PetscErrorCode SNESView_Patch(SNES snes,PetscViewer viewer) 211561742edSMatthew G. Knepley { 212561742edSMatthew G. Knepley SNES_Patch *patch = (SNES_Patch *) snes->data; 213561742edSMatthew G. Knepley PetscBool iascii; 214561742edSMatthew G. Knepley PetscErrorCode ierr; 215561742edSMatthew G. Knepley 216561742edSMatthew G. Knepley PetscFunctionBegin; 217561742edSMatthew G. Knepley ierr = PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii);CHKERRQ(ierr); 218561742edSMatthew G. Knepley if (iascii) { 219af0b0351SPatrick Farrell ierr = PetscViewerASCIIPrintf(viewer,"SNESPATCH\n");CHKERRQ(ierr); 220561742edSMatthew G. Knepley } 221561742edSMatthew G. Knepley ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr); 222561742edSMatthew G. Knepley ierr = PCView(patch->pc, viewer);CHKERRQ(ierr); 223561742edSMatthew G. Knepley ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr); 224561742edSMatthew G. Knepley PetscFunctionReturn(0); 225561742edSMatthew G. Knepley } 226561742edSMatthew G. Knepley 227561742edSMatthew G. Knepley static PetscErrorCode SNESSolve_Patch(SNES snes) 228561742edSMatthew G. Knepley { 229ab270f91SPatrick Farrell SNES_Patch *patch = (SNES_Patch *) snes->data; 2301202d238SPatrick Farrell PC_PATCH *pcpatch = (PC_PATCH *) patch->pc->data; 231*636c62a6SPatrick Farrell SNESLineSearch ls; 232*636c62a6SPatrick Farrell Vec rhs, update, state, residual; 2331202d238SPatrick Farrell const PetscScalar *globalState = NULL; 2341202d238SPatrick Farrell PetscScalar *localState = NULL; 235*636c62a6SPatrick Farrell PetscInt its = 0; 236*636c62a6SPatrick Farrell PetscReal xnorm = 0.0, ynorm = 0.0, fnorm = 0.0; 2374aa795a7SPatrick Farrell PetscErrorCode ierr; 2384aa795a7SPatrick Farrell 239561742edSMatthew G. Knepley PetscFunctionBegin; 2401202d238SPatrick Farrell 2411202d238SPatrick Farrell ierr = SNESGetSolution(snes, &state);CHKERRQ(ierr); 2421202d238SPatrick Farrell ierr = SNESGetSolutionUpdate(snes, &update);CHKERRQ(ierr); 2431202d238SPatrick Farrell ierr = SNESGetRhs(snes, &rhs);CHKERRQ(ierr); 2441202d238SPatrick Farrell 245*636c62a6SPatrick Farrell ierr = SNESGetFunction(snes, &residual, NULL, NULL);CHKERRQ(ierr); 246*636c62a6SPatrick Farrell ierr = SNESGetLineSearch(snes, &ls);CHKERRQ(ierr); 247*636c62a6SPatrick Farrell 248*636c62a6SPatrick Farrell ierr = SNESSetConvergedReason(snes, SNES_CONVERGED_ITERATING);CHKERRQ(ierr); 249*636c62a6SPatrick Farrell ierr = VecSet(update, 0.0);CHKERRQ(ierr); 250*636c62a6SPatrick Farrell ierr = SNESComputeFunction(snes, state, residual);CHKERRQ(ierr); 251*636c62a6SPatrick Farrell 252*636c62a6SPatrick Farrell ierr = VecNorm(state, NORM_2, &xnorm);CHKERRQ(ierr); 253*636c62a6SPatrick Farrell ierr = VecNorm(residual, NORM_2, &fnorm);CHKERRQ(ierr); 254*636c62a6SPatrick Farrell snes->ttol = fnorm*snes->rtol; 255*636c62a6SPatrick Farrell 256*636c62a6SPatrick Farrell if (snes->ops->converged) { 257*636c62a6SPatrick Farrell ierr = (*snes->ops->converged)(snes,its,xnorm,ynorm,fnorm,&snes->reason,snes->cnvP);CHKERRQ(ierr); 258*636c62a6SPatrick Farrell } else { 259*636c62a6SPatrick Farrell ierr = SNESConvergedSkip(snes,its,xnorm,ynorm,fnorm,&snes->reason,0);CHKERRQ(ierr); 260*636c62a6SPatrick Farrell } 261*636c62a6SPatrick Farrell ierr = SNESLogConvergenceHistory(snes, fnorm, 0);CHKERRQ(ierr); /* should we count lits from the patches? */ 262*636c62a6SPatrick Farrell ierr = SNESMonitor(snes, its, fnorm);CHKERRQ(ierr); 263*636c62a6SPatrick Farrell 264*636c62a6SPatrick Farrell /* The main solver loop */ 265*636c62a6SPatrick Farrell for (its = 0; its < snes->max_its; its++) { 266*636c62a6SPatrick Farrell 267*636c62a6SPatrick Farrell ierr = SNESSetIterationNumber(snes, its);CHKERRQ(ierr); 268*636c62a6SPatrick Farrell 2691202d238SPatrick Farrell /* Scatter state vector to overlapped vector on all patches. 2701202d238SPatrick Farrell The vector pcpatch->localState is scattered to each patch 2711202d238SPatrick Farrell in PCApply_PATCH_Nonlinear. */ 2721202d238SPatrick Farrell ierr = VecGetArrayRead(state, &globalState);CHKERRQ(ierr); 2731202d238SPatrick Farrell ierr = VecGetArray(pcpatch->localState, &localState);CHKERRQ(ierr); 2741202d238SPatrick Farrell ierr = PetscSFBcastBegin(pcpatch->defaultSF, MPIU_SCALAR, globalState, localState);CHKERRQ(ierr); 2751202d238SPatrick Farrell ierr = PetscSFBcastEnd(pcpatch->defaultSF, MPIU_SCALAR, globalState, localState);CHKERRQ(ierr); 2761202d238SPatrick Farrell ierr = VecRestoreArray(pcpatch->localState, &localState);CHKERRQ(ierr); 2771202d238SPatrick Farrell ierr = VecRestoreArrayRead(state, &globalState);CHKERRQ(ierr); 2781202d238SPatrick Farrell 279*636c62a6SPatrick Farrell /* The looping over patches happens here */ 2801202d238SPatrick Farrell ierr = PCApply(patch->pc, rhs, update); 281*636c62a6SPatrick Farrell 282*636c62a6SPatrick Farrell /* Apply a line search. This will often be basic with 283*636c62a6SPatrick Farrell damping = 1/(max number of patches a dof can be in), 284*636c62a6SPatrick Farrell but not always */ 285*636c62a6SPatrick Farrell ierr = VecScale(update, -1.0);CHKERRQ(ierr); 286*636c62a6SPatrick Farrell ierr = SNESLineSearchApply(ls, state, residual, &fnorm, update);CHKERRQ(ierr); 287*636c62a6SPatrick Farrell 288*636c62a6SPatrick Farrell ierr = VecNorm(state, NORM_2, &xnorm);CHKERRQ(ierr); 289*636c62a6SPatrick Farrell ierr = VecNorm(update, NORM_2, &ynorm);CHKERRQ(ierr); 290*636c62a6SPatrick Farrell 291*636c62a6SPatrick Farrell if (snes->ops->converged) { 292*636c62a6SPatrick Farrell ierr = (*snes->ops->converged)(snes,its,xnorm,ynorm,fnorm,&snes->reason,snes->cnvP);CHKERRQ(ierr); 293*636c62a6SPatrick Farrell } else { 294*636c62a6SPatrick Farrell ierr = SNESConvergedSkip(snes,its,xnorm,ynorm,fnorm,&snes->reason,0);CHKERRQ(ierr); 295*636c62a6SPatrick Farrell } 296*636c62a6SPatrick Farrell ierr = SNESLogConvergenceHistory(snes, fnorm, 0);CHKERRQ(ierr); /* FIXME: should we count lits? */ 297*636c62a6SPatrick Farrell ierr = SNESMonitor(snes, its, fnorm);CHKERRQ(ierr); 2981202d238SPatrick Farrell } 2991202d238SPatrick Farrell 300*636c62a6SPatrick Farrell if (its == snes->max_its) { ierr = SNESSetConvergedReason(snes, SNES_DIVERGED_MAX_IT);CHKERRQ(ierr); } 301561742edSMatthew G. Knepley PetscFunctionReturn(0); 302561742edSMatthew G. Knepley } 303561742edSMatthew G. Knepley 304561742edSMatthew G. Knepley /*MC 305ab270f91SPatrick Farrell SNESPATCH - Solve a nonlinear problem by composing together many nonlinear solvers on patches 306561742edSMatthew G. Knepley 307561742edSMatthew G. Knepley Level: intermediate 308561742edSMatthew G. Knepley 309561742edSMatthew G. Knepley Concepts: composing solvers 310561742edSMatthew G. Knepley 311561742edSMatthew G. Knepley .seealso: SNESCreate(), SNESSetType(), SNESType (for list of available types), SNES, 312561742edSMatthew G. Knepley PCPATCH 313561742edSMatthew G. Knepley 314561742edSMatthew G. Knepley References: 315561742edSMatthew G. Knepley . 1. - Peter R. Brune, Matthew G. Knepley, Barry F. Smith, and Xuemin Tu, "Composing Scalable Nonlinear Algebraic Solvers", SIAM Review, 57(4), 2015 316561742edSMatthew G. Knepley 317561742edSMatthew G. Knepley M*/ 318561742edSMatthew G. Knepley PETSC_EXTERN PetscErrorCode SNESCreate_Patch(SNES snes) 319561742edSMatthew G. Knepley { 320561742edSMatthew G. Knepley PetscErrorCode ierr; 321561742edSMatthew G. Knepley SNES_Patch *patch; 32210534d48SPatrick Farrell PC_PATCH *patchpc; 323561742edSMatthew G. Knepley 324561742edSMatthew G. Knepley PetscFunctionBegin; 325561742edSMatthew G. Knepley ierr = PetscNewLog(snes, &patch);CHKERRQ(ierr); 326561742edSMatthew G. Knepley 327561742edSMatthew G. Knepley snes->ops->solve = SNESSolve_Patch; 328561742edSMatthew G. Knepley snes->ops->setup = SNESSetUp_Patch; 329561742edSMatthew G. Knepley snes->ops->reset = SNESReset_Patch; 330561742edSMatthew G. Knepley snes->ops->destroy = SNESDestroy_Patch; 331561742edSMatthew G. Knepley snes->ops->setfromoptions = SNESSetFromOptions_Patch; 332561742edSMatthew G. Knepley snes->ops->view = SNESView_Patch; 333561742edSMatthew G. Knepley 334561742edSMatthew G. Knepley snes->alwayscomputesfinalresidual = PETSC_FALSE; 335561742edSMatthew G. Knepley 336561742edSMatthew G. Knepley snes->data = (void *) patch; 337561742edSMatthew G. Knepley ierr = PCCreate(PetscObjectComm((PetscObject) snes), &patch->pc);CHKERRQ(ierr); 338561742edSMatthew G. Knepley ierr = PCSetType(patch->pc, PCPATCH);CHKERRQ(ierr); 339561742edSMatthew G. Knepley 34010534d48SPatrick Farrell patchpc = (PC_PATCH*) patch->pc->data; 34110534d48SPatrick Farrell patchpc->classname = "snes"; 34210534d48SPatrick Farrell 34310534d48SPatrick Farrell patchpc->setupsolver = PCSetUp_PATCH_Nonlinear; 34410534d48SPatrick Farrell patchpc->applysolver = PCApply_PATCH_Nonlinear; 34510534d48SPatrick Farrell patchpc->resetsolver = PCReset_PATCH_Nonlinear; 34610534d48SPatrick Farrell patchpc->destroysolver = PCDestroy_PATCH_Nonlinear; 3476c9c532dSPatrick Farrell patchpc->updatemultiplicative = PCUpdateMultiplicative_PATCH_Nonlinear; 348561742edSMatthew G. Knepley 349561742edSMatthew G. Knepley PetscFunctionReturn(0); 350561742edSMatthew G. Knepley } 3516c270751SPatrick Farrell 3526c270751SPatrick Farrell PetscErrorCode SNESPatchSetDiscretisationInfo(SNES snes, PetscInt nsubspaces, DM *dms, PetscInt *bs, PetscInt *nodesPerCell, const PetscInt **cellNodeMap, 3536c270751SPatrick Farrell const PetscInt *subspaceOffsets, PetscInt numGhostBcs, const PetscInt *ghostBcNodes, PetscInt numGlobalBcs, const PetscInt *globalBcNodes) 3546c270751SPatrick Farrell { 3556c270751SPatrick Farrell SNES_Patch *patch = (SNES_Patch *) snes->data; 3566c270751SPatrick Farrell PetscErrorCode ierr; 357f08b3ad2SPatrick Farrell DM dm; 3586c270751SPatrick Farrell 3596c270751SPatrick Farrell PetscFunctionBegin; 360f08b3ad2SPatrick Farrell ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr); 361f08b3ad2SPatrick Farrell if (!dm) SETERRQ(PetscObjectComm((PetscObject)snes), PETSC_ERR_ARG_WRONGSTATE, "DM not yet set on patch SNES\n"); 362f08b3ad2SPatrick Farrell ierr = PCSetDM(patch->pc, dm);CHKERRQ(ierr); 3636c270751SPatrick Farrell ierr = PCPatchSetDiscretisationInfo(patch->pc, nsubspaces, dms, bs, nodesPerCell, cellNodeMap, subspaceOffsets, numGhostBcs, ghostBcNodes, numGlobalBcs, globalBcNodes);CHKERRQ(ierr); 3646c270751SPatrick Farrell PetscFunctionReturn(0); 3656c270751SPatrick Farrell } 3666c270751SPatrick Farrell 3676c270751SPatrick Farrell PetscErrorCode SNESPatchSetComputeOperator(SNES snes, PetscErrorCode (*func)(PC, PetscInt, Vec, Mat, IS, PetscInt, const PetscInt *, void *), void *ctx) 3686c270751SPatrick Farrell { 3696c270751SPatrick Farrell SNES_Patch *patch = (SNES_Patch *) snes->data; 3706c270751SPatrick Farrell PetscErrorCode ierr; 3716c270751SPatrick Farrell 3726c270751SPatrick Farrell PetscFunctionBegin; 3736c270751SPatrick Farrell ierr = PCPatchSetComputeOperator(patch->pc, func, ctx);CHKERRQ(ierr); 3746c270751SPatrick Farrell PetscFunctionReturn(0); 3756c270751SPatrick Farrell } 3766c270751SPatrick Farrell 3776c270751SPatrick Farrell PetscErrorCode SNESPatchSetComputeFunction(SNES snes, PetscErrorCode (*func)(PC, PetscInt, Vec, Vec, IS, PetscInt, const PetscInt *, void *), void *ctx) 3786c270751SPatrick Farrell { 3796c270751SPatrick Farrell SNES_Patch *patch = (SNES_Patch *) snes->data; 3806c270751SPatrick Farrell PetscErrorCode ierr; 3816c270751SPatrick Farrell 3826c270751SPatrick Farrell PetscFunctionBegin; 3836c270751SPatrick Farrell ierr = PCPatchSetComputeFunction(patch->pc, func, ctx);CHKERRQ(ierr); 3846c270751SPatrick Farrell PetscFunctionReturn(0); 3856c270751SPatrick Farrell } 3866c270751SPatrick Farrell 3876c270751SPatrick Farrell PetscErrorCode SNESPatchSetConstructType(SNES snes, PCPatchConstructType ctype, PetscErrorCode (*func)(PC, PetscInt *, IS **, IS *, void *), void *ctx) 3886c270751SPatrick Farrell { 3896c270751SPatrick Farrell SNES_Patch *patch = (SNES_Patch *) snes->data; 3906c270751SPatrick Farrell PetscErrorCode ierr; 3916c270751SPatrick Farrell 3926c270751SPatrick Farrell PetscFunctionBegin; 3936c270751SPatrick Farrell ierr = PCPatchSetConstructType(patch->pc, ctype, func, ctx);CHKERRQ(ierr); 3946c270751SPatrick Farrell PetscFunctionReturn(0); 3956c270751SPatrick Farrell } 3966c270751SPatrick Farrell 3976c270751SPatrick Farrell PetscErrorCode SNESPatchSetCellNumbering(SNES snes, PetscSection cellNumbering) 3986c270751SPatrick Farrell { 3996c270751SPatrick Farrell SNES_Patch *patch = (SNES_Patch *) snes->data; 4006c270751SPatrick Farrell PetscErrorCode ierr; 4016c270751SPatrick Farrell 4026c270751SPatrick Farrell PetscFunctionBegin; 4036c270751SPatrick Farrell ierr = PCPatchSetCellNumbering(patch->pc, cellNumbering);CHKERRQ(ierr); 4046c270751SPatrick Farrell PetscFunctionReturn(0); 4056c270751SPatrick Farrell } 406