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