1 #include <petsc/private/dmpleximpl.h> /*I "petscdmplex.h" I*/ 2 #include <petsc/private/snesimpl.h> /*I "petscsnes.h" I*/ 3 #include <petscds.h> 4 #include <petscblaslapack.h> 5 #include <petsc/private/petscimpl.h> 6 #include <petsc/private/petscfeimpl.h> 7 8 /************************** Interpolation *******************************/ 9 10 #undef __FUNCT__ 11 #define __FUNCT__ "DMSNESConvertPlex" 12 static PetscErrorCode DMSNESConvertPlex(DM dm, DM *plex, PetscBool copy) 13 { 14 PetscBool isPlex; 15 PetscErrorCode ierr; 16 17 PetscFunctionBegin; 18 ierr = PetscObjectTypeCompare((PetscObject) dm, DMPLEX, &isPlex);CHKERRQ(ierr); 19 if (isPlex) { 20 *plex = dm; 21 ierr = PetscObjectReference((PetscObject) dm);CHKERRQ(ierr); 22 } else { 23 ierr = PetscObjectQuery((PetscObject) dm, "dm_plex", (PetscObject *) plex);CHKERRQ(ierr); 24 if (!*plex) { 25 ierr = DMConvert(dm,DMPLEX,plex);CHKERRQ(ierr); 26 ierr = PetscObjectCompose((PetscObject) dm, "dm_plex", (PetscObject) *plex);CHKERRQ(ierr); 27 if (copy) { 28 PetscInt i; 29 PetscObject obj; 30 const char *comps[3] = {"A","dmAux","dmCh"}; 31 32 ierr = DMCopyDMSNES(dm, *plex);CHKERRQ(ierr); 33 for (i = 0; i < 3; i++) { 34 ierr = PetscObjectQuery((PetscObject) dm, comps[i], &obj);CHKERRQ(ierr); 35 ierr = PetscObjectCompose((PetscObject) *plex, comps[i], obj);CHKERRQ(ierr); 36 } 37 } 38 } else { 39 ierr = PetscObjectReference((PetscObject) *plex);CHKERRQ(ierr); 40 } 41 } 42 PetscFunctionReturn(0); 43 } 44 45 #undef __FUNCT__ 46 #define __FUNCT__ "DMInterpolationCreate" 47 PetscErrorCode DMInterpolationCreate(MPI_Comm comm, DMInterpolationInfo *ctx) 48 { 49 PetscErrorCode ierr; 50 51 PetscFunctionBegin; 52 PetscValidPointer(ctx, 2); 53 ierr = PetscNew(ctx);CHKERRQ(ierr); 54 55 (*ctx)->comm = comm; 56 (*ctx)->dim = -1; 57 (*ctx)->nInput = 0; 58 (*ctx)->points = NULL; 59 (*ctx)->cells = NULL; 60 (*ctx)->n = -1; 61 (*ctx)->coords = NULL; 62 PetscFunctionReturn(0); 63 } 64 65 #undef __FUNCT__ 66 #define __FUNCT__ "DMInterpolationSetDim" 67 PetscErrorCode DMInterpolationSetDim(DMInterpolationInfo ctx, PetscInt dim) 68 { 69 PetscFunctionBegin; 70 if ((dim < 1) || (dim > 3)) SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Invalid dimension for points: %d", dim); 71 ctx->dim = dim; 72 PetscFunctionReturn(0); 73 } 74 75 #undef __FUNCT__ 76 #define __FUNCT__ "DMInterpolationGetDim" 77 PetscErrorCode DMInterpolationGetDim(DMInterpolationInfo ctx, PetscInt *dim) 78 { 79 PetscFunctionBegin; 80 PetscValidIntPointer(dim, 2); 81 *dim = ctx->dim; 82 PetscFunctionReturn(0); 83 } 84 85 #undef __FUNCT__ 86 #define __FUNCT__ "DMInterpolationSetDof" 87 PetscErrorCode DMInterpolationSetDof(DMInterpolationInfo ctx, PetscInt dof) 88 { 89 PetscFunctionBegin; 90 if (dof < 1) SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Invalid number of components: %d", dof); 91 ctx->dof = dof; 92 PetscFunctionReturn(0); 93 } 94 95 #undef __FUNCT__ 96 #define __FUNCT__ "DMInterpolationGetDof" 97 PetscErrorCode DMInterpolationGetDof(DMInterpolationInfo ctx, PetscInt *dof) 98 { 99 PetscFunctionBegin; 100 PetscValidIntPointer(dof, 2); 101 *dof = ctx->dof; 102 PetscFunctionReturn(0); 103 } 104 105 #undef __FUNCT__ 106 #define __FUNCT__ "DMInterpolationAddPoints" 107 PetscErrorCode DMInterpolationAddPoints(DMInterpolationInfo ctx, PetscInt n, PetscReal points[]) 108 { 109 PetscErrorCode ierr; 110 111 PetscFunctionBegin; 112 if (ctx->dim < 0) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The spatial dimension has not been set"); 113 if (ctx->points) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "Cannot add points multiple times yet"); 114 ctx->nInput = n; 115 116 ierr = PetscMalloc1(n*ctx->dim, &ctx->points);CHKERRQ(ierr); 117 ierr = PetscMemcpy(ctx->points, points, n*ctx->dim * sizeof(PetscReal));CHKERRQ(ierr); 118 PetscFunctionReturn(0); 119 } 120 121 #undef __FUNCT__ 122 #define __FUNCT__ "DMInterpolationSetUp" 123 PetscErrorCode DMInterpolationSetUp(DMInterpolationInfo ctx, DM dm, PetscBool redundantPoints) 124 { 125 MPI_Comm comm = ctx->comm; 126 PetscScalar *a; 127 PetscInt p, q, i; 128 PetscMPIInt rank, size; 129 PetscErrorCode ierr; 130 Vec pointVec; 131 PetscSF cellSF; 132 PetscLayout layout; 133 PetscReal *globalPoints; 134 PetscScalar *globalPointsScalar; 135 const PetscInt *ranges; 136 PetscMPIInt *counts, *displs; 137 const PetscSFNode *foundCells; 138 const PetscInt *foundPoints; 139 PetscMPIInt *foundProcs, *globalProcs; 140 PetscInt n, N, numFound; 141 142 PetscFunctionBegin; 143 PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 144 ierr = MPI_Comm_size(comm, &size);CHKERRQ(ierr); 145 ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 146 if (ctx->dim < 0) SETERRQ(comm, PETSC_ERR_ARG_WRONGSTATE, "The spatial dimension has not been set"); 147 /* Locate points */ 148 n = ctx->nInput; 149 if (!redundantPoints) { 150 ierr = PetscLayoutCreate(comm, &layout);CHKERRQ(ierr); 151 ierr = PetscLayoutSetBlockSize(layout, 1);CHKERRQ(ierr); 152 ierr = PetscLayoutSetLocalSize(layout, n);CHKERRQ(ierr); 153 ierr = PetscLayoutSetUp(layout);CHKERRQ(ierr); 154 ierr = PetscLayoutGetSize(layout, &N);CHKERRQ(ierr); 155 /* Communicate all points to all processes */ 156 ierr = PetscMalloc3(N*ctx->dim,&globalPoints,size,&counts,size,&displs);CHKERRQ(ierr); 157 ierr = PetscLayoutGetRanges(layout, &ranges);CHKERRQ(ierr); 158 for (p = 0; p < size; ++p) { 159 counts[p] = (ranges[p+1] - ranges[p])*ctx->dim; 160 displs[p] = ranges[p]*ctx->dim; 161 } 162 ierr = MPI_Allgatherv(ctx->points, n*ctx->dim, MPIU_REAL, globalPoints, counts, displs, MPIU_REAL, comm);CHKERRQ(ierr); 163 } else { 164 N = n; 165 globalPoints = ctx->points; 166 counts = displs = NULL; 167 layout = NULL; 168 } 169 #if 0 170 ierr = PetscMalloc3(N,&foundCells,N,&foundProcs,N,&globalProcs);CHKERRQ(ierr); 171 /* foundCells[p] = m->locatePoint(&globalPoints[p*ctx->dim]); */ 172 #else 173 #if defined(PETSC_USE_COMPLEX) 174 ierr = PetscMalloc1(N,&globalPointsScalar);CHKERRQ(ierr); 175 for (i=0; i<N; i++) globalPointsScalar[i] = globalPoints[i]; 176 #else 177 globalPointsScalar = globalPoints; 178 #endif 179 ierr = VecCreateSeqWithArray(PETSC_COMM_SELF, ctx->dim, N*ctx->dim, globalPointsScalar, &pointVec);CHKERRQ(ierr); 180 ierr = PetscMalloc2(N,&foundProcs,N,&globalProcs);CHKERRQ(ierr); 181 for (p = 0; p < N; ++p) {foundProcs[p] = size;} 182 cellSF = NULL; 183 ierr = DMLocatePoints(dm, pointVec, DM_POINTLOCATION_REMOVE, &cellSF);CHKERRQ(ierr); 184 ierr = PetscSFGetGraph(cellSF,NULL,&numFound,&foundPoints,&foundCells);CHKERRQ(ierr); 185 #endif 186 for (p = 0; p < numFound; ++p) { 187 if (foundCells[p].index >= 0) foundProcs[foundPoints ? foundPoints[p] : p] = rank; 188 } 189 /* Let the lowest rank process own each point */ 190 ierr = MPIU_Allreduce(foundProcs, globalProcs, N, MPI_INT, MPI_MIN, comm);CHKERRQ(ierr); 191 ctx->n = 0; 192 for (p = 0; p < N; ++p) { 193 if (globalProcs[p] == size) SETERRQ4(comm, PETSC_ERR_PLIB, "Point %d: %g %g %g not located in mesh", p, globalPoints[p*ctx->dim+0], ctx->dim > 1 ? globalPoints[p*ctx->dim+1] : 0.0, ctx->dim > 2 ? globalPoints[p*ctx->dim+2] : 0.0); 194 else if (globalProcs[p] == rank) ctx->n++; 195 } 196 /* Create coordinates vector and array of owned cells */ 197 ierr = PetscMalloc1(ctx->n, &ctx->cells);CHKERRQ(ierr); 198 ierr = VecCreate(comm, &ctx->coords);CHKERRQ(ierr); 199 ierr = VecSetSizes(ctx->coords, ctx->n*ctx->dim, PETSC_DECIDE);CHKERRQ(ierr); 200 ierr = VecSetBlockSize(ctx->coords, ctx->dim);CHKERRQ(ierr); 201 ierr = VecSetType(ctx->coords,VECSTANDARD);CHKERRQ(ierr); 202 ierr = VecGetArray(ctx->coords, &a);CHKERRQ(ierr); 203 for (p = 0, q = 0, i = 0; p < N; ++p) { 204 if (globalProcs[p] == rank) { 205 PetscInt d; 206 207 for (d = 0; d < ctx->dim; ++d, ++i) a[i] = globalPoints[p*ctx->dim+d]; 208 ctx->cells[q++] = foundCells[p].index; 209 } 210 } 211 ierr = VecRestoreArray(ctx->coords, &a);CHKERRQ(ierr); 212 #if 0 213 ierr = PetscFree3(foundCells,foundProcs,globalProcs);CHKERRQ(ierr); 214 #else 215 ierr = PetscFree2(foundProcs,globalProcs);CHKERRQ(ierr); 216 ierr = PetscSFDestroy(&cellSF);CHKERRQ(ierr); 217 ierr = VecDestroy(&pointVec);CHKERRQ(ierr); 218 #endif 219 if ((void*)globalPointsScalar != (void*)globalPoints) {ierr = PetscFree(globalPointsScalar);CHKERRQ(ierr);} 220 if (!redundantPoints) {ierr = PetscFree3(globalPoints,counts,displs);CHKERRQ(ierr);} 221 ierr = PetscLayoutDestroy(&layout);CHKERRQ(ierr); 222 PetscFunctionReturn(0); 223 } 224 225 #undef __FUNCT__ 226 #define __FUNCT__ "DMInterpolationGetCoordinates" 227 PetscErrorCode DMInterpolationGetCoordinates(DMInterpolationInfo ctx, Vec *coordinates) 228 { 229 PetscFunctionBegin; 230 PetscValidPointer(coordinates, 2); 231 if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup."); 232 *coordinates = ctx->coords; 233 PetscFunctionReturn(0); 234 } 235 236 #undef __FUNCT__ 237 #define __FUNCT__ "DMInterpolationGetVector" 238 PetscErrorCode DMInterpolationGetVector(DMInterpolationInfo ctx, Vec *v) 239 { 240 PetscErrorCode ierr; 241 242 PetscFunctionBegin; 243 PetscValidPointer(v, 2); 244 if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup."); 245 ierr = VecCreate(ctx->comm, v);CHKERRQ(ierr); 246 ierr = VecSetSizes(*v, ctx->n*ctx->dof, PETSC_DECIDE);CHKERRQ(ierr); 247 ierr = VecSetBlockSize(*v, ctx->dof);CHKERRQ(ierr); 248 ierr = VecSetType(*v,VECSTANDARD);CHKERRQ(ierr); 249 PetscFunctionReturn(0); 250 } 251 252 #undef __FUNCT__ 253 #define __FUNCT__ "DMInterpolationRestoreVector" 254 PetscErrorCode DMInterpolationRestoreVector(DMInterpolationInfo ctx, Vec *v) 255 { 256 PetscErrorCode ierr; 257 258 PetscFunctionBegin; 259 PetscValidPointer(v, 2); 260 if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup."); 261 ierr = VecDestroy(v);CHKERRQ(ierr); 262 PetscFunctionReturn(0); 263 } 264 265 #undef __FUNCT__ 266 #define __FUNCT__ "DMInterpolate_Triangle_Private" 267 PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Triangle_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 268 { 269 PetscReal *v0, *J, *invJ, detJ; 270 const PetscScalar *coords; 271 PetscScalar *a; 272 PetscInt p; 273 PetscErrorCode ierr; 274 275 PetscFunctionBegin; 276 ierr = PetscMalloc3(ctx->dim,&v0,ctx->dim*ctx->dim,&J,ctx->dim*ctx->dim,&invJ);CHKERRQ(ierr); 277 ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 278 ierr = VecGetArray(v, &a);CHKERRQ(ierr); 279 for (p = 0; p < ctx->n; ++p) { 280 PetscInt c = ctx->cells[p]; 281 PetscScalar *x = NULL; 282 PetscReal xi[4]; 283 PetscInt d, f, comp; 284 285 ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr); 286 if (detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", detJ, c); 287 ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 288 for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] = x[0*ctx->dof+comp]; 289 290 for (d = 0; d < ctx->dim; ++d) { 291 xi[d] = 0.0; 292 for (f = 0; f < ctx->dim; ++f) xi[d] += invJ[d*ctx->dim+f]*0.5*PetscRealPart(coords[p*ctx->dim+f] - v0[f]); 293 for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] += PetscRealPart(x[(d+1)*ctx->dof+comp] - x[0*ctx->dof+comp])*xi[d]; 294 } 295 ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 296 } 297 ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 298 ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 299 ierr = PetscFree3(v0, J, invJ);CHKERRQ(ierr); 300 PetscFunctionReturn(0); 301 } 302 303 #undef __FUNCT__ 304 #define __FUNCT__ "DMInterpolate_Tetrahedron_Private" 305 PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Tetrahedron_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 306 { 307 PetscReal *v0, *J, *invJ, detJ; 308 const PetscScalar *coords; 309 PetscScalar *a; 310 PetscInt p; 311 PetscErrorCode ierr; 312 313 PetscFunctionBegin; 314 ierr = PetscMalloc3(ctx->dim,&v0,ctx->dim*ctx->dim,&J,ctx->dim*ctx->dim,&invJ);CHKERRQ(ierr); 315 ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 316 ierr = VecGetArray(v, &a);CHKERRQ(ierr); 317 for (p = 0; p < ctx->n; ++p) { 318 PetscInt c = ctx->cells[p]; 319 const PetscInt order[3] = {2, 1, 3}; 320 PetscScalar *x = NULL; 321 PetscReal xi[4]; 322 PetscInt d, f, comp; 323 324 ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr); 325 if (detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", detJ, c); 326 ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 327 for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] = x[0*ctx->dof+comp]; 328 329 for (d = 0; d < ctx->dim; ++d) { 330 xi[d] = 0.0; 331 for (f = 0; f < ctx->dim; ++f) xi[d] += invJ[d*ctx->dim+f]*0.5*PetscRealPart(coords[p*ctx->dim+f] - v0[f]); 332 for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] += PetscRealPart(x[order[d]*ctx->dof+comp] - x[0*ctx->dof+comp])*xi[d]; 333 } 334 ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 335 } 336 ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 337 ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 338 ierr = PetscFree3(v0, J, invJ);CHKERRQ(ierr); 339 PetscFunctionReturn(0); 340 } 341 342 #undef __FUNCT__ 343 #define __FUNCT__ "QuadMap_Private" 344 PETSC_STATIC_INLINE PetscErrorCode QuadMap_Private(SNES snes, Vec Xref, Vec Xreal, void *ctx) 345 { 346 const PetscScalar *vertices = (const PetscScalar*) ctx; 347 const PetscScalar x0 = vertices[0]; 348 const PetscScalar y0 = vertices[1]; 349 const PetscScalar x1 = vertices[2]; 350 const PetscScalar y1 = vertices[3]; 351 const PetscScalar x2 = vertices[4]; 352 const PetscScalar y2 = vertices[5]; 353 const PetscScalar x3 = vertices[6]; 354 const PetscScalar y3 = vertices[7]; 355 const PetscScalar f_1 = x1 - x0; 356 const PetscScalar g_1 = y1 - y0; 357 const PetscScalar f_3 = x3 - x0; 358 const PetscScalar g_3 = y3 - y0; 359 const PetscScalar f_01 = x2 - x1 - x3 + x0; 360 const PetscScalar g_01 = y2 - y1 - y3 + y0; 361 const PetscScalar *ref; 362 PetscScalar *real; 363 PetscErrorCode ierr; 364 365 PetscFunctionBegin; 366 ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 367 ierr = VecGetArray(Xreal, &real);CHKERRQ(ierr); 368 { 369 const PetscScalar p0 = ref[0]; 370 const PetscScalar p1 = ref[1]; 371 372 real[0] = x0 + f_1 * p0 + f_3 * p1 + f_01 * p0 * p1; 373 real[1] = y0 + g_1 * p0 + g_3 * p1 + g_01 * p0 * p1; 374 } 375 ierr = PetscLogFlops(28);CHKERRQ(ierr); 376 ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 377 ierr = VecRestoreArray(Xreal, &real);CHKERRQ(ierr); 378 PetscFunctionReturn(0); 379 } 380 381 #include <petsc/private/dmimpl.h> 382 #undef __FUNCT__ 383 #define __FUNCT__ "QuadJacobian_Private" 384 PETSC_STATIC_INLINE PetscErrorCode QuadJacobian_Private(SNES snes, Vec Xref, Mat J, Mat M, void *ctx) 385 { 386 const PetscScalar *vertices = (const PetscScalar*) ctx; 387 const PetscScalar x0 = vertices[0]; 388 const PetscScalar y0 = vertices[1]; 389 const PetscScalar x1 = vertices[2]; 390 const PetscScalar y1 = vertices[3]; 391 const PetscScalar x2 = vertices[4]; 392 const PetscScalar y2 = vertices[5]; 393 const PetscScalar x3 = vertices[6]; 394 const PetscScalar y3 = vertices[7]; 395 const PetscScalar f_01 = x2 - x1 - x3 + x0; 396 const PetscScalar g_01 = y2 - y1 - y3 + y0; 397 const PetscScalar *ref; 398 PetscErrorCode ierr; 399 400 PetscFunctionBegin; 401 ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 402 { 403 const PetscScalar x = ref[0]; 404 const PetscScalar y = ref[1]; 405 const PetscInt rows[2] = {0, 1}; 406 PetscScalar values[4]; 407 408 values[0] = (x1 - x0 + f_01*y) * 0.5; values[1] = (x3 - x0 + f_01*x) * 0.5; 409 values[2] = (y1 - y0 + g_01*y) * 0.5; values[3] = (y3 - y0 + g_01*x) * 0.5; 410 ierr = MatSetValues(J, 2, rows, 2, rows, values, INSERT_VALUES);CHKERRQ(ierr); 411 } 412 ierr = PetscLogFlops(30);CHKERRQ(ierr); 413 ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 414 ierr = MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 415 ierr = MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 416 PetscFunctionReturn(0); 417 } 418 419 #undef __FUNCT__ 420 #define __FUNCT__ "DMInterpolate_Quad_Private" 421 PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Quad_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 422 { 423 DM dmCoord; 424 PetscFE fem; 425 SNES snes; 426 KSP ksp; 427 PC pc; 428 Vec coordsLocal, r, ref, real; 429 Mat J; 430 const PetscScalar *coords; 431 PetscScalar *a; 432 PetscInt p; 433 const PetscInt dof = ctx->dof; 434 PetscErrorCode ierr; 435 436 PetscFunctionBegin; 437 ierr = DMGetField(dm, 0, (PetscObject *) &fem);CHKERRQ(ierr); 438 ierr = DMGetCoordinatesLocal(dm, &coordsLocal);CHKERRQ(ierr); 439 ierr = DMGetCoordinateDM(dm, &dmCoord);CHKERRQ(ierr); 440 ierr = SNESCreate(PETSC_COMM_SELF, &snes);CHKERRQ(ierr); 441 ierr = SNESSetOptionsPrefix(snes, "quad_interp_");CHKERRQ(ierr); 442 ierr = VecCreate(PETSC_COMM_SELF, &r);CHKERRQ(ierr); 443 ierr = VecSetSizes(r, 2, 2);CHKERRQ(ierr); 444 ierr = VecSetType(r,dm->vectype);CHKERRQ(ierr); 445 ierr = VecDuplicate(r, &ref);CHKERRQ(ierr); 446 ierr = VecDuplicate(r, &real);CHKERRQ(ierr); 447 ierr = MatCreate(PETSC_COMM_SELF, &J);CHKERRQ(ierr); 448 ierr = MatSetSizes(J, 2, 2, 2, 2);CHKERRQ(ierr); 449 ierr = MatSetType(J, MATSEQDENSE);CHKERRQ(ierr); 450 ierr = MatSetUp(J);CHKERRQ(ierr); 451 ierr = SNESSetFunction(snes, r, QuadMap_Private, NULL);CHKERRQ(ierr); 452 ierr = SNESSetJacobian(snes, J, J, QuadJacobian_Private, NULL);CHKERRQ(ierr); 453 ierr = SNESGetKSP(snes, &ksp);CHKERRQ(ierr); 454 ierr = KSPGetPC(ksp, &pc);CHKERRQ(ierr); 455 ierr = PCSetType(pc, PCLU);CHKERRQ(ierr); 456 ierr = SNESSetFromOptions(snes);CHKERRQ(ierr); 457 458 ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 459 ierr = VecGetArray(v, &a);CHKERRQ(ierr); 460 for (p = 0; p < ctx->n; ++p) { 461 PetscScalar *x = NULL, *vertices = NULL; 462 PetscScalar *xi; 463 PetscReal xir[2]; 464 PetscInt c = ctx->cells[p], comp, coordSize, xSize; 465 466 /* Can make this do all points at once */ 467 ierr = DMPlexVecGetClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 468 if (4*2 != coordSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", coordSize, 4*2); 469 ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 470 ierr = SNESSetFunction(snes, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 471 ierr = SNESSetJacobian(snes, NULL, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 472 ierr = VecGetArray(real, &xi);CHKERRQ(ierr); 473 xi[0] = coords[p*ctx->dim+0]; 474 xi[1] = coords[p*ctx->dim+1]; 475 ierr = VecRestoreArray(real, &xi);CHKERRQ(ierr); 476 ierr = SNESSolve(snes, real, ref);CHKERRQ(ierr); 477 ierr = VecGetArray(ref, &xi);CHKERRQ(ierr); 478 xir[0] = PetscRealPart(xi[0]); 479 xir[1] = PetscRealPart(xi[1]); 480 if (4*dof != xSize) { 481 PetscReal *B; 482 PetscInt d; 483 484 xir[0] = 2.0*xir[0] - 1.0; xir[1] = 2.0*xir[1] - 1.0; 485 ierr = PetscFEGetTabulation(fem, 1, xir, &B, NULL, NULL);CHKERRQ(ierr); 486 for (comp = 0; comp < dof; ++comp) { 487 a[p*dof+comp] = 0.0; 488 for (d = 0; d < xSize/dof; ++d) { 489 a[p*dof+comp] += x[d*dof+comp]*B[d*dof+comp]; 490 } 491 } 492 ierr = PetscFERestoreTabulation(fem, 1, xir, &B, NULL, NULL);CHKERRQ(ierr); 493 } else { 494 for (comp = 0; comp < dof; ++comp) 495 a[p*dof+comp] = x[0*dof+comp]*(1 - xir[0])*(1 - xir[1]) + x[1*dof+comp]*xir[0]*(1 - xir[1]) + x[2*dof+comp]*xir[0]*xir[1] + x[3*dof+comp]*(1 - xir[0])*xir[1]; 496 } 497 ierr = VecRestoreArray(ref, &xi);CHKERRQ(ierr); 498 ierr = DMPlexVecRestoreClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 499 ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 500 } 501 ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 502 ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 503 504 ierr = SNESDestroy(&snes);CHKERRQ(ierr); 505 ierr = VecDestroy(&r);CHKERRQ(ierr); 506 ierr = VecDestroy(&ref);CHKERRQ(ierr); 507 ierr = VecDestroy(&real);CHKERRQ(ierr); 508 ierr = MatDestroy(&J);CHKERRQ(ierr); 509 PetscFunctionReturn(0); 510 } 511 512 #undef __FUNCT__ 513 #define __FUNCT__ "HexMap_Private" 514 PETSC_STATIC_INLINE PetscErrorCode HexMap_Private(SNES snes, Vec Xref, Vec Xreal, void *ctx) 515 { 516 const PetscScalar *vertices = (const PetscScalar*) ctx; 517 const PetscScalar x0 = vertices[0]; 518 const PetscScalar y0 = vertices[1]; 519 const PetscScalar z0 = vertices[2]; 520 const PetscScalar x1 = vertices[9]; 521 const PetscScalar y1 = vertices[10]; 522 const PetscScalar z1 = vertices[11]; 523 const PetscScalar x2 = vertices[6]; 524 const PetscScalar y2 = vertices[7]; 525 const PetscScalar z2 = vertices[8]; 526 const PetscScalar x3 = vertices[3]; 527 const PetscScalar y3 = vertices[4]; 528 const PetscScalar z3 = vertices[5]; 529 const PetscScalar x4 = vertices[12]; 530 const PetscScalar y4 = vertices[13]; 531 const PetscScalar z4 = vertices[14]; 532 const PetscScalar x5 = vertices[15]; 533 const PetscScalar y5 = vertices[16]; 534 const PetscScalar z5 = vertices[17]; 535 const PetscScalar x6 = vertices[18]; 536 const PetscScalar y6 = vertices[19]; 537 const PetscScalar z6 = vertices[20]; 538 const PetscScalar x7 = vertices[21]; 539 const PetscScalar y7 = vertices[22]; 540 const PetscScalar z7 = vertices[23]; 541 const PetscScalar f_1 = x1 - x0; 542 const PetscScalar g_1 = y1 - y0; 543 const PetscScalar h_1 = z1 - z0; 544 const PetscScalar f_3 = x3 - x0; 545 const PetscScalar g_3 = y3 - y0; 546 const PetscScalar h_3 = z3 - z0; 547 const PetscScalar f_4 = x4 - x0; 548 const PetscScalar g_4 = y4 - y0; 549 const PetscScalar h_4 = z4 - z0; 550 const PetscScalar f_01 = x2 - x1 - x3 + x0; 551 const PetscScalar g_01 = y2 - y1 - y3 + y0; 552 const PetscScalar h_01 = z2 - z1 - z3 + z0; 553 const PetscScalar f_12 = x7 - x3 - x4 + x0; 554 const PetscScalar g_12 = y7 - y3 - y4 + y0; 555 const PetscScalar h_12 = z7 - z3 - z4 + z0; 556 const PetscScalar f_02 = x5 - x1 - x4 + x0; 557 const PetscScalar g_02 = y5 - y1 - y4 + y0; 558 const PetscScalar h_02 = z5 - z1 - z4 + z0; 559 const PetscScalar f_012 = x6 - x0 + x1 - x2 + x3 + x4 - x5 - x7; 560 const PetscScalar g_012 = y6 - y0 + y1 - y2 + y3 + y4 - y5 - y7; 561 const PetscScalar h_012 = z6 - z0 + z1 - z2 + z3 + z4 - z5 - z7; 562 const PetscScalar *ref; 563 PetscScalar *real; 564 PetscErrorCode ierr; 565 566 PetscFunctionBegin; 567 ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 568 ierr = VecGetArray(Xreal, &real);CHKERRQ(ierr); 569 { 570 const PetscScalar p0 = ref[0]; 571 const PetscScalar p1 = ref[1]; 572 const PetscScalar p2 = ref[2]; 573 574 real[0] = x0 + f_1*p0 + f_3*p1 + f_4*p2 + f_01*p0*p1 + f_12*p1*p2 + f_02*p0*p2 + f_012*p0*p1*p2; 575 real[1] = y0 + g_1*p0 + g_3*p1 + g_4*p2 + g_01*p0*p1 + g_01*p0*p1 + g_12*p1*p2 + g_02*p0*p2 + g_012*p0*p1*p2; 576 real[2] = z0 + h_1*p0 + h_3*p1 + h_4*p2 + h_01*p0*p1 + h_01*p0*p1 + h_12*p1*p2 + h_02*p0*p2 + h_012*p0*p1*p2; 577 } 578 ierr = PetscLogFlops(114);CHKERRQ(ierr); 579 ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 580 ierr = VecRestoreArray(Xreal, &real);CHKERRQ(ierr); 581 PetscFunctionReturn(0); 582 } 583 584 #undef __FUNCT__ 585 #define __FUNCT__ "HexJacobian_Private" 586 PETSC_STATIC_INLINE PetscErrorCode HexJacobian_Private(SNES snes, Vec Xref, Mat J, Mat M, void *ctx) 587 { 588 const PetscScalar *vertices = (const PetscScalar*) ctx; 589 const PetscScalar x0 = vertices[0]; 590 const PetscScalar y0 = vertices[1]; 591 const PetscScalar z0 = vertices[2]; 592 const PetscScalar x1 = vertices[9]; 593 const PetscScalar y1 = vertices[10]; 594 const PetscScalar z1 = vertices[11]; 595 const PetscScalar x2 = vertices[6]; 596 const PetscScalar y2 = vertices[7]; 597 const PetscScalar z2 = vertices[8]; 598 const PetscScalar x3 = vertices[3]; 599 const PetscScalar y3 = vertices[4]; 600 const PetscScalar z3 = vertices[5]; 601 const PetscScalar x4 = vertices[12]; 602 const PetscScalar y4 = vertices[13]; 603 const PetscScalar z4 = vertices[14]; 604 const PetscScalar x5 = vertices[15]; 605 const PetscScalar y5 = vertices[16]; 606 const PetscScalar z5 = vertices[17]; 607 const PetscScalar x6 = vertices[18]; 608 const PetscScalar y6 = vertices[19]; 609 const PetscScalar z6 = vertices[20]; 610 const PetscScalar x7 = vertices[21]; 611 const PetscScalar y7 = vertices[22]; 612 const PetscScalar z7 = vertices[23]; 613 const PetscScalar f_xy = x2 - x1 - x3 + x0; 614 const PetscScalar g_xy = y2 - y1 - y3 + y0; 615 const PetscScalar h_xy = z2 - z1 - z3 + z0; 616 const PetscScalar f_yz = x7 - x3 - x4 + x0; 617 const PetscScalar g_yz = y7 - y3 - y4 + y0; 618 const PetscScalar h_yz = z7 - z3 - z4 + z0; 619 const PetscScalar f_xz = x5 - x1 - x4 + x0; 620 const PetscScalar g_xz = y5 - y1 - y4 + y0; 621 const PetscScalar h_xz = z5 - z1 - z4 + z0; 622 const PetscScalar f_xyz = x6 - x0 + x1 - x2 + x3 + x4 - x5 - x7; 623 const PetscScalar g_xyz = y6 - y0 + y1 - y2 + y3 + y4 - y5 - y7; 624 const PetscScalar h_xyz = z6 - z0 + z1 - z2 + z3 + z4 - z5 - z7; 625 const PetscScalar *ref; 626 PetscErrorCode ierr; 627 628 PetscFunctionBegin; 629 ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 630 { 631 const PetscScalar x = ref[0]; 632 const PetscScalar y = ref[1]; 633 const PetscScalar z = ref[2]; 634 const PetscInt rows[3] = {0, 1, 2}; 635 PetscScalar values[9]; 636 637 values[0] = (x1 - x0 + f_xy*y + f_xz*z + f_xyz*y*z) / 2.0; 638 values[1] = (x3 - x0 + f_xy*x + f_yz*z + f_xyz*x*z) / 2.0; 639 values[2] = (x4 - x0 + f_yz*y + f_xz*x + f_xyz*x*y) / 2.0; 640 values[3] = (y1 - y0 + g_xy*y + g_xz*z + g_xyz*y*z) / 2.0; 641 values[4] = (y3 - y0 + g_xy*x + g_yz*z + g_xyz*x*z) / 2.0; 642 values[5] = (y4 - y0 + g_yz*y + g_xz*x + g_xyz*x*y) / 2.0; 643 values[6] = (z1 - z0 + h_xy*y + h_xz*z + h_xyz*y*z) / 2.0; 644 values[7] = (z3 - z0 + h_xy*x + h_yz*z + h_xyz*x*z) / 2.0; 645 values[8] = (z4 - z0 + h_yz*y + h_xz*x + h_xyz*x*y) / 2.0; 646 647 ierr = MatSetValues(J, 3, rows, 3, rows, values, INSERT_VALUES);CHKERRQ(ierr); 648 } 649 ierr = PetscLogFlops(152);CHKERRQ(ierr); 650 ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 651 ierr = MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 652 ierr = MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 653 PetscFunctionReturn(0); 654 } 655 656 #undef __FUNCT__ 657 #define __FUNCT__ "DMInterpolate_Hex_Private" 658 PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Hex_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 659 { 660 DM dmCoord; 661 SNES snes; 662 KSP ksp; 663 PC pc; 664 Vec coordsLocal, r, ref, real; 665 Mat J; 666 const PetscScalar *coords; 667 PetscScalar *a; 668 PetscInt p; 669 PetscErrorCode ierr; 670 671 PetscFunctionBegin; 672 ierr = DMGetCoordinatesLocal(dm, &coordsLocal);CHKERRQ(ierr); 673 ierr = DMGetCoordinateDM(dm, &dmCoord);CHKERRQ(ierr); 674 ierr = SNESCreate(PETSC_COMM_SELF, &snes);CHKERRQ(ierr); 675 ierr = SNESSetOptionsPrefix(snes, "hex_interp_");CHKERRQ(ierr); 676 ierr = VecCreate(PETSC_COMM_SELF, &r);CHKERRQ(ierr); 677 ierr = VecSetSizes(r, 3, 3);CHKERRQ(ierr); 678 ierr = VecSetType(r,dm->vectype);CHKERRQ(ierr); 679 ierr = VecDuplicate(r, &ref);CHKERRQ(ierr); 680 ierr = VecDuplicate(r, &real);CHKERRQ(ierr); 681 ierr = MatCreate(PETSC_COMM_SELF, &J);CHKERRQ(ierr); 682 ierr = MatSetSizes(J, 3, 3, 3, 3);CHKERRQ(ierr); 683 ierr = MatSetType(J, MATSEQDENSE);CHKERRQ(ierr); 684 ierr = MatSetUp(J);CHKERRQ(ierr); 685 ierr = SNESSetFunction(snes, r, HexMap_Private, NULL);CHKERRQ(ierr); 686 ierr = SNESSetJacobian(snes, J, J, HexJacobian_Private, NULL);CHKERRQ(ierr); 687 ierr = SNESGetKSP(snes, &ksp);CHKERRQ(ierr); 688 ierr = KSPGetPC(ksp, &pc);CHKERRQ(ierr); 689 ierr = PCSetType(pc, PCLU);CHKERRQ(ierr); 690 ierr = SNESSetFromOptions(snes);CHKERRQ(ierr); 691 692 ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 693 ierr = VecGetArray(v, &a);CHKERRQ(ierr); 694 for (p = 0; p < ctx->n; ++p) { 695 PetscScalar *x = NULL, *vertices = NULL; 696 PetscScalar *xi; 697 PetscReal xir[3]; 698 PetscInt c = ctx->cells[p], comp, coordSize, xSize; 699 700 /* Can make this do all points at once */ 701 ierr = DMPlexVecGetClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 702 if (8*3 != coordSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", coordSize, 8*3); 703 ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 704 if (8*ctx->dof != xSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", xSize, 8*ctx->dof); 705 ierr = SNESSetFunction(snes, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 706 ierr = SNESSetJacobian(snes, NULL, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 707 ierr = VecGetArray(real, &xi);CHKERRQ(ierr); 708 xi[0] = coords[p*ctx->dim+0]; 709 xi[1] = coords[p*ctx->dim+1]; 710 xi[2] = coords[p*ctx->dim+2]; 711 ierr = VecRestoreArray(real, &xi);CHKERRQ(ierr); 712 ierr = SNESSolve(snes, real, ref);CHKERRQ(ierr); 713 ierr = VecGetArray(ref, &xi);CHKERRQ(ierr); 714 xir[0] = PetscRealPart(xi[0]); 715 xir[1] = PetscRealPart(xi[1]); 716 xir[2] = PetscRealPart(xi[2]); 717 for (comp = 0; comp < ctx->dof; ++comp) { 718 a[p*ctx->dof+comp] = 719 x[0*ctx->dof+comp]*(1-xir[0])*(1-xir[1])*(1-xir[2]) + 720 x[3*ctx->dof+comp]* xir[0]*(1-xir[1])*(1-xir[2]) + 721 x[2*ctx->dof+comp]* xir[0]* xir[1]*(1-xir[2]) + 722 x[1*ctx->dof+comp]*(1-xir[0])* xir[1]*(1-xir[2]) + 723 x[4*ctx->dof+comp]*(1-xir[0])*(1-xir[1])* xir[2] + 724 x[5*ctx->dof+comp]* xir[0]*(1-xir[1])* xir[2] + 725 x[6*ctx->dof+comp]* xir[0]* xir[1]* xir[2] + 726 x[7*ctx->dof+comp]*(1-xir[0])* xir[1]* xir[2]; 727 } 728 ierr = VecRestoreArray(ref, &xi);CHKERRQ(ierr); 729 ierr = DMPlexVecRestoreClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 730 ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 731 } 732 ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 733 ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 734 735 ierr = SNESDestroy(&snes);CHKERRQ(ierr); 736 ierr = VecDestroy(&r);CHKERRQ(ierr); 737 ierr = VecDestroy(&ref);CHKERRQ(ierr); 738 ierr = VecDestroy(&real);CHKERRQ(ierr); 739 ierr = MatDestroy(&J);CHKERRQ(ierr); 740 PetscFunctionReturn(0); 741 } 742 743 #undef __FUNCT__ 744 #define __FUNCT__ "DMInterpolationEvaluate" 745 /* 746 Input Parameters: 747 + ctx - The DMInterpolationInfo context 748 . dm - The DM 749 - x - The local vector containing the field to be interpolated 750 751 Output Parameters: 752 . v - The vector containing the interpolated values 753 */ 754 PetscErrorCode DMInterpolationEvaluate(DMInterpolationInfo ctx, DM dm, Vec x, Vec v) 755 { 756 PetscInt dim, coneSize, n; 757 PetscErrorCode ierr; 758 759 PetscFunctionBegin; 760 PetscValidHeaderSpecific(dm, DM_CLASSID, 2); 761 PetscValidHeaderSpecific(x, VEC_CLASSID, 3); 762 PetscValidHeaderSpecific(v, VEC_CLASSID, 4); 763 ierr = VecGetLocalSize(v, &n);CHKERRQ(ierr); 764 if (n != ctx->n*ctx->dof) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid input vector size %d should be %d", n, ctx->n*ctx->dof); 765 if (n) { 766 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 767 ierr = DMPlexGetConeSize(dm, ctx->cells[0], &coneSize);CHKERRQ(ierr); 768 if (dim == 2) { 769 if (coneSize == 3) { 770 ierr = DMInterpolate_Triangle_Private(ctx, dm, x, v);CHKERRQ(ierr); 771 } else if (coneSize == 4) { 772 ierr = DMInterpolate_Quad_Private(ctx, dm, x, v);CHKERRQ(ierr); 773 } else SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Unsupported dimension %d for point interpolation", dim); 774 } else if (dim == 3) { 775 if (coneSize == 4) { 776 ierr = DMInterpolate_Tetrahedron_Private(ctx, dm, x, v);CHKERRQ(ierr); 777 } else { 778 ierr = DMInterpolate_Hex_Private(ctx, dm, x, v);CHKERRQ(ierr); 779 } 780 } else SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Unsupported dimension %d for point interpolation", dim); 781 } 782 PetscFunctionReturn(0); 783 } 784 785 #undef __FUNCT__ 786 #define __FUNCT__ "DMInterpolationDestroy" 787 PetscErrorCode DMInterpolationDestroy(DMInterpolationInfo *ctx) 788 { 789 PetscErrorCode ierr; 790 791 PetscFunctionBegin; 792 PetscValidPointer(ctx, 2); 793 ierr = VecDestroy(&(*ctx)->coords);CHKERRQ(ierr); 794 ierr = PetscFree((*ctx)->points);CHKERRQ(ierr); 795 ierr = PetscFree((*ctx)->cells);CHKERRQ(ierr); 796 ierr = PetscFree(*ctx);CHKERRQ(ierr); 797 *ctx = NULL; 798 PetscFunctionReturn(0); 799 } 800 801 #undef __FUNCT__ 802 #define __FUNCT__ "SNESMonitorFields" 803 /*@C 804 SNESMonitorFields - Monitors the residual for each field separately 805 806 Collective on SNES 807 808 Input Parameters: 809 + snes - the SNES context 810 . its - iteration number 811 . fgnorm - 2-norm of residual 812 - vf - PetscViewerAndFormat of type ASCII 813 814 Notes: 815 This routine prints the residual norm at each iteration. 816 817 Level: intermediate 818 819 .keywords: SNES, nonlinear, default, monitor, norm 820 .seealso: SNESMonitorSet(), SNESMonitorDefault() 821 @*/ 822 PetscErrorCode SNESMonitorFields(SNES snes, PetscInt its, PetscReal fgnorm, PetscViewerAndFormat *vf) 823 { 824 PetscViewer viewer = vf->viewer; 825 Vec res; 826 DM dm; 827 PetscSection s; 828 const PetscScalar *r; 829 PetscReal *lnorms, *norms; 830 PetscInt numFields, f, pStart, pEnd, p; 831 PetscErrorCode ierr; 832 833 PetscFunctionBegin; 834 PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,4); 835 ierr = SNESGetFunction(snes, &res, 0, 0);CHKERRQ(ierr); 836 ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr); 837 ierr = DMGetDefaultSection(dm, &s);CHKERRQ(ierr); 838 ierr = PetscSectionGetNumFields(s, &numFields);CHKERRQ(ierr); 839 ierr = PetscSectionGetChart(s, &pStart, &pEnd);CHKERRQ(ierr); 840 ierr = PetscCalloc2(numFields, &lnorms, numFields, &norms);CHKERRQ(ierr); 841 ierr = VecGetArrayRead(res, &r);CHKERRQ(ierr); 842 for (p = pStart; p < pEnd; ++p) { 843 for (f = 0; f < numFields; ++f) { 844 PetscInt fdof, foff, d; 845 846 ierr = PetscSectionGetFieldDof(s, p, f, &fdof);CHKERRQ(ierr); 847 ierr = PetscSectionGetFieldOffset(s, p, f, &foff);CHKERRQ(ierr); 848 for (d = 0; d < fdof; ++d) lnorms[f] += PetscRealPart(PetscSqr(r[foff+d])); 849 } 850 } 851 ierr = VecRestoreArrayRead(res, &r);CHKERRQ(ierr); 852 ierr = MPIU_Allreduce(lnorms, norms, numFields, MPIU_REAL, MPIU_SUM, PetscObjectComm((PetscObject) dm));CHKERRQ(ierr); 853 ierr = PetscViewerPushFormat(viewer,vf->format);CHKERRQ(ierr); 854 ierr = PetscViewerASCIIAddTab(viewer, ((PetscObject) snes)->tablevel);CHKERRQ(ierr); 855 ierr = PetscViewerASCIIPrintf(viewer, "%3D SNES Function norm %14.12e [", its, (double) fgnorm);CHKERRQ(ierr); 856 for (f = 0; f < numFields; ++f) { 857 if (f > 0) {ierr = PetscViewerASCIIPrintf(viewer, ", ");CHKERRQ(ierr);} 858 ierr = PetscViewerASCIIPrintf(viewer, "%14.12e", (double) PetscSqrtReal(norms[f]));CHKERRQ(ierr); 859 } 860 ierr = PetscViewerASCIIPrintf(viewer, "]\n");CHKERRQ(ierr); 861 ierr = PetscViewerASCIISubtractTab(viewer, ((PetscObject) snes)->tablevel);CHKERRQ(ierr); 862 ierr = PetscViewerPopFormat(viewer);CHKERRQ(ierr); 863 ierr = PetscFree2(lnorms, norms);CHKERRQ(ierr); 864 PetscFunctionReturn(0); 865 } 866 867 /********************* Residual Computation **************************/ 868 869 #undef __FUNCT__ 870 #define __FUNCT__ "DMPlexSNESGetGeometryFEM" 871 /*@ 872 DMPlexSNESGetGeometryFEM - Return precomputed geometric data 873 874 Input Parameter: 875 . dm - The DM 876 877 Output Parameters: 878 . cellgeom - The values precomputed from cell geometry 879 880 Level: developer 881 882 .seealso: DMPlexSNESSetFunctionLocal() 883 @*/ 884 PetscErrorCode DMPlexSNESGetGeometryFEM(DM dm, Vec *cellgeom) 885 { 886 DMSNES dmsnes; 887 PetscObject obj; 888 PetscErrorCode ierr; 889 890 PetscFunctionBegin; 891 PetscValidHeaderSpecific(dm,DM_CLASSID,1); 892 ierr = DMGetDMSNES(dm, &dmsnes);CHKERRQ(ierr); 893 ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", &obj);CHKERRQ(ierr); 894 if (!obj) { 895 Vec cellgeom; 896 897 ierr = DMPlexComputeGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 898 ierr = PetscObjectCompose((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", (PetscObject) cellgeom);CHKERRQ(ierr); 899 ierr = VecDestroy(&cellgeom);CHKERRQ(ierr); 900 } 901 if (cellgeom) {PetscValidPointer(cellgeom, 3); ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", (PetscObject *) cellgeom);CHKERRQ(ierr);} 902 PetscFunctionReturn(0); 903 } 904 905 #undef __FUNCT__ 906 #define __FUNCT__ "DMPlexSNESGetGeometryFVM" 907 /*@ 908 DMPlexSNESGetGeometryFVM - Return precomputed geometric data 909 910 Input Parameter: 911 . dm - The DM 912 913 Output Parameters: 914 + facegeom - The values precomputed from face geometry 915 . cellgeom - The values precomputed from cell geometry 916 - minRadius - The minimum radius over the mesh of an inscribed sphere in a cell 917 918 Level: developer 919 920 .seealso: DMPlexTSSetRHSFunctionLocal() 921 @*/ 922 PetscErrorCode DMPlexSNESGetGeometryFVM(DM dm, Vec *facegeom, Vec *cellgeom, PetscReal *minRadius) 923 { 924 DM plex; 925 PetscErrorCode ierr; 926 927 PetscFunctionBegin; 928 PetscValidHeaderSpecific(dm,DM_CLASSID,1); 929 ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 930 ierr = DMPlexGetDataFVM(plex, NULL, cellgeom, facegeom, NULL);CHKERRQ(ierr); 931 if (minRadius) {ierr = DMPlexGetMinRadius(plex, minRadius);CHKERRQ(ierr);} 932 ierr = DMDestroy(&plex);CHKERRQ(ierr); 933 PetscFunctionReturn(0); 934 } 935 936 #undef __FUNCT__ 937 #define __FUNCT__ "DMPlexSNESGetGradientDM" 938 /*@ 939 DMPlexSNESGetGradientDM - Return gradient data layout 940 941 Input Parameters: 942 + dm - The DM 943 - fv - The PetscFV 944 945 Output Parameter: 946 . dmGrad - The layout for gradient values 947 948 Level: developer 949 950 .seealso: DMPlexSNESGetGeometryFVM() 951 @*/ 952 PetscErrorCode DMPlexSNESGetGradientDM(DM dm, PetscFV fv, DM *dmGrad) 953 { 954 DM plex; 955 PetscBool computeGradients; 956 PetscErrorCode ierr; 957 958 PetscFunctionBegin; 959 PetscValidHeaderSpecific(dm,DM_CLASSID,1); 960 PetscValidHeaderSpecific(fv,PETSCFV_CLASSID,2); 961 PetscValidPointer(dmGrad,3); 962 ierr = PetscFVGetComputeGradients(fv, &computeGradients);CHKERRQ(ierr); 963 if (!computeGradients) {*dmGrad = NULL; PetscFunctionReturn(0);} 964 ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 965 ierr = DMPlexGetDataFVM(plex, fv, NULL, NULL, dmGrad);CHKERRQ(ierr); 966 ierr = DMDestroy(&plex);CHKERRQ(ierr); 967 PetscFunctionReturn(0); 968 } 969 970 #undef __FUNCT__ 971 #define __FUNCT__ "DMPlexGetCellFields" 972 /*@C 973 DMPlexGetCellFields - Retrieve the field values values for a chunk of cells 974 975 Input Parameters: 976 + dm - The DM 977 . cStart - The first cell to include 978 . cEnd - The first cell to exclude 979 . locX - A local vector with the solution fields 980 . locX_t - A local vector with solution field time derivatives, or NULL 981 - locA - A local vector with auxiliary fields, or NULL 982 983 Output Parameters: 984 + u - The field coefficients 985 . u_t - The fields derivative coefficients 986 - a - The auxiliary field coefficients 987 988 Level: developer 989 990 .seealso: DMPlexGetFaceFields() 991 @*/ 992 PetscErrorCode DMPlexGetCellFields(DM dm, PetscInt cStart, PetscInt cEnd, Vec locX, Vec locX_t, Vec locA, PetscScalar **u, PetscScalar **u_t, PetscScalar **a) 993 { 994 DM dmAux; 995 PetscSection section, sectionAux; 996 PetscDS prob; 997 PetscInt numCells = cEnd - cStart, totDim, totDimAux, c; 998 PetscErrorCode ierr; 999 1000 PetscFunctionBegin; 1001 PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 1002 PetscValidHeaderSpecific(locX, VEC_CLASSID, 4); 1003 if (locX_t) {PetscValidHeaderSpecific(locX_t, VEC_CLASSID, 5);} 1004 if (locA) {PetscValidHeaderSpecific(locA, VEC_CLASSID, 6);} 1005 PetscValidPointer(u, 7); 1006 PetscValidPointer(u_t, 8); 1007 PetscValidPointer(a, 9); 1008 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1009 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1010 ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 1011 if (locA) { 1012 PetscDS probAux; 1013 1014 ierr = VecGetDM(locA, &dmAux);CHKERRQ(ierr); 1015 ierr = DMGetDefaultSection(dmAux, §ionAux);CHKERRQ(ierr); 1016 ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 1017 ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 1018 } 1019 ierr = DMGetWorkArray(dm, numCells*totDim, PETSC_SCALAR, u);CHKERRQ(ierr); 1020 if (locX_t) {ierr = DMGetWorkArray(dm, numCells*totDim, PETSC_SCALAR, u_t);CHKERRQ(ierr);} else {*u_t = NULL;} 1021 if (locA) {ierr = DMGetWorkArray(dm, numCells*totDimAux, PETSC_SCALAR, a);CHKERRQ(ierr);} else {*a = NULL;} 1022 for (c = cStart; c < cEnd; ++c) { 1023 PetscScalar *x = NULL, *x_t = NULL, *ul = *u, *ul_t = *u_t, *al = *a; 1024 PetscInt i; 1025 1026 ierr = DMPlexVecGetClosure(dm, section, locX, c, NULL, &x);CHKERRQ(ierr); 1027 for (i = 0; i < totDim; ++i) ul[(c-cStart)*totDim+i] = x[i]; 1028 ierr = DMPlexVecRestoreClosure(dm, section, locX, c, NULL, &x);CHKERRQ(ierr); 1029 if (locX_t) { 1030 ierr = DMPlexVecGetClosure(dm, section, locX_t, c, NULL, &x_t);CHKERRQ(ierr); 1031 for (i = 0; i < totDim; ++i) ul_t[(c-cStart)*totDim+i] = x_t[i]; 1032 ierr = DMPlexVecRestoreClosure(dm, section, locX_t, c, NULL, &x_t);CHKERRQ(ierr); 1033 } 1034 if (locA) { 1035 DM dmAuxPlex; 1036 1037 ierr = DMSNESConvertPlex(dmAux, &dmAuxPlex, PETSC_FALSE);CHKERRQ(ierr); 1038 ierr = DMPlexVecGetClosure(dmAuxPlex, sectionAux, locA, c, NULL, &x);CHKERRQ(ierr); 1039 for (i = 0; i < totDimAux; ++i) al[(c-cStart)*totDimAux+i] = x[i]; 1040 ierr = DMPlexVecRestoreClosure(dmAuxPlex, sectionAux, locA, c, NULL, &x);CHKERRQ(ierr); 1041 ierr = DMDestroy(&dmAuxPlex);CHKERRQ(ierr); 1042 } 1043 } 1044 PetscFunctionReturn(0); 1045 } 1046 1047 #undef __FUNCT__ 1048 #define __FUNCT__ "DMPlexRestoreCellFields" 1049 /*@C 1050 DMPlexRestoreCellFields - Restore the field values values for a chunk of cells 1051 1052 Input Parameters: 1053 + dm - The DM 1054 . cStart - The first cell to include 1055 . cEnd - The first cell to exclude 1056 . locX - A local vector with the solution fields 1057 . locX_t - A local vector with solution field time derivatives, or NULL 1058 - locA - A local vector with auxiliary fields, or NULL 1059 1060 Output Parameters: 1061 + u - The field coefficients 1062 . u_t - The fields derivative coefficients 1063 - a - The auxiliary field coefficients 1064 1065 Level: developer 1066 1067 .seealso: DMPlexGetFaceFields() 1068 @*/ 1069 PetscErrorCode DMPlexRestoreCellFields(DM dm, PetscInt cStart, PetscInt cEnd, Vec locX, Vec locX_t, Vec locA, PetscScalar **u, PetscScalar **u_t, PetscScalar **a) 1070 { 1071 PetscErrorCode ierr; 1072 1073 PetscFunctionBegin; 1074 ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, u);CHKERRQ(ierr); 1075 if (*u_t) {ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, u_t);CHKERRQ(ierr);} 1076 if (*a) {ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, a);CHKERRQ(ierr);} 1077 PetscFunctionReturn(0); 1078 } 1079 1080 #undef __FUNCT__ 1081 #define __FUNCT__ "DMPlexGetFaceFields" 1082 /*@C 1083 DMPlexGetFaceFields - Retrieve the field values values for a chunk of faces 1084 1085 Input Parameters: 1086 + dm - The DM 1087 . fStart - The first face to include 1088 . fEnd - The first face to exclude 1089 . locX - A local vector with the solution fields 1090 . locX_t - A local vector with solution field time derivatives, or NULL 1091 . faceGeometry - A local vector with face geometry 1092 . cellGeometry - A local vector with cell geometry 1093 - locaGrad - A local vector with field gradients, or NULL 1094 1095 Output Parameters: 1096 + Nface - The number of faces with field values 1097 . uL - The field values at the left side of the face 1098 - uR - The field values at the right side of the face 1099 1100 Level: developer 1101 1102 .seealso: DMPlexGetCellFields() 1103 @*/ 1104 PetscErrorCode DMPlexGetFaceFields(DM dm, PetscInt fStart, PetscInt fEnd, Vec locX, Vec locX_t, Vec faceGeometry, Vec cellGeometry, Vec locGrad, PetscInt *Nface, PetscScalar **uL, PetscScalar **uR) 1105 { 1106 DM dmFace, dmCell, dmGrad = NULL; 1107 PetscSection section; 1108 PetscDS prob; 1109 DMLabel ghostLabel; 1110 const PetscScalar *facegeom, *cellgeom, *x, *lgrad; 1111 PetscBool *isFE; 1112 PetscInt dim, Nf, f, Nc, numFaces = fEnd - fStart, iface, face; 1113 PetscErrorCode ierr; 1114 1115 PetscFunctionBegin; 1116 PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 1117 PetscValidHeaderSpecific(locX, VEC_CLASSID, 4); 1118 if (locX_t) {PetscValidHeaderSpecific(locX_t, VEC_CLASSID, 5);} 1119 PetscValidHeaderSpecific(faceGeometry, VEC_CLASSID, 6); 1120 PetscValidHeaderSpecific(cellGeometry, VEC_CLASSID, 7); 1121 if (locGrad) {PetscValidHeaderSpecific(locGrad, VEC_CLASSID, 8);} 1122 PetscValidPointer(uL, 9); 1123 PetscValidPointer(uR, 10); 1124 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1125 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1126 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1127 ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr); 1128 ierr = PetscDSGetTotalComponents(prob, &Nc);CHKERRQ(ierr); 1129 ierr = PetscMalloc1(Nf, &isFE);CHKERRQ(ierr); 1130 for (f = 0; f < Nf; ++f) { 1131 PetscObject obj; 1132 PetscClassId id; 1133 1134 ierr = DMGetField(dm, f, &obj);CHKERRQ(ierr); 1135 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1136 if (id == PETSCFE_CLASSID) {isFE[f] = PETSC_TRUE;} 1137 else if (id == PETSCFV_CLASSID) {isFE[f] = PETSC_FALSE;} 1138 else {isFE[f] = PETSC_FALSE;} 1139 } 1140 ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 1141 ierr = VecGetArrayRead(locX, &x);CHKERRQ(ierr); 1142 ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr); 1143 ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 1144 ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr); 1145 ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 1146 if (locGrad) { 1147 ierr = VecGetDM(locGrad, &dmGrad);CHKERRQ(ierr); 1148 ierr = VecGetArrayRead(locGrad, &lgrad);CHKERRQ(ierr); 1149 } 1150 ierr = DMGetWorkArray(dm, numFaces*Nc, PETSC_SCALAR, uL);CHKERRQ(ierr); 1151 ierr = DMGetWorkArray(dm, numFaces*Nc, PETSC_SCALAR, uR);CHKERRQ(ierr); 1152 /* Right now just eat the extra work for FE (could make a cell loop) */ 1153 for (face = fStart, iface = 0; face < fEnd; ++face) { 1154 const PetscInt *cells; 1155 PetscFVFaceGeom *fg; 1156 PetscFVCellGeom *cgL, *cgR; 1157 PetscScalar *xL, *xR, *gL, *gR; 1158 PetscScalar *uLl = *uL, *uRl = *uR; 1159 PetscInt ghost, nsupp, nchild; 1160 1161 ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr); 1162 ierr = DMPlexGetSupportSize(dm, face, &nsupp);CHKERRQ(ierr); 1163 ierr = DMPlexGetTreeChildren(dm, face, &nchild, NULL);CHKERRQ(ierr); 1164 if (ghost >= 0 || nsupp > 2 || nchild > 0) continue; 1165 ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr); 1166 ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr); 1167 ierr = DMPlexPointLocalRead(dmCell, cells[0], cellgeom, &cgL);CHKERRQ(ierr); 1168 ierr = DMPlexPointLocalRead(dmCell, cells[1], cellgeom, &cgR);CHKERRQ(ierr); 1169 for (f = 0; f < Nf; ++f) { 1170 PetscInt off; 1171 1172 ierr = PetscDSGetComponentOffset(prob, f, &off);CHKERRQ(ierr); 1173 if (isFE[f]) { 1174 const PetscInt *cone; 1175 PetscInt comp, coneSizeL, coneSizeR, faceLocL, faceLocR, ldof, rdof, d; 1176 1177 xL = xR = NULL; 1178 ierr = PetscSectionGetFieldComponents(section, f, &comp);CHKERRQ(ierr); 1179 ierr = DMPlexVecGetClosure(dm, section, locX, cells[0], &ldof, (PetscScalar **) &xL);CHKERRQ(ierr); 1180 ierr = DMPlexVecGetClosure(dm, section, locX, cells[1], &rdof, (PetscScalar **) &xR);CHKERRQ(ierr); 1181 ierr = DMPlexGetCone(dm, cells[0], &cone);CHKERRQ(ierr); 1182 ierr = DMPlexGetConeSize(dm, cells[0], &coneSizeL);CHKERRQ(ierr); 1183 for (faceLocL = 0; faceLocL < coneSizeL; ++faceLocL) if (cone[faceLocL] == face) break; 1184 ierr = DMPlexGetCone(dm, cells[1], &cone);CHKERRQ(ierr); 1185 ierr = DMPlexGetConeSize(dm, cells[1], &coneSizeR);CHKERRQ(ierr); 1186 for (faceLocR = 0; faceLocR < coneSizeR; ++faceLocR) if (cone[faceLocR] == face) break; 1187 if (faceLocL == coneSizeL && faceLocR == coneSizeR) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Could not find face %d in cone of cell %d or cell %d", face, cells[0], cells[1]); 1188 /* Check that FEM field has values in the right cell (sometimes its an FV ghost cell) */ 1189 /* TODO: this is a hack that might not be right for nonconforming */ 1190 if (faceLocL < coneSizeL) { 1191 ierr = EvaluateFaceFields(prob, f, faceLocL, xL, &uLl[iface*Nc+off]);CHKERRQ(ierr); 1192 if (rdof == ldof && faceLocR < coneSizeR) {ierr = EvaluateFaceFields(prob, f, faceLocR, xR, &uRl[iface*Nc+off]);CHKERRQ(ierr);} 1193 else {for(d = 0; d < comp; ++d) uRl[iface*Nc+off+d] = uLl[iface*Nc+off+d];} 1194 } 1195 else { 1196 ierr = EvaluateFaceFields(prob, f, faceLocR, xR, &uRl[iface*Nc+off]);CHKERRQ(ierr); 1197 ierr = PetscSectionGetFieldComponents(section, f, &comp);CHKERRQ(ierr); 1198 for(d = 0; d < comp; ++d) uLl[iface*Nc+off+d] = uRl[iface*Nc+off+d]; 1199 } 1200 ierr = DMPlexVecRestoreClosure(dm, section, locX, cells[0], &ldof, (PetscScalar **) &xL);CHKERRQ(ierr); 1201 ierr = DMPlexVecRestoreClosure(dm, section, locX, cells[1], &rdof, (PetscScalar **) &xR);CHKERRQ(ierr); 1202 } else { 1203 PetscFV fv; 1204 PetscInt numComp, c; 1205 1206 ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fv);CHKERRQ(ierr); 1207 ierr = PetscFVGetNumComponents(fv, &numComp);CHKERRQ(ierr); 1208 ierr = DMPlexPointLocalFieldRead(dm, cells[0], f, x, &xL);CHKERRQ(ierr); 1209 ierr = DMPlexPointLocalFieldRead(dm, cells[1], f, x, &xR);CHKERRQ(ierr); 1210 if (dmGrad) { 1211 PetscReal dxL[3], dxR[3]; 1212 1213 ierr = DMPlexPointLocalRead(dmGrad, cells[0], lgrad, &gL);CHKERRQ(ierr); 1214 ierr = DMPlexPointLocalRead(dmGrad, cells[1], lgrad, &gR);CHKERRQ(ierr); 1215 DMPlex_WaxpyD_Internal(dim, -1, cgL->centroid, fg->centroid, dxL); 1216 DMPlex_WaxpyD_Internal(dim, -1, cgR->centroid, fg->centroid, dxR); 1217 for (c = 0; c < numComp; ++c) { 1218 uLl[iface*Nc+off+c] = xL[c] + DMPlex_DotD_Internal(dim, &gL[c*dim], dxL); 1219 uRl[iface*Nc+off+c] = xR[c] + DMPlex_DotD_Internal(dim, &gR[c*dim], dxR); 1220 } 1221 } else { 1222 for (c = 0; c < numComp; ++c) { 1223 uLl[iface*Nc+off+c] = xL[c]; 1224 uRl[iface*Nc+off+c] = xR[c]; 1225 } 1226 } 1227 } 1228 } 1229 ++iface; 1230 } 1231 *Nface = iface; 1232 ierr = VecRestoreArrayRead(locX, &x);CHKERRQ(ierr); 1233 ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 1234 ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 1235 if (locGrad) { 1236 ierr = VecRestoreArrayRead(locGrad, &lgrad);CHKERRQ(ierr); 1237 } 1238 ierr = PetscFree(isFE);CHKERRQ(ierr); 1239 PetscFunctionReturn(0); 1240 } 1241 1242 #undef __FUNCT__ 1243 #define __FUNCT__ "DMPlexRestoreFaceFields" 1244 /*@C 1245 DMPlexRestoreFaceFields - Restore the field values values for a chunk of faces 1246 1247 Input Parameters: 1248 + dm - The DM 1249 . fStart - The first face to include 1250 . fEnd - The first face to exclude 1251 . locX - A local vector with the solution fields 1252 . locX_t - A local vector with solution field time derivatives, or NULL 1253 . faceGeometry - A local vector with face geometry 1254 . cellGeometry - A local vector with cell geometry 1255 - locaGrad - A local vector with field gradients, or NULL 1256 1257 Output Parameters: 1258 + Nface - The number of faces with field values 1259 . uL - The field values at the left side of the face 1260 - uR - The field values at the right side of the face 1261 1262 Level: developer 1263 1264 .seealso: DMPlexGetFaceFields() 1265 @*/ 1266 PetscErrorCode DMPlexRestoreFaceFields(DM dm, PetscInt fStart, PetscInt fEnd, Vec locX, Vec locX_t, Vec faceGeometry, Vec cellGeometry, Vec locGrad, PetscInt *Nface, PetscScalar **uL, PetscScalar **uR) 1267 { 1268 PetscErrorCode ierr; 1269 1270 PetscFunctionBegin; 1271 ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, uL);CHKERRQ(ierr); 1272 ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, uR);CHKERRQ(ierr); 1273 PetscFunctionReturn(0); 1274 } 1275 1276 #undef __FUNCT__ 1277 #define __FUNCT__ "DMPlexGetFaceGeometry" 1278 /*@C 1279 DMPlexGetFaceGeometry - Retrieve the geometric values for a chunk of faces 1280 1281 Input Parameters: 1282 + dm - The DM 1283 . fStart - The first face to include 1284 . fEnd - The first face to exclude 1285 . faceGeometry - A local vector with face geometry 1286 - cellGeometry - A local vector with cell geometry 1287 1288 Output Parameters: 1289 + Nface - The number of faces with field values 1290 . fgeom - The extract the face centroid and normal 1291 - vol - The cell volume 1292 1293 Level: developer 1294 1295 .seealso: DMPlexGetCellFields() 1296 @*/ 1297 PetscErrorCode DMPlexGetFaceGeometry(DM dm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, PetscInt *Nface, PetscFVFaceGeom **fgeom, PetscReal **vol) 1298 { 1299 DM dmFace, dmCell; 1300 DMLabel ghostLabel; 1301 const PetscScalar *facegeom, *cellgeom; 1302 PetscInt dim, numFaces = fEnd - fStart, iface, face; 1303 PetscErrorCode ierr; 1304 1305 PetscFunctionBegin; 1306 PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 1307 PetscValidHeaderSpecific(faceGeometry, VEC_CLASSID, 4); 1308 PetscValidHeaderSpecific(cellGeometry, VEC_CLASSID, 5); 1309 PetscValidPointer(fgeom, 6); 1310 PetscValidPointer(vol, 7); 1311 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1312 ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 1313 ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr); 1314 ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 1315 ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr); 1316 ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 1317 ierr = PetscMalloc1(numFaces, fgeom);CHKERRQ(ierr); 1318 ierr = DMGetWorkArray(dm, numFaces*2, PETSC_SCALAR, vol);CHKERRQ(ierr); 1319 for (face = fStart, iface = 0; face < fEnd; ++face) { 1320 const PetscInt *cells; 1321 PetscFVFaceGeom *fg; 1322 PetscFVCellGeom *cgL, *cgR; 1323 PetscFVFaceGeom *fgeoml = *fgeom; 1324 PetscReal *voll = *vol; 1325 PetscInt ghost, d, nchild, nsupp; 1326 1327 ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr); 1328 ierr = DMPlexGetSupportSize(dm, face, &nsupp);CHKERRQ(ierr); 1329 ierr = DMPlexGetTreeChildren(dm, face, &nchild, NULL);CHKERRQ(ierr); 1330 if (ghost >= 0 || nsupp > 2 || nchild > 0) continue; 1331 ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr); 1332 ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr); 1333 ierr = DMPlexPointLocalRead(dmCell, cells[0], cellgeom, &cgL);CHKERRQ(ierr); 1334 ierr = DMPlexPointLocalRead(dmCell, cells[1], cellgeom, &cgR);CHKERRQ(ierr); 1335 for (d = 0; d < dim; ++d) { 1336 fgeoml[iface].centroid[d] = fg->centroid[d]; 1337 fgeoml[iface].normal[d] = fg->normal[d]; 1338 } 1339 voll[iface*2+0] = cgL->volume; 1340 voll[iface*2+1] = cgR->volume; 1341 ++iface; 1342 } 1343 *Nface = iface; 1344 ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 1345 ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 1346 PetscFunctionReturn(0); 1347 } 1348 1349 #undef __FUNCT__ 1350 #define __FUNCT__ "DMPlexRestoreFaceGeometry" 1351 /*@C 1352 DMPlexRestoreFaceGeometry - Restore the field values values for a chunk of faces 1353 1354 Input Parameters: 1355 + dm - The DM 1356 . fStart - The first face to include 1357 . fEnd - The first face to exclude 1358 . faceGeometry - A local vector with face geometry 1359 - cellGeometry - A local vector with cell geometry 1360 1361 Output Parameters: 1362 + Nface - The number of faces with field values 1363 . fgeom - The extract the face centroid and normal 1364 - vol - The cell volume 1365 1366 Level: developer 1367 1368 .seealso: DMPlexGetFaceFields() 1369 @*/ 1370 PetscErrorCode DMPlexRestoreFaceGeometry(DM dm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, PetscInt *Nface, PetscFVFaceGeom **fgeom, PetscReal **vol) 1371 { 1372 PetscErrorCode ierr; 1373 1374 PetscFunctionBegin; 1375 ierr = PetscFree(*fgeom);CHKERRQ(ierr); 1376 ierr = DMRestoreWorkArray(dm, 0, PETSC_REAL, vol);CHKERRQ(ierr); 1377 PetscFunctionReturn(0); 1378 } 1379 1380 #undef __FUNCT__ 1381 #define __FUNCT__ "DMPlexComputeBdResidual_Internal" 1382 PetscErrorCode DMPlexComputeBdResidual_Internal(DM dm, Vec locX, Vec locX_t, PetscReal t, Vec locF, void *user) 1383 { 1384 DM_Plex *mesh = (DM_Plex *) dm->data; 1385 PetscSection section; 1386 PetscDS prob; 1387 DMLabel depth; 1388 PetscFECellGeom *cgeom; 1389 PetscScalar *u = NULL, *u_t = NULL, *elemVec = NULL; 1390 PetscInt dim, Nf, f, totDimBd, numBd, bd; 1391 PetscErrorCode ierr; 1392 1393 PetscFunctionBegin; 1394 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1395 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1396 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1397 ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr); 1398 ierr = PetscDSGetTotalBdDimension(prob, &totDimBd);CHKERRQ(ierr); 1399 ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr); 1400 ierr = DMGetNumBoundary(dm, &numBd);CHKERRQ(ierr); 1401 for (bd = 0; bd < numBd; ++bd) { 1402 const char *bdLabel; 1403 DMLabel label; 1404 IS pointIS; 1405 const PetscInt *points; 1406 const PetscInt *values; 1407 PetscInt field, numValues, v, numPoints, p, dep, numFaces; 1408 PetscBool isEssential; 1409 PetscObject obj; 1410 PetscClassId id; 1411 1412 ierr = PetscDSGetBoundary(dm->prob, bd, &isEssential, NULL, &bdLabel, &field, NULL, NULL, NULL, &numValues, &values, NULL);CHKERRQ(ierr); 1413 ierr = DMGetField(dm, field, &obj);CHKERRQ(ierr); 1414 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1415 if ((id != PETSCFE_CLASSID) || isEssential) continue; 1416 ierr = DMGetLabel(dm, bdLabel, &label);CHKERRQ(ierr); 1417 for (v = 0; v < numValues; ++v) { 1418 ierr = DMLabelGetStratumSize(label, values[v], &numPoints);CHKERRQ(ierr); 1419 ierr = DMLabelGetStratumIS(label, values[v], &pointIS);CHKERRQ(ierr); 1420 if (!pointIS) continue; /* No points with that id on this process */ 1421 ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr); 1422 for (p = 0, numFaces = 0; p < numPoints; ++p) { 1423 ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 1424 if (dep == dim-1) ++numFaces; 1425 } 1426 ierr = PetscMalloc3(numFaces*totDimBd,&u,numFaces,&cgeom,numFaces*totDimBd,&elemVec);CHKERRQ(ierr); 1427 if (locX_t) {ierr = PetscMalloc1(numFaces*totDimBd,&u_t);CHKERRQ(ierr);} 1428 for (p = 0, f = 0; p < numPoints; ++p) { 1429 const PetscInt point = points[p]; 1430 PetscScalar *x = NULL; 1431 PetscInt i; 1432 1433 ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 1434 if (dep != dim-1) continue; 1435 ierr = DMPlexComputeCellGeometryFEM(dm, point, NULL, cgeom[f].v0, cgeom[f].J, cgeom[f].invJ, &cgeom[f].detJ);CHKERRQ(ierr); 1436 ierr = DMPlexComputeCellGeometryFVM(dm, point, NULL, NULL, cgeom[f].n);CHKERRQ(ierr); 1437 if (cgeom[f].detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for face %d", cgeom[f].detJ, point); 1438 /* TODO: Matt, this is wrong if feBd does not match fe: i.e., if the order differs. */ 1439 ierr = DMPlexVecGetClosure(dm, section, locX, point, NULL, &x);CHKERRQ(ierr); 1440 for (i = 0; i < totDimBd; ++i) u[f*totDimBd+i] = x[i]; 1441 ierr = DMPlexVecRestoreClosure(dm, section, locX, point, NULL, &x);CHKERRQ(ierr); 1442 if (locX_t) { 1443 ierr = DMPlexVecGetClosure(dm, section, locX_t, point, NULL, &x);CHKERRQ(ierr); 1444 for (i = 0; i < totDimBd; ++i) u_t[f*totDimBd+i] = x[i]; 1445 ierr = DMPlexVecRestoreClosure(dm, section, locX_t, point, NULL, &x);CHKERRQ(ierr); 1446 } 1447 ++f; 1448 } 1449 for (f = 0; f < Nf; ++f) { 1450 PetscFE fe; 1451 PetscQuadrature q; 1452 PetscInt numQuadPoints, Nb; 1453 /* Conforming batches */ 1454 PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 1455 /* Remainder */ 1456 PetscInt Nr, offset; 1457 1458 ierr = PetscDSGetBdDiscretization(prob, f, (PetscObject *) &fe);CHKERRQ(ierr); 1459 ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr); 1460 ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 1461 ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 1462 ierr = PetscQuadratureGetData(q, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 1463 blockSize = Nb*numQuadPoints; 1464 batchSize = numBlocks * blockSize; 1465 ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 1466 numChunks = numFaces / (numBatches*batchSize); 1467 Ne = numChunks*numBatches*batchSize; 1468 Nr = numFaces % (numBatches*batchSize); 1469 offset = numFaces - Nr; 1470 ierr = PetscFEIntegrateBdResidual(fe, prob, f, Ne, cgeom, u, u_t, NULL, NULL, t, elemVec);CHKERRQ(ierr); 1471 ierr = PetscFEIntegrateBdResidual(fe, prob, f, Nr, &cgeom[offset], &u[offset*totDimBd], u_t ? &u_t[offset*totDimBd] : NULL, NULL, NULL, t, &elemVec[offset*totDimBd]);CHKERRQ(ierr); 1472 } 1473 for (p = 0, f = 0; p < numPoints; ++p) { 1474 const PetscInt point = points[p]; 1475 1476 ierr = DMLabelGetValue(depth, point, &dep);CHKERRQ(ierr); 1477 if (dep != dim-1) continue; 1478 if (mesh->printFEM > 1) {ierr = DMPrintCellVector(point, "BdResidual", totDimBd, &elemVec[f*totDimBd]);CHKERRQ(ierr);} 1479 ierr = DMPlexVecSetClosure(dm, NULL, locF, point, &elemVec[f*totDimBd], ADD_ALL_VALUES);CHKERRQ(ierr); 1480 ++f; 1481 } 1482 ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr); 1483 ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 1484 ierr = PetscFree3(u,cgeom,elemVec);CHKERRQ(ierr); 1485 if (locX_t) {ierr = PetscFree(u_t);CHKERRQ(ierr);} 1486 } 1487 } 1488 PetscFunctionReturn(0); 1489 } 1490 1491 #undef __FUNCT__ 1492 #define __FUNCT__ "DMPlexComputeResidual_Internal" 1493 PetscErrorCode DMPlexComputeResidual_Internal(DM dm, PetscInt cStart, PetscInt cEnd, PetscReal time, Vec locX, Vec locX_t, PetscReal t, Vec locF, void *user) 1494 { 1495 DM_Plex *mesh = (DM_Plex *) dm->data; 1496 const char *name = "Residual"; 1497 DM dmAux = NULL; 1498 DM dmGrad = NULL; 1499 DMLabel ghostLabel = NULL; 1500 PetscDS prob = NULL; 1501 PetscDS probAux = NULL; 1502 PetscSection section = NULL; 1503 PetscBool useFEM = PETSC_FALSE; 1504 PetscBool useFVM = PETSC_FALSE; 1505 PetscBool isImplicit = (locX_t || time == PETSC_MIN_REAL) ? PETSC_TRUE : PETSC_FALSE; 1506 PetscFV fvm = NULL; 1507 PetscFECellGeom *cgeomFEM = NULL; 1508 PetscScalar *cgeomScal; 1509 PetscFVCellGeom *cgeomFVM = NULL; 1510 PetscFVFaceGeom *fgeomFVM = NULL; 1511 Vec locA, cellGeometryFEM = NULL, cellGeometryFVM = NULL, faceGeometryFVM = NULL, grad, locGrad = NULL; 1512 PetscScalar *u = NULL, *u_t, *a, *uL, *uR; 1513 PetscInt Nf, f, totDim, totDimAux, numChunks, cellChunkSize, faceChunkSize, chunk, fStart, fEnd; 1514 PetscErrorCode ierr; 1515 1516 PetscFunctionBegin; 1517 ierr = PetscLogEventBegin(DMPLEX_ResidualFEM,dm,0,0,0);CHKERRQ(ierr); 1518 /* TODO The places where we have to use isFE are probably the member functions for the PetscDisc class */ 1519 /* TODO The FVM geometry is over-manipulated. Make the precalc functions return exactly what we need */ 1520 /* FEM+FVM */ 1521 /* 1: Get sizes from dm and dmAux */ 1522 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1523 ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 1524 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1525 ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr); 1526 ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 1527 ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &locA);CHKERRQ(ierr); 1528 if (locA) { 1529 ierr = VecGetDM(locA, &dmAux);CHKERRQ(ierr); 1530 ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 1531 ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 1532 } 1533 /* 2: Get geometric data */ 1534 for (f = 0; f < Nf; ++f) { 1535 PetscObject obj; 1536 PetscClassId id; 1537 PetscBool fimp; 1538 1539 ierr = PetscDSGetImplicit(prob, f, &fimp);CHKERRQ(ierr); 1540 if (isImplicit != fimp) continue; 1541 ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1542 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1543 if (id == PETSCFE_CLASSID) {useFEM = PETSC_TRUE;} 1544 if (id == PETSCFV_CLASSID) {useFVM = PETSC_TRUE; fvm = (PetscFV) obj;} 1545 } 1546 if (useFEM) { 1547 ierr = DMPlexSNESGetGeometryFEM(dm, &cellGeometryFEM);CHKERRQ(ierr); 1548 ierr = VecGetArray(cellGeometryFEM, &cgeomScal);CHKERRQ(ierr); 1549 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 1550 DM dmCell; 1551 PetscInt c; 1552 1553 ierr = VecGetDM(cellGeometryFEM,&dmCell);CHKERRQ(ierr); 1554 ierr = PetscMalloc1(cEnd-cStart,&cgeomFEM);CHKERRQ(ierr); 1555 for (c = 0; c < cEnd - cStart; c++) { 1556 PetscScalar *thisgeom; 1557 1558 ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 1559 cgeomFEM[c] = *((PetscFECellGeom *) thisgeom); 1560 } 1561 } 1562 else { 1563 cgeomFEM = (PetscFECellGeom *) cgeomScal; 1564 } 1565 } 1566 if (useFVM) { 1567 ierr = DMPlexSNESGetGeometryFVM(dm, &faceGeometryFVM, &cellGeometryFVM, NULL);CHKERRQ(ierr); 1568 ierr = VecGetArrayRead(faceGeometryFVM, (const PetscScalar **) &fgeomFVM);CHKERRQ(ierr); 1569 ierr = VecGetArrayRead(cellGeometryFVM, (const PetscScalar **) &cgeomFVM);CHKERRQ(ierr); 1570 /* Reconstruct and limit cell gradients */ 1571 ierr = DMPlexSNESGetGradientDM(dm, fvm, &dmGrad);CHKERRQ(ierr); 1572 if (dmGrad) { 1573 ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr); 1574 ierr = DMGetGlobalVector(dmGrad, &grad);CHKERRQ(ierr); 1575 ierr = DMPlexReconstructGradients_Internal(dm, fvm, fStart, fEnd, faceGeometryFVM, cellGeometryFVM, locX, grad);CHKERRQ(ierr); 1576 /* Communicate gradient values */ 1577 ierr = DMGetLocalVector(dmGrad, &locGrad);CHKERRQ(ierr); 1578 ierr = DMGlobalToLocalBegin(dmGrad, grad, INSERT_VALUES, locGrad);CHKERRQ(ierr); 1579 ierr = DMGlobalToLocalEnd(dmGrad, grad, INSERT_VALUES, locGrad);CHKERRQ(ierr); 1580 ierr = DMRestoreGlobalVector(dmGrad, &grad);CHKERRQ(ierr); 1581 } 1582 /* Handle non-essential (e.g. outflow) boundary values */ 1583 ierr = DMPlexInsertBoundaryValues(dm, PETSC_FALSE, locX, time, faceGeometryFVM, cellGeometryFVM, locGrad);CHKERRQ(ierr); 1584 } 1585 /* Loop over chunks */ 1586 ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr); 1587 numChunks = 1; 1588 cellChunkSize = (cEnd - cStart)/numChunks; 1589 faceChunkSize = (fEnd - fStart)/numChunks; 1590 for (chunk = 0; chunk < numChunks; ++chunk) { 1591 PetscScalar *elemVec, *fluxL, *fluxR; 1592 PetscReal *vol; 1593 PetscFVFaceGeom *fgeom; 1594 PetscInt cS = cStart+chunk*cellChunkSize, cE = PetscMin(cS+cellChunkSize, cEnd), numCells = cE - cS, cell; 1595 PetscInt fS = fStart+chunk*faceChunkSize, fE = PetscMin(fS+faceChunkSize, fEnd), numFaces = 0, face; 1596 1597 /* Extract field coefficients */ 1598 if (useFEM) { 1599 ierr = DMPlexGetCellFields(dm, cS, cE, locX, locX_t, locA, &u, &u_t, &a);CHKERRQ(ierr); 1600 ierr = DMGetWorkArray(dm, numCells*totDim, PETSC_SCALAR, &elemVec);CHKERRQ(ierr); 1601 ierr = PetscMemzero(elemVec, numCells*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 1602 } 1603 if (useFVM) { 1604 ierr = DMPlexGetFaceFields(dm, fS, fE, locX, locX_t, faceGeometryFVM, cellGeometryFVM, locGrad, &numFaces, &uL, &uR);CHKERRQ(ierr); 1605 ierr = DMPlexGetFaceGeometry(dm, fS, fE, faceGeometryFVM, cellGeometryFVM, &numFaces, &fgeom, &vol);CHKERRQ(ierr); 1606 ierr = DMGetWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxL);CHKERRQ(ierr); 1607 ierr = DMGetWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxR);CHKERRQ(ierr); 1608 ierr = PetscMemzero(fluxL, numFaces*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 1609 ierr = PetscMemzero(fluxR, numFaces*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 1610 } 1611 /* TODO We will interlace both our field coefficients (u, u_t, uL, uR, etc.) and our output (elemVec, fL, fR). I think this works */ 1612 /* Loop over fields */ 1613 for (f = 0; f < Nf; ++f) { 1614 PetscObject obj; 1615 PetscClassId id; 1616 PetscBool fimp; 1617 PetscInt numChunks, numBatches, batchSize, numBlocks, blockSize, Ne, Nr, offset; 1618 1619 ierr = PetscDSGetImplicit(prob, f, &fimp);CHKERRQ(ierr); 1620 if (isImplicit != fimp) continue; 1621 ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1622 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1623 if (id == PETSCFE_CLASSID) { 1624 PetscFE fe = (PetscFE) obj; 1625 PetscQuadrature q; 1626 PetscInt Nq, Nb; 1627 1628 ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 1629 1630 ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr); 1631 ierr = PetscQuadratureGetData(q, NULL, &Nq, NULL, NULL);CHKERRQ(ierr); 1632 ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 1633 blockSize = Nb*Nq; 1634 batchSize = numBlocks * blockSize; 1635 ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 1636 numChunks = numCells / (numBatches*batchSize); 1637 Ne = numChunks*numBatches*batchSize; 1638 Nr = numCells % (numBatches*batchSize); 1639 offset = numCells - Nr; 1640 /* Integrate FE residual to get elemVec (need fields at quadrature points) */ 1641 /* For FV, I think we use a P0 basis and the cell coefficients (for subdivided cells, we can tweak the basis tabulation to be the indicator function) */ 1642 ierr = PetscFEIntegrateResidual(fe, prob, f, Ne, cgeomFEM, u, u_t, probAux, a, t, elemVec);CHKERRQ(ierr); 1643 ierr = PetscFEIntegrateResidual(fe, prob, f, Nr, &cgeomFEM[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, &elemVec[offset*totDim]);CHKERRQ(ierr); 1644 } else if (id == PETSCFV_CLASSID) { 1645 PetscFV fv = (PetscFV) obj; 1646 1647 Ne = numFaces; 1648 /* Riemann solve over faces (need fields at face centroids) */ 1649 /* We need to evaluate FE fields at those coordinates */ 1650 ierr = PetscFVIntegrateRHSFunction(fv, prob, f, Ne, fgeom, vol, uL, uR, fluxL, fluxR);CHKERRQ(ierr); 1651 } else SETERRQ1(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", f); 1652 } 1653 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 1654 ierr = PetscFree(cgeomFEM);CHKERRQ(ierr); 1655 } 1656 else { 1657 cgeomFEM = NULL; 1658 } 1659 if (cellGeometryFEM) {ierr = VecRestoreArray(cellGeometryFEM, &cgeomScal);CHKERRQ(ierr);} 1660 /* Loop over domain */ 1661 if (useFEM) { 1662 /* Add elemVec to locX */ 1663 for (cell = cS; cell < cE; ++cell) { 1664 if (mesh->printFEM > 1) {ierr = DMPrintCellVector(cell, name, totDim, &elemVec[cell*totDim]);CHKERRQ(ierr);} 1665 if (ghostLabel) { 1666 PetscInt ghostVal; 1667 1668 ierr = DMLabelGetValue(ghostLabel,cell,&ghostVal);CHKERRQ(ierr); 1669 if (ghostVal > 0) continue; 1670 } 1671 ierr = DMPlexVecSetClosure(dm, section, locF, cell, &elemVec[cell*totDim], ADD_ALL_VALUES);CHKERRQ(ierr); 1672 } 1673 } 1674 if (useFVM) { 1675 PetscScalar *fa; 1676 PetscInt iface; 1677 1678 ierr = VecGetArray(locF, &fa);CHKERRQ(ierr); 1679 for (f = 0; f < Nf; ++f) { 1680 PetscFV fv; 1681 PetscObject obj; 1682 PetscClassId id; 1683 PetscInt foff, pdim; 1684 1685 ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1686 ierr = PetscDSGetFieldOffset(prob, f, &foff);CHKERRQ(ierr); 1687 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1688 if (id != PETSCFV_CLASSID) continue; 1689 fv = (PetscFV) obj; 1690 ierr = PetscFVGetNumComponents(fv, &pdim);CHKERRQ(ierr); 1691 /* Accumulate fluxes to cells */ 1692 for (face = fS, iface = 0; face < fE; ++face) { 1693 const PetscInt *cells; 1694 PetscScalar *fL = NULL, *fR = NULL; 1695 PetscInt ghost, d, nsupp, nchild; 1696 1697 ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr); 1698 ierr = DMPlexGetSupportSize(dm, face, &nsupp);CHKERRQ(ierr); 1699 ierr = DMPlexGetTreeChildren(dm, face, &nchild, NULL);CHKERRQ(ierr); 1700 if (ghost >= 0 || nsupp > 2 || nchild > 0) continue; 1701 ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr); 1702 ierr = DMLabelGetValue(ghostLabel,cells[0],&ghost);CHKERRQ(ierr); 1703 if (ghost <= 0) {ierr = DMPlexPointLocalFieldRef(dm, cells[0], f, fa, &fL);CHKERRQ(ierr);} 1704 ierr = DMLabelGetValue(ghostLabel,cells[1],&ghost);CHKERRQ(ierr); 1705 if (ghost <= 0) {ierr = DMPlexPointLocalFieldRef(dm, cells[1], f, fa, &fR);CHKERRQ(ierr);} 1706 for (d = 0; d < pdim; ++d) { 1707 if (fL) fL[d] -= fluxL[iface*totDim+foff+d]; 1708 if (fR) fR[d] += fluxR[iface*totDim+foff+d]; 1709 } 1710 ++iface; 1711 } 1712 } 1713 ierr = VecRestoreArray(locF, &fa);CHKERRQ(ierr); 1714 } 1715 /* Handle time derivative */ 1716 if (locX_t) { 1717 PetscScalar *x_t, *fa; 1718 1719 ierr = VecGetArray(locF, &fa);CHKERRQ(ierr); 1720 ierr = VecGetArray(locX_t, &x_t);CHKERRQ(ierr); 1721 for (f = 0; f < Nf; ++f) { 1722 PetscFV fv; 1723 PetscObject obj; 1724 PetscClassId id; 1725 PetscInt pdim, d; 1726 1727 ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1728 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1729 if (id != PETSCFV_CLASSID) continue; 1730 fv = (PetscFV) obj; 1731 ierr = PetscFVGetNumComponents(fv, &pdim);CHKERRQ(ierr); 1732 for (cell = cS; cell < cE; ++cell) { 1733 PetscScalar *u_t, *r; 1734 1735 if (ghostLabel) { 1736 PetscInt ghostVal; 1737 1738 ierr = DMLabelGetValue(ghostLabel,cell,&ghostVal);CHKERRQ(ierr); 1739 if (ghostVal > 0) continue; 1740 } 1741 ierr = DMPlexPointLocalFieldRead(dm, cell, f, x_t, &u_t);CHKERRQ(ierr); 1742 ierr = DMPlexPointLocalFieldRef(dm, cell, f, fa, &r);CHKERRQ(ierr); 1743 for (d = 0; d < pdim; ++d) r[d] += u_t[d]; 1744 } 1745 } 1746 ierr = VecRestoreArray(locX_t, &x_t);CHKERRQ(ierr); 1747 ierr = VecRestoreArray(locF, &fa);CHKERRQ(ierr); 1748 } 1749 if (useFEM) { 1750 ierr = DMPlexRestoreCellFields(dm, cS, cE, locX, locX_t, locA, &u, &u_t, &a);CHKERRQ(ierr); 1751 ierr = DMRestoreWorkArray(dm, numCells*totDim, PETSC_SCALAR, &elemVec);CHKERRQ(ierr); 1752 } 1753 if (useFVM) { 1754 ierr = DMPlexRestoreFaceFields(dm, fS, fE, locX, locX_t, faceGeometryFVM, cellGeometryFVM, locGrad, &numFaces, &uL, &uR);CHKERRQ(ierr); 1755 ierr = DMPlexRestoreFaceGeometry(dm, fS, fE, faceGeometryFVM, cellGeometryFVM, &numFaces, &fgeom, &vol);CHKERRQ(ierr); 1756 ierr = DMRestoreWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxL);CHKERRQ(ierr); 1757 ierr = DMRestoreWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxR);CHKERRQ(ierr); 1758 if (dmGrad) {ierr = DMRestoreLocalVector(dmGrad, &locGrad);CHKERRQ(ierr);} 1759 } 1760 } 1761 1762 if (useFEM) {ierr = DMPlexComputeBdResidual_Internal(dm, locX, locX_t, t, locF, user);CHKERRQ(ierr);} 1763 1764 /* FEM */ 1765 /* 1: Get sizes from dm and dmAux */ 1766 /* 2: Get geometric data */ 1767 /* 3: Handle boundary values */ 1768 /* 4: Loop over domain */ 1769 /* Extract coefficients */ 1770 /* Loop over fields */ 1771 /* Set tiling for FE*/ 1772 /* Integrate FE residual to get elemVec */ 1773 /* Loop over subdomain */ 1774 /* Loop over quad points */ 1775 /* Transform coords to real space */ 1776 /* Evaluate field and aux fields at point */ 1777 /* Evaluate residual at point */ 1778 /* Transform residual to real space */ 1779 /* Add residual to elemVec */ 1780 /* Loop over domain */ 1781 /* Add elemVec to locX */ 1782 1783 /* FVM */ 1784 /* Get geometric data */ 1785 /* If using gradients */ 1786 /* Compute gradient data */ 1787 /* Loop over domain faces */ 1788 /* Count computational faces */ 1789 /* Reconstruct cell gradient */ 1790 /* Loop over domain cells */ 1791 /* Limit cell gradients */ 1792 /* Handle boundary values */ 1793 /* Loop over domain faces */ 1794 /* Read out field, centroid, normal, volume for each side of face */ 1795 /* Riemann solve over faces */ 1796 /* Loop over domain faces */ 1797 /* Accumulate fluxes to cells */ 1798 /* TODO Change printFEM to printDisc here */ 1799 if (mesh->printFEM) { 1800 Vec locFbc; 1801 PetscInt pStart, pEnd, p, maxDof; 1802 PetscScalar *zeroes; 1803 1804 ierr = VecDuplicate(locF,&locFbc);CHKERRQ(ierr); 1805 ierr = VecCopy(locF,locFbc);CHKERRQ(ierr); 1806 ierr = PetscSectionGetChart(section,&pStart,&pEnd);CHKERRQ(ierr); 1807 ierr = PetscSectionGetMaxDof(section,&maxDof);CHKERRQ(ierr); 1808 ierr = PetscCalloc1(maxDof,&zeroes);CHKERRQ(ierr); 1809 for (p = pStart; p < pEnd; p++) { 1810 ierr = VecSetValuesSection(locFbc,section,p,zeroes,INSERT_BC_VALUES);CHKERRQ(ierr); 1811 } 1812 ierr = PetscFree(zeroes);CHKERRQ(ierr); 1813 ierr = DMPrintLocalVec(dm, name, mesh->printTol, locFbc);CHKERRQ(ierr); 1814 ierr = VecDestroy(&locFbc);CHKERRQ(ierr); 1815 } 1816 ierr = PetscLogEventEnd(DMPLEX_ResidualFEM,dm,0,0,0);CHKERRQ(ierr); 1817 PetscFunctionReturn(0); 1818 } 1819 1820 #undef __FUNCT__ 1821 #define __FUNCT__ "DMPlexComputeResidualFEM_Check_Internal" 1822 static PetscErrorCode DMPlexComputeResidualFEM_Check_Internal(DM dm, Vec X, Vec X_t, PetscReal t, Vec F, void *user) 1823 { 1824 DM dmCh, dmAux; 1825 Vec A, cellgeom; 1826 PetscDS prob, probCh, probAux = NULL; 1827 PetscQuadrature q; 1828 PetscSection section, sectionAux; 1829 PetscFECellGeom *cgeom = NULL; 1830 PetscScalar *cgeomScal; 1831 PetscScalar *elemVec, *elemVecCh, *u, *u_t, *a = NULL; 1832 PetscInt dim, Nf, f, numCells, cStart, cEnd, c; 1833 PetscInt totDim, totDimAux = 0, diffCell = 0; 1834 PetscErrorCode ierr; 1835 1836 PetscFunctionBegin; 1837 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1838 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1839 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1840 ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 1841 ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr); 1842 ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 1843 numCells = cEnd - cStart; 1844 ierr = PetscObjectQuery((PetscObject) dm, "dmCh", (PetscObject *) &dmCh);CHKERRQ(ierr); 1845 ierr = DMGetDS(dmCh, &probCh);CHKERRQ(ierr); 1846 ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr); 1847 ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr); 1848 if (dmAux) { 1849 ierr = DMGetDefaultSection(dmAux, §ionAux);CHKERRQ(ierr); 1850 ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 1851 ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 1852 } 1853 ierr = VecSet(F, 0.0);CHKERRQ(ierr); 1854 ierr = PetscMalloc3(numCells*totDim,&u,X_t ? numCells*totDim : 0,&u_t,numCells*totDim,&elemVec);CHKERRQ(ierr); 1855 ierr = PetscMalloc1(numCells*totDim,&elemVecCh);CHKERRQ(ierr); 1856 if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);} 1857 ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 1858 ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 1859 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 1860 DM dmCell; 1861 1862 ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr); 1863 ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr); 1864 for (c = 0; c < cEnd - cStart; c++) { 1865 PetscScalar *thisgeom; 1866 1867 ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 1868 cgeom[c] = *((PetscFECellGeom *) thisgeom); 1869 } 1870 } 1871 else { 1872 cgeom = (PetscFECellGeom *) cgeomScal; 1873 } 1874 for (c = cStart; c < cEnd; ++c) { 1875 PetscScalar *x = NULL, *x_t = NULL; 1876 PetscInt i; 1877 1878 ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 1879 for (i = 0; i < totDim; ++i) u[c*totDim+i] = x[i]; 1880 ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 1881 if (X_t) { 1882 ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 1883 for (i = 0; i < totDim; ++i) u_t[c*totDim+i] = x_t[i]; 1884 ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 1885 } 1886 if (dmAux) { 1887 DM dmAuxPlex; 1888 1889 ierr = DMSNESConvertPlex(dmAux,&dmAuxPlex, PETSC_FALSE);CHKERRQ(ierr); 1890 ierr = DMPlexVecGetClosure(dmAuxPlex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 1891 for (i = 0; i < totDimAux; ++i) a[c*totDimAux+i] = x[i]; 1892 ierr = DMPlexVecRestoreClosure(dmAuxPlex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 1893 ierr = DMDestroy(&dmAuxPlex);CHKERRQ(ierr); 1894 } 1895 } 1896 for (f = 0; f < Nf; ++f) { 1897 PetscFE fe, feCh; 1898 PetscInt numQuadPoints, Nb; 1899 /* Conforming batches */ 1900 PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 1901 /* Remainder */ 1902 PetscInt Nr, offset; 1903 1904 ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fe);CHKERRQ(ierr); 1905 ierr = PetscDSGetDiscretization(probCh, f, (PetscObject *) &feCh);CHKERRQ(ierr); 1906 ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr); 1907 ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 1908 ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 1909 ierr = PetscQuadratureGetData(q, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 1910 blockSize = Nb*numQuadPoints; 1911 batchSize = numBlocks * blockSize; 1912 ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 1913 numChunks = numCells / (numBatches*batchSize); 1914 Ne = numChunks*numBatches*batchSize; 1915 Nr = numCells % (numBatches*batchSize); 1916 offset = numCells - Nr; 1917 ierr = PetscFEIntegrateResidual(fe, prob, f, Ne, cgeom, u, u_t, probAux, a, t, elemVec);CHKERRQ(ierr); 1918 ierr = PetscFEIntegrateResidual(feCh, prob, f, Ne, cgeom, u, u_t, probAux, a, t, elemVecCh);CHKERRQ(ierr); 1919 ierr = PetscFEIntegrateResidual(fe, prob, f, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, &elemVec[offset*totDim]);CHKERRQ(ierr); 1920 ierr = PetscFEIntegrateResidual(feCh, prob, f, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, &elemVecCh[offset*totDim]);CHKERRQ(ierr); 1921 } 1922 for (c = cStart; c < cEnd; ++c) { 1923 PetscBool diff = PETSC_FALSE; 1924 PetscInt d; 1925 1926 for (d = 0; d < totDim; ++d) if (PetscAbsScalar(elemVec[c*totDim+d] - elemVecCh[c*totDim+d]) > 1.0e-7) {diff = PETSC_TRUE;break;} 1927 if (diff) { 1928 ierr = PetscPrintf(PetscObjectComm((PetscObject) dm), "Different cell %d\n", c);CHKERRQ(ierr); 1929 ierr = DMPrintCellVector(c, "Residual", totDim, &elemVec[c*totDim]);CHKERRQ(ierr); 1930 ierr = DMPrintCellVector(c, "Check Residual", totDim, &elemVecCh[c*totDim]);CHKERRQ(ierr); 1931 ++diffCell; 1932 } 1933 if (diffCell > 9) break; 1934 ierr = DMPlexVecSetClosure(dm, section, F, c, &elemVec[c*totDim], ADD_ALL_VALUES);CHKERRQ(ierr); 1935 } 1936 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 1937 ierr = PetscFree(cgeom);CHKERRQ(ierr); 1938 } 1939 else { 1940 cgeom = NULL; 1941 } 1942 ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 1943 ierr = PetscFree3(u,u_t,elemVec);CHKERRQ(ierr); 1944 ierr = PetscFree(elemVecCh);CHKERRQ(ierr); 1945 if (dmAux) {ierr = PetscFree(a);CHKERRQ(ierr);} 1946 PetscFunctionReturn(0); 1947 } 1948 1949 #undef __FUNCT__ 1950 #define __FUNCT__ "DMPlexSNESComputeResidualFEM" 1951 /*@ 1952 DMPlexSNESComputeResidualFEM - Form the local residual F from the local input X using pointwise functions specified by the user 1953 1954 Input Parameters: 1955 + dm - The mesh 1956 . X - Local solution 1957 - user - The user context 1958 1959 Output Parameter: 1960 . F - Local output vector 1961 1962 Level: developer 1963 1964 .seealso: DMPlexComputeJacobianActionFEM() 1965 @*/ 1966 PetscErrorCode DMPlexSNESComputeResidualFEM(DM dm, Vec X, Vec F, void *user) 1967 { 1968 PetscObject check; 1969 PetscInt cStart, cEnd, cEndInterior; 1970 DM plex; 1971 PetscErrorCode ierr; 1972 1973 PetscFunctionBegin; 1974 ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 1975 ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr); 1976 ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr); 1977 cEnd = cEndInterior < 0 ? cEnd : cEndInterior; 1978 /* The dmCh is used to check two mathematically equivalent discretizations for computational equivalence */ 1979 ierr = PetscObjectQuery((PetscObject) plex, "dmCh", &check);CHKERRQ(ierr); 1980 if (check) {ierr = DMPlexComputeResidualFEM_Check_Internal(plex, X, NULL, 0.0, F, user);CHKERRQ(ierr);} 1981 else {ierr = DMPlexComputeResidual_Internal(plex, cStart, cEnd, PETSC_MIN_REAL, X, NULL, 0.0, F, user);CHKERRQ(ierr);} 1982 ierr = DMDestroy(&plex);CHKERRQ(ierr); 1983 PetscFunctionReturn(0); 1984 } 1985 1986 #undef __FUNCT__ 1987 #define __FUNCT__ "DMPlexSNESComputeBoundaryFEM" 1988 /*@ 1989 DMPlexSNESComputeBoundaryFEM - Form the boundary values for the local input X 1990 1991 Input Parameters: 1992 + dm - The mesh 1993 - user - The user context 1994 1995 Output Parameter: 1996 . X - Local solution 1997 1998 Level: developer 1999 2000 .seealso: DMPlexComputeJacobianActionFEM() 2001 @*/ 2002 PetscErrorCode DMPlexSNESComputeBoundaryFEM(DM dm, Vec X, void *user) 2003 { 2004 DM plex; 2005 PetscErrorCode ierr; 2006 2007 PetscFunctionBegin; 2008 ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 2009 ierr = DMPlexInsertBoundaryValues(plex, PETSC_TRUE, X, PETSC_MIN_REAL, NULL, NULL, NULL);CHKERRQ(ierr); 2010 ierr = DMDestroy(&plex);CHKERRQ(ierr); 2011 PetscFunctionReturn(0); 2012 } 2013 2014 #undef __FUNCT__ 2015 #define __FUNCT__ "DMPlexComputeJacobian_Internal" 2016 PetscErrorCode DMPlexComputeJacobian_Internal(DM dm, PetscInt cStart, PetscInt cEnd, PetscReal t, PetscReal X_tShift, Vec X, Vec X_t, Mat Jac, Mat JacP,void *user) 2017 { 2018 DM_Plex *mesh = (DM_Plex *) dm->data; 2019 const char *name = "Jacobian"; 2020 DM dmAux, plex; 2021 DMLabel depth; 2022 Vec A, cellgeom; 2023 PetscDS prob, probAux = NULL; 2024 PetscQuadrature quad; 2025 PetscSection section, globalSection, subSection, sectionAux; 2026 PetscFECellGeom *cgeom = NULL; 2027 PetscScalar *cgeomScal; 2028 PetscScalar *elemMat, *elemMatP, *elemMatD, *u, *u_t, *a = NULL; 2029 PetscInt dim, Nf, f, fieldI, fieldJ, numCells, c; 2030 PetscInt totDim, totDimBd, totDimAux, numBd, bd; 2031 PetscBool isMatIS, isMatISP, isShell, hasJac, hasPrec, hasDyn, hasFV = PETSC_FALSE; 2032 PetscErrorCode ierr; 2033 2034 PetscFunctionBegin; 2035 ierr = PetscLogEventBegin(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 2036 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 2037 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 2038 ierr = PetscObjectTypeCompare((PetscObject) JacP, MATIS, &isMatISP);CHKERRQ(ierr); 2039 ierr = DMGetDefaultGlobalSection(dm, &globalSection);CHKERRQ(ierr); 2040 if (isMatISP) { 2041 ierr = DMPlexGetSubdomainSection(dm, &subSection);CHKERRQ(ierr); 2042 } 2043 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 2044 ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 2045 ierr = PetscDSGetTotalBdDimension(prob, &totDimBd);CHKERRQ(ierr); 2046 ierr = PetscDSHasJacobian(prob, &hasJac);CHKERRQ(ierr); 2047 ierr = PetscDSHasJacobianPreconditioner(prob, &hasPrec);CHKERRQ(ierr); 2048 ierr = PetscDSHasDynamicJacobian(prob, &hasDyn);CHKERRQ(ierr); 2049 hasDyn = hasDyn && (X_tShift != 0.0) ? PETSC_TRUE : PETSC_FALSE; 2050 ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr); 2051 numCells = cEnd - cStart; 2052 ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr); 2053 ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr); 2054 if (dmAux) { 2055 ierr = DMConvert(dmAux, DMPLEX, &plex);CHKERRQ(ierr); 2056 ierr = DMGetDefaultSection(plex, §ionAux);CHKERRQ(ierr); 2057 ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 2058 ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 2059 } 2060 ierr = MatZeroEntries(JacP);CHKERRQ(ierr); 2061 ierr = PetscMalloc5(numCells*totDim,&u,X_t ? numCells*totDim : 0,&u_t,hasJac ? numCells*totDim*totDim : 0,&elemMat,hasPrec ? numCells*totDim*totDim : 0, &elemMatP,hasDyn ? numCells*totDim*totDim : 0, &elemMatD);CHKERRQ(ierr); 2062 if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);} 2063 ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 2064 ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2065 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 2066 DM dmCell; 2067 2068 ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr); 2069 ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr); 2070 for (c = 0; c < cEnd - cStart; c++) { 2071 PetscScalar *thisgeom; 2072 2073 ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 2074 cgeom[c] = *((PetscFECellGeom *) thisgeom); 2075 } 2076 } else { 2077 cgeom = (PetscFECellGeom *) cgeomScal; 2078 } 2079 for (c = cStart; c < cEnd; ++c) { 2080 PetscScalar *x = NULL, *x_t = NULL; 2081 PetscInt i; 2082 2083 ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 2084 for (i = 0; i < totDim; ++i) u[(c-cStart)*totDim+i] = x[i]; 2085 ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 2086 if (X_t) { 2087 ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 2088 for (i = 0; i < totDim; ++i) u_t[(c-cStart)*totDim+i] = x_t[i]; 2089 ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 2090 } 2091 if (dmAux) { 2092 ierr = DMPlexVecGetClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 2093 for (i = 0; i < totDimAux; ++i) a[(c-cStart)*totDimAux+i] = x[i]; 2094 ierr = DMPlexVecRestoreClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 2095 } 2096 } 2097 if (hasJac) {ierr = PetscMemzero(elemMat, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 2098 if (hasPrec) {ierr = PetscMemzero(elemMatP, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 2099 if (hasDyn) {ierr = PetscMemzero(elemMatD, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 2100 for (fieldI = 0; fieldI < Nf; ++fieldI) { 2101 PetscClassId id; 2102 PetscFE fe; 2103 PetscInt numQuadPoints, Nb; 2104 /* Conforming batches */ 2105 PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 2106 /* Remainder */ 2107 PetscInt Nr, offset; 2108 2109 ierr = PetscDSGetDiscretization(prob, fieldI, (PetscObject *) &fe);CHKERRQ(ierr); 2110 ierr = PetscObjectGetClassId((PetscObject) fe, &id);CHKERRQ(ierr); 2111 if (id == PETSCFV_CLASSID) {hasFV = PETSC_TRUE; continue;} 2112 ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr); 2113 ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 2114 ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 2115 ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 2116 blockSize = Nb*numQuadPoints; 2117 batchSize = numBlocks * blockSize; 2118 ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 2119 numChunks = numCells / (numBatches*batchSize); 2120 Ne = numChunks*numBatches*batchSize; 2121 Nr = numCells % (numBatches*batchSize); 2122 offset = numCells - Nr; 2123 for (fieldJ = 0; fieldJ < Nf; ++fieldJ) { 2124 if (hasJac) { 2125 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMat);CHKERRQ(ierr); 2126 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN, fieldI, fieldJ, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, X_tShift, &elemMat[offset*totDim*totDim]);CHKERRQ(ierr); 2127 } 2128 if (hasPrec) { 2129 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_PRE, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMatP);CHKERRQ(ierr); 2130 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_PRE, fieldI, fieldJ, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, X_tShift, &elemMatP[offset*totDim*totDim]);CHKERRQ(ierr); 2131 } 2132 if (hasDyn) { 2133 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_DYN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMatD);CHKERRQ(ierr); 2134 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_DYN, fieldI, fieldJ, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, X_tShift, &elemMatD[offset*totDim*totDim]);CHKERRQ(ierr); 2135 } 2136 } 2137 } 2138 if (hasDyn) { 2139 for (c = 0; c < (cEnd - cStart)*totDim*totDim; ++c) elemMat[c] += X_tShift*elemMatD[c]; 2140 } 2141 if (hasFV) { 2142 PetscClassId id; 2143 PetscFV fv; 2144 PetscInt offsetI, NcI, NbI = 1, fc, f; 2145 2146 for (fieldI = 0; fieldI < Nf; ++fieldI) { 2147 ierr = PetscDSGetDiscretization(prob, fieldI, (PetscObject *) &fv);CHKERRQ(ierr); 2148 ierr = PetscDSGetFieldOffset(prob, fieldI, &offsetI);CHKERRQ(ierr); 2149 ierr = PetscObjectGetClassId((PetscObject) fv, &id);CHKERRQ(ierr); 2150 if (id != PETSCFV_CLASSID) continue; 2151 /* Put in the identity */ 2152 ierr = PetscFVGetNumComponents(fv, &NcI);CHKERRQ(ierr); 2153 for (c = cStart; c < cEnd; ++c) { 2154 const PetscInt eOffset = (c-cStart)*totDim*totDim; 2155 for (fc = 0; fc < NcI; ++fc) { 2156 for (f = 0; f < NbI; ++f) { 2157 const PetscInt i = offsetI + f*NcI+fc; 2158 if (hasPrec) { 2159 if (hasJac) {elemMat[eOffset+i*totDim+i] = 1.0;} 2160 elemMatP[eOffset+i*totDim+i] = 1.0; 2161 } else {elemMat[eOffset+i*totDim+i] = 1.0;} 2162 } 2163 } 2164 } 2165 } 2166 /* No allocated space for FV stuff, so ignore the zero entries */ 2167 ierr = MatSetOption(JacP, MAT_IGNORE_ZERO_ENTRIES, PETSC_TRUE);CHKERRQ(ierr); 2168 } 2169 isMatIS = PETSC_FALSE; 2170 if (hasPrec && hasJac) { 2171 ierr = PetscObjectTypeCompare((PetscObject) JacP, MATIS, &isMatIS);CHKERRQ(ierr); 2172 } 2173 if (isMatIS && !subSection) { 2174 ierr = DMPlexGetSubdomainSection(dm, &subSection);CHKERRQ(ierr); 2175 } 2176 for (c = cStart; c < cEnd; ++c) { 2177 if (hasPrec) { 2178 if (hasJac) { 2179 if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);} 2180 if (!isMatIS) { 2181 ierr = DMPlexMatSetClosure(dm, section, globalSection, Jac, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2182 } else { 2183 Mat lJ; 2184 2185 ierr = MatISGetLocalMat(Jac,&lJ);CHKERRQ(ierr); 2186 ierr = DMPlexMatSetClosure(dm, section, subSection, lJ, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2187 } 2188 } 2189 if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMatP[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);} 2190 if (!isMatISP) { 2191 ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, c, &elemMatP[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2192 } else { 2193 Mat lJ; 2194 2195 ierr = MatISGetLocalMat(JacP,&lJ);CHKERRQ(ierr); 2196 ierr = DMPlexMatSetClosure(dm, section, subSection, lJ, c, &elemMatP[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2197 } 2198 } else { 2199 if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);} 2200 if (!isMatISP) { 2201 ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2202 } else { 2203 Mat lJ; 2204 2205 ierr = MatISGetLocalMat(JacP,&lJ);CHKERRQ(ierr); 2206 ierr = DMPlexMatSetClosure(dm, section, subSection, lJ, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2207 } 2208 } 2209 } 2210 if (hasFV) {ierr = MatSetOption(JacP, MAT_IGNORE_ZERO_ENTRIES, PETSC_FALSE);CHKERRQ(ierr);} 2211 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 2212 ierr = PetscFree(cgeom);CHKERRQ(ierr); 2213 } else { 2214 cgeom = NULL; 2215 } 2216 ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2217 ierr = PetscFree5(u,u_t,elemMat,elemMatP,elemMatD);CHKERRQ(ierr); 2218 if (dmAux) { 2219 ierr = PetscFree(a);CHKERRQ(ierr); 2220 ierr = DMDestroy(&plex);CHKERRQ(ierr); 2221 } 2222 ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr); 2223 ierr = DMGetNumBoundary(dm, &numBd);CHKERRQ(ierr); 2224 ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr); 2225 ierr = DMGetNumBoundary(dm, &numBd);CHKERRQ(ierr); 2226 for (bd = 0; bd < numBd; ++bd) { 2227 const char *bdLabel; 2228 DMLabel label; 2229 IS pointIS; 2230 const PetscInt *points; 2231 const PetscInt *values; 2232 PetscInt field, numValues, v, numPoints, p, dep, numFaces; 2233 PetscBool isEssential; 2234 PetscObject obj; 2235 PetscClassId id; 2236 2237 ierr = PetscDSGetBoundary(dm->prob, bd, &isEssential, NULL, &bdLabel, &field, NULL, NULL, NULL, &numValues, &values, NULL);CHKERRQ(ierr); 2238 ierr = DMGetField(dm, field, &obj);CHKERRQ(ierr); 2239 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 2240 if ((id != PETSCFE_CLASSID) || isEssential) continue; 2241 ierr = DMGetLabel(dm, bdLabel, &label);CHKERRQ(ierr); 2242 for (v = 0; v < numValues; ++v) { 2243 ierr = DMLabelGetStratumSize(label, values[v], &numPoints);CHKERRQ(ierr); 2244 ierr = DMLabelGetStratumIS(label, values[v], &pointIS);CHKERRQ(ierr); 2245 if (!pointIS) continue; /* No points with that id on this process */ 2246 ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr); 2247 for (p = 0, numFaces = 0; p < numPoints; ++p) { 2248 ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 2249 if (dep == dim-1) ++numFaces; 2250 } 2251 ierr = PetscMalloc3(numFaces*totDimBd,&u,numFaces,&cgeom,numFaces*totDimBd*totDimBd,&elemMat);CHKERRQ(ierr); 2252 if (X_t) {ierr = PetscMalloc1(numFaces*totDimBd,&u_t);CHKERRQ(ierr);} 2253 for (p = 0, f = 0; p < numPoints; ++p) { 2254 const PetscInt point = points[p]; 2255 PetscScalar *x = NULL; 2256 PetscInt i; 2257 2258 ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 2259 if (dep != dim-1) continue; 2260 ierr = DMPlexComputeCellGeometryFEM(dm, point, NULL, cgeom[f].v0, cgeom[f].J, cgeom[f].invJ, &cgeom[f].detJ);CHKERRQ(ierr); 2261 ierr = DMPlexComputeCellGeometryFVM(dm, point, NULL, NULL, cgeom[f].n);CHKERRQ(ierr); 2262 if (cgeom[f].detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for face %d", cgeom[f].detJ, point); 2263 ierr = DMPlexVecGetClosure(dm, section, X, point, NULL, &x);CHKERRQ(ierr); 2264 for (i = 0; i < totDimBd; ++i) u[f*totDimBd+i] = x[i]; 2265 ierr = DMPlexVecRestoreClosure(dm, section, X, point, NULL, &x);CHKERRQ(ierr); 2266 if (X_t) { 2267 ierr = DMPlexVecGetClosure(dm, section, X_t, point, NULL, &x);CHKERRQ(ierr); 2268 for (i = 0; i < totDimBd; ++i) u_t[f*totDimBd+i] = x[i]; 2269 ierr = DMPlexVecRestoreClosure(dm, section, X_t, point, NULL, &x);CHKERRQ(ierr); 2270 } 2271 ++f; 2272 } 2273 ierr = PetscMemzero(elemMat, numFaces*totDimBd*totDimBd * sizeof(PetscScalar));CHKERRQ(ierr); 2274 for (fieldI = 0; fieldI < Nf; ++fieldI) { 2275 PetscFE fe; 2276 PetscInt numQuadPoints, Nb; 2277 /* Conforming batches */ 2278 PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 2279 /* Remainder */ 2280 PetscInt Nr, offset; 2281 2282 ierr = PetscDSGetBdDiscretization(prob, fieldI, (PetscObject *) &fe);CHKERRQ(ierr); 2283 ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr); 2284 ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 2285 ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 2286 ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 2287 blockSize = Nb*numQuadPoints; 2288 batchSize = numBlocks * blockSize; 2289 ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 2290 numChunks = numFaces / (numBatches*batchSize); 2291 Ne = numChunks*numBatches*batchSize; 2292 Nr = numFaces % (numBatches*batchSize); 2293 offset = numFaces - Nr; 2294 for (fieldJ = 0; fieldJ < Nf; ++fieldJ) { 2295 ierr = PetscFEIntegrateBdJacobian(fe, prob, fieldI, fieldJ, Ne, cgeom, u, u_t, NULL, NULL, t, X_tShift, elemMat);CHKERRQ(ierr); 2296 ierr = PetscFEIntegrateBdJacobian(fe, prob, fieldI, fieldJ, Nr, &cgeom[offset], &u[offset*totDimBd], u_t ? &u_t[offset*totDimBd] : NULL, NULL, NULL, t, X_tShift, &elemMat[offset*totDimBd*totDimBd]);CHKERRQ(ierr); 2297 } 2298 } 2299 for (p = 0, f = 0; p < numPoints; ++p) { 2300 const PetscInt point = points[p]; 2301 2302 ierr = DMLabelGetValue(depth, point, &dep);CHKERRQ(ierr); 2303 if (dep != dim-1) continue; 2304 if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(point, "BdJacobian", totDimBd, totDimBd, &elemMat[f*totDimBd*totDimBd]);CHKERRQ(ierr);} 2305 if (!isMatISP) { 2306 ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, point, &elemMat[f*totDimBd*totDimBd], ADD_VALUES);CHKERRQ(ierr); 2307 } else { 2308 Mat lJ; 2309 2310 ierr = MatISGetLocalMat(JacP,&lJ);CHKERRQ(ierr); 2311 ierr = DMPlexMatSetClosure(dm, section, subSection, lJ, point, &elemMat[f*totDimBd*totDimBd], ADD_VALUES);CHKERRQ(ierr); 2312 } 2313 ++f; 2314 } 2315 ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr); 2316 ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 2317 ierr = PetscFree3(u,cgeom,elemMat);CHKERRQ(ierr); 2318 if (X_t) {ierr = PetscFree(u_t);CHKERRQ(ierr);} 2319 } 2320 } 2321 if (hasJac && hasPrec) { 2322 ierr = MatAssemblyBegin(Jac, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 2323 ierr = MatAssemblyEnd(Jac, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 2324 } 2325 ierr = MatAssemblyBegin(JacP, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 2326 ierr = MatAssemblyEnd(JacP, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 2327 if (mesh->printFEM) { 2328 ierr = PetscPrintf(PETSC_COMM_WORLD, "%s:\n", name);CHKERRQ(ierr); 2329 ierr = MatChop(JacP, 1.0e-10);CHKERRQ(ierr); 2330 ierr = MatView(JacP, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 2331 } 2332 ierr = PetscLogEventEnd(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 2333 ierr = PetscObjectTypeCompare((PetscObject) Jac, MATSHELL, &isShell);CHKERRQ(ierr); 2334 if (isShell) { 2335 JacActionCtx *jctx; 2336 2337 ierr = MatShellGetContext(Jac, &jctx);CHKERRQ(ierr); 2338 ierr = VecCopy(X, jctx->u);CHKERRQ(ierr); 2339 } 2340 PetscFunctionReturn(0); 2341 } 2342 2343 2344 #undef __FUNCT__ 2345 #define __FUNCT__ "DMPlexComputeJacobianAction_Internal" 2346 PetscErrorCode DMPlexComputeJacobianAction_Internal(DM dm, PetscInt cStart, PetscInt cEnd, PetscReal t, PetscReal X_tShift, Vec X, Vec X_t, Vec Y, Vec Z, void *user) 2347 { 2348 DM_Plex *mesh = (DM_Plex *) dm->data; 2349 const char *name = "Jacobian"; 2350 DM dmAux, plex; 2351 Vec A, cellgeom; 2352 PetscDS prob, probAux = NULL; 2353 PetscQuadrature quad; 2354 PetscSection section, globalSection, sectionAux; 2355 PetscFECellGeom *cgeom = NULL; 2356 PetscScalar *cgeomScal; 2357 PetscScalar *elemMat, *elemMatD, *u, *u_t, *a = NULL, *y, *z; 2358 PetscInt dim, Nf, fieldI, fieldJ, numCells, c; 2359 PetscInt totDim, totDimBd, totDimAux = 0; 2360 PetscBool hasDyn; 2361 PetscErrorCode ierr; 2362 2363 PetscFunctionBegin; 2364 ierr = PetscLogEventBegin(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 2365 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 2366 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 2367 ierr = DMGetDefaultGlobalSection(dm, &globalSection);CHKERRQ(ierr); 2368 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 2369 ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 2370 ierr = PetscDSGetTotalBdDimension(prob, &totDimBd);CHKERRQ(ierr); 2371 ierr = PetscDSHasDynamicJacobian(prob, &hasDyn);CHKERRQ(ierr); 2372 hasDyn = hasDyn && (X_tShift != 0.0) ? PETSC_TRUE : PETSC_FALSE; 2373 ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr); 2374 ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 2375 numCells = cEnd - cStart; 2376 ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr); 2377 ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr); 2378 if (dmAux) { 2379 ierr = DMConvert(dmAux, DMPLEX, &plex);CHKERRQ(ierr); 2380 ierr = DMGetDefaultSection(plex, §ionAux);CHKERRQ(ierr); 2381 ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 2382 ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 2383 } 2384 ierr = VecSet(Z, 0.0);CHKERRQ(ierr); 2385 ierr = PetscMalloc6(numCells*totDim,&u,X_t ? numCells*totDim : 0,&u_t,numCells*totDim*totDim,&elemMat,hasDyn ? numCells*totDim*totDim : 0, &elemMatD,numCells*totDim,&y,totDim,&z);CHKERRQ(ierr); 2386 if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);} 2387 ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 2388 ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2389 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 2390 DM dmCell; 2391 2392 ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr); 2393 ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr); 2394 for (c = 0; c < cEnd - cStart; c++) { 2395 PetscScalar *thisgeom; 2396 2397 ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 2398 cgeom[c] = *((PetscFECellGeom *) thisgeom); 2399 } 2400 } else { 2401 cgeom = (PetscFECellGeom *) cgeomScal; 2402 } 2403 for (c = cStart; c < cEnd; ++c) { 2404 PetscScalar *x = NULL, *x_t = NULL; 2405 PetscInt i; 2406 2407 ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 2408 for (i = 0; i < totDim; ++i) u[(c-cStart)*totDim+i] = x[i]; 2409 ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 2410 if (X_t) { 2411 ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 2412 for (i = 0; i < totDim; ++i) u_t[(c-cStart)*totDim+i] = x_t[i]; 2413 ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 2414 } 2415 if (dmAux) { 2416 ierr = DMPlexVecGetClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 2417 for (i = 0; i < totDimAux; ++i) a[(c-cStart)*totDimAux+i] = x[i]; 2418 ierr = DMPlexVecRestoreClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 2419 } 2420 ierr = DMPlexVecGetClosure(dm, section, Y, c, NULL, &x);CHKERRQ(ierr); 2421 for (i = 0; i < totDim; ++i) y[(c-cStart)*totDim+i] = x[i]; 2422 ierr = DMPlexVecRestoreClosure(dm, section, Y, c, NULL, &x);CHKERRQ(ierr); 2423 } 2424 ierr = PetscMemzero(elemMat, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 2425 if (hasDyn) {ierr = PetscMemzero(elemMatD, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 2426 for (fieldI = 0; fieldI < Nf; ++fieldI) { 2427 PetscFE fe; 2428 PetscInt numQuadPoints, Nb; 2429 /* Conforming batches */ 2430 PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 2431 /* Remainder */ 2432 PetscInt Nr, offset; 2433 2434 ierr = PetscDSGetDiscretization(prob, fieldI, (PetscObject *) &fe);CHKERRQ(ierr); 2435 ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr); 2436 ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 2437 ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 2438 ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 2439 blockSize = Nb*numQuadPoints; 2440 batchSize = numBlocks * blockSize; 2441 ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 2442 numChunks = numCells / (numBatches*batchSize); 2443 Ne = numChunks*numBatches*batchSize; 2444 Nr = numCells % (numBatches*batchSize); 2445 offset = numCells - Nr; 2446 for (fieldJ = 0; fieldJ < Nf; ++fieldJ) { 2447 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMat);CHKERRQ(ierr); 2448 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN, fieldI, fieldJ, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, X_tShift, &elemMat[offset*totDim*totDim]);CHKERRQ(ierr); 2449 if (hasDyn) { 2450 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_DYN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMatD);CHKERRQ(ierr); 2451 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_DYN, fieldI, fieldJ, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, X_tShift, &elemMatD[offset*totDim*totDim]);CHKERRQ(ierr); 2452 } 2453 } 2454 } 2455 if (hasDyn) { 2456 for (c = 0; c < (cEnd - cStart)*totDim*totDim; ++c) elemMat[c] += X_tShift*elemMatD[c]; 2457 } 2458 for (c = cStart; c < cEnd; ++c) { 2459 const PetscBLASInt M = totDim, one = 1; 2460 const PetscScalar a = 1.0, b = 0.0; 2461 2462 PetscStackCallBLAS("BLASgemv", BLASgemv_("N", &M, &M, &a, &elemMat[(c-cStart)*totDim*totDim], &M, &y[(c-cStart)*totDim], &one, &b, z, &one)); 2463 if (mesh->printFEM > 1) { 2464 ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr); 2465 ierr = DMPrintCellVector(c, "Y", totDim, &y[(c-cStart)*totDim]);CHKERRQ(ierr); 2466 ierr = DMPrintCellVector(c, "Z", totDim, z);CHKERRQ(ierr); 2467 } 2468 ierr = DMPlexVecSetClosure(dm, section, Z, c, z, ADD_VALUES);CHKERRQ(ierr); 2469 } 2470 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) {ierr = PetscFree(cgeom);CHKERRQ(ierr);} 2471 else {cgeom = NULL;} 2472 ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2473 ierr = PetscFree6(u,u_t,elemMat,elemMatD,y,z);CHKERRQ(ierr); 2474 if (dmAux) { 2475 ierr = PetscFree(a);CHKERRQ(ierr); 2476 ierr = DMDestroy(&plex);CHKERRQ(ierr); 2477 } 2478 if (mesh->printFEM) { 2479 ierr = PetscPrintf(PETSC_COMM_WORLD, "Z:\n");CHKERRQ(ierr); 2480 ierr = VecView(Z, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 2481 } 2482 ierr = PetscLogEventEnd(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 2483 PetscFunctionReturn(0); 2484 } 2485 2486 #undef __FUNCT__ 2487 #define __FUNCT__ "DMPlexSNESComputeJacobianFEM" 2488 /*@ 2489 DMPlexSNESComputeJacobianFEM - Form the local portion of the Jacobian matrix J at the local solution X using pointwise functions specified by the user. 2490 2491 Input Parameters: 2492 + dm - The mesh 2493 . X - Local input vector 2494 - user - The user context 2495 2496 Output Parameter: 2497 . Jac - Jacobian matrix 2498 2499 Note: 2500 We form the residual one batch of elements at a time. This allows us to offload work onto an accelerator, 2501 like a GPU, or vectorize on a multicore machine. 2502 2503 Level: developer 2504 2505 .seealso: FormFunctionLocal() 2506 @*/ 2507 PetscErrorCode DMPlexSNESComputeJacobianFEM(DM dm, Vec X, Mat Jac, Mat JacP,void *user) 2508 { 2509 PetscInt cStart, cEnd, cEndInterior; 2510 DM plex; 2511 PetscErrorCode ierr; 2512 2513 PetscFunctionBegin; 2514 ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 2515 ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr); 2516 ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr); 2517 cEnd = cEndInterior < 0 ? cEnd : cEndInterior; 2518 ierr = DMPlexComputeJacobian_Internal(plex, cStart, cEnd, 0.0, 0.0, X, NULL, Jac, JacP, user);CHKERRQ(ierr); 2519 ierr = DMDestroy(&plex);CHKERRQ(ierr); 2520 PetscFunctionReturn(0); 2521 } 2522 2523 #undef __FUNCT__ 2524 #define __FUNCT__ "DMPlexSNESComputeJacobianActionFEM" 2525 /*@ 2526 DMPlexSNESComputeJacobianActionFEM - Form the local portion of the Jacobian action Z = J(X) Y at the local solution X using pointwise functions specified by the user. 2527 2528 Input Parameters: 2529 + dm - The mesh 2530 . X - Local solution vector 2531 . Y - Local input vector 2532 - user - The user context 2533 2534 Output Parameter: 2535 . Z - Local output vector 2536 2537 Note: 2538 We form the residual one batch of elements at a time. This allows us to offload work onto an accelerator, 2539 like a GPU, or vectorize on a multicore machine. 2540 2541 Level: developer 2542 2543 .seealso: FormFunctionLocal() 2544 @*/ 2545 PetscErrorCode DMPlexSNESComputeJacobianActionFEM(DM dm, Vec X, Vec Y, Vec Z, void *user) 2546 { 2547 PetscInt cStart, cEnd, cEndInterior; 2548 DM plex; 2549 PetscErrorCode ierr; 2550 2551 PetscFunctionBegin; 2552 ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 2553 ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr); 2554 ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr); 2555 cEnd = cEndInterior < 0 ? cEnd : cEndInterior; 2556 ierr = DMPlexComputeJacobianAction_Internal(plex, cStart, cEnd, 0.0, 0.0, X, NULL, Y, Z, user);CHKERRQ(ierr); 2557 ierr = DMDestroy(&plex);CHKERRQ(ierr); 2558 PetscFunctionReturn(0); 2559 } 2560 2561 #undef __FUNCT__ 2562 #define __FUNCT__ "DMPlexSetSNESLocalFEM" 2563 /*@ 2564 DMPlexSetSNESLocalFEM - Use DMPlex's internal FEM routines to compute SNES boundary values, residual, and Jacobian. 2565 2566 Input Parameters: 2567 + dm - The DM object 2568 . boundaryctx - the user context that will be passed to pointwise evaluation of boundary values (see PetscDSAddBoundary()) 2569 . residualctx - the user context that will be passed to pointwise evaluation of finite element residual computations (see PetscDSSetResidual()) 2570 - jacobianctx - the user context that will be passed to pointwise evaluation of finite element Jacobian construction (see PetscDSSetJacobian()) 2571 2572 Level: developer 2573 @*/ 2574 PetscErrorCode DMPlexSetSNESLocalFEM(DM dm, void *boundaryctx, void *residualctx, void *jacobianctx) 2575 { 2576 PetscErrorCode ierr; 2577 2578 PetscFunctionBegin; 2579 ierr = DMSNESSetBoundaryLocal(dm,DMPlexSNESComputeBoundaryFEM,boundaryctx);CHKERRQ(ierr); 2580 ierr = DMSNESSetFunctionLocal(dm,DMPlexSNESComputeResidualFEM,residualctx);CHKERRQ(ierr); 2581 ierr = DMSNESSetJacobianLocal(dm,DMPlexSNESComputeJacobianFEM,jacobianctx);CHKERRQ(ierr); 2582 PetscFunctionReturn(0); 2583 } 2584 2585 #undef __FUNCT__ 2586 #define __FUNCT__ "DMSNESCheckFromOptions_Internal" 2587 PetscErrorCode DMSNESCheckFromOptions_Internal(SNES snes, DM dm, Vec u, Vec sol, PetscErrorCode (**exactFuncs)(PetscInt, PetscReal, const PetscReal x[], PetscInt, PetscScalar *u, void *ctx), void **ctxs) 2588 { 2589 Mat J, M; 2590 Vec r, b; 2591 MatNullSpace nullSpace; 2592 PetscReal *error, res = 0.0; 2593 PetscInt numFields; 2594 PetscErrorCode ierr; 2595 2596 PetscFunctionBegin; 2597 ierr = VecDuplicate(u, &r);CHKERRQ(ierr); 2598 ierr = DMCreateMatrix(dm, &J);CHKERRQ(ierr); 2599 M = J; 2600 /* TODO Null space for J */ 2601 /* Check discretization error */ 2602 ierr = DMGetNumFields(dm, &numFields);CHKERRQ(ierr); 2603 ierr = PetscMalloc1(PetscMax(1, numFields), &error);CHKERRQ(ierr); 2604 if (numFields > 1) { 2605 PetscInt f; 2606 2607 ierr = DMComputeL2FieldDiff(dm, 0.0, exactFuncs, ctxs, u, error);CHKERRQ(ierr); 2608 ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: [");CHKERRQ(ierr); 2609 for (f = 0; f < numFields; ++f) { 2610 if (f) {ierr = PetscPrintf(PETSC_COMM_WORLD, ", ");CHKERRQ(ierr);} 2611 if (error[f] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "%g", error[f]);CHKERRQ(ierr);} 2612 else {ierr = PetscPrintf(PETSC_COMM_WORLD, "< 1.0e-11");CHKERRQ(ierr);} 2613 } 2614 ierr = PetscPrintf(PETSC_COMM_WORLD, "]\n");CHKERRQ(ierr); 2615 } else { 2616 ierr = DMComputeL2Diff(dm, 0.0, exactFuncs, ctxs, u, &error[0]);CHKERRQ(ierr); 2617 if (error[0] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: %g\n", error[0]);CHKERRQ(ierr);} 2618 else {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: < 1.0e-11\n");CHKERRQ(ierr);} 2619 } 2620 ierr = PetscFree(error);CHKERRQ(ierr); 2621 /* Check residual */ 2622 ierr = SNESComputeFunction(snes, u, r);CHKERRQ(ierr); 2623 ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr); 2624 ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Residual: %g\n", res);CHKERRQ(ierr); 2625 ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr); 2626 ierr = PetscObjectSetName((PetscObject) r, "Initial Residual");CHKERRQ(ierr); 2627 ierr = PetscObjectSetOptionsPrefix((PetscObject)r,"res_");CHKERRQ(ierr); 2628 ierr = VecViewFromOptions(r, NULL, "-vec_view");CHKERRQ(ierr); 2629 /* Check Jacobian */ 2630 ierr = SNESComputeJacobian(snes, u, M, M);CHKERRQ(ierr); 2631 ierr = MatGetNullSpace(J, &nullSpace);CHKERRQ(ierr); 2632 if (nullSpace) { 2633 PetscBool isNull; 2634 ierr = MatNullSpaceTest(nullSpace, J, &isNull);CHKERRQ(ierr); 2635 if (!isNull) SETERRQ(PETSC_COMM_WORLD, PETSC_ERR_PLIB, "The null space calculated for the system operator is invalid."); 2636 } 2637 ierr = VecDuplicate(u, &b);CHKERRQ(ierr); 2638 ierr = VecSet(r, 0.0);CHKERRQ(ierr); 2639 ierr = SNESComputeFunction(snes, r, b);CHKERRQ(ierr); 2640 ierr = MatMult(M, u, r);CHKERRQ(ierr); 2641 ierr = VecAXPY(r, 1.0, b);CHKERRQ(ierr); 2642 ierr = VecDestroy(&b);CHKERRQ(ierr); 2643 ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr); 2644 ierr = PetscPrintf(PETSC_COMM_WORLD, "Linear L_2 Residual: %g\n", res);CHKERRQ(ierr); 2645 ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr); 2646 ierr = PetscObjectSetName((PetscObject) r, "Au - b = Au + F(0)");CHKERRQ(ierr); 2647 ierr = PetscObjectSetOptionsPrefix((PetscObject)r,"linear_res_");CHKERRQ(ierr); 2648 ierr = VecViewFromOptions(r, NULL, "-vec_view");CHKERRQ(ierr); 2649 ierr = VecDestroy(&r);CHKERRQ(ierr); 2650 ierr = MatNullSpaceDestroy(&nullSpace);CHKERRQ(ierr); 2651 ierr = MatDestroy(&J);CHKERRQ(ierr); 2652 PetscFunctionReturn(0); 2653 } 2654 2655 #undef __FUNCT__ 2656 #define __FUNCT__ "DMSNESCheckFromOptions" 2657 PetscErrorCode DMSNESCheckFromOptions(SNES snes, Vec u, PetscErrorCode (**exactFuncs)(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nf, PetscScalar *u, void *ctx), void **ctxs) 2658 { 2659 DM dm; 2660 Vec sol; 2661 PetscBool check; 2662 PetscErrorCode ierr; 2663 2664 PetscFunctionBegin; 2665 ierr = PetscOptionsHasName(((PetscObject)snes)->options,((PetscObject)snes)->prefix, "-dmsnes_check", &check);CHKERRQ(ierr); 2666 if (!check) PetscFunctionReturn(0); 2667 ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr); 2668 ierr = VecDuplicate(u, &sol);CHKERRQ(ierr); 2669 ierr = SNESSetSolution(snes, sol);CHKERRQ(ierr); 2670 ierr = DMSNESCheckFromOptions_Internal(snes, dm, u, sol, exactFuncs, ctxs);CHKERRQ(ierr); 2671 ierr = VecDestroy(&sol);CHKERRQ(ierr); 2672 PetscFunctionReturn(0); 2673 } 2674