xref: /petsc/src/snes/impls/patch/snespatch.c (revision 39fd2e8ab478999825cf4c6c69b51df66f6ab35f)
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;
16*39fd2e8aSPatrick Farrell   PetscInt       pt, size;
17*39fd2e8aSPatrick Farrell   const PetscInt *indices;
18*39fd2e8aSPatrick Farrell   const PetscScalar *X;
19*39fd2e8aSPatrick Farrell   PetscScalar   *XWithArtificial;
20561742edSMatthew G. Knepley   PetscErrorCode ierr;
21561742edSMatthew G. Knepley 
22561742edSMatthew G. Knepley   PetscFunctionBegin;
23*39fd2e8aSPatrick Farrell 
24*39fd2e8aSPatrick Farrell   /* scatter from x to patch->patchStateWithArtificial[pt] */
25*39fd2e8aSPatrick Farrell   pt = pcpatch->currentPatch;
26*39fd2e8aSPatrick Farrell   ierr = ISGetSize(pcpatch->dofMappingWithoutToWithArtificial[pt], &size);CHKERRQ(ierr);
27*39fd2e8aSPatrick Farrell 
28*39fd2e8aSPatrick Farrell   ierr = ISGetIndices(pcpatch->dofMappingWithoutToWithArtificial[pt], &indices);CHKERRQ(ierr);
29*39fd2e8aSPatrick Farrell   ierr = VecGetArrayRead(x, &X);CHKERRQ(ierr);
30*39fd2e8aSPatrick Farrell   ierr = VecGetArray(pcpatch->patchStateWithArtificial[pt], &XWithArtificial);CHKERRQ(ierr);
31*39fd2e8aSPatrick Farrell 
32*39fd2e8aSPatrick Farrell   for (PetscInt i = 0; i < size; ++i) {
33*39fd2e8aSPatrick Farrell     XWithArtificial[indices[i]] = X[i];
34*39fd2e8aSPatrick Farrell   }
35*39fd2e8aSPatrick Farrell 
36*39fd2e8aSPatrick Farrell   ierr = VecRestoreArray(pcpatch->patchStateWithArtificial[pt], &XWithArtificial);CHKERRQ(ierr);
37*39fd2e8aSPatrick Farrell   ierr = VecRestoreArrayRead(x, &X);CHKERRQ(ierr);
38*39fd2e8aSPatrick Farrell   ierr = ISRestoreIndices(pcpatch->dofMappingWithoutToWithArtificial[pt], &indices);CHKERRQ(ierr);
39*39fd2e8aSPatrick Farrell 
40*39fd2e8aSPatrick Farrell   ierr = PCPatchComputeFunction_Internal(pc, pcpatch->patchStateWithArtificial[pt], F, pt);CHKERRQ(ierr);
41561742edSMatthew G. Knepley   PetscFunctionReturn(0);
42561742edSMatthew G. Knepley }
43561742edSMatthew G. Knepley 
44561742edSMatthew G. Knepley static PetscErrorCode SNESPatchComputeJacobian_Private(SNES snes, Vec x, Mat J, Mat M, void *ctx)
45561742edSMatthew G. Knepley {
46ab270f91SPatrick Farrell   PC             pc      = (PC) ctx;
47ab270f91SPatrick Farrell   PC_PATCH      *pcpatch = (PC_PATCH *) pc->data;
48561742edSMatthew G. Knepley   PetscErrorCode ierr;
49561742edSMatthew G. Knepley 
50561742edSMatthew G. Knepley   PetscFunctionBegin;
51ab270f91SPatrick Farrell   ierr = PCPatchComputeOperator_Internal(pc, x, M, pcpatch->currentPatch, PETSC_FALSE);CHKERRQ(ierr);
52561742edSMatthew G. Knepley   PetscFunctionReturn(0);
53561742edSMatthew G. Knepley }
54561742edSMatthew G. Knepley 
55561742edSMatthew G. Knepley static PetscErrorCode PCSetUp_PATCH_Nonlinear(PC pc)
56561742edSMatthew G. Knepley {
57561742edSMatthew G. Knepley   PC_PATCH      *patch = (PC_PATCH *) pc->data;
58561742edSMatthew G. Knepley   const char    *prefix;
59*39fd2e8aSPatrick Farrell   PetscInt       i, pStart, dof;
60561742edSMatthew G. Knepley   PetscErrorCode ierr;
61561742edSMatthew G. Knepley 
62561742edSMatthew G. Knepley   PetscFunctionBegin;
63561742edSMatthew G. Knepley   if (!pc->setupcalled) {
64561742edSMatthew G. Knepley     ierr = PetscMalloc1(patch->npatch, &patch->solver);CHKERRQ(ierr);
65561742edSMatthew G. Knepley     ierr = PCGetOptionsPrefix(pc, &prefix);CHKERRQ(ierr);
66*39fd2e8aSPatrick Farrell     ierr = PetscSectionGetChart(patch->gtolCounts, &pStart, NULL);CHKERRQ(ierr);
67561742edSMatthew G. Knepley     for (i = 0; i < patch->npatch; ++i) {
68561742edSMatthew G. Knepley       SNES snes;
69561742edSMatthew G. Knepley       KSP  subksp;
70561742edSMatthew G. Knepley 
71561742edSMatthew G. Knepley       ierr = SNESCreate(PETSC_COMM_SELF, &snes);CHKERRQ(ierr);
72561742edSMatthew G. Knepley       ierr = SNESSetOptionsPrefix(snes, prefix);CHKERRQ(ierr);
73561742edSMatthew G. Knepley       ierr = SNESAppendOptionsPrefix(snes, "sub_");CHKERRQ(ierr);
74bfdd6862SPatrick Farrell       ierr = PetscObjectIncrementTabLevel((PetscObject) snes, (PetscObject) pc, 2);CHKERRQ(ierr);
75561742edSMatthew G. Knepley       ierr = SNESGetKSP(snes, &subksp);CHKERRQ(ierr);
76bfdd6862SPatrick Farrell       ierr = PetscObjectIncrementTabLevel((PetscObject) subksp, (PetscObject) pc, 2);CHKERRQ(ierr);
77561742edSMatthew G. Knepley       ierr = PetscLogObjectParent((PetscObject) pc, (PetscObject) snes);CHKERRQ(ierr);
78561742edSMatthew G. Knepley       patch->solver[i] = (PetscObject) snes;
79561742edSMatthew G. Knepley     }
801202d238SPatrick Farrell 
811202d238SPatrick Farrell     ierr = PetscMalloc1(patch->npatch, &patch->patchResidual);CHKERRQ(ierr);
821202d238SPatrick Farrell     ierr = PetscMalloc1(patch->npatch, &patch->patchState);CHKERRQ(ierr);
83*39fd2e8aSPatrick Farrell     ierr = PetscMalloc1(patch->npatch, &patch->patchStateWithArtificial);CHKERRQ(ierr);
841202d238SPatrick Farrell     for (i = 0; i < patch->npatch; ++i) {
851202d238SPatrick Farrell       ierr = VecDuplicate(patch->patchRHS[i], &patch->patchResidual[i]);CHKERRQ(ierr);
861202d238SPatrick Farrell       ierr = VecDuplicate(patch->patchUpdate[i], &patch->patchState[i]);CHKERRQ(ierr);
87*39fd2e8aSPatrick Farrell 
88*39fd2e8aSPatrick Farrell       ierr = PetscSectionGetDof(patch->gtolCountsWithArtificial, i+pStart, &dof);CHKERRQ(ierr);
89*39fd2e8aSPatrick Farrell       ierr = VecCreateSeq(PETSC_COMM_SELF, dof, &patch->patchStateWithArtificial[i]);CHKERRQ(ierr);
90*39fd2e8aSPatrick Farrell       ierr = VecSetUp(patch->patchStateWithArtificial[i]);CHKERRQ(ierr);
911202d238SPatrick Farrell     }
921202d238SPatrick Farrell     ierr = VecDuplicate(patch->localUpdate, &patch->localState);CHKERRQ(ierr);
93561742edSMatthew G. Knepley   }
94561742edSMatthew G. Knepley   for (i = 0; i < patch->npatch; ++i) {
95561742edSMatthew G. Knepley     SNES snes = (SNES) patch->solver[i];
96561742edSMatthew G. Knepley 
971202d238SPatrick Farrell     ierr = SNESSetFunction(snes, patch->patchResidual[i], SNESPatchComputeResidual_Private, pc);CHKERRQ(ierr);
98ab270f91SPatrick Farrell     ierr = SNESSetJacobian(snes, patch->mat[i], patch->mat[i], SNESPatchComputeJacobian_Private, pc);CHKERRQ(ierr);
99561742edSMatthew G. Knepley   }
100561742edSMatthew G. Knepley   if (!pc->setupcalled && patch->optionsSet) for (i = 0; i < patch->npatch; ++i) {ierr = SNESSetFromOptions((SNES) patch->solver[i]);CHKERRQ(ierr);}
101561742edSMatthew G. Knepley   PetscFunctionReturn(0);
102561742edSMatthew G. Knepley }
103561742edSMatthew G. Knepley 
1041202d238SPatrick Farrell static PetscErrorCode PCApply_PATCH_Nonlinear(PC pc, PetscInt i, Vec patchRHS, Vec patchUpdate)
105561742edSMatthew G. Knepley {
106561742edSMatthew G. Knepley   PC_PATCH      *patch = (PC_PATCH *) pc->data;
1071202d238SPatrick Farrell   PetscInt       pStart;
108561742edSMatthew G. Knepley   PetscErrorCode ierr;
109561742edSMatthew G. Knepley 
110561742edSMatthew G. Knepley   PetscFunctionBegin;
111561742edSMatthew G. Knepley   patch->currentPatch = i;
112561742edSMatthew G. Knepley   ierr = PetscLogEventBegin(PC_Patch_Solve, pc, 0, 0, 0);CHKERRQ(ierr);
1131202d238SPatrick Farrell 
1141202d238SPatrick Farrell   /* Scatter the overlapped global state to our patch state vector */
1151202d238SPatrick Farrell   ierr = PetscSectionGetChart(patch->gtolCounts, &pStart, NULL);CHKERRQ(ierr);
1161202d238SPatrick Farrell   ierr = PCPatch_ScatterLocal_Private(pc, i+pStart, patch->localState, patch->patchState[i], INSERT_VALUES, SCATTER_FORWARD, PETSC_FALSE);CHKERRQ(ierr);
117*39fd2e8aSPatrick Farrell   ierr = PCPatch_ScatterLocal_Private(pc, i+pStart, patch->localState, patch->patchStateWithArtificial[i], INSERT_VALUES, SCATTER_FORWARD, PETSC_TRUE);CHKERRQ(ierr);
1181202d238SPatrick Farrell 
1191202d238SPatrick Farrell   /* Set initial guess to be current state*/
1201202d238SPatrick Farrell   ierr = VecCopy(patch->patchState[i], patchUpdate);CHKERRQ(ierr);
1211202d238SPatrick Farrell   /* Solve for new state */
1221202d238SPatrick Farrell   ierr = SNESSolve((SNES) patch->solver[i], patchRHS, patchUpdate);CHKERRQ(ierr);
1231202d238SPatrick Farrell   /* To compute update, subtract off previous state */
1241202d238SPatrick Farrell   ierr = VecAXPY(patchUpdate, -1.0, patch->patchState[i]);CHKERRQ(ierr);
1251202d238SPatrick Farrell 
126561742edSMatthew G. Knepley   ierr = PetscLogEventEnd(PC_Patch_Solve, pc, 0, 0, 0);CHKERRQ(ierr);
127561742edSMatthew G. Knepley   PetscFunctionReturn(0);
128561742edSMatthew G. Knepley }
129561742edSMatthew G. Knepley 
130561742edSMatthew G. Knepley static PetscErrorCode PCReset_PATCH_Nonlinear(PC pc)
131561742edSMatthew G. Knepley {
132561742edSMatthew G. Knepley   PC_PATCH      *patch = (PC_PATCH *) pc->data;
133561742edSMatthew G. Knepley   PetscInt       i;
134561742edSMatthew G. Knepley   PetscErrorCode ierr;
135561742edSMatthew G. Knepley 
136561742edSMatthew G. Knepley   PetscFunctionBegin;
1371202d238SPatrick Farrell 
138561742edSMatthew G. Knepley   if (patch->solver) {
139561742edSMatthew G. Knepley     for (i = 0; i < patch->npatch; ++i) {ierr = SNESReset((SNES) patch->solver[i]);CHKERRQ(ierr);}
140561742edSMatthew G. Knepley   }
1411202d238SPatrick Farrell 
1421202d238SPatrick Farrell   if (patch->patchResidual) {
1431202d238SPatrick Farrell     for (i = 0; i < patch->npatch; ++i) {ierr = VecDestroy(&patch->patchResidual[i]);CHKERRQ(ierr);}
1441202d238SPatrick Farrell     ierr = PetscFree(patch->patchResidual);CHKERRQ(ierr);
1451202d238SPatrick Farrell   }
1461202d238SPatrick Farrell 
1471202d238SPatrick Farrell   if (patch->patchState) {
1481202d238SPatrick Farrell     for (i = 0; i < patch->npatch; ++i) {ierr = VecDestroy(&patch->patchState[i]);CHKERRQ(ierr);}
1491202d238SPatrick Farrell     ierr = PetscFree(patch->patchState);CHKERRQ(ierr);
1501202d238SPatrick Farrell   }
1511202d238SPatrick Farrell 
152*39fd2e8aSPatrick Farrell   if (patch->patchStateWithArtificial) {
153*39fd2e8aSPatrick Farrell     for (i = 0; i < patch->npatch; ++i) {ierr = VecDestroy(&patch->patchStateWithArtificial[i]);CHKERRQ(ierr);}
154*39fd2e8aSPatrick Farrell     ierr = PetscFree(patch->patchStateWithArtificial);CHKERRQ(ierr);
155*39fd2e8aSPatrick Farrell   }
156*39fd2e8aSPatrick Farrell 
1571202d238SPatrick Farrell   ierr = VecDestroy(&patch->localState);CHKERRQ(ierr);
1581202d238SPatrick Farrell 
159561742edSMatthew G. Knepley   PetscFunctionReturn(0);
160561742edSMatthew G. Knepley }
161561742edSMatthew G. Knepley 
162561742edSMatthew G. Knepley static PetscErrorCode PCDestroy_PATCH_Nonlinear(PC pc)
163561742edSMatthew G. Knepley {
164561742edSMatthew G. Knepley   PC_PATCH      *patch = (PC_PATCH *) pc->data;
165561742edSMatthew G. Knepley   PetscInt       i;
166561742edSMatthew G. Knepley   PetscErrorCode ierr;
167561742edSMatthew G. Knepley 
168561742edSMatthew G. Knepley   PetscFunctionBegin;
169561742edSMatthew G. Knepley   if (patch->solver) {
170561742edSMatthew G. Knepley     for (i = 0; i < patch->npatch; ++i) {ierr = SNESDestroy((SNES *) &patch->solver[i]);CHKERRQ(ierr);}
171561742edSMatthew G. Knepley     ierr = PetscFree(patch->solver);CHKERRQ(ierr);
172561742edSMatthew G. Knepley   }
173561742edSMatthew G. Knepley   PetscFunctionReturn(0);
174561742edSMatthew G. Knepley }
175561742edSMatthew G. Knepley 
1766c9c532dSPatrick Farrell static PetscErrorCode PCUpdateMultiplicative_PATCH_Nonlinear(PC pc, PetscInt i, PetscInt pStart)
1776c9c532dSPatrick Farrell {
1786c9c532dSPatrick Farrell   PC_PATCH      *patch = (PC_PATCH *) pc->data;
1796c9c532dSPatrick Farrell   PetscErrorCode ierr;
1806c9c532dSPatrick Farrell 
1816c9c532dSPatrick Farrell   ierr = PCPatch_ScatterLocal_Private(pc, i + pStart, patch->patchUpdate[i], patch->localState, ADD_VALUES, SCATTER_REVERSE, PETSC_FALSE);CHKERRQ(ierr);
1826c9c532dSPatrick Farrell }
1836c9c532dSPatrick Farrell 
184561742edSMatthew G. Knepley static PetscErrorCode SNESSetUp_Patch(SNES snes)
185561742edSMatthew G. Knepley {
186561742edSMatthew G. Knepley   SNES_Patch    *patch = (SNES_Patch *) snes->data;
187561742edSMatthew G. Knepley   DM             dm;
188561742edSMatthew G. Knepley   Mat            dummy;
189561742edSMatthew G. Knepley   Vec            F;
190561742edSMatthew G. Knepley   PetscInt       n, N;
191561742edSMatthew G. Knepley   PetscErrorCode ierr;
192561742edSMatthew G. Knepley 
193561742edSMatthew G. Knepley   PetscFunctionBegin;
194561742edSMatthew G. Knepley   ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr);
195561742edSMatthew G. Knepley   ierr = PCSetDM(patch->pc, dm);CHKERRQ(ierr);
196561742edSMatthew G. Knepley   ierr = SNESGetFunction(snes, &F, NULL, NULL);CHKERRQ(ierr);
197561742edSMatthew G. Knepley   ierr = VecGetLocalSize(F, &n);CHKERRQ(ierr);
198561742edSMatthew G. Knepley   ierr = VecGetSize(F, &N);CHKERRQ(ierr);
199561742edSMatthew G. Knepley   ierr = MatCreateShell(PetscObjectComm((PetscObject) snes), n, n, N, N, (void *) snes, &dummy);CHKERRQ(ierr);
200561742edSMatthew G. Knepley   ierr = PCSetOperators(patch->pc, dummy, dummy);CHKERRQ(ierr);
201561742edSMatthew G. Knepley   ierr = MatDestroy(&dummy);CHKERRQ(ierr);
202561742edSMatthew G. Knepley   ierr = PCSetUp(patch->pc);CHKERRQ(ierr);
203561742edSMatthew G. Knepley   /* allocate workspace */
204561742edSMatthew G. Knepley   PetscFunctionReturn(0);
205561742edSMatthew G. Knepley }
206561742edSMatthew G. Knepley 
207561742edSMatthew G. Knepley static PetscErrorCode SNESReset_Patch(SNES snes)
208561742edSMatthew G. Knepley {
209561742edSMatthew G. Knepley   SNES_Patch    *patch = (SNES_Patch *) snes->data;
210561742edSMatthew G. Knepley   PetscErrorCode ierr;
211561742edSMatthew G. Knepley 
212561742edSMatthew G. Knepley   PetscFunctionBegin;
213561742edSMatthew G. Knepley   ierr = PCReset(patch->pc);CHKERRQ(ierr);
214561742edSMatthew G. Knepley   PetscFunctionReturn(0);
215561742edSMatthew G. Knepley }
216561742edSMatthew G. Knepley 
217561742edSMatthew G. Knepley static PetscErrorCode SNESDestroy_Patch(SNES snes)
218561742edSMatthew G. Knepley {
219561742edSMatthew G. Knepley   SNES_Patch    *patch = (SNES_Patch *) snes->data;
220561742edSMatthew G. Knepley   PetscErrorCode ierr;
221561742edSMatthew G. Knepley 
222561742edSMatthew G. Knepley   PetscFunctionBegin;
223561742edSMatthew G. Knepley   ierr = SNESReset_Patch(snes);CHKERRQ(ierr);
224561742edSMatthew G. Knepley   ierr = PCDestroy(&patch->pc);CHKERRQ(ierr);
225561742edSMatthew G. Knepley   ierr = PetscFree(snes->data);CHKERRQ(ierr);
226561742edSMatthew G. Knepley   PetscFunctionReturn(0);
227561742edSMatthew G. Knepley }
228561742edSMatthew G. Knepley 
229561742edSMatthew G. Knepley static PetscErrorCode SNESSetFromOptions_Patch(PetscOptionItems *PetscOptionsObject, SNES snes)
230561742edSMatthew G. Knepley {
231561742edSMatthew G. Knepley   SNES_Patch    *patch = (SNES_Patch *) snes->data;
232561742edSMatthew G. Knepley   PetscBool      flg;
2334aa795a7SPatrick Farrell   const char    *prefix;
234561742edSMatthew G. Knepley   PetscErrorCode ierr;
235561742edSMatthew G. Knepley 
236561742edSMatthew G. Knepley   PetscFunctionBegin;
2374aa795a7SPatrick Farrell   ierr = PetscObjectGetOptionsPrefix((PetscObject)snes, &prefix);CHKERRQ(ierr);
2384aa795a7SPatrick Farrell   ierr = PetscObjectSetOptionsPrefix((PetscObject)patch->pc, prefix);CHKERRQ(ierr);
239561742edSMatthew G. Knepley   ierr = PCSetFromOptions(patch->pc);CHKERRQ(ierr);
240561742edSMatthew G. Knepley   PetscFunctionReturn(0);
241561742edSMatthew G. Knepley }
242561742edSMatthew G. Knepley 
243561742edSMatthew G. Knepley static PetscErrorCode SNESView_Patch(SNES snes,PetscViewer viewer)
244561742edSMatthew G. Knepley {
245561742edSMatthew G. Knepley   SNES_Patch    *patch = (SNES_Patch *) snes->data;
246561742edSMatthew G. Knepley   PetscBool      iascii;
247561742edSMatthew G. Knepley   PetscErrorCode ierr;
248561742edSMatthew G. Knepley 
249561742edSMatthew G. Knepley   PetscFunctionBegin;
250561742edSMatthew G. Knepley   ierr = PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii);CHKERRQ(ierr);
251561742edSMatthew G. Knepley   if (iascii) {
252af0b0351SPatrick Farrell     ierr = PetscViewerASCIIPrintf(viewer,"SNESPATCH\n");CHKERRQ(ierr);
253561742edSMatthew G. Knepley   }
254561742edSMatthew G. Knepley   ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
255561742edSMatthew G. Knepley   ierr = PCView(patch->pc, viewer);CHKERRQ(ierr);
256561742edSMatthew G. Knepley   ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
257561742edSMatthew G. Knepley   PetscFunctionReturn(0);
258561742edSMatthew G. Knepley }
259561742edSMatthew G. Knepley 
260561742edSMatthew G. Knepley static PetscErrorCode SNESSolve_Patch(SNES snes)
261561742edSMatthew G. Knepley {
262ab270f91SPatrick Farrell   SNES_Patch *patch = (SNES_Patch *) snes->data;
2631202d238SPatrick Farrell   PC_PATCH   *pcpatch = (PC_PATCH *) patch->pc->data;
264636c62a6SPatrick Farrell   SNESLineSearch ls;
265636c62a6SPatrick Farrell   Vec rhs, update, state, residual;
2661202d238SPatrick Farrell   const PetscScalar *globalState  = NULL;
2671202d238SPatrick Farrell   PetscScalar       *localState   = NULL;
268636c62a6SPatrick Farrell   PetscInt its = 0;
269636c62a6SPatrick Farrell   PetscReal xnorm = 0.0, ynorm = 0.0, fnorm = 0.0;
2704aa795a7SPatrick Farrell   PetscErrorCode ierr;
2714aa795a7SPatrick Farrell 
272561742edSMatthew G. Knepley   PetscFunctionBegin;
2731202d238SPatrick Farrell 
2741202d238SPatrick Farrell   ierr = SNESGetSolution(snes, &state);CHKERRQ(ierr);
2751202d238SPatrick Farrell   ierr = SNESGetSolutionUpdate(snes, &update);CHKERRQ(ierr);
2761202d238SPatrick Farrell   ierr = SNESGetRhs(snes, &rhs);CHKERRQ(ierr);
2771202d238SPatrick Farrell 
278636c62a6SPatrick Farrell   ierr = SNESGetFunction(snes, &residual, NULL, NULL);CHKERRQ(ierr);
279636c62a6SPatrick Farrell   ierr = SNESGetLineSearch(snes, &ls);CHKERRQ(ierr);
280636c62a6SPatrick Farrell 
281636c62a6SPatrick Farrell   ierr = SNESSetConvergedReason(snes, SNES_CONVERGED_ITERATING);CHKERRQ(ierr);
282636c62a6SPatrick Farrell   ierr = VecSet(update, 0.0);CHKERRQ(ierr);
283636c62a6SPatrick Farrell   ierr = SNESComputeFunction(snes, state, residual);CHKERRQ(ierr);
284636c62a6SPatrick Farrell 
285636c62a6SPatrick Farrell   ierr = VecNorm(state, NORM_2, &xnorm);CHKERRQ(ierr);
286636c62a6SPatrick Farrell   ierr = VecNorm(residual, NORM_2, &fnorm);CHKERRQ(ierr);
287636c62a6SPatrick Farrell   snes->ttol = fnorm*snes->rtol;
288636c62a6SPatrick Farrell 
289636c62a6SPatrick Farrell   if (snes->ops->converged) {
290636c62a6SPatrick Farrell     ierr = (*snes->ops->converged)(snes,its,xnorm,ynorm,fnorm,&snes->reason,snes->cnvP);CHKERRQ(ierr);
291636c62a6SPatrick Farrell   } else {
292636c62a6SPatrick Farrell     ierr = SNESConvergedSkip(snes,its,xnorm,ynorm,fnorm,&snes->reason,0);CHKERRQ(ierr);
293636c62a6SPatrick Farrell   }
294636c62a6SPatrick Farrell   ierr = SNESLogConvergenceHistory(snes, fnorm, 0);CHKERRQ(ierr); /* should we count lits from the patches? */
295636c62a6SPatrick Farrell   ierr = SNESMonitor(snes, its, fnorm);CHKERRQ(ierr);
296636c62a6SPatrick Farrell 
297636c62a6SPatrick Farrell   /* The main solver loop */
298636c62a6SPatrick Farrell   for (its = 0; its < snes->max_its; its++) {
299636c62a6SPatrick Farrell 
300636c62a6SPatrick Farrell     ierr = SNESSetIterationNumber(snes, its);CHKERRQ(ierr);
301636c62a6SPatrick Farrell 
3021202d238SPatrick Farrell     /* Scatter state vector to overlapped vector on all patches.
3031202d238SPatrick Farrell        The vector pcpatch->localState is scattered to each patch
3041202d238SPatrick Farrell        in PCApply_PATCH_Nonlinear. */
3051202d238SPatrick Farrell     ierr = VecGetArrayRead(state, &globalState);CHKERRQ(ierr);
3061202d238SPatrick Farrell     ierr = VecGetArray(pcpatch->localState, &localState);CHKERRQ(ierr);
3071202d238SPatrick Farrell     ierr = PetscSFBcastBegin(pcpatch->defaultSF, MPIU_SCALAR, globalState, localState);CHKERRQ(ierr);
3081202d238SPatrick Farrell     ierr = PetscSFBcastEnd(pcpatch->defaultSF, MPIU_SCALAR, globalState, localState);CHKERRQ(ierr);
3091202d238SPatrick Farrell     ierr = VecRestoreArray(pcpatch->localState, &localState);CHKERRQ(ierr);
3101202d238SPatrick Farrell     ierr = VecRestoreArrayRead(state, &globalState);CHKERRQ(ierr);
3111202d238SPatrick Farrell 
312636c62a6SPatrick Farrell     /* The looping over patches happens here */
3131202d238SPatrick Farrell     ierr = PCApply(patch->pc, rhs, update);
314636c62a6SPatrick Farrell 
315636c62a6SPatrick Farrell     /* Apply a line search. This will often be basic with
316636c62a6SPatrick Farrell        damping = 1/(max number of patches a dof can be in),
317636c62a6SPatrick Farrell        but not always */
318636c62a6SPatrick Farrell     ierr = VecScale(update, -1.0);CHKERRQ(ierr);
319636c62a6SPatrick Farrell     ierr = SNESLineSearchApply(ls, state, residual, &fnorm, update);CHKERRQ(ierr);
320636c62a6SPatrick Farrell 
321636c62a6SPatrick Farrell     ierr = VecNorm(state, NORM_2, &xnorm);CHKERRQ(ierr);
322636c62a6SPatrick Farrell     ierr = VecNorm(update, NORM_2, &ynorm);CHKERRQ(ierr);
323636c62a6SPatrick Farrell 
324636c62a6SPatrick Farrell     if (snes->ops->converged) {
325636c62a6SPatrick Farrell       ierr = (*snes->ops->converged)(snes,its,xnorm,ynorm,fnorm,&snes->reason,snes->cnvP);CHKERRQ(ierr);
326636c62a6SPatrick Farrell     } else {
327636c62a6SPatrick Farrell       ierr = SNESConvergedSkip(snes,its,xnorm,ynorm,fnorm,&snes->reason,0);CHKERRQ(ierr);
328636c62a6SPatrick Farrell     }
329636c62a6SPatrick Farrell     ierr = SNESLogConvergenceHistory(snes, fnorm, 0);CHKERRQ(ierr); /* FIXME: should we count lits? */
330636c62a6SPatrick Farrell     ierr = SNESMonitor(snes, its, fnorm);CHKERRQ(ierr);
3311202d238SPatrick Farrell   }
3321202d238SPatrick Farrell 
333636c62a6SPatrick Farrell   if (its == snes->max_its) { ierr = SNESSetConvergedReason(snes, SNES_DIVERGED_MAX_IT);CHKERRQ(ierr); }
334561742edSMatthew G. Knepley   PetscFunctionReturn(0);
335561742edSMatthew G. Knepley }
336561742edSMatthew G. Knepley 
337561742edSMatthew G. Knepley /*MC
338ab270f91SPatrick Farrell   SNESPATCH - Solve a nonlinear problem by composing together many nonlinear solvers on patches
339561742edSMatthew G. Knepley 
340561742edSMatthew G. Knepley   Level: intermediate
341561742edSMatthew G. Knepley 
342561742edSMatthew G. Knepley   Concepts: composing solvers
343561742edSMatthew G. Knepley 
344561742edSMatthew G. Knepley .seealso:  SNESCreate(), SNESSetType(), SNESType (for list of available types), SNES,
345561742edSMatthew G. Knepley            PCPATCH
346561742edSMatthew G. Knepley 
347561742edSMatthew G. Knepley    References:
348561742edSMatthew 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
349561742edSMatthew G. Knepley 
350561742edSMatthew G. Knepley M*/
351561742edSMatthew G. Knepley PETSC_EXTERN PetscErrorCode SNESCreate_Patch(SNES snes)
352561742edSMatthew G. Knepley {
353561742edSMatthew G. Knepley   PetscErrorCode ierr;
354561742edSMatthew G. Knepley   SNES_Patch    *patch;
35510534d48SPatrick Farrell   PC_PATCH      *patchpc;
356561742edSMatthew G. Knepley 
357561742edSMatthew G. Knepley   PetscFunctionBegin;
358561742edSMatthew G. Knepley   ierr = PetscNewLog(snes, &patch);CHKERRQ(ierr);
359561742edSMatthew G. Knepley 
360561742edSMatthew G. Knepley   snes->ops->solve          = SNESSolve_Patch;
361561742edSMatthew G. Knepley   snes->ops->setup          = SNESSetUp_Patch;
362561742edSMatthew G. Knepley   snes->ops->reset          = SNESReset_Patch;
363561742edSMatthew G. Knepley   snes->ops->destroy        = SNESDestroy_Patch;
364561742edSMatthew G. Knepley   snes->ops->setfromoptions = SNESSetFromOptions_Patch;
365561742edSMatthew G. Knepley   snes->ops->view           = SNESView_Patch;
366561742edSMatthew G. Knepley 
367561742edSMatthew G. Knepley   snes->alwayscomputesfinalresidual = PETSC_FALSE;
368561742edSMatthew G. Knepley 
369561742edSMatthew G. Knepley   snes->data = (void *) patch;
370561742edSMatthew G. Knepley   ierr = PCCreate(PetscObjectComm((PetscObject) snes), &patch->pc);CHKERRQ(ierr);
371561742edSMatthew G. Knepley   ierr = PCSetType(patch->pc, PCPATCH);CHKERRQ(ierr);
372561742edSMatthew G. Knepley 
37310534d48SPatrick Farrell   patchpc = (PC_PATCH*) patch->pc->data;
37410534d48SPatrick Farrell   patchpc->classname = "snes";
37510534d48SPatrick Farrell 
37610534d48SPatrick Farrell   patchpc->setupsolver   = PCSetUp_PATCH_Nonlinear;
37710534d48SPatrick Farrell   patchpc->applysolver   = PCApply_PATCH_Nonlinear;
37810534d48SPatrick Farrell   patchpc->resetsolver   = PCReset_PATCH_Nonlinear;
37910534d48SPatrick Farrell   patchpc->destroysolver = PCDestroy_PATCH_Nonlinear;
3806c9c532dSPatrick Farrell   patchpc->updatemultiplicative = PCUpdateMultiplicative_PATCH_Nonlinear;
381561742edSMatthew G. Knepley 
382561742edSMatthew G. Knepley   PetscFunctionReturn(0);
383561742edSMatthew G. Knepley }
3846c270751SPatrick Farrell 
3856c270751SPatrick Farrell PetscErrorCode SNESPatchSetDiscretisationInfo(SNES snes, PetscInt nsubspaces, DM *dms, PetscInt *bs, PetscInt *nodesPerCell, const PetscInt **cellNodeMap,
3866c270751SPatrick Farrell                                             const PetscInt *subspaceOffsets, PetscInt numGhostBcs, const PetscInt *ghostBcNodes, PetscInt numGlobalBcs, const PetscInt *globalBcNodes)
3876c270751SPatrick Farrell {
3886c270751SPatrick Farrell   SNES_Patch    *patch = (SNES_Patch *) snes->data;
3896c270751SPatrick Farrell   PetscErrorCode ierr;
390f08b3ad2SPatrick Farrell   DM dm;
3916c270751SPatrick Farrell 
3926c270751SPatrick Farrell   PetscFunctionBegin;
393f08b3ad2SPatrick Farrell   ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr);
394f08b3ad2SPatrick Farrell   if (!dm) SETERRQ(PetscObjectComm((PetscObject)snes), PETSC_ERR_ARG_WRONGSTATE, "DM not yet set on patch SNES\n");
395f08b3ad2SPatrick Farrell   ierr = PCSetDM(patch->pc, dm);CHKERRQ(ierr);
3966c270751SPatrick Farrell   ierr = PCPatchSetDiscretisationInfo(patch->pc, nsubspaces, dms, bs, nodesPerCell, cellNodeMap, subspaceOffsets, numGhostBcs, ghostBcNodes, numGlobalBcs, globalBcNodes);CHKERRQ(ierr);
3976c270751SPatrick Farrell   PetscFunctionReturn(0);
3986c270751SPatrick Farrell }
3996c270751SPatrick Farrell 
4006c270751SPatrick Farrell PetscErrorCode SNESPatchSetComputeOperator(SNES snes, PetscErrorCode (*func)(PC, PetscInt, Vec, Mat, IS, PetscInt, const PetscInt *, void *), void *ctx)
4016c270751SPatrick Farrell {
4026c270751SPatrick Farrell   SNES_Patch    *patch = (SNES_Patch *) snes->data;
4036c270751SPatrick Farrell   PetscErrorCode ierr;
4046c270751SPatrick Farrell 
4056c270751SPatrick Farrell   PetscFunctionBegin;
4066c270751SPatrick Farrell   ierr = PCPatchSetComputeOperator(patch->pc, func, ctx);CHKERRQ(ierr);
4076c270751SPatrick Farrell   PetscFunctionReturn(0);
4086c270751SPatrick Farrell }
4096c270751SPatrick Farrell 
410*39fd2e8aSPatrick Farrell PetscErrorCode SNESPatchSetComputeFunction(SNES snes, PetscErrorCode (*func)(PC, PetscInt, Vec, Vec, IS, PetscInt, const PetscInt *, const PetscInt *, void *), void *ctx)
4116c270751SPatrick Farrell {
4126c270751SPatrick Farrell   SNES_Patch    *patch = (SNES_Patch *) snes->data;
4136c270751SPatrick Farrell   PetscErrorCode ierr;
4146c270751SPatrick Farrell 
4156c270751SPatrick Farrell   PetscFunctionBegin;
4166c270751SPatrick Farrell   ierr = PCPatchSetComputeFunction(patch->pc, func, ctx);CHKERRQ(ierr);
4176c270751SPatrick Farrell   PetscFunctionReturn(0);
4186c270751SPatrick Farrell }
4196c270751SPatrick Farrell 
4206c270751SPatrick Farrell PetscErrorCode SNESPatchSetConstructType(SNES snes, PCPatchConstructType ctype, PetscErrorCode (*func)(PC, PetscInt *, IS **, IS *, void *), void *ctx)
4216c270751SPatrick Farrell {
4226c270751SPatrick Farrell   SNES_Patch    *patch = (SNES_Patch *) snes->data;
4236c270751SPatrick Farrell   PetscErrorCode ierr;
4246c270751SPatrick Farrell 
4256c270751SPatrick Farrell   PetscFunctionBegin;
4266c270751SPatrick Farrell   ierr = PCPatchSetConstructType(patch->pc, ctype, func, ctx);CHKERRQ(ierr);
4276c270751SPatrick Farrell   PetscFunctionReturn(0);
4286c270751SPatrick Farrell }
4296c270751SPatrick Farrell 
4306c270751SPatrick Farrell PetscErrorCode SNESPatchSetCellNumbering(SNES snes, PetscSection cellNumbering)
4316c270751SPatrick Farrell {
4326c270751SPatrick Farrell   SNES_Patch    *patch = (SNES_Patch *) snes->data;
4336c270751SPatrick Farrell   PetscErrorCode ierr;
4346c270751SPatrick Farrell 
4356c270751SPatrick Farrell   PetscFunctionBegin;
4366c270751SPatrick Farrell   ierr = PCPatchSetCellNumbering(patch->pc, cellNumbering);CHKERRQ(ierr);
4376c270751SPatrick Farrell   PetscFunctionReturn(0);
4386c270751SPatrick Farrell }
439