xref: /petsc/src/snes/impls/patch/snespatch.c (revision 917d05d1809f4ddef6869e4633db1f8c02a53e74)
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 */
4*917d05d1SLawrence Mitchell #include <petsc/private/vecimpl.h>         /* For vec->map */
5561742edSMatthew G. Knepley #include <petsc/private/snesimpl.h> /*I "petscsnes.h" I*/
6561742edSMatthew G. Knepley #include <petsc/private/pcpatchimpl.h> /* We need internal access to PCPatch right now, until that part is moved to Plex */
71202d238SPatrick Farrell #include <petscsf.h>
8ea844a1aSMatthew Knepley #include <petscsection.h>
9561742edSMatthew G. Knepley 
10561742edSMatthew G. Knepley typedef struct {
11561742edSMatthew G. Knepley   PC pc; /* The linear patch preconditioner */
12561742edSMatthew G. Knepley } SNES_Patch;
13561742edSMatthew G. Knepley 
14561742edSMatthew G. Knepley static PetscErrorCode SNESPatchComputeResidual_Private(SNES snes, Vec x, Vec F, void *ctx)
15561742edSMatthew G. Knepley {
16ab270f91SPatrick Farrell   PC                pc      = (PC) ctx;
17ab270f91SPatrick Farrell   PC_PATCH          *pcpatch = (PC_PATCH *) pc->data;
1887050cfdSPatrick Farrell   PetscInt          pt, size, i;
1939fd2e8aSPatrick Farrell   const PetscInt    *indices;
2039fd2e8aSPatrick Farrell   const PetscScalar *X;
210904074fSPatrick Farrell   PetscScalar       *XWithAll;
22561742edSMatthew G. Knepley   PetscErrorCode    ierr;
23561742edSMatthew G. Knepley 
24561742edSMatthew G. Knepley   PetscFunctionBegin;
2539fd2e8aSPatrick Farrell 
260904074fSPatrick Farrell   /* scatter from x to patch->patchStateWithAll[pt] */
2739fd2e8aSPatrick Farrell   pt = pcpatch->currentPatch;
280904074fSPatrick Farrell   ierr = ISGetSize(pcpatch->dofMappingWithoutToWithAll[pt], &size);CHKERRQ(ierr);
2939fd2e8aSPatrick Farrell 
300904074fSPatrick Farrell   ierr = ISGetIndices(pcpatch->dofMappingWithoutToWithAll[pt], &indices);CHKERRQ(ierr);
3139fd2e8aSPatrick Farrell   ierr = VecGetArrayRead(x, &X);CHKERRQ(ierr);
329d4fc724SLawrence Mitchell   ierr = VecGetArray(pcpatch->patchStateWithAll, &XWithAll);CHKERRQ(ierr);
3339fd2e8aSPatrick Farrell 
3487050cfdSPatrick Farrell   for (i = 0; i < size; ++i) {
350904074fSPatrick Farrell     XWithAll[indices[i]] = X[i];
3639fd2e8aSPatrick Farrell   }
3739fd2e8aSPatrick Farrell 
389d4fc724SLawrence Mitchell   ierr = VecRestoreArray(pcpatch->patchStateWithAll, &XWithAll);CHKERRQ(ierr);
3939fd2e8aSPatrick Farrell   ierr = VecRestoreArrayRead(x, &X);CHKERRQ(ierr);
400904074fSPatrick Farrell   ierr = ISRestoreIndices(pcpatch->dofMappingWithoutToWithAll[pt], &indices);CHKERRQ(ierr);
4139fd2e8aSPatrick Farrell 
429d4fc724SLawrence Mitchell   ierr = PCPatchComputeFunction_Internal(pc, pcpatch->patchStateWithAll, F, pt);CHKERRQ(ierr);
43561742edSMatthew G. Knepley   PetscFunctionReturn(0);
44561742edSMatthew G. Knepley }
45561742edSMatthew G. Knepley 
46561742edSMatthew G. Knepley static PetscErrorCode SNESPatchComputeJacobian_Private(SNES snes, Vec x, Mat J, Mat M, void *ctx)
47561742edSMatthew G. Knepley {
48ab270f91SPatrick Farrell   PC                pc      = (PC) ctx;
49ab270f91SPatrick Farrell   PC_PATCH          *pcpatch = (PC_PATCH *) pc->data;
5087050cfdSPatrick Farrell   PetscInt          pt, size, i;
514d04e9f1SPatrick Farrell   const PetscInt    *indices;
524d04e9f1SPatrick Farrell   const PetscScalar *X;
530904074fSPatrick Farrell   PetscScalar       *XWithAll;
54561742edSMatthew G. Knepley   PetscErrorCode    ierr;
55561742edSMatthew G. Knepley 
56561742edSMatthew G. Knepley   PetscFunctionBegin;
570904074fSPatrick Farrell   /* scatter from x to patch->patchStateWithAll[pt] */
584d04e9f1SPatrick Farrell   pt = pcpatch->currentPatch;
590904074fSPatrick Farrell   ierr = ISGetSize(pcpatch->dofMappingWithoutToWithAll[pt], &size);CHKERRQ(ierr);
604d04e9f1SPatrick Farrell 
610904074fSPatrick Farrell   ierr = ISGetIndices(pcpatch->dofMappingWithoutToWithAll[pt], &indices);CHKERRQ(ierr);
624d04e9f1SPatrick Farrell   ierr = VecGetArrayRead(x, &X);CHKERRQ(ierr);
639d4fc724SLawrence Mitchell   ierr = VecGetArray(pcpatch->patchStateWithAll, &XWithAll);CHKERRQ(ierr);
644d04e9f1SPatrick Farrell 
6587050cfdSPatrick Farrell   for (i = 0; i < size; ++i) {
660904074fSPatrick Farrell     XWithAll[indices[i]] = X[i];
674d04e9f1SPatrick Farrell   }
684d04e9f1SPatrick Farrell 
699d4fc724SLawrence Mitchell   ierr = VecRestoreArray(pcpatch->patchStateWithAll, &XWithAll);CHKERRQ(ierr);
704d04e9f1SPatrick Farrell   ierr = VecRestoreArrayRead(x, &X);CHKERRQ(ierr);
710904074fSPatrick Farrell   ierr = ISRestoreIndices(pcpatch->dofMappingWithoutToWithAll[pt], &indices);CHKERRQ(ierr);
724d04e9f1SPatrick Farrell 
739d4fc724SLawrence Mitchell   ierr = PCPatchComputeOperator_Internal(pc, pcpatch->patchStateWithAll, M, pcpatch->currentPatch, PETSC_FALSE);CHKERRQ(ierr);
74561742edSMatthew G. Knepley   PetscFunctionReturn(0);
75561742edSMatthew G. Knepley }
76561742edSMatthew G. Knepley 
77561742edSMatthew G. Knepley static PetscErrorCode PCSetUp_PATCH_Nonlinear(PC pc)
78561742edSMatthew G. Knepley {
79561742edSMatthew G. Knepley   PC_PATCH       *patch = (PC_PATCH *) pc->data;
80561742edSMatthew G. Knepley   const char     *prefix;
819d4fc724SLawrence Mitchell   PetscInt       i, pStart, dof, maxDof = -1;
82561742edSMatthew G. Knepley   PetscErrorCode ierr;
83561742edSMatthew G. Knepley 
84561742edSMatthew G. Knepley   PetscFunctionBegin;
85561742edSMatthew G. Knepley   if (!pc->setupcalled) {
86561742edSMatthew G. Knepley     ierr = PetscMalloc1(patch->npatch, &patch->solver);CHKERRQ(ierr);
87561742edSMatthew G. Knepley     ierr = PCGetOptionsPrefix(pc, &prefix);CHKERRQ(ierr);
8839fd2e8aSPatrick Farrell     ierr = PetscSectionGetChart(patch->gtolCounts, &pStart, NULL);CHKERRQ(ierr);
89561742edSMatthew G. Knepley     for (i = 0; i < patch->npatch; ++i) {
90561742edSMatthew G. Knepley       SNES snes;
91561742edSMatthew G. Knepley 
92561742edSMatthew G. Knepley       ierr = SNESCreate(PETSC_COMM_SELF, &snes);CHKERRQ(ierr);
93561742edSMatthew G. Knepley       ierr = SNESSetOptionsPrefix(snes, prefix);CHKERRQ(ierr);
94561742edSMatthew G. Knepley       ierr = SNESAppendOptionsPrefix(snes, "sub_");CHKERRQ(ierr);
95bfdd6862SPatrick Farrell       ierr = PetscObjectIncrementTabLevel((PetscObject) snes, (PetscObject) pc, 2);CHKERRQ(ierr);
96561742edSMatthew G. Knepley       ierr = PetscLogObjectParent((PetscObject) pc, (PetscObject) snes);CHKERRQ(ierr);
97561742edSMatthew G. Knepley       patch->solver[i] = (PetscObject) snes;
9839fd2e8aSPatrick Farrell 
990904074fSPatrick Farrell       ierr = PetscSectionGetDof(patch->gtolCountsWithAll, i+pStart, &dof);CHKERRQ(ierr);
1009d4fc724SLawrence Mitchell       maxDof = PetscMax(maxDof, dof);
1011202d238SPatrick Farrell     }
1021202d238SPatrick Farrell     ierr = VecDuplicate(patch->localUpdate, &patch->localState);CHKERRQ(ierr);
1039d4fc724SLawrence Mitchell     ierr = VecDuplicate(patch->patchRHS, &patch->patchResidual);CHKERRQ(ierr);
1049d4fc724SLawrence Mitchell     ierr = VecDuplicate(patch->patchUpdate, &patch->patchState);CHKERRQ(ierr);
1059d4fc724SLawrence Mitchell 
1069d4fc724SLawrence Mitchell     ierr = VecCreateSeq(PETSC_COMM_SELF, maxDof, &patch->patchStateWithAll);CHKERRQ(ierr);
1079d4fc724SLawrence Mitchell     ierr = VecSetUp(patch->patchStateWithAll);CHKERRQ(ierr);
108561742edSMatthew G. Knepley   }
109561742edSMatthew G. Knepley   for (i = 0; i < patch->npatch; ++i) {
110561742edSMatthew G. Knepley     SNES snes = (SNES) patch->solver[i];
111561742edSMatthew G. Knepley 
1129d4fc724SLawrence Mitchell     ierr = SNESSetFunction(snes, patch->patchResidual, SNESPatchComputeResidual_Private, pc);CHKERRQ(ierr);
113ab270f91SPatrick Farrell     ierr = SNESSetJacobian(snes, patch->mat[i], patch->mat[i], SNESPatchComputeJacobian_Private, pc);CHKERRQ(ierr);
114561742edSMatthew G. Knepley   }
115561742edSMatthew G. Knepley   if (!pc->setupcalled && patch->optionsSet) for (i = 0; i < patch->npatch; ++i) {ierr = SNESSetFromOptions((SNES) patch->solver[i]);CHKERRQ(ierr);}
116561742edSMatthew G. Knepley   PetscFunctionReturn(0);
117561742edSMatthew G. Knepley }
118561742edSMatthew G. Knepley 
1191202d238SPatrick Farrell static PetscErrorCode PCApply_PATCH_Nonlinear(PC pc, PetscInt i, Vec patchRHS, Vec patchUpdate)
120561742edSMatthew G. Knepley {
121561742edSMatthew G. Knepley   PC_PATCH      *patch = (PC_PATCH *) pc->data;
122*917d05d1SLawrence Mitchell   PetscInt       pStart, n;
123561742edSMatthew G. Knepley   PetscErrorCode ierr;
124561742edSMatthew G. Knepley 
125561742edSMatthew G. Knepley   PetscFunctionBegin;
126561742edSMatthew G. Knepley   patch->currentPatch = i;
127561742edSMatthew G. Knepley   ierr = PetscLogEventBegin(PC_Patch_Solve, pc, 0, 0, 0);CHKERRQ(ierr);
1281202d238SPatrick Farrell 
1291202d238SPatrick Farrell   /* Scatter the overlapped global state to our patch state vector */
1301202d238SPatrick Farrell   ierr = PetscSectionGetChart(patch->gtolCounts, &pStart, NULL);CHKERRQ(ierr);
1319d4fc724SLawrence Mitchell   ierr = PCPatch_ScatterLocal_Private(pc, i+pStart, patch->localState, patch->patchState, INSERT_VALUES, SCATTER_FORWARD, SCATTER_INTERIOR);CHKERRQ(ierr);
1329d4fc724SLawrence Mitchell   ierr = PCPatch_ScatterLocal_Private(pc, i+pStart, patch->localState, patch->patchStateWithAll, INSERT_VALUES, SCATTER_FORWARD, SCATTER_WITHALL);CHKERRQ(ierr);
1331202d238SPatrick Farrell 
134*917d05d1SLawrence Mitchell   ierr = MatGetLocalSize(patch->mat[i], NULL, &n);CHKERRQ(ierr);
135*917d05d1SLawrence Mitchell   patch->patchState->map->n = n;
136*917d05d1SLawrence Mitchell   patch->patchState->map->N = n;
137*917d05d1SLawrence Mitchell   patchUpdate->map->n = n;
138*917d05d1SLawrence Mitchell   patchUpdate->map->N = n;
139*917d05d1SLawrence Mitchell   patchRHS->map->n = n;
140*917d05d1SLawrence Mitchell   patchRHS->map->N = n;
1411202d238SPatrick Farrell   /* Set initial guess to be current state*/
1429d4fc724SLawrence Mitchell   ierr = VecCopy(patch->patchState, patchUpdate);CHKERRQ(ierr);
1431202d238SPatrick Farrell   /* Solve for new state */
1441202d238SPatrick Farrell   ierr = SNESSolve((SNES) patch->solver[i], patchRHS, patchUpdate);CHKERRQ(ierr);
1451202d238SPatrick Farrell   /* To compute update, subtract off previous state */
1469d4fc724SLawrence Mitchell   ierr = VecAXPY(patchUpdate, -1.0, patch->patchState);CHKERRQ(ierr);
1471202d238SPatrick Farrell 
148561742edSMatthew G. Knepley   ierr = PetscLogEventEnd(PC_Patch_Solve, pc, 0, 0, 0);CHKERRQ(ierr);
149561742edSMatthew G. Knepley   PetscFunctionReturn(0);
150561742edSMatthew G. Knepley }
151561742edSMatthew G. Knepley 
152561742edSMatthew G. Knepley static PetscErrorCode PCReset_PATCH_Nonlinear(PC pc)
153561742edSMatthew G. Knepley {
154561742edSMatthew G. Knepley   PC_PATCH      *patch = (PC_PATCH *) pc->data;
155561742edSMatthew G. Knepley   PetscInt       i;
156561742edSMatthew G. Knepley   PetscErrorCode ierr;
157561742edSMatthew G. Knepley 
158561742edSMatthew G. Knepley   PetscFunctionBegin;
159561742edSMatthew G. Knepley   if (patch->solver) {
160561742edSMatthew G. Knepley     for (i = 0; i < patch->npatch; ++i) {ierr = SNESReset((SNES) patch->solver[i]);CHKERRQ(ierr);}
161561742edSMatthew G. Knepley   }
1621202d238SPatrick Farrell 
1639d4fc724SLawrence Mitchell   ierr = VecDestroy(&patch->patchResidual);CHKERRQ(ierr);
1649d4fc724SLawrence Mitchell   ierr = VecDestroy(&patch->patchState);CHKERRQ(ierr);
1659d4fc724SLawrence Mitchell   ierr = VecDestroy(&patch->patchStateWithAll);CHKERRQ(ierr);
16639fd2e8aSPatrick Farrell 
1671202d238SPatrick Farrell   ierr = VecDestroy(&patch->localState);CHKERRQ(ierr);
168561742edSMatthew G. Knepley   PetscFunctionReturn(0);
169561742edSMatthew G. Knepley }
170561742edSMatthew G. Knepley 
171561742edSMatthew G. Knepley static PetscErrorCode PCDestroy_PATCH_Nonlinear(PC pc)
172561742edSMatthew G. Knepley {
173561742edSMatthew G. Knepley   PC_PATCH      *patch = (PC_PATCH *) pc->data;
174561742edSMatthew G. Knepley   PetscInt       i;
175561742edSMatthew G. Knepley   PetscErrorCode ierr;
176561742edSMatthew G. Knepley 
177561742edSMatthew G. Knepley   PetscFunctionBegin;
178561742edSMatthew G. Knepley   if (patch->solver) {
179561742edSMatthew G. Knepley     for (i = 0; i < patch->npatch; ++i) {ierr = SNESDestroy((SNES *) &patch->solver[i]);CHKERRQ(ierr);}
180561742edSMatthew G. Knepley     ierr = PetscFree(patch->solver);CHKERRQ(ierr);
181561742edSMatthew G. Knepley   }
182561742edSMatthew G. Knepley   PetscFunctionReturn(0);
183561742edSMatthew G. Knepley }
184561742edSMatthew G. Knepley 
1856c9c532dSPatrick Farrell static PetscErrorCode PCUpdateMultiplicative_PATCH_Nonlinear(PC pc, PetscInt i, PetscInt pStart)
1866c9c532dSPatrick Farrell {
1876c9c532dSPatrick Farrell   PC_PATCH      *patch = (PC_PATCH *) pc->data;
1886c9c532dSPatrick Farrell   PetscErrorCode ierr;
1896c9c532dSPatrick Farrell 
1904d04e9f1SPatrick Farrell   PetscFunctionBegin;
1919d4fc724SLawrence Mitchell   ierr = PCPatch_ScatterLocal_Private(pc, i + pStart, patch->patchUpdate, patch->localState, ADD_VALUES, SCATTER_REVERSE, SCATTER_INTERIOR);CHKERRQ(ierr);
1924d04e9f1SPatrick Farrell   PetscFunctionReturn(0);
1936c9c532dSPatrick Farrell }
1946c9c532dSPatrick Farrell 
195561742edSMatthew G. Knepley static PetscErrorCode SNESSetUp_Patch(SNES snes)
196561742edSMatthew G. Knepley {
197561742edSMatthew G. Knepley   SNES_Patch    *patch = (SNES_Patch *) snes->data;
198561742edSMatthew G. Knepley   DM             dm;
199561742edSMatthew G. Knepley   Mat            dummy;
200561742edSMatthew G. Knepley   Vec            F;
201561742edSMatthew G. Knepley   PetscInt       n, N;
202561742edSMatthew G. Knepley   PetscErrorCode ierr;
203561742edSMatthew G. Knepley 
204561742edSMatthew G. Knepley   PetscFunctionBegin;
205561742edSMatthew G. Knepley   ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr);
206561742edSMatthew G. Knepley   ierr = PCSetDM(patch->pc, dm);CHKERRQ(ierr);
207561742edSMatthew G. Knepley   ierr = SNESGetFunction(snes, &F, NULL, NULL);CHKERRQ(ierr);
208561742edSMatthew G. Knepley   ierr = VecGetLocalSize(F, &n);CHKERRQ(ierr);
209561742edSMatthew G. Knepley   ierr = VecGetSize(F, &N);CHKERRQ(ierr);
210561742edSMatthew G. Knepley   ierr = MatCreateShell(PetscObjectComm((PetscObject) snes), n, n, N, N, (void *) snes, &dummy);CHKERRQ(ierr);
211561742edSMatthew G. Knepley   ierr = PCSetOperators(patch->pc, dummy, dummy);CHKERRQ(ierr);
212561742edSMatthew G. Knepley   ierr = MatDestroy(&dummy);CHKERRQ(ierr);
213561742edSMatthew G. Knepley   ierr = PCSetUp(patch->pc);CHKERRQ(ierr);
214561742edSMatthew G. Knepley   /* allocate workspace */
215561742edSMatthew G. Knepley   PetscFunctionReturn(0);
216561742edSMatthew G. Knepley }
217561742edSMatthew G. Knepley 
218561742edSMatthew G. Knepley static PetscErrorCode SNESReset_Patch(SNES snes)
219561742edSMatthew G. Knepley {
220561742edSMatthew G. Knepley   SNES_Patch    *patch = (SNES_Patch *) snes->data;
221561742edSMatthew G. Knepley   PetscErrorCode ierr;
222561742edSMatthew G. Knepley 
223561742edSMatthew G. Knepley   PetscFunctionBegin;
224561742edSMatthew G. Knepley   ierr = PCReset(patch->pc);CHKERRQ(ierr);
225561742edSMatthew G. Knepley   PetscFunctionReturn(0);
226561742edSMatthew G. Knepley }
227561742edSMatthew G. Knepley 
228561742edSMatthew G. Knepley static PetscErrorCode SNESDestroy_Patch(SNES snes)
229561742edSMatthew G. Knepley {
230561742edSMatthew G. Knepley   SNES_Patch    *patch = (SNES_Patch *) snes->data;
231561742edSMatthew G. Knepley   PetscErrorCode ierr;
232561742edSMatthew G. Knepley 
233561742edSMatthew G. Knepley   PetscFunctionBegin;
234561742edSMatthew G. Knepley   ierr = SNESReset_Patch(snes);CHKERRQ(ierr);
235561742edSMatthew G. Knepley   ierr = PCDestroy(&patch->pc);CHKERRQ(ierr);
236561742edSMatthew G. Knepley   ierr = PetscFree(snes->data);CHKERRQ(ierr);
237561742edSMatthew G. Knepley   PetscFunctionReturn(0);
238561742edSMatthew G. Knepley }
239561742edSMatthew G. Knepley 
240561742edSMatthew G. Knepley static PetscErrorCode SNESSetFromOptions_Patch(PetscOptionItems *PetscOptionsObject, SNES snes)
241561742edSMatthew G. Knepley {
242561742edSMatthew G. Knepley   SNES_Patch    *patch = (SNES_Patch *) snes->data;
2434aa795a7SPatrick Farrell   const char    *prefix;
244561742edSMatthew G. Knepley   PetscErrorCode ierr;
245561742edSMatthew G. Knepley 
246561742edSMatthew G. Knepley   PetscFunctionBegin;
2474aa795a7SPatrick Farrell   ierr = PetscObjectGetOptionsPrefix((PetscObject)snes, &prefix);CHKERRQ(ierr);
2484aa795a7SPatrick Farrell   ierr = PetscObjectSetOptionsPrefix((PetscObject)patch->pc, prefix);CHKERRQ(ierr);
249561742edSMatthew G. Knepley   ierr = PCSetFromOptions(patch->pc);CHKERRQ(ierr);
250561742edSMatthew G. Knepley   PetscFunctionReturn(0);
251561742edSMatthew G. Knepley }
252561742edSMatthew G. Knepley 
253561742edSMatthew G. Knepley static PetscErrorCode SNESView_Patch(SNES snes,PetscViewer viewer)
254561742edSMatthew G. Knepley {
255561742edSMatthew G. Knepley   SNES_Patch    *patch = (SNES_Patch *) snes->data;
256561742edSMatthew G. Knepley   PetscBool      iascii;
257561742edSMatthew G. Knepley   PetscErrorCode ierr;
258561742edSMatthew G. Knepley 
259561742edSMatthew G. Knepley   PetscFunctionBegin;
260561742edSMatthew G. Knepley   ierr = PetscObjectTypeCompare((PetscObject) viewer, PETSCVIEWERASCII, &iascii);CHKERRQ(ierr);
261561742edSMatthew G. Knepley   if (iascii) {
262af0b0351SPatrick Farrell     ierr = PetscViewerASCIIPrintf(viewer,"SNESPATCH\n");CHKERRQ(ierr);
263561742edSMatthew G. Knepley   }
264561742edSMatthew G. Knepley   ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
265561742edSMatthew G. Knepley   ierr = PCView(patch->pc, viewer);CHKERRQ(ierr);
266561742edSMatthew G. Knepley   ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
267561742edSMatthew G. Knepley   PetscFunctionReturn(0);
268561742edSMatthew G. Knepley }
269561742edSMatthew G. Knepley 
270561742edSMatthew G. Knepley static PetscErrorCode SNESSolve_Patch(SNES snes)
271561742edSMatthew G. Knepley {
272ab270f91SPatrick Farrell   SNES_Patch        *patch = (SNES_Patch *) snes->data;
2731202d238SPatrick Farrell   PC_PATCH          *pcpatch = (PC_PATCH *) patch->pc->data;
274636c62a6SPatrick Farrell   SNESLineSearch    ls;
275636c62a6SPatrick Farrell   Vec               rhs, update, state, residual;
2761202d238SPatrick Farrell   const PetscScalar *globalState  = NULL;
2771202d238SPatrick Farrell   PetscScalar       *localState   = NULL;
278636c62a6SPatrick Farrell   PetscInt          its = 0;
279636c62a6SPatrick Farrell   PetscReal         xnorm = 0.0, ynorm = 0.0, fnorm = 0.0;
2804aa795a7SPatrick Farrell   PetscErrorCode    ierr;
2814aa795a7SPatrick Farrell 
282561742edSMatthew G. Knepley   PetscFunctionBegin;
2831202d238SPatrick Farrell   ierr = SNESGetSolution(snes, &state);CHKERRQ(ierr);
2841202d238SPatrick Farrell   ierr = SNESGetSolutionUpdate(snes, &update);CHKERRQ(ierr);
2851202d238SPatrick Farrell   ierr = SNESGetRhs(snes, &rhs);CHKERRQ(ierr);
2861202d238SPatrick Farrell 
287636c62a6SPatrick Farrell   ierr = SNESGetFunction(snes, &residual, NULL, NULL);CHKERRQ(ierr);
288636c62a6SPatrick Farrell   ierr = SNESGetLineSearch(snes, &ls);CHKERRQ(ierr);
289636c62a6SPatrick Farrell 
290636c62a6SPatrick Farrell   ierr = SNESSetConvergedReason(snes, SNES_CONVERGED_ITERATING);CHKERRQ(ierr);
291636c62a6SPatrick Farrell   ierr = VecSet(update, 0.0);CHKERRQ(ierr);
292636c62a6SPatrick Farrell   ierr = SNESComputeFunction(snes, state, residual);CHKERRQ(ierr);
293636c62a6SPatrick Farrell 
294636c62a6SPatrick Farrell   ierr = VecNorm(state, NORM_2, &xnorm);CHKERRQ(ierr);
295636c62a6SPatrick Farrell   ierr = VecNorm(residual, NORM_2, &fnorm);CHKERRQ(ierr);
296636c62a6SPatrick Farrell   snes->ttol = fnorm*snes->rtol;
297636c62a6SPatrick Farrell 
298636c62a6SPatrick Farrell   if (snes->ops->converged) {
299636c62a6SPatrick Farrell     ierr = (*snes->ops->converged)(snes,its,xnorm,ynorm,fnorm,&snes->reason,snes->cnvP);CHKERRQ(ierr);
300636c62a6SPatrick Farrell   } else {
301636c62a6SPatrick Farrell     ierr = SNESConvergedSkip(snes,its,xnorm,ynorm,fnorm,&snes->reason,0);CHKERRQ(ierr);
302636c62a6SPatrick Farrell   }
303636c62a6SPatrick Farrell   ierr = SNESLogConvergenceHistory(snes, fnorm, 0);CHKERRQ(ierr); /* should we count lits from the patches? */
304636c62a6SPatrick Farrell   ierr = SNESMonitor(snes, its, fnorm);CHKERRQ(ierr);
305636c62a6SPatrick Farrell 
306636c62a6SPatrick Farrell   /* The main solver loop */
307636c62a6SPatrick Farrell   for (its = 0; its < snes->max_its; its++) {
308636c62a6SPatrick Farrell 
309636c62a6SPatrick Farrell     ierr = SNESSetIterationNumber(snes, its);CHKERRQ(ierr);
310636c62a6SPatrick Farrell 
3111202d238SPatrick Farrell     /* Scatter state vector to overlapped vector on all patches.
3121202d238SPatrick Farrell        The vector pcpatch->localState is scattered to each patch
3131202d238SPatrick Farrell        in PCApply_PATCH_Nonlinear. */
3141202d238SPatrick Farrell     ierr = VecGetArrayRead(state, &globalState);CHKERRQ(ierr);
3151202d238SPatrick Farrell     ierr = VecGetArray(pcpatch->localState, &localState);CHKERRQ(ierr);
3161bb6d2a8SBarry Smith     ierr = PetscSFBcastBegin(pcpatch->sectionSF, MPIU_SCALAR, globalState, localState);CHKERRQ(ierr);
3171bb6d2a8SBarry Smith     ierr = PetscSFBcastEnd(pcpatch->sectionSF, MPIU_SCALAR, globalState, localState);CHKERRQ(ierr);
3181202d238SPatrick Farrell     ierr = VecRestoreArray(pcpatch->localState, &localState);CHKERRQ(ierr);
3191202d238SPatrick Farrell     ierr = VecRestoreArrayRead(state, &globalState);CHKERRQ(ierr);
3201202d238SPatrick Farrell 
321636c62a6SPatrick Farrell     /* The looping over patches happens here */
32289d5b078SSatish Balay     ierr = PCApply(patch->pc, rhs, update);CHKERRQ(ierr);
323636c62a6SPatrick Farrell 
324636c62a6SPatrick Farrell     /* Apply a line search. This will often be basic with
325636c62a6SPatrick Farrell        damping = 1/(max number of patches a dof can be in),
326636c62a6SPatrick Farrell        but not always */
327636c62a6SPatrick Farrell     ierr = VecScale(update, -1.0);CHKERRQ(ierr);
328636c62a6SPatrick Farrell     ierr = SNESLineSearchApply(ls, state, residual, &fnorm, update);CHKERRQ(ierr);
329636c62a6SPatrick Farrell 
330636c62a6SPatrick Farrell     ierr = VecNorm(state, NORM_2, &xnorm);CHKERRQ(ierr);
331636c62a6SPatrick Farrell     ierr = VecNorm(update, NORM_2, &ynorm);CHKERRQ(ierr);
332636c62a6SPatrick Farrell 
333636c62a6SPatrick Farrell     if (snes->ops->converged) {
334636c62a6SPatrick Farrell       ierr = (*snes->ops->converged)(snes,its,xnorm,ynorm,fnorm,&snes->reason,snes->cnvP);CHKERRQ(ierr);
335636c62a6SPatrick Farrell     } else {
336636c62a6SPatrick Farrell       ierr = SNESConvergedSkip(snes,its,xnorm,ynorm,fnorm,&snes->reason,0);CHKERRQ(ierr);
337636c62a6SPatrick Farrell     }
338636c62a6SPatrick Farrell     ierr = SNESLogConvergenceHistory(snes, fnorm, 0);CHKERRQ(ierr); /* FIXME: should we count lits? */
339636c62a6SPatrick Farrell     ierr = SNESMonitor(snes, its, fnorm);CHKERRQ(ierr);
3401202d238SPatrick Farrell   }
3411202d238SPatrick Farrell 
342636c62a6SPatrick Farrell   if (its == snes->max_its) { ierr = SNESSetConvergedReason(snes, SNES_DIVERGED_MAX_IT);CHKERRQ(ierr); }
343561742edSMatthew G. Knepley   PetscFunctionReturn(0);
344561742edSMatthew G. Knepley }
345561742edSMatthew G. Knepley 
346561742edSMatthew G. Knepley /*MC
347ab270f91SPatrick Farrell   SNESPATCH - Solve a nonlinear problem by composing together many nonlinear solvers on patches
348561742edSMatthew G. Knepley 
349561742edSMatthew G. Knepley   Level: intermediate
350561742edSMatthew G. Knepley 
351561742edSMatthew G. Knepley .seealso:  SNESCreate(), SNESSetType(), SNESType (for list of available types), SNES,
352561742edSMatthew G. Knepley            PCPATCH
353561742edSMatthew G. Knepley 
354561742edSMatthew G. Knepley    References:
355561742edSMatthew 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
356561742edSMatthew G. Knepley 
357561742edSMatthew G. Knepley M*/
358561742edSMatthew G. Knepley PETSC_EXTERN PetscErrorCode SNESCreate_Patch(SNES snes)
359561742edSMatthew G. Knepley {
360561742edSMatthew G. Knepley   PetscErrorCode ierr;
361561742edSMatthew G. Knepley   SNES_Patch     *patch;
36210534d48SPatrick Farrell   PC_PATCH       *patchpc;
363d8d34be6SBarry Smith   SNESLineSearch linesearch;
364561742edSMatthew G. Knepley 
365561742edSMatthew G. Knepley   PetscFunctionBegin;
366561742edSMatthew G. Knepley   ierr = PetscNewLog(snes, &patch);CHKERRQ(ierr);
367561742edSMatthew G. Knepley 
368561742edSMatthew G. Knepley   snes->ops->solve          = SNESSolve_Patch;
369561742edSMatthew G. Knepley   snes->ops->setup          = SNESSetUp_Patch;
370561742edSMatthew G. Knepley   snes->ops->reset          = SNESReset_Patch;
371561742edSMatthew G. Knepley   snes->ops->destroy        = SNESDestroy_Patch;
372561742edSMatthew G. Knepley   snes->ops->setfromoptions = SNESSetFromOptions_Patch;
373561742edSMatthew G. Knepley   snes->ops->view           = SNESView_Patch;
374561742edSMatthew G. Knepley 
375d8d34be6SBarry Smith   ierr = SNESGetLineSearch(snes,&linesearch);CHKERRQ(ierr);
376d8d34be6SBarry Smith   ierr = SNESLineSearchSetType(linesearch,SNESLINESEARCHBASIC);CHKERRQ(ierr);
377d8d34be6SBarry Smith   snes->usesksp        = PETSC_FALSE;
378d8d34be6SBarry Smith 
379561742edSMatthew G. Knepley   snes->alwayscomputesfinalresidual = PETSC_FALSE;
380561742edSMatthew G. Knepley 
381561742edSMatthew G. Knepley   snes->data = (void *) patch;
382561742edSMatthew G. Knepley   ierr = PCCreate(PetscObjectComm((PetscObject) snes), &patch->pc);CHKERRQ(ierr);
383561742edSMatthew G. Knepley   ierr = PCSetType(patch->pc, PCPATCH);CHKERRQ(ierr);
384561742edSMatthew G. Knepley 
38510534d48SPatrick Farrell   patchpc = (PC_PATCH*) patch->pc->data;
38610534d48SPatrick Farrell   patchpc->classname = "snes";
387debbdec3SPatrick Farrell   patchpc->isNonlinear = PETSC_TRUE;
38810534d48SPatrick Farrell 
38910534d48SPatrick Farrell   patchpc->setupsolver   = PCSetUp_PATCH_Nonlinear;
39010534d48SPatrick Farrell   patchpc->applysolver   = PCApply_PATCH_Nonlinear;
39110534d48SPatrick Farrell   patchpc->resetsolver   = PCReset_PATCH_Nonlinear;
39210534d48SPatrick Farrell   patchpc->destroysolver = PCDestroy_PATCH_Nonlinear;
3936c9c532dSPatrick Farrell   patchpc->updatemultiplicative = PCUpdateMultiplicative_PATCH_Nonlinear;
394561742edSMatthew G. Knepley 
395561742edSMatthew G. Knepley   PetscFunctionReturn(0);
396561742edSMatthew G. Knepley }
3976c270751SPatrick Farrell 
3986c270751SPatrick Farrell PetscErrorCode SNESPatchSetDiscretisationInfo(SNES snes, PetscInt nsubspaces, DM *dms, PetscInt *bs, PetscInt *nodesPerCell, const PetscInt **cellNodeMap,
3996c270751SPatrick Farrell                                             const PetscInt *subspaceOffsets, PetscInt numGhostBcs, const PetscInt *ghostBcNodes, PetscInt numGlobalBcs, const PetscInt *globalBcNodes)
4006c270751SPatrick Farrell {
4016c270751SPatrick Farrell   SNES_Patch     *patch = (SNES_Patch *) snes->data;
4026c270751SPatrick Farrell   PetscErrorCode ierr;
403f08b3ad2SPatrick Farrell   DM             dm;
4046c270751SPatrick Farrell 
4056c270751SPatrick Farrell   PetscFunctionBegin;
406f08b3ad2SPatrick Farrell   ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr);
407f08b3ad2SPatrick Farrell   if (!dm) SETERRQ(PetscObjectComm((PetscObject)snes), PETSC_ERR_ARG_WRONGSTATE, "DM not yet set on patch SNES\n");
408f08b3ad2SPatrick Farrell   ierr = PCSetDM(patch->pc, dm);CHKERRQ(ierr);
4096c270751SPatrick Farrell   ierr = PCPatchSetDiscretisationInfo(patch->pc, nsubspaces, dms, bs, nodesPerCell, cellNodeMap, subspaceOffsets, numGhostBcs, ghostBcNodes, numGlobalBcs, globalBcNodes);CHKERRQ(ierr);
4106c270751SPatrick Farrell   PetscFunctionReturn(0);
4116c270751SPatrick Farrell }
4126c270751SPatrick Farrell 
4134d04e9f1SPatrick Farrell PetscErrorCode SNESPatchSetComputeOperator(SNES snes, PetscErrorCode (*func)(PC, PetscInt, Vec, Mat, IS, PetscInt, const PetscInt *, const PetscInt *, void *), void *ctx)
4146c270751SPatrick Farrell {
4156c270751SPatrick Farrell   SNES_Patch    *patch = (SNES_Patch *) snes->data;
4166c270751SPatrick Farrell   PetscErrorCode ierr;
4176c270751SPatrick Farrell 
4186c270751SPatrick Farrell   PetscFunctionBegin;
4196c270751SPatrick Farrell   ierr = PCPatchSetComputeOperator(patch->pc, func, ctx);CHKERRQ(ierr);
4206c270751SPatrick Farrell   PetscFunctionReturn(0);
4216c270751SPatrick Farrell }
4226c270751SPatrick Farrell 
42339fd2e8aSPatrick Farrell PetscErrorCode SNESPatchSetComputeFunction(SNES snes, PetscErrorCode (*func)(PC, PetscInt, Vec, Vec, IS, PetscInt, const PetscInt *, const PetscInt *, void *), void *ctx)
4246c270751SPatrick Farrell {
4256c270751SPatrick Farrell   SNES_Patch    *patch = (SNES_Patch *) snes->data;
4266c270751SPatrick Farrell   PetscErrorCode ierr;
4276c270751SPatrick Farrell 
4286c270751SPatrick Farrell   PetscFunctionBegin;
4296c270751SPatrick Farrell   ierr = PCPatchSetComputeFunction(patch->pc, func, ctx);CHKERRQ(ierr);
4306c270751SPatrick Farrell   PetscFunctionReturn(0);
4316c270751SPatrick Farrell }
4326c270751SPatrick Farrell 
4336c270751SPatrick Farrell PetscErrorCode SNESPatchSetConstructType(SNES snes, PCPatchConstructType ctype, PetscErrorCode (*func)(PC, PetscInt *, IS **, IS *, void *), void *ctx)
4346c270751SPatrick Farrell {
4356c270751SPatrick Farrell   SNES_Patch    *patch = (SNES_Patch *) snes->data;
4366c270751SPatrick Farrell   PetscErrorCode ierr;
4376c270751SPatrick Farrell 
4386c270751SPatrick Farrell   PetscFunctionBegin;
4396c270751SPatrick Farrell   ierr = PCPatchSetConstructType(patch->pc, ctype, func, ctx);CHKERRQ(ierr);
4406c270751SPatrick Farrell   PetscFunctionReturn(0);
4416c270751SPatrick Farrell }
4426c270751SPatrick Farrell 
4436c270751SPatrick Farrell PetscErrorCode SNESPatchSetCellNumbering(SNES snes, PetscSection cellNumbering)
4446c270751SPatrick Farrell {
4456c270751SPatrick Farrell   SNES_Patch    *patch = (SNES_Patch *) snes->data;
4466c270751SPatrick Farrell   PetscErrorCode ierr;
4476c270751SPatrick Farrell 
4486c270751SPatrick Farrell   PetscFunctionBegin;
4496c270751SPatrick Farrell   ierr = PCPatchSetCellNumbering(patch->pc, cellNumbering);CHKERRQ(ierr);
4506c270751SPatrick Farrell   PetscFunctionReturn(0);
4516c270751SPatrick Farrell }
452