10c59ef15SJeremy L Thompson // libCEED + PETSc Example: CEED BPs 20c59ef15SJeremy L Thompson // 30c59ef15SJeremy L Thompson // This example demonstrates a simple usage of libCEED with PETSc to solve the 40c59ef15SJeremy L Thompson // CEED BP benchmark problems, see http://ceed.exascaleproject.org/bps. 50c59ef15SJeremy L Thompson // 60c59ef15SJeremy L Thompson // The code is intentionally "raw", using only low-level communication 70c59ef15SJeremy L Thompson // primitives. 80c59ef15SJeremy L Thompson // 90c59ef15SJeremy L Thompson // Build with: 100c59ef15SJeremy L Thompson // 110c59ef15SJeremy L Thompson // make bps [PETSC_DIR=</path/to/petsc>] [CEED_DIR=</path/to/libceed>] 120c59ef15SJeremy L Thompson // 130c59ef15SJeremy L Thompson // Sample runs: 140c59ef15SJeremy L Thompson // 150c59ef15SJeremy L Thompson // bps -problem bp1 160c59ef15SJeremy L Thompson // bps -problem bp2 -ceed /cpu/self 170c59ef15SJeremy L Thompson // bps -problem bp3 -ceed /gpu/occa 180c59ef15SJeremy L Thompson // bps -problem bp4 -ceed /cpu/occa 190c59ef15SJeremy L Thompson // bps -problem bp5 -ceed /omp/occa 200c59ef15SJeremy L Thompson // bps -problem bp6 -ceed /ocl/occa 210c59ef15SJeremy L Thompson // 220c59ef15SJeremy L Thompson //TESTARGS -ceed {ceed_resource} -test -problem bp3 230c59ef15SJeremy L Thompson 240c59ef15SJeremy L Thompson /// @file 250c59ef15SJeremy L Thompson /// CEED BPs example using PETSc 260c59ef15SJeremy L Thompson const char help[] = "Solve CEED BPs using PETSc\n"; 270c59ef15SJeremy L Thompson 280c59ef15SJeremy L Thompson #include <stdbool.h> 290c59ef15SJeremy L Thompson #include <string.h> 300c59ef15SJeremy L Thompson #include "common.h" 310c59ef15SJeremy L Thompson #include "bp1.h" 320c59ef15SJeremy L Thompson #include "bp2.h" 330c59ef15SJeremy L Thompson #include "bp3.h" 340c59ef15SJeremy L Thompson #include "bp4.h" 350c59ef15SJeremy L Thompson 360c59ef15SJeremy L Thompson #define PATH(BASE) __DIR__ #BASE 370c59ef15SJeremy L Thompson 380c59ef15SJeremy L Thompson static void Split3(PetscInt size, PetscInt m[3], bool reverse) { 390c59ef15SJeremy L Thompson for (PetscInt d=0,sizeleft=size; d<3; d++) { 400c59ef15SJeremy L Thompson PetscInt try = (PetscInt)PetscCeilReal(PetscPowReal(sizeleft, 1./(3 - d))); 410c59ef15SJeremy L Thompson while (try * (sizeleft / try) != sizeleft) try++; 420c59ef15SJeremy L Thompson m[reverse ? 2-d : d] = try; 430c59ef15SJeremy L Thompson sizeleft /= try; 440c59ef15SJeremy L Thompson } 450c59ef15SJeremy L Thompson } 460c59ef15SJeremy L Thompson 470c59ef15SJeremy L Thompson static PetscInt Max3(const PetscInt a[3]) { 480c59ef15SJeremy L Thompson return PetscMax(a[0], PetscMax(a[1], a[2])); 490c59ef15SJeremy L Thompson } 500c59ef15SJeremy L Thompson static PetscInt Min3(const PetscInt a[3]) { 510c59ef15SJeremy L Thompson return PetscMin(a[0], PetscMin(a[1], a[2])); 520c59ef15SJeremy L Thompson } 530c59ef15SJeremy L Thompson static void GlobalDof(const PetscInt p[3], const PetscInt irank[3], 540c59ef15SJeremy L Thompson PetscInt degree, const PetscInt melem[3], 550c59ef15SJeremy L Thompson PetscInt mdof[3]) { 560c59ef15SJeremy L Thompson for (int d=0; d<3; d++) 570c59ef15SJeremy L Thompson mdof[d] = degree*melem[d] + (irank[d] == p[d]-1); 580c59ef15SJeremy L Thompson } 590c59ef15SJeremy L Thompson static PetscInt GlobalStart(const PetscInt p[3], const PetscInt irank[3], 600c59ef15SJeremy L Thompson PetscInt degree, const PetscInt melem[3]) { 610c59ef15SJeremy L Thompson PetscInt start = 0; 620c59ef15SJeremy L Thompson // Dumb brute-force is easier to read 630c59ef15SJeremy L Thompson for (PetscInt i=0; i<p[0]; i++) { 640c59ef15SJeremy L Thompson for (PetscInt j=0; j<p[1]; j++) { 650c59ef15SJeremy L Thompson for (PetscInt k=0; k<p[2]; k++) { 660c59ef15SJeremy L Thompson PetscInt mdof[3], ijkrank[] = {i,j,k}; 670c59ef15SJeremy L Thompson if (i == irank[0] && j == irank[1] && k == irank[2]) return start; 680c59ef15SJeremy L Thompson GlobalDof(p, ijkrank, degree, melem, mdof); 690c59ef15SJeremy L Thompson start += mdof[0] * mdof[1] * mdof[2]; 700c59ef15SJeremy L Thompson } 710c59ef15SJeremy L Thompson } 720c59ef15SJeremy L Thompson } 730c59ef15SJeremy L Thompson return -1; 740c59ef15SJeremy L Thompson } 750c59ef15SJeremy L Thompson static int CreateRestriction(Ceed ceed, const CeedInt melem[3], 760c59ef15SJeremy L Thompson CeedInt P, CeedInt ncomp, 770c59ef15SJeremy L Thompson CeedElemRestriction *Erestrict) { 780c59ef15SJeremy L Thompson const PetscInt Nelem = melem[0]*melem[1]*melem[2]; 790c59ef15SJeremy L Thompson PetscInt mdof[3], *idx, *idxp; 800c59ef15SJeremy L Thompson 810c59ef15SJeremy L Thompson for (int d=0; d<3; d++) mdof[d] = melem[d]*(P-1) + 1; 820c59ef15SJeremy L Thompson idxp = idx = malloc(Nelem*P*P*P*sizeof idx[0]); 830c59ef15SJeremy L Thompson for (CeedInt i=0; i<melem[0]; i++) { 840c59ef15SJeremy L Thompson for (CeedInt j=0; j<melem[1]; j++) { 850c59ef15SJeremy L Thompson for (CeedInt k=0; k<melem[2]; k++,idxp += P*P*P) { 860c59ef15SJeremy L Thompson for (CeedInt ii=0; ii<P; ii++) { 870c59ef15SJeremy L Thompson for (CeedInt jj=0; jj<P; jj++) { 880c59ef15SJeremy L Thompson for (CeedInt kk=0; kk<P; kk++) { 890c59ef15SJeremy L Thompson if (0) { // This is the C-style (i,j,k) ordering that I prefer 900c59ef15SJeremy L Thompson idxp[(ii*P+jj)*P+kk] = (((i*(P-1)+ii)*mdof[1] 910c59ef15SJeremy L Thompson + (j*(P-1)+jj))*mdof[2] 920c59ef15SJeremy L Thompson + (k*(P-1)+kk)); 930c59ef15SJeremy L Thompson } else { // (k,j,i) ordering for consistency with MFEM example 940c59ef15SJeremy L Thompson idxp[ii+P*(jj+P*kk)] = (((i*(P-1)+ii)*mdof[1] 950c59ef15SJeremy L Thompson + (j*(P-1)+jj))*mdof[2] 960c59ef15SJeremy L Thompson + (k*(P-1)+kk)); 970c59ef15SJeremy L Thompson } 980c59ef15SJeremy L Thompson } 990c59ef15SJeremy L Thompson } 1000c59ef15SJeremy L Thompson } 1010c59ef15SJeremy L Thompson } 1020c59ef15SJeremy L Thompson } 1030c59ef15SJeremy L Thompson } 1040c59ef15SJeremy L Thompson CeedElemRestrictionCreate(ceed, Nelem, P*P*P, mdof[0]*mdof[1]*mdof[2], ncomp, 1050c59ef15SJeremy L Thompson CEED_MEM_HOST, CEED_OWN_POINTER, idx, Erestrict); 1060c59ef15SJeremy L Thompson PetscFunctionReturn(0); 1070c59ef15SJeremy L Thompson } 1080c59ef15SJeremy L Thompson 1090c59ef15SJeremy L Thompson // Data for PETSc 1100c59ef15SJeremy L Thompson typedef struct User_ *User; 1110c59ef15SJeremy L Thompson struct User_ { 1120c59ef15SJeremy L Thompson MPI_Comm comm; 1130c59ef15SJeremy L Thompson VecScatter ltog; // Scatter for all entries 1140c59ef15SJeremy L Thompson VecScatter ltog0; // Skip Dirichlet values 1150c59ef15SJeremy L Thompson VecScatter gtogD; // global-to-global; only Dirichlet values 1160c59ef15SJeremy L Thompson Vec Xloc, Yloc; 1170c59ef15SJeremy L Thompson CeedVector xceed, yceed; 1180c59ef15SJeremy L Thompson CeedOperator op; 1190c59ef15SJeremy L Thompson CeedVector rho; 1200c59ef15SJeremy L Thompson Ceed ceed; 1210c59ef15SJeremy L Thompson }; 1220c59ef15SJeremy L Thompson 1230c59ef15SJeremy L Thompson // BP Options 1240c59ef15SJeremy L Thompson typedef enum { 1250c59ef15SJeremy L Thompson CEED_BP1 = 0, CEED_BP2 = 1, CEED_BP3 = 2, 1260c59ef15SJeremy L Thompson CEED_BP4 = 3, CEED_BP5 = 4, CEED_BP6 = 5 1270c59ef15SJeremy L Thompson } bpType; 1280c59ef15SJeremy L Thompson static const char *const bpTypes[] = {"bp1","bp2","bp3","bp4","bp5","bp6", 1290c59ef15SJeremy L Thompson "bpType","CEED_BP",0}; 1300c59ef15SJeremy L Thompson 1310c59ef15SJeremy L Thompson // BP specific data 1320c59ef15SJeremy L Thompson typedef struct { 1330c59ef15SJeremy L Thompson CeedInt vscale, qdatasize, qextra; 1340c59ef15SJeremy L Thompson CeedQFunctionUser setup, apply, error; 1350c59ef15SJeremy L Thompson const char setupfname[PETSC_MAX_PATH_LEN], applyfname[PETSC_MAX_PATH_LEN], 1360c59ef15SJeremy L Thompson errorfname[PETSC_MAX_PATH_LEN]; 1370c59ef15SJeremy L Thompson CeedEvalMode inmode, outmode; 1380c59ef15SJeremy L Thompson } bpData; 1390c59ef15SJeremy L Thompson 1400c59ef15SJeremy L Thompson bpData bpOptions[6] = { 1410c59ef15SJeremy L Thompson [CEED_BP1] = { 1420c59ef15SJeremy L Thompson .vscale = 1, 1430c59ef15SJeremy L Thompson .qdatasize = 1, 1440c59ef15SJeremy L Thompson .qextra = 2, 1450c59ef15SJeremy L Thompson .setup = SetupMass, 1460c59ef15SJeremy L Thompson .apply = Mass, 1470c59ef15SJeremy L Thompson .error = Error, 1480c59ef15SJeremy L Thompson .setupfname = PATH(bp1.h:SetupMass), 1490c59ef15SJeremy L Thompson .applyfname = PATH(bp1.h:Mass), 1500c59ef15SJeremy L Thompson .errorfname = PATH(common.h:Error), 1510c59ef15SJeremy L Thompson .inmode = CEED_EVAL_INTERP, 1520c59ef15SJeremy L Thompson .outmode = CEED_EVAL_INTERP}, 1530c59ef15SJeremy L Thompson [CEED_BP2] = { 1540c59ef15SJeremy L Thompson .vscale = 3, 1550c59ef15SJeremy L Thompson .qdatasize = 1, 1560c59ef15SJeremy L Thompson .qextra = 2, 1570c59ef15SJeremy L Thompson .setup = SetupMass3, 1580c59ef15SJeremy L Thompson .apply = Mass3, 1590c59ef15SJeremy L Thompson .error = Error3, 1600c59ef15SJeremy L Thompson .setupfname = PATH(bp2.h:SetupMass3), 1610c59ef15SJeremy L Thompson .applyfname = PATH(bp2.h:Mass3), 1620c59ef15SJeremy L Thompson .errorfname = PATH(common.h:Error3), 1630c59ef15SJeremy L Thompson .inmode = CEED_EVAL_INTERP, 1640c59ef15SJeremy L Thompson .outmode = CEED_EVAL_INTERP}, 1650c59ef15SJeremy L Thompson [CEED_BP3] = { 1660c59ef15SJeremy L Thompson .vscale = 1, 1670c59ef15SJeremy L Thompson .qdatasize = 6, 1680c59ef15SJeremy L Thompson .qextra = 2, 1690c59ef15SJeremy L Thompson .setup = SetupDiff, 1700c59ef15SJeremy L Thompson .apply = Diff, 1710c59ef15SJeremy L Thompson .error = Error, 1720c59ef15SJeremy L Thompson .setupfname = PATH(bp3.h:SetupDiff), 1730c59ef15SJeremy L Thompson .applyfname = PATH(bp3.h:Diff), 1740c59ef15SJeremy L Thompson .errorfname = PATH(common.h:Error), 1750c59ef15SJeremy L Thompson .inmode = CEED_EVAL_GRAD, 1760c59ef15SJeremy L Thompson .outmode = CEED_EVAL_GRAD}, 1770c59ef15SJeremy L Thompson [CEED_BP4] = { 1780c59ef15SJeremy L Thompson .vscale = 3, 1790c59ef15SJeremy L Thompson .qdatasize = 6, 1800c59ef15SJeremy L Thompson .qextra = 2, 1810c59ef15SJeremy L Thompson .setup = SetupDiff3, 1820c59ef15SJeremy L Thompson .apply = Diff3, 183*4b5b4ec1Sjeremylt .error = Error3, 1840c59ef15SJeremy L Thompson .setupfname = PATH(bp4.h:SetupDiff3), 1850c59ef15SJeremy L Thompson .applyfname = PATH(bp4.h:Diff), 1860c59ef15SJeremy L Thompson .errorfname = PATH(common.h:Error3), 1870c59ef15SJeremy L Thompson .inmode = CEED_EVAL_GRAD, 1880c59ef15SJeremy L Thompson .outmode = CEED_EVAL_GRAD}, 1890c59ef15SJeremy L Thompson [CEED_BP5] = { 1900c59ef15SJeremy L Thompson .vscale = 1, 1910c59ef15SJeremy L Thompson .qdatasize = 6, 1920c59ef15SJeremy L Thompson .qextra = 1, 1930c59ef15SJeremy L Thompson .setup = SetupDiff, 1940c59ef15SJeremy L Thompson .apply = Diff, 1950c59ef15SJeremy L Thompson .error = Error, 1960c59ef15SJeremy L Thompson .setupfname = PATH(bp3.h:SetupDiff), 1970c59ef15SJeremy L Thompson .applyfname = PATH(bp3.h:Diff), 1980c59ef15SJeremy L Thompson .errorfname = PATH(common.h:Error), 1990c59ef15SJeremy L Thompson .inmode = CEED_EVAL_GRAD, 2000c59ef15SJeremy L Thompson .outmode = CEED_EVAL_GRAD}, 2010c59ef15SJeremy L Thompson [CEED_BP6] = { 2020c59ef15SJeremy L Thompson .vscale = 3, 2030c59ef15SJeremy L Thompson .qdatasize = 6, 2040c59ef15SJeremy L Thompson .qextra = 1, 2050c59ef15SJeremy L Thompson .setup = SetupDiff3, 2060c59ef15SJeremy L Thompson .apply = Diff3, 207*4b5b4ec1Sjeremylt .error = Error3, 2080c59ef15SJeremy L Thompson .setupfname = PATH(bp4.h:SetupDiff3), 2090c59ef15SJeremy L Thompson .applyfname = PATH(bp4.h:Diff), 2100c59ef15SJeremy L Thompson .errorfname = PATH(common.h:Error3), 2110c59ef15SJeremy L Thompson .inmode = CEED_EVAL_GRAD, 2120c59ef15SJeremy L Thompson .outmode = CEED_EVAL_GRAD} 2130c59ef15SJeremy L Thompson }; 2140c59ef15SJeremy L Thompson 2150c59ef15SJeremy L Thompson // This function uses libCEED to compute the action of the mass matrix 2160c59ef15SJeremy L Thompson static PetscErrorCode MatMult_Mass(Mat A, Vec X, Vec Y) { 2170c59ef15SJeremy L Thompson PetscErrorCode ierr; 2180c59ef15SJeremy L Thompson User user; 2190c59ef15SJeremy L Thompson PetscScalar *x, *y; 2200c59ef15SJeremy L Thompson 2210c59ef15SJeremy L Thompson PetscFunctionBeginUser; 2220c59ef15SJeremy L Thompson ierr = MatShellGetContext(A, &user); CHKERRQ(ierr); 2230c59ef15SJeremy L Thompson ierr = VecScatterBegin(user->ltog, X, user->Xloc, INSERT_VALUES, 2240c59ef15SJeremy L Thompson SCATTER_REVERSE); CHKERRQ(ierr); 2250c59ef15SJeremy L Thompson ierr = VecScatterEnd(user->ltog, X, user->Xloc, INSERT_VALUES, SCATTER_REVERSE); 2260c59ef15SJeremy L Thompson CHKERRQ(ierr); 2270c59ef15SJeremy L Thompson ierr = VecZeroEntries(user->Yloc); CHKERRQ(ierr); 2280c59ef15SJeremy L Thompson 2290c59ef15SJeremy L Thompson ierr = VecGetArrayRead(user->Xloc, (const PetscScalar **)&x); CHKERRQ(ierr); 2300c59ef15SJeremy L Thompson ierr = VecGetArray(user->Yloc, &y); CHKERRQ(ierr); 2310c59ef15SJeremy L Thompson CeedVectorSetArray(user->xceed, CEED_MEM_HOST, CEED_USE_POINTER, x); 2320c59ef15SJeremy L Thompson CeedVectorSetArray(user->yceed, CEED_MEM_HOST, CEED_USE_POINTER, y); 2330c59ef15SJeremy L Thompson 2340c59ef15SJeremy L Thompson CeedOperatorApply(user->op, user->xceed, user->yceed, 2350c59ef15SJeremy L Thompson CEED_REQUEST_IMMEDIATE); 2360c59ef15SJeremy L Thompson ierr = CeedVectorSyncArray(user->yceed, CEED_MEM_HOST); CHKERRQ(ierr); 2370c59ef15SJeremy L Thompson 2380c59ef15SJeremy L Thompson ierr = VecRestoreArrayRead(user->Xloc, (const PetscScalar **)&x); CHKERRQ(ierr); 2390c59ef15SJeremy L Thompson ierr = VecRestoreArray(user->Yloc, &y); CHKERRQ(ierr); 2400c59ef15SJeremy L Thompson 2410c59ef15SJeremy L Thompson if (Y) { 2420c59ef15SJeremy L Thompson ierr = VecZeroEntries(Y); CHKERRQ(ierr); 2430c59ef15SJeremy L Thompson ierr = VecScatterBegin(user->ltog, user->Yloc, Y, ADD_VALUES, SCATTER_FORWARD); 2440c59ef15SJeremy L Thompson CHKERRQ(ierr); 2450c59ef15SJeremy L Thompson ierr = VecScatterEnd(user->ltog, user->Yloc, Y, ADD_VALUES, SCATTER_FORWARD); 2460c59ef15SJeremy L Thompson CHKERRQ(ierr); 2470c59ef15SJeremy L Thompson } 2480c59ef15SJeremy L Thompson PetscFunctionReturn(0); 2490c59ef15SJeremy L Thompson } 2500c59ef15SJeremy L Thompson 2510c59ef15SJeremy L Thompson // This function uses libCEED to compute the action of the Laplacian with 2520c59ef15SJeremy L Thompson // Dirichlet boundary conditions 2530c59ef15SJeremy L Thompson static PetscErrorCode MatMult_Diff(Mat A, Vec X, Vec Y) { 2540c59ef15SJeremy L Thompson PetscErrorCode ierr; 2550c59ef15SJeremy L Thompson User user; 2560c59ef15SJeremy L Thompson PetscScalar *x, *y; 2570c59ef15SJeremy L Thompson 2580c59ef15SJeremy L Thompson PetscFunctionBeginUser; 2590c59ef15SJeremy L Thompson ierr = MatShellGetContext(A, &user); CHKERRQ(ierr); 2600c59ef15SJeremy L Thompson ierr = VecScatterBegin(user->ltog0, X, user->Xloc, INSERT_VALUES, 2610c59ef15SJeremy L Thompson SCATTER_REVERSE); CHKERRQ(ierr); 2620c59ef15SJeremy L Thompson ierr = VecScatterEnd(user->ltog0, X, user->Xloc, INSERT_VALUES, 2630c59ef15SJeremy L Thompson SCATTER_REVERSE); 2640c59ef15SJeremy L Thompson CHKERRQ(ierr); 2650c59ef15SJeremy L Thompson ierr = VecZeroEntries(user->Yloc); CHKERRQ(ierr); 2660c59ef15SJeremy L Thompson 2670c59ef15SJeremy L Thompson ierr = VecGetArrayRead(user->Xloc, (const PetscScalar **)&x); CHKERRQ(ierr); 2680c59ef15SJeremy L Thompson ierr = VecGetArray(user->Yloc, &y); CHKERRQ(ierr); 2690c59ef15SJeremy L Thompson CeedVectorSetArray(user->xceed, CEED_MEM_HOST, CEED_USE_POINTER, x); 2700c59ef15SJeremy L Thompson CeedVectorSetArray(user->yceed, CEED_MEM_HOST, CEED_USE_POINTER, y); 2710c59ef15SJeremy L Thompson 2720c59ef15SJeremy L Thompson CeedOperatorApply(user->op, user->xceed, user->yceed, 2730c59ef15SJeremy L Thompson CEED_REQUEST_IMMEDIATE); 2740c59ef15SJeremy L Thompson ierr = CeedVectorSyncArray(user->yceed, CEED_MEM_HOST); CHKERRQ(ierr); 2750c59ef15SJeremy L Thompson 2760c59ef15SJeremy L Thompson ierr = VecRestoreArrayRead(user->Xloc, (const PetscScalar **)&x); CHKERRQ(ierr); 2770c59ef15SJeremy L Thompson ierr = VecRestoreArray(user->Yloc, &y); CHKERRQ(ierr); 2780c59ef15SJeremy L Thompson 2790c59ef15SJeremy L Thompson ierr = VecZeroEntries(Y); CHKERRQ(ierr); 2800c59ef15SJeremy L Thompson ierr = VecScatterBegin(user->gtogD, X, Y, INSERT_VALUES, SCATTER_FORWARD); 2810c59ef15SJeremy L Thompson CHKERRQ(ierr); 2820c59ef15SJeremy L Thompson ierr = VecScatterEnd(user->gtogD, X, Y, INSERT_VALUES, SCATTER_FORWARD); 2830c59ef15SJeremy L Thompson CHKERRQ(ierr); 2840c59ef15SJeremy L Thompson ierr = VecScatterBegin(user->ltog0, user->Yloc, Y, ADD_VALUES, SCATTER_FORWARD); 2850c59ef15SJeremy L Thompson CHKERRQ(ierr); 2860c59ef15SJeremy L Thompson ierr = VecScatterEnd(user->ltog0, user->Yloc, Y, ADD_VALUES, SCATTER_FORWARD); 2870c59ef15SJeremy L Thompson CHKERRQ(ierr); 2880c59ef15SJeremy L Thompson PetscFunctionReturn(0); 2890c59ef15SJeremy L Thompson } 2900c59ef15SJeremy L Thompson 2910c59ef15SJeremy L Thompson // This function calculates the error in the final solution 2920c59ef15SJeremy L Thompson static PetscErrorCode ComputeErrorMax(User user, CeedOperator op_error, Vec X, 2930c59ef15SJeremy L Thompson CeedVector target, PetscReal *maxerror) { 2940c59ef15SJeremy L Thompson PetscErrorCode ierr; 2950c59ef15SJeremy L Thompson PetscScalar *x; 2960c59ef15SJeremy L Thompson CeedVector collocated_error; 2970c59ef15SJeremy L Thompson CeedInt length; 2980c59ef15SJeremy L Thompson 2990c59ef15SJeremy L Thompson PetscFunctionBeginUser; 3000c59ef15SJeremy L Thompson CeedVectorGetLength(target, &length); 3010c59ef15SJeremy L Thompson CeedVectorCreate(user->ceed, length, &collocated_error); 3020c59ef15SJeremy L Thompson ierr = VecScatterBegin(user->ltog, X, user->Xloc, INSERT_VALUES, 3030c59ef15SJeremy L Thompson SCATTER_REVERSE); CHKERRQ(ierr); 3040c59ef15SJeremy L Thompson ierr = VecScatterEnd(user->ltog, X, user->Xloc, INSERT_VALUES, SCATTER_REVERSE); 3050c59ef15SJeremy L Thompson CHKERRQ(ierr); 3060c59ef15SJeremy L Thompson ierr = VecGetArrayRead(user->Xloc, (const PetscScalar **)&x); CHKERRQ(ierr); 3070c59ef15SJeremy L Thompson CeedVectorSetArray(user->xceed, CEED_MEM_HOST, CEED_USE_POINTER, x); 3080c59ef15SJeremy L Thompson CeedOperatorApply(op_error, user->xceed, collocated_error, 3090c59ef15SJeremy L Thompson CEED_REQUEST_IMMEDIATE); 3100c59ef15SJeremy L Thompson VecRestoreArrayRead(user->Xloc, (const PetscScalar **)&x); CHKERRQ(ierr); 3110c59ef15SJeremy L Thompson 3120c59ef15SJeremy L Thompson *maxerror = 0; 3130c59ef15SJeremy L Thompson const CeedScalar *e; 3140c59ef15SJeremy L Thompson CeedVectorGetArrayRead(collocated_error, CEED_MEM_HOST, &e); 3150c59ef15SJeremy L Thompson for (CeedInt i=0; i<length; i++) { 3160c59ef15SJeremy L Thompson *maxerror = PetscMax(*maxerror, PetscAbsScalar(e[i])); 3170c59ef15SJeremy L Thompson } 3180c59ef15SJeremy L Thompson CeedVectorRestoreArrayRead(collocated_error, &e); 3190c59ef15SJeremy L Thompson ierr = MPI_Allreduce(MPI_IN_PLACE, &maxerror, 3200c59ef15SJeremy L Thompson 1, MPIU_SCALAR, MPIU_MAX, user->comm); CHKERRQ(ierr); 3210c59ef15SJeremy L Thompson CeedVectorDestroy(&collocated_error); 3220c59ef15SJeremy L Thompson PetscFunctionReturn(0); 3230c59ef15SJeremy L Thompson } 3240c59ef15SJeremy L Thompson 3250c59ef15SJeremy L Thompson int main(int argc, char **argv) { 3260c59ef15SJeremy L Thompson PetscInt ierr; 3270c59ef15SJeremy L Thompson MPI_Comm comm; 3280c59ef15SJeremy L Thompson char ceedresource[PETSC_MAX_PATH_LEN] = "/cpu/self"; 3290c59ef15SJeremy L Thompson PetscInt degree, qextra, localdof, localelem, melem[3], mdof[3], p[3], 3300c59ef15SJeremy L Thompson irank[3], ldof[3], lsize, vscale = 1; 3310c59ef15SJeremy L Thompson PetscScalar *r; 3320c59ef15SJeremy L Thompson PetscBool test_mode, benchmark_mode; 3330c59ef15SJeremy L Thompson PetscMPIInt size, rank; 334*4b5b4ec1Sjeremylt VecScatter ltog, ltog0, gtogD; 3350c59ef15SJeremy L Thompson Ceed ceed; 3360c59ef15SJeremy L Thompson CeedBasis basisx, basisu; 3370c59ef15SJeremy L Thompson CeedElemRestriction Erestrictx, Erestrictu, Erestrictxi, Erestrictui, 3380c59ef15SJeremy L Thompson Erestrictqdi; 3390c59ef15SJeremy L Thompson CeedQFunction qf_setup, qf_apply, qf_error; 3400c59ef15SJeremy L Thompson CeedOperator op_setup, op_apply, op_error; 3410c59ef15SJeremy L Thompson CeedVector xcoord, rho, rhsceed, target; 3420c59ef15SJeremy L Thompson CeedInt P, Q; 3430c59ef15SJeremy L Thompson Vec X, Xloc, rhs, rhsloc; 3440c59ef15SJeremy L Thompson Mat mat; 3450c59ef15SJeremy L Thompson KSP ksp; 3460c59ef15SJeremy L Thompson User user; 3470c59ef15SJeremy L Thompson double my_rt_start, my_rt, rt_min, rt_max; 3480c59ef15SJeremy L Thompson bpType bpChoice; 3490c59ef15SJeremy L Thompson 3500c59ef15SJeremy L Thompson ierr = PetscInitialize(&argc, &argv, NULL, help); 3510c59ef15SJeremy L Thompson if (ierr) return ierr; 3520c59ef15SJeremy L Thompson comm = PETSC_COMM_WORLD; 3530c59ef15SJeremy L Thompson ierr = PetscOptionsBegin(comm, NULL, "CEED BPs in PETSc", NULL); CHKERRQ(ierr); 3540c59ef15SJeremy L Thompson bpChoice = CEED_BP1; 3550c59ef15SJeremy L Thompson ierr = PetscOptionsEnum("-problem", 3560c59ef15SJeremy L Thompson "CEED benchmark problem to solve", NULL, 3570c59ef15SJeremy L Thompson bpTypes, (PetscEnum)bpChoice, (PetscEnum*)&bpChoice, 3580c59ef15SJeremy L Thompson NULL); CHKERRQ(ierr); 3590c59ef15SJeremy L Thompson vscale = bpOptions[bpChoice].vscale; 3600c59ef15SJeremy L Thompson test_mode = PETSC_FALSE; 3610c59ef15SJeremy L Thompson ierr = PetscOptionsBool("-test", 3620c59ef15SJeremy L Thompson "Testing mode (do not print unless error is large)", 3630c59ef15SJeremy L Thompson NULL, test_mode, &test_mode, NULL); CHKERRQ(ierr); 3640c59ef15SJeremy L Thompson benchmark_mode = PETSC_FALSE; 3650c59ef15SJeremy L Thompson ierr = PetscOptionsBool("-benchmark", 3660c59ef15SJeremy L Thompson "Benchmarking mode (prints benchmark statistics)", 3670c59ef15SJeremy L Thompson NULL, benchmark_mode, &benchmark_mode, NULL); 3680c59ef15SJeremy L Thompson CHKERRQ(ierr); 3690c59ef15SJeremy L Thompson degree = test_mode ? 3 : 1; 3700c59ef15SJeremy L Thompson ierr = PetscOptionsInt("-degree", "Polynomial degree of tensor product basis", 3710c59ef15SJeremy L Thompson NULL, degree, °ree, NULL); CHKERRQ(ierr); 3720c59ef15SJeremy L Thompson qextra = bpOptions[bpChoice].qextra; 3730c59ef15SJeremy L Thompson ierr = PetscOptionsInt("-qextra", "Number of extra quadrature points", 3740c59ef15SJeremy L Thompson NULL, qextra, &qextra, NULL); CHKERRQ(ierr); 3750c59ef15SJeremy L Thompson ierr = PetscOptionsString("-ceed", "CEED resource specifier", 3760c59ef15SJeremy L Thompson NULL, ceedresource, ceedresource, 3770c59ef15SJeremy L Thompson sizeof(ceedresource), NULL); CHKERRQ(ierr); 3780c59ef15SJeremy L Thompson localdof = 1000; 3790c59ef15SJeremy L Thompson ierr = PetscOptionsInt("-local", 3800c59ef15SJeremy L Thompson "Target number of locally owned degrees of freedom per process", 3810c59ef15SJeremy L Thompson NULL, localdof, &localdof, NULL); CHKERRQ(ierr); 3820c59ef15SJeremy L Thompson ierr = PetscOptionsEnd(); CHKERRQ(ierr); 3830c59ef15SJeremy L Thompson 3840c59ef15SJeremy L Thompson // Determine size of process grid 3850c59ef15SJeremy L Thompson ierr = MPI_Comm_size(comm, &size); CHKERRQ(ierr); 3860c59ef15SJeremy L Thompson Split3(size, p, false); 3870c59ef15SJeremy L Thompson 3880c59ef15SJeremy L Thompson // Find a nicely composite number of elements no less than localdof 3890c59ef15SJeremy L Thompson for (localelem = PetscMax(1, localdof / (degree*degree*degree)); ; 3900c59ef15SJeremy L Thompson localelem++) { 3910c59ef15SJeremy L Thompson Split3(localelem, melem, true); 3920c59ef15SJeremy L Thompson if (Max3(melem) / Min3(melem) <= 2) break; 3930c59ef15SJeremy L Thompson } 3940c59ef15SJeremy L Thompson 3950c59ef15SJeremy L Thompson // Find my location in the process grid 3960c59ef15SJeremy L Thompson ierr = MPI_Comm_rank(comm, &rank); CHKERRQ(ierr); 3970c59ef15SJeremy L Thompson for (int d=0,rankleft=rank; d<3; d++) { 3980c59ef15SJeremy L Thompson const int pstride[3] = {p[1] *p[2], p[2], 1}; 3990c59ef15SJeremy L Thompson irank[d] = rankleft / pstride[d]; 4000c59ef15SJeremy L Thompson rankleft -= irank[d] * pstride[d]; 4010c59ef15SJeremy L Thompson } 4020c59ef15SJeremy L Thompson 4030c59ef15SJeremy L Thompson GlobalDof(p, irank, degree, melem, mdof); 4040c59ef15SJeremy L Thompson 4050c59ef15SJeremy L Thompson ierr = VecCreate(comm, &X); CHKERRQ(ierr); 4060c59ef15SJeremy L Thompson ierr = VecSetSizes(X, mdof[0]*mdof[1]*mdof[2]*vscale, PETSC_DECIDE); 4070c59ef15SJeremy L Thompson CHKERRQ(ierr); 4080c59ef15SJeremy L Thompson ierr = VecSetUp(X); CHKERRQ(ierr); 4090c59ef15SJeremy L Thompson 4100c59ef15SJeremy L Thompson if (!test_mode) { 4110c59ef15SJeremy L Thompson CeedInt gsize; 4120c59ef15SJeremy L Thompson ierr = VecGetSize(X, &gsize); CHKERRQ(ierr); 4130c59ef15SJeremy L Thompson ierr = PetscPrintf(comm, "Global dofs: %D\n", gsize/vscale); CHKERRQ(ierr); 4140c59ef15SJeremy L Thompson ierr = PetscPrintf(comm, "Process decomposition: %D %D %D\n", 4150c59ef15SJeremy L Thompson p[0], p[1], p[2]); CHKERRQ(ierr); 4160c59ef15SJeremy L Thompson ierr = PetscPrintf(comm, "Local elements: %D = %D %D %D\n", localelem, 4170c59ef15SJeremy L Thompson melem[0], melem[1], melem[2]); CHKERRQ(ierr); 4180c59ef15SJeremy L Thompson ierr = PetscPrintf(comm, "Owned dofs: %D = %D %D %D\n", 4190c59ef15SJeremy L Thompson mdof[0]*mdof[1]*mdof[2], mdof[0], mdof[1], mdof[2]); CHKERRQ(ierr); 4200c59ef15SJeremy L Thompson } 4210c59ef15SJeremy L Thompson 4220c59ef15SJeremy L Thompson { 4230c59ef15SJeremy L Thompson lsize = 1; 4240c59ef15SJeremy L Thompson for (int d=0; d<3; d++) { 4250c59ef15SJeremy L Thompson ldof[d] = melem[d]*degree + 1; 4260c59ef15SJeremy L Thompson lsize *= ldof[d]; 4270c59ef15SJeremy L Thompson } 4280c59ef15SJeremy L Thompson ierr = VecCreate(PETSC_COMM_SELF, &Xloc); CHKERRQ(ierr); 4290c59ef15SJeremy L Thompson ierr = VecSetSizes(Xloc, lsize*vscale, PETSC_DECIDE); CHKERRQ(ierr); 4300c59ef15SJeremy L Thompson ierr = VecSetUp(Xloc); CHKERRQ(ierr); 4310c59ef15SJeremy L Thompson 4320c59ef15SJeremy L Thompson // Create local-to-global scatter 4330c59ef15SJeremy L Thompson PetscInt *ltogind, *ltogind0, *locind, l0count; 4340c59ef15SJeremy L Thompson IS ltogis, ltogis0, locis; 4350c59ef15SJeremy L Thompson PetscInt gstart[2][2][2], gmdof[2][2][2][3]; 4360c59ef15SJeremy L Thompson 4370c59ef15SJeremy L Thompson for (int i=0; i<2; i++) { 4380c59ef15SJeremy L Thompson for (int j=0; j<2; j++) { 4390c59ef15SJeremy L Thompson for (int k=0; k<2; k++) { 4400c59ef15SJeremy L Thompson PetscInt ijkrank[3] = {irank[0]+i, irank[1]+j, irank[2]+k}; 4410c59ef15SJeremy L Thompson gstart[i][j][k] = GlobalStart(p, ijkrank, degree, melem); 4420c59ef15SJeremy L Thompson GlobalDof(p, ijkrank, degree, melem, gmdof[i][j][k]); 4430c59ef15SJeremy L Thompson } 4440c59ef15SJeremy L Thompson } 4450c59ef15SJeremy L Thompson } 4460c59ef15SJeremy L Thompson 4470c59ef15SJeremy L Thompson ierr = PetscMalloc1(lsize, <ogind); CHKERRQ(ierr); 4480c59ef15SJeremy L Thompson ierr = PetscMalloc1(lsize, <ogind0); CHKERRQ(ierr); 4490c59ef15SJeremy L Thompson ierr = PetscMalloc1(lsize, &locind); CHKERRQ(ierr); 4500c59ef15SJeremy L Thompson l0count = 0; 4510c59ef15SJeremy L Thompson for (PetscInt i=0,ir,ii; ir=i>=mdof[0], ii=i-ir*mdof[0], i<ldof[0]; i++) { 4520c59ef15SJeremy L Thompson for (PetscInt j=0,jr,jj; jr=j>=mdof[1], jj=j-jr*mdof[1], j<ldof[1]; j++) { 4530c59ef15SJeremy L Thompson for (PetscInt k=0,kr,kk; kr=k>=mdof[2], kk=k-kr*mdof[2], k<ldof[2]; k++) { 4540c59ef15SJeremy L Thompson PetscInt here = (i*ldof[1]+j)*ldof[2]+k; 4550c59ef15SJeremy L Thompson ltogind[here] = 4560c59ef15SJeremy L Thompson gstart[ir][jr][kr] + (ii*gmdof[ir][jr][kr][1]+jj)*gmdof[ir][jr][kr][2]+kk; 4570c59ef15SJeremy L Thompson if ((irank[0] == 0 && i == 0) 4580c59ef15SJeremy L Thompson || (irank[1] == 0 && j == 0) 4590c59ef15SJeremy L Thompson || (irank[2] == 0 && k == 0) 4600c59ef15SJeremy L Thompson || (irank[0]+1 == p[0] && i+1 == ldof[0]) 4610c59ef15SJeremy L Thompson || (irank[1]+1 == p[1] && j+1 == ldof[1]) 4620c59ef15SJeremy L Thompson || (irank[2]+1 == p[2] && k+1 == ldof[2])) 4630c59ef15SJeremy L Thompson continue; 4640c59ef15SJeremy L Thompson ltogind0[l0count] = ltogind[here]; 4650c59ef15SJeremy L Thompson locind[l0count++] = here; 4660c59ef15SJeremy L Thompson } 4670c59ef15SJeremy L Thompson } 4680c59ef15SJeremy L Thompson } 4690c59ef15SJeremy L Thompson ierr = ISCreateBlock(comm, vscale, lsize, ltogind, PETSC_OWN_POINTER, 4700c59ef15SJeremy L Thompson <ogis); CHKERRQ(ierr); 4710c59ef15SJeremy L Thompson ierr = VecScatterCreate(Xloc, NULL, X, ltogis, <og); CHKERRQ(ierr); 4720c59ef15SJeremy L Thompson CHKERRQ(ierr); 4730c59ef15SJeremy L Thompson ierr = ISCreateBlock(comm, vscale, l0count, ltogind0, PETSC_OWN_POINTER, 4740c59ef15SJeremy L Thompson <ogis0); CHKERRQ(ierr); 4750c59ef15SJeremy L Thompson ierr = ISCreateBlock(comm, vscale, l0count, locind, PETSC_OWN_POINTER, 4760c59ef15SJeremy L Thompson &locis); CHKERRQ(ierr); 4770c59ef15SJeremy L Thompson ierr = VecScatterCreate(Xloc, locis, X, ltogis0, <og0); CHKERRQ(ierr); 4780c59ef15SJeremy L Thompson { 4790c59ef15SJeremy L Thompson // Create global-to-global scatter for Dirichlet values (everything not in 4800c59ef15SJeremy L Thompson // ltogis0, which is the range of ltog0) 4810c59ef15SJeremy L Thompson PetscInt xstart, xend, *indD, countD = 0; 4820c59ef15SJeremy L Thompson IS isD; 4830c59ef15SJeremy L Thompson const PetscScalar *x; 4840c59ef15SJeremy L Thompson ierr = VecZeroEntries(Xloc); CHKERRQ(ierr); 4850c59ef15SJeremy L Thompson ierr = VecSet(X, 1.0); CHKERRQ(ierr); 4860c59ef15SJeremy L Thompson ierr = VecScatterBegin(ltog0, Xloc, X, INSERT_VALUES, SCATTER_FORWARD); 4870c59ef15SJeremy L Thompson CHKERRQ(ierr); 4880c59ef15SJeremy L Thompson ierr = VecScatterEnd(ltog0, Xloc, X, INSERT_VALUES, SCATTER_FORWARD); 4890c59ef15SJeremy L Thompson CHKERRQ(ierr); 4900c59ef15SJeremy L Thompson ierr = VecGetOwnershipRange(X, &xstart, &xend); CHKERRQ(ierr); 4910c59ef15SJeremy L Thompson ierr = PetscMalloc1(xend-xstart, &indD); CHKERRQ(ierr); 4920c59ef15SJeremy L Thompson ierr = VecGetArrayRead(X, &x); CHKERRQ(ierr); 4930c59ef15SJeremy L Thompson for (PetscInt i=0; i<xend-xstart; i++) { 4940c59ef15SJeremy L Thompson if (x[i] == 1.) indD[countD++] = xstart + i; 4950c59ef15SJeremy L Thompson } 4960c59ef15SJeremy L Thompson ierr = VecRestoreArrayRead(X, &x); CHKERRQ(ierr); 4970c59ef15SJeremy L Thompson ierr = ISCreateGeneral(comm, countD, indD, PETSC_COPY_VALUES, &isD); 4980c59ef15SJeremy L Thompson CHKERRQ(ierr); 4990c59ef15SJeremy L Thompson ierr = PetscFree(indD); CHKERRQ(ierr); 5000c59ef15SJeremy L Thompson ierr = VecScatterCreate(X, isD, X, isD, >ogD); CHKERRQ(ierr); 5010c59ef15SJeremy L Thompson ierr = ISDestroy(&isD); CHKERRQ(ierr); 5020c59ef15SJeremy L Thompson } 5030c59ef15SJeremy L Thompson ierr = ISDestroy(<ogis); CHKERRQ(ierr); 5040c59ef15SJeremy L Thompson ierr = ISDestroy(<ogis0); CHKERRQ(ierr); 5050c59ef15SJeremy L Thompson ierr = ISDestroy(&locis); CHKERRQ(ierr); 5060c59ef15SJeremy L Thompson } 5070c59ef15SJeremy L Thompson 5080c59ef15SJeremy L Thompson // Set up libCEED 5090c59ef15SJeremy L Thompson CeedInit(ceedresource, &ceed); 5100c59ef15SJeremy L Thompson P = degree + 1; 5110c59ef15SJeremy L Thompson Q = P + qextra; 5120c59ef15SJeremy L Thompson CeedBasisCreateTensorH1Lagrange(ceed, 3, vscale, P, Q, CEED_GAUSS, &basisu); 5130c59ef15SJeremy L Thompson CeedBasisCreateTensorH1Lagrange(ceed, 3, 3, 2, Q, CEED_GAUSS, &basisx); 5140c59ef15SJeremy L Thompson 5150c59ef15SJeremy L Thompson CreateRestriction(ceed, melem, P, vscale, &Erestrictu); 5160c59ef15SJeremy L Thompson CreateRestriction(ceed, melem, 2, 3, &Erestrictx); 5170c59ef15SJeremy L Thompson CeedInt nelem = melem[0]*melem[1]*melem[2]; 5180c59ef15SJeremy L Thompson CeedElemRestrictionCreateIdentity(ceed, nelem, Q*Q*Q, nelem*Q*Q*Q, vscale, 5190c59ef15SJeremy L Thompson &Erestrictui); 5200c59ef15SJeremy L Thompson CeedElemRestrictionCreateIdentity(ceed, nelem, 5210c59ef15SJeremy L Thompson bpOptions[bpChoice].qdatasize*Q*Q*Q, 5220c59ef15SJeremy L Thompson bpOptions[bpChoice].qdatasize*nelem*Q*Q*Q, 5230c59ef15SJeremy L Thompson 1, &Erestrictqdi); 5240c59ef15SJeremy L Thompson CeedElemRestrictionCreateIdentity(ceed, nelem, Q*Q*Q, nelem*Q*Q*Q, 1, 5250c59ef15SJeremy L Thompson &Erestrictxi); 5260c59ef15SJeremy L Thompson { 5270c59ef15SJeremy L Thompson CeedScalar *xloc; 5280c59ef15SJeremy L Thompson CeedInt shape[3] = {melem[0]+1, melem[1]+1, melem[2]+1}, len = 5290c59ef15SJeremy L Thompson shape[0]*shape[1]*shape[2]; 5300c59ef15SJeremy L Thompson xloc = malloc(len*3*sizeof xloc[0]); 5310c59ef15SJeremy L Thompson for (CeedInt i=0; i<shape[0]; i++) { 5320c59ef15SJeremy L Thompson for (CeedInt j=0; j<shape[1]; j++) { 5330c59ef15SJeremy L Thompson for (CeedInt k=0; k<shape[2]; k++) { 5340c59ef15SJeremy L Thompson xloc[((i*shape[1]+j)*shape[2]+k) + 0*len] = 1.*(irank[0]*melem[0]+i) / 5350c59ef15SJeremy L Thompson (p[0]*melem[0]); 5360c59ef15SJeremy L Thompson xloc[((i*shape[1]+j)*shape[2]+k) + 1*len] = 1.*(irank[1]*melem[1]+j) / 5370c59ef15SJeremy L Thompson (p[1]*melem[1]); 5380c59ef15SJeremy L Thompson xloc[((i*shape[1]+j)*shape[2]+k) + 2*len] = 1.*(irank[2]*melem[2]+k) / 5390c59ef15SJeremy L Thompson (p[2]*melem[2]); 5400c59ef15SJeremy L Thompson } 5410c59ef15SJeremy L Thompson } 5420c59ef15SJeremy L Thompson } 5430c59ef15SJeremy L Thompson CeedVectorCreate(ceed, len*3, &xcoord); 5440c59ef15SJeremy L Thompson CeedVectorSetArray(xcoord, CEED_MEM_HOST, CEED_OWN_POINTER, xloc); 5450c59ef15SJeremy L Thompson } 5460c59ef15SJeremy L Thompson 5470c59ef15SJeremy L Thompson // Create the Q-function that builds the operator (i.e. computes its 548*4b5b4ec1Sjeremylt // quadrature data) and set its context data 5490c59ef15SJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, bpOptions[bpChoice].setup, 5500c59ef15SJeremy L Thompson bpOptions[bpChoice].setupfname, &qf_setup); 5510c59ef15SJeremy L Thompson CeedQFunctionAddInput(qf_setup, "x", 3, CEED_EVAL_INTERP); 5520c59ef15SJeremy L Thompson CeedQFunctionAddInput(qf_setup, "dx", 3, CEED_EVAL_GRAD); 5530c59ef15SJeremy L Thompson CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT); 5540c59ef15SJeremy L Thompson CeedQFunctionAddOutput(qf_setup, "rho", bpOptions[bpChoice].qdatasize, 5550c59ef15SJeremy L Thompson CEED_EVAL_NONE); 5560c59ef15SJeremy L Thompson CeedQFunctionAddOutput(qf_setup, "true_soln", vscale, CEED_EVAL_NONE); 5570c59ef15SJeremy L Thompson CeedQFunctionAddOutput(qf_setup, "rhs", vscale, CEED_EVAL_INTERP); 5580c59ef15SJeremy L Thompson 5590c59ef15SJeremy L Thompson // Set up PDE operator 5600c59ef15SJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, bpOptions[bpChoice].apply, 5610c59ef15SJeremy L Thompson bpOptions[bpChoice].applyfname, &qf_apply); 5620c59ef15SJeremy L Thompson // Add inputs and outputs 5630c59ef15SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "u", vscale, bpOptions[bpChoice].inmode); 5640c59ef15SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "rho", bpOptions[bpChoice].qdatasize, 5650c59ef15SJeremy L Thompson CEED_EVAL_NONE); 5660c59ef15SJeremy L Thompson CeedQFunctionAddOutput(qf_apply, "v", vscale, bpOptions[bpChoice].outmode); 5670c59ef15SJeremy L Thompson 5680c59ef15SJeremy L Thompson // Create the error qfunction 5690c59ef15SJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, bpOptions[bpChoice].error, 5700c59ef15SJeremy L Thompson bpOptions[bpChoice].errorfname, &qf_error); 5710c59ef15SJeremy L Thompson CeedQFunctionAddInput(qf_error, "u", vscale, CEED_EVAL_INTERP); 5720c59ef15SJeremy L Thompson CeedQFunctionAddInput(qf_error, "true_soln", vscale, CEED_EVAL_NONE); 5730c59ef15SJeremy L Thompson CeedQFunctionAddOutput(qf_error, "error", vscale, CEED_EVAL_NONE); 5740c59ef15SJeremy L Thompson 5750c59ef15SJeremy L Thompson // Create the persistent vectors that will be needed in setup 5760c59ef15SJeremy L Thompson CeedInt Nqpts, Nelem = melem[0]*melem[1]*melem[2]; 5770c59ef15SJeremy L Thompson CeedBasisGetNumQuadraturePoints(basisu, &Nqpts); 5780c59ef15SJeremy L Thompson CeedVectorCreate(ceed, bpOptions[bpChoice].qdatasize*Nelem*Nqpts, &rho); 5790c59ef15SJeremy L Thompson CeedVectorCreate(ceed, Nelem*Nqpts*vscale, &target); 5800c59ef15SJeremy L Thompson CeedVectorCreate(ceed, lsize*vscale, &rhsceed); 5810c59ef15SJeremy L Thompson 582*4b5b4ec1Sjeremylt // Create the operator that builds the quadrature data for the ceed operator 5830c59ef15SJeremy L Thompson CeedOperatorCreate(ceed, qf_setup, NULL, NULL, &op_setup); 5840c59ef15SJeremy L Thompson CeedOperatorSetField(op_setup, "x", Erestrictx, CEED_NOTRANSPOSE, 5850c59ef15SJeremy L Thompson basisx, CEED_VECTOR_ACTIVE); 5860c59ef15SJeremy L Thompson CeedOperatorSetField(op_setup, "dx", Erestrictx, CEED_NOTRANSPOSE, 5870c59ef15SJeremy L Thompson basisx, CEED_VECTOR_ACTIVE); 5880c59ef15SJeremy L Thompson CeedOperatorSetField(op_setup, "weight", Erestrictxi, CEED_NOTRANSPOSE, 5890c59ef15SJeremy L Thompson basisx, CEED_VECTOR_NONE); 5900c59ef15SJeremy L Thompson CeedOperatorSetField(op_setup, "rho", Erestrictqdi, CEED_NOTRANSPOSE, 5910c59ef15SJeremy L Thompson CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 5920c59ef15SJeremy L Thompson CeedOperatorSetField(op_setup, "true_soln", Erestrictui, CEED_NOTRANSPOSE, 5930c59ef15SJeremy L Thompson CEED_BASIS_COLLOCATED, target); 5940c59ef15SJeremy L Thompson CeedOperatorSetField(op_setup, "rhs", Erestrictu, CEED_TRANSPOSE, 5950c59ef15SJeremy L Thompson basisu, rhsceed); 5960c59ef15SJeremy L Thompson 597*4b5b4ec1Sjeremylt // Create the mass or diff operator 5980c59ef15SJeremy L Thompson CeedOperatorCreate(ceed, qf_apply, NULL, NULL, &op_apply); 5990c59ef15SJeremy L Thompson CeedOperatorSetField(op_apply, "u", Erestrictu, CEED_TRANSPOSE, 6000c59ef15SJeremy L Thompson basisu, CEED_VECTOR_ACTIVE); 6010c59ef15SJeremy L Thompson CeedOperatorSetField(op_apply, "rho", Erestrictqdi, CEED_NOTRANSPOSE, 6020c59ef15SJeremy L Thompson CEED_BASIS_COLLOCATED, rho); 6030c59ef15SJeremy L Thompson CeedOperatorSetField(op_apply, "v", Erestrictu, CEED_TRANSPOSE, 6040c59ef15SJeremy L Thompson basisu, CEED_VECTOR_ACTIVE); 6050c59ef15SJeremy L Thompson 6060c59ef15SJeremy L Thompson // Create the error operator 6070c59ef15SJeremy L Thompson CeedOperatorCreate(ceed, qf_error, NULL, NULL, &op_error); 6080c59ef15SJeremy L Thompson CeedOperatorSetField(op_error, "u", Erestrictu, CEED_TRANSPOSE, 6090c59ef15SJeremy L Thompson basisu, CEED_VECTOR_ACTIVE); 6100c59ef15SJeremy L Thompson CeedOperatorSetField(op_error, "true_soln", Erestrictui, CEED_NOTRANSPOSE, 6110c59ef15SJeremy L Thompson CEED_BASIS_COLLOCATED, target); 6120c59ef15SJeremy L Thompson CeedOperatorSetField(op_error, "error", Erestrictui, CEED_NOTRANSPOSE, 6130c59ef15SJeremy L Thompson CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 6140c59ef15SJeremy L Thompson 6150c59ef15SJeremy L Thompson 6160c59ef15SJeremy L Thompson // Set up Mat 6170c59ef15SJeremy L Thompson ierr = PetscMalloc1(1, &user); CHKERRQ(ierr); 6180c59ef15SJeremy L Thompson user->comm = comm; 6190c59ef15SJeremy L Thompson user->ltog = ltog; 6200c59ef15SJeremy L Thompson if (bpChoice != CEED_BP1 && bpChoice != CEED_BP2) { 6210c59ef15SJeremy L Thompson user->ltog0 = ltog0; 6220c59ef15SJeremy L Thompson user->gtogD = gtogD; 6230c59ef15SJeremy L Thompson } 6240c59ef15SJeremy L Thompson user->Xloc = Xloc; 6250c59ef15SJeremy L Thompson ierr = VecDuplicate(Xloc, &user->Yloc); CHKERRQ(ierr); 6260c59ef15SJeremy L Thompson CeedVectorCreate(ceed, lsize*vscale, &user->xceed); 6270c59ef15SJeremy L Thompson CeedVectorCreate(ceed, lsize*vscale, &user->yceed); 6280c59ef15SJeremy L Thompson user->op = op_apply; 6290c59ef15SJeremy L Thompson user->rho = rho; 6300c59ef15SJeremy L Thompson user->ceed = ceed; 6310c59ef15SJeremy L Thompson 6320c59ef15SJeremy L Thompson ierr = MatCreateShell(comm, mdof[0]*mdof[1]*mdof[2]*vscale, 6330c59ef15SJeremy L Thompson mdof[0]*mdof[1]*mdof[2]*vscale, 6340c59ef15SJeremy L Thompson PETSC_DECIDE, PETSC_DECIDE, user, &mat); CHKERRQ(ierr); 6350c59ef15SJeremy L Thompson if (bpChoice == CEED_BP1 || bpChoice == CEED_BP2) { 6360c59ef15SJeremy L Thompson ierr = MatShellSetOperation(mat, MATOP_MULT, (void(*)(void))MatMult_Mass); 6370c59ef15SJeremy L Thompson CHKERRQ(ierr); 6380c59ef15SJeremy L Thompson } else { 6390c59ef15SJeremy L Thompson ierr = MatShellSetOperation(mat, MATOP_MULT, (void(*)(void))MatMult_Diff); 6400c59ef15SJeremy L Thompson CHKERRQ(ierr); 6410c59ef15SJeremy L Thompson } 6420c59ef15SJeremy L Thompson ierr = MatCreateVecs(mat, &rhs, NULL); CHKERRQ(ierr); 6430c59ef15SJeremy L Thompson 6440c59ef15SJeremy L Thompson // Get RHS vector 6450c59ef15SJeremy L Thompson ierr = VecDuplicate(Xloc, &rhsloc); CHKERRQ(ierr); 6460c59ef15SJeremy L Thompson ierr = VecZeroEntries(rhsloc); CHKERRQ(ierr); 6470c59ef15SJeremy L Thompson ierr = VecGetArray(rhsloc, &r); CHKERRQ(ierr); 6480c59ef15SJeremy L Thompson CeedVectorSetArray(rhsceed, CEED_MEM_HOST, CEED_USE_POINTER, r); 6490c59ef15SJeremy L Thompson 6500c59ef15SJeremy L Thompson // Setup rho, rhs, and target 6510c59ef15SJeremy L Thompson CeedOperatorApply(op_setup, xcoord, rho, CEED_REQUEST_IMMEDIATE); 6520c59ef15SJeremy L Thompson ierr = CeedVectorSyncArray(rhsceed, CEED_MEM_HOST); CHKERRQ(ierr); 6530c59ef15SJeremy L Thompson CeedVectorDestroy(&xcoord); 6540c59ef15SJeremy L Thompson 6550c59ef15SJeremy L Thompson // Gather RHS 6560c59ef15SJeremy L Thompson ierr = VecRestoreArray(rhsloc, &r); CHKERRQ(ierr); 6570c59ef15SJeremy L Thompson ierr = VecZeroEntries(rhs); CHKERRQ(ierr); 6580c59ef15SJeremy L Thompson ierr = VecScatterBegin(ltog, rhsloc, rhs, ADD_VALUES, SCATTER_FORWARD); 6590c59ef15SJeremy L Thompson CHKERRQ(ierr); 6600c59ef15SJeremy L Thompson ierr = VecScatterEnd(ltog, rhsloc, rhs, ADD_VALUES, SCATTER_FORWARD); 6610c59ef15SJeremy L Thompson CHKERRQ(ierr); 6620c59ef15SJeremy L Thompson CeedVectorDestroy(&rhsceed); 6630c59ef15SJeremy L Thompson 6640c59ef15SJeremy L Thompson ierr = KSPCreate(comm, &ksp); CHKERRQ(ierr); 6650c59ef15SJeremy L Thompson { 6660c59ef15SJeremy L Thompson PC pc; 6670c59ef15SJeremy L Thompson ierr = KSPGetPC(ksp, &pc); CHKERRQ(ierr); 6680c59ef15SJeremy L Thompson if (bpChoice == CEED_BP1 || bpChoice == CEED_BP2) { 6690c59ef15SJeremy L Thompson ierr = PCSetType(pc, PCJACOBI); CHKERRQ(ierr); 6700c59ef15SJeremy L Thompson ierr = PCJacobiSetType(pc, PC_JACOBI_ROWSUM); CHKERRQ(ierr); 6710c59ef15SJeremy L Thompson } else { 6720c59ef15SJeremy L Thompson ierr = PCSetType(pc, PCNONE); CHKERRQ(ierr); 6730c59ef15SJeremy L Thompson } 6740c59ef15SJeremy L Thompson ierr = KSPSetType(ksp, KSPCG); CHKERRQ(ierr); 6750c59ef15SJeremy L Thompson ierr = KSPSetNormType(ksp, KSP_NORM_NATURAL); CHKERRQ(ierr); 6760c59ef15SJeremy L Thompson ierr = KSPSetTolerances(ksp, 1e-10, PETSC_DEFAULT, PETSC_DEFAULT, 6770c59ef15SJeremy L Thompson PETSC_DEFAULT); CHKERRQ(ierr); 6780c59ef15SJeremy L Thompson } 6790c59ef15SJeremy L Thompson ierr = KSPSetFromOptions(ksp); CHKERRQ(ierr); 6800c59ef15SJeremy L Thompson ierr = KSPSetOperators(ksp, mat, mat); CHKERRQ(ierr); 6810c59ef15SJeremy L Thompson // First run, if benchmarking 6820c59ef15SJeremy L Thompson if (benchmark_mode) { 6830c59ef15SJeremy L Thompson ierr = KSPSetTolerances(ksp, 1e-10, PETSC_DEFAULT, PETSC_DEFAULT, 1); 6840c59ef15SJeremy L Thompson CHKERRQ(ierr); 6850c59ef15SJeremy L Thompson my_rt_start = MPI_Wtime(); 6860c59ef15SJeremy L Thompson ierr = KSPSolve(ksp, rhs, X); CHKERRQ(ierr); 6870c59ef15SJeremy L Thompson my_rt = MPI_Wtime() - my_rt_start; 6880c59ef15SJeremy L Thompson // Set maxits based on first iteration timing 6890c59ef15SJeremy L Thompson if (my_rt > 0.02) { 6900c59ef15SJeremy L Thompson ierr = KSPSetTolerances(ksp, 1e-10, PETSC_DEFAULT, PETSC_DEFAULT, 5); 6910c59ef15SJeremy L Thompson CHKERRQ(ierr); 6920c59ef15SJeremy L Thompson } else { 6930c59ef15SJeremy L Thompson ierr = KSPSetTolerances(ksp, 1e-10, PETSC_DEFAULT, PETSC_DEFAULT, 20); 6940c59ef15SJeremy L Thompson CHKERRQ(ierr); 6950c59ef15SJeremy L Thompson } 6960c59ef15SJeremy L Thompson } 6970c59ef15SJeremy L Thompson // Timed solve 6980c59ef15SJeremy L Thompson my_rt_start = MPI_Wtime(); 6990c59ef15SJeremy L Thompson ierr = KSPSolve(ksp, rhs, X); CHKERRQ(ierr); 7000c59ef15SJeremy L Thompson my_rt = MPI_Wtime() - my_rt_start; 7010c59ef15SJeremy L Thompson { 7020c59ef15SJeremy L Thompson KSPType ksptype; 7030c59ef15SJeremy L Thompson KSPConvergedReason reason; 7040c59ef15SJeremy L Thompson PetscReal rnorm; 7050c59ef15SJeremy L Thompson PetscInt its; 7060c59ef15SJeremy L Thompson ierr = KSPGetType(ksp, &ksptype); CHKERRQ(ierr); 7070c59ef15SJeremy L Thompson ierr = KSPGetConvergedReason(ksp, &reason); CHKERRQ(ierr); 7080c59ef15SJeremy L Thompson ierr = KSPGetIterationNumber(ksp, &its); CHKERRQ(ierr); 7090c59ef15SJeremy L Thompson ierr = KSPGetResidualNorm(ksp, &rnorm); CHKERRQ(ierr); 7100c59ef15SJeremy L Thompson if (!test_mode || reason < 0 || rnorm > 1e-8) { 7110c59ef15SJeremy L Thompson ierr = PetscPrintf(comm, "KSP %s %s iterations %D rnorm %e\n", ksptype, 7120c59ef15SJeremy L Thompson KSPConvergedReasons[reason], its, (double)rnorm); CHKERRQ(ierr); 7130c59ef15SJeremy L Thompson } 7140c59ef15SJeremy L Thompson if (benchmark_mode && (!test_mode)) { 7150c59ef15SJeremy L Thompson CeedInt gsize; 7160c59ef15SJeremy L Thompson ierr = VecGetSize(X, &gsize); CHKERRQ(ierr); 7170c59ef15SJeremy L Thompson MPI_Reduce(&my_rt, &rt_min, 1, MPI_DOUBLE, MPI_MIN, 0, comm); 7180c59ef15SJeremy L Thompson MPI_Reduce(&my_rt, &rt_max, 1, MPI_DOUBLE, MPI_MAX, 0, comm); 7190c59ef15SJeremy L Thompson ierr = PetscPrintf(comm, 7200c59ef15SJeremy L Thompson "CG solve time : %g (%g) sec.\n" 7210c59ef15SJeremy L Thompson "DOFs/sec in CG : %g (%g) million.\n", 7220c59ef15SJeremy L Thompson rt_max, rt_min, 7230c59ef15SJeremy L Thompson 1e-6*gsize*its/rt_max, 1e-6*gsize*its/rt_min); 7240c59ef15SJeremy L Thompson CHKERRQ(ierr); 7250c59ef15SJeremy L Thompson } 7260c59ef15SJeremy L Thompson } 7270c59ef15SJeremy L Thompson 7280c59ef15SJeremy L Thompson { 7290c59ef15SJeremy L Thompson PetscReal maxerror; 7300c59ef15SJeremy L Thompson ierr = ComputeErrorMax(user, op_error, X, target, &maxerror); CHKERRQ(ierr); 7310c59ef15SJeremy L Thompson PetscReal tol = (bpChoice == CEED_BP1 || bpChoice == CEED_BP2) ? 5e-3 : 5e-2; 7320c59ef15SJeremy L Thompson if (!test_mode || maxerror > tol) { 7330c59ef15SJeremy L Thompson ierr = PetscPrintf(comm, "Pointwise error (max) %e\n", (double)maxerror); 7340c59ef15SJeremy L Thompson CHKERRQ(ierr); 7350c59ef15SJeremy L Thompson } 7360c59ef15SJeremy L Thompson } 7370c59ef15SJeremy L Thompson 7380c59ef15SJeremy L Thompson ierr = VecDestroy(&rhs); CHKERRQ(ierr); 7390c59ef15SJeremy L Thompson ierr = VecDestroy(&rhsloc); CHKERRQ(ierr); 7400c59ef15SJeremy L Thompson ierr = VecDestroy(&X); CHKERRQ(ierr); 7410c59ef15SJeremy L Thompson ierr = VecDestroy(&user->Xloc); CHKERRQ(ierr); 7420c59ef15SJeremy L Thompson ierr = VecDestroy(&user->Yloc); CHKERRQ(ierr); 7430c59ef15SJeremy L Thompson ierr = VecScatterDestroy(<og); CHKERRQ(ierr); 7440c59ef15SJeremy L Thompson ierr = VecScatterDestroy(<og0); CHKERRQ(ierr); 7450c59ef15SJeremy L Thompson ierr = VecScatterDestroy(>ogD); CHKERRQ(ierr); 7460c59ef15SJeremy L Thompson ierr = MatDestroy(&mat); CHKERRQ(ierr); 7470c59ef15SJeremy L Thompson ierr = KSPDestroy(&ksp); CHKERRQ(ierr); 7480c59ef15SJeremy L Thompson 7490c59ef15SJeremy L Thompson CeedVectorDestroy(&user->xceed); 7500c59ef15SJeremy L Thompson CeedVectorDestroy(&user->yceed); 7510c59ef15SJeremy L Thompson CeedVectorDestroy(&user->rho); 7520c59ef15SJeremy L Thompson CeedVectorDestroy(&target); 7530c59ef15SJeremy L Thompson CeedOperatorDestroy(&op_setup); 7540c59ef15SJeremy L Thompson CeedOperatorDestroy(&op_apply); 7550c59ef15SJeremy L Thompson CeedOperatorDestroy(&op_error); 7560c59ef15SJeremy L Thompson CeedElemRestrictionDestroy(&Erestrictu); 7570c59ef15SJeremy L Thompson CeedElemRestrictionDestroy(&Erestrictx); 7580c59ef15SJeremy L Thompson CeedElemRestrictionDestroy(&Erestrictui); 7590c59ef15SJeremy L Thompson CeedElemRestrictionDestroy(&Erestrictxi); 7600c59ef15SJeremy L Thompson CeedElemRestrictionDestroy(&Erestrictqdi); 7610c59ef15SJeremy L Thompson CeedQFunctionDestroy(&qf_setup); 7620c59ef15SJeremy L Thompson CeedQFunctionDestroy(&qf_apply); 7630c59ef15SJeremy L Thompson CeedQFunctionDestroy(&qf_error); 7640c59ef15SJeremy L Thompson CeedBasisDestroy(&basisu); 7650c59ef15SJeremy L Thompson CeedBasisDestroy(&basisx); 7660c59ef15SJeremy L Thompson CeedDestroy(&ceed); 7670c59ef15SJeremy L Thompson ierr = PetscFree(user); CHKERRQ(ierr); 7680c59ef15SJeremy L Thompson return PetscFinalize(); 7690c59ef15SJeremy L Thompson } 770