1af0996ceSBarry Smith #include <petsc/private/snesimpl.h>
27736150eSBarry Smith
325acbd8eSLisandro Dalcin PETSC_INTERN PetscErrorCode SNESDiffParameterCreate_More(SNES, Vec, void **);
425acbd8eSLisandro Dalcin PETSC_INTERN PetscErrorCode SNESDiffParameterCompute_More(SNES, void *, Vec, Vec, PetscReal *, PetscReal *);
525acbd8eSLisandro Dalcin PETSC_INTERN PetscErrorCode SNESDiffParameterDestroy_More(void *);
625acbd8eSLisandro Dalcin
77736150eSBarry Smith /* Data used by Jorge's diff parameter computation method */
87736150eSBarry Smith typedef struct {
97736150eSBarry Smith Vec *workv; /* work vectors */
107736150eSBarry Smith FILE *fp; /* output file */
115bd1e576SStefano Zampini PetscInt function_count; /* count of function evaluations for diff param estimation */
1235cb6cd3SPierre Jolivet double fnoise_min; /* minimum allowable noise */
137736150eSBarry Smith double hopt_min; /* minimum allowable hopt */
147736150eSBarry Smith double h_first_try; /* first try for h used in diff parameter estimate */
15a7cc72afSBarry Smith PetscInt fnoise_resets; /* number of times we've reset the noise estimate */
16a7cc72afSBarry Smith PetscInt hopt_resets; /* number of times we've reset the hopt estimate */
177736150eSBarry Smith } DIFFPAR_MORE;
187736150eSBarry Smith
1925acbd8eSLisandro Dalcin PETSC_INTERN PetscErrorCode SNESUnSetMatrixFreeParameter(SNES snes);
2025acbd8eSLisandro Dalcin PETSC_INTERN PetscErrorCode SNESNoise_dnest_(PetscInt *, PetscScalar *, PetscScalar *, PetscScalar *, PetscScalar *, PetscScalar *, PetscInt *, PetscScalar *);
2125acbd8eSLisandro Dalcin
22ca8e9878SJed Brown static PetscErrorCode JacMatMultCompare(SNES, Vec, Vec, double);
237736150eSBarry Smith
SNESDiffParameterCreate_More(SNES snes,Vec x,void ** outneP)24d71ae5a4SJacob Faibussowitsch PetscErrorCode SNESDiffParameterCreate_More(SNES snes, Vec x, void **outneP)
25d71ae5a4SJacob Faibussowitsch {
267736150eSBarry Smith DIFFPAR_MORE *neP;
277736150eSBarry Smith Vec w;
287736150eSBarry Smith PetscRandom rctx; /* random number generator context */
29ace3abfcSBarry Smith PetscBool flg;
30e2d1d2b7SBarry Smith char noise_file[PETSC_MAX_PATH_LEN];
317736150eSBarry Smith
327736150eSBarry Smith PetscFunctionBegin;
334dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&neP));
34f5af7f23SKarl Rupp
357736150eSBarry Smith neP->function_count = 0;
367736150eSBarry Smith neP->fnoise_min = 1.0e-20;
377736150eSBarry Smith neP->hopt_min = 1.0e-8;
387736150eSBarry Smith neP->h_first_try = 1.0e-3;
397736150eSBarry Smith neP->fnoise_resets = 0;
407736150eSBarry Smith neP->hopt_resets = 0;
417736150eSBarry Smith
427736150eSBarry Smith /* Create work vectors */
439566063dSJacob Faibussowitsch PetscCall(VecDuplicateVecs(x, 3, &neP->workv));
447736150eSBarry Smith w = neP->workv[0];
457736150eSBarry Smith
467736150eSBarry Smith /* Set components of vector w to random numbers */
479566063dSJacob Faibussowitsch PetscCall(PetscRandomCreate(PetscObjectComm((PetscObject)snes), &rctx));
489566063dSJacob Faibussowitsch PetscCall(PetscRandomSetFromOptions(rctx));
499566063dSJacob Faibussowitsch PetscCall(VecSetRandom(w, rctx));
509566063dSJacob Faibussowitsch PetscCall(PetscRandomDestroy(&rctx));
517736150eSBarry Smith
527736150eSBarry Smith /* Open output file */
539566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetString(((PetscObject)snes)->options, ((PetscObject)snes)->prefix, "-snes_mf_noise_file", noise_file, sizeof(noise_file), &flg));
547736150eSBarry Smith if (flg) neP->fp = fopen(noise_file, "w");
557736150eSBarry Smith else neP->fp = fopen("noise.out", "w");
5628b400f6SJacob Faibussowitsch PetscCheck(neP->fp, PETSC_COMM_SELF, PETSC_ERR_FILE_OPEN, "Cannot open file");
579566063dSJacob Faibussowitsch PetscCall(PetscInfo(snes, "Creating Jorge's differencing parameter context\n"));
587736150eSBarry Smith
597736150eSBarry Smith *outneP = neP;
603ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS);
617736150eSBarry Smith }
627736150eSBarry Smith
SNESDiffParameterDestroy_More(void * nePv)63d71ae5a4SJacob Faibussowitsch PetscErrorCode SNESDiffParameterDestroy_More(void *nePv)
64d71ae5a4SJacob Faibussowitsch {
657736150eSBarry Smith DIFFPAR_MORE *neP = (DIFFPAR_MORE *)nePv;
66ed9cf6e9SBarry Smith int err;
677736150eSBarry Smith
687736150eSBarry Smith PetscFunctionBegin;
697736150eSBarry Smith /* Destroy work vectors and close output file */
709566063dSJacob Faibussowitsch PetscCall(VecDestroyVecs(3, &neP->workv));
71ed9cf6e9SBarry Smith err = fclose(neP->fp);
7228b400f6SJacob Faibussowitsch PetscCheck(!err, PETSC_COMM_SELF, PETSC_ERR_SYS, "fclose() failed on file");
739566063dSJacob Faibussowitsch PetscCall(PetscFree(neP));
743ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS);
757736150eSBarry Smith }
767736150eSBarry Smith
SNESDiffParameterCompute_More(SNES snes,void * nePv,Vec x,Vec p,double * fnoise,double * hopt)77d71ae5a4SJacob Faibussowitsch PetscErrorCode SNESDiffParameterCompute_More(SNES snes, void *nePv, Vec x, Vec p, double *fnoise, double *hopt)
78d71ae5a4SJacob Faibussowitsch {
797736150eSBarry Smith DIFFPAR_MORE *neP = (DIFFPAR_MORE *)nePv;
807736150eSBarry Smith Vec w, xp, fvec; /* work vectors to use in computing h */
8190c26489SBarry Smith double zero = 0.0, hl, hu, h, fnoise_s, fder2_s;
8290c26489SBarry Smith PetscScalar alpha;
833964eb88SJed Brown PetscScalar fval[7], tab[7][7], eps[7], f = -1;
843964eb88SJed Brown double rerrf = -1., fder2;
8577431f27SBarry Smith PetscInt iter, k, i, j, info;
8677431f27SBarry Smith PetscInt nf = 7; /* number of function evaluations */
8777431f27SBarry Smith PetscInt fcount;
88ce94432eSBarry Smith MPI_Comm comm;
897736150eSBarry Smith FILE *fp;
90ace3abfcSBarry Smith PetscBool noise_test = PETSC_FALSE;
917736150eSBarry Smith
927736150eSBarry Smith PetscFunctionBegin;
939566063dSJacob Faibussowitsch PetscCall(PetscObjectGetComm((PetscObject)snes, &comm));
947736150eSBarry Smith /* Call to SNESSetUp() just to set data structures in SNES context */
959566063dSJacob Faibussowitsch if (!snes->setupcalled) PetscCall(SNESSetUp(snes));
967736150eSBarry Smith
977736150eSBarry Smith w = neP->workv[0];
987736150eSBarry Smith xp = neP->workv[1];
997736150eSBarry Smith fvec = neP->workv[2];
1007736150eSBarry Smith fp = neP->fp;
1017736150eSBarry Smith
1027736150eSBarry Smith /* Initialize parameters */
1037736150eSBarry Smith hl = zero;
1047736150eSBarry Smith hu = zero;
1057736150eSBarry Smith h = neP->h_first_try;
1067736150eSBarry Smith fnoise_s = zero;
1077736150eSBarry Smith fder2_s = zero;
1087736150eSBarry Smith fcount = neP->function_count;
1097736150eSBarry Smith
1107736150eSBarry Smith /* We have 5 tries to attempt to compute a good hopt value */
1119566063dSJacob Faibussowitsch PetscCall(SNESGetIterationNumber(snes, &i));
11263a3b9bcSJacob Faibussowitsch PetscCall(PetscFPrintf(comm, fp, "\n ------- SNES iteration %" PetscInt_FMT " ---------\n", i));
1137736150eSBarry Smith for (iter = 0; iter < 5; iter++) {
1147736150eSBarry Smith neP->h_first_try = h;
1157736150eSBarry Smith
1167736150eSBarry Smith /* Compute the nf function values needed to estimate the noise from
1177736150eSBarry Smith the difference table */
1187736150eSBarry Smith for (k = 0; k < nf; k++) {
1197736150eSBarry Smith alpha = h * (k + 1 - (nf + 1) / 2);
1209566063dSJacob Faibussowitsch PetscCall(VecWAXPY(xp, alpha, p, x));
1219566063dSJacob Faibussowitsch PetscCall(SNESComputeFunction(snes, xp, fvec));
1227736150eSBarry Smith neP->function_count++;
1239566063dSJacob Faibussowitsch PetscCall(VecDot(fvec, w, &fval[k]));
1247736150eSBarry Smith }
1257736150eSBarry Smith f = fval[(nf + 1) / 2 - 1];
1267736150eSBarry Smith
1277736150eSBarry Smith /* Construct the difference table */
128f5af7f23SKarl Rupp for (i = 0; i < nf; i++) tab[i][0] = fval[i];
129f5af7f23SKarl Rupp
130e108cb99SStefano Zampini for (j = 0; j < nf - 1; j++) {
131ad540459SPierre Jolivet for (i = 0; i < nf - j - 1; i++) tab[i][j + 1] = tab[i + 1][j] - tab[i][j];
1327736150eSBarry Smith }
1337736150eSBarry Smith
1347736150eSBarry Smith /* Print the difference table */
13563a3b9bcSJacob Faibussowitsch PetscCall(PetscFPrintf(comm, fp, "Difference Table: iter = %" PetscInt_FMT "\n", iter));
1367736150eSBarry Smith for (i = 0; i < nf; i++) {
13748a46eb9SPierre Jolivet for (j = 0; j < nf - i; j++) PetscCall(PetscFPrintf(comm, fp, " %10.2e ", tab[i][j]));
1389566063dSJacob Faibussowitsch PetscCall(PetscFPrintf(comm, fp, "\n"));
1397736150eSBarry Smith }
1407736150eSBarry Smith
1417736150eSBarry Smith /* Call the noise estimator */
1429566063dSJacob Faibussowitsch PetscCall(SNESNoise_dnest_(&nf, fval, &h, fnoise, &fder2, hopt, &info, eps));
1437736150eSBarry Smith
1447736150eSBarry Smith /* Output statements */
1457736150eSBarry Smith rerrf = *fnoise / PetscAbsScalar(f);
1469566063dSJacob Faibussowitsch if (info == 1) PetscCall(PetscFPrintf(comm, fp, "%s\n", "Noise detected"));
14748a46eb9SPierre Jolivet if (info == 2) PetscCall(PetscFPrintf(comm, fp, "%s\n", "Noise not detected; h is too small"));
14848a46eb9SPierre Jolivet if (info == 3) PetscCall(PetscFPrintf(comm, fp, "%s\n", "Noise not detected; h is too large"));
1499566063dSJacob Faibussowitsch if (info == 4) PetscCall(PetscFPrintf(comm, fp, "%s\n", "Noise detected, but unreliable hopt"));
1509566063dSJacob Faibussowitsch PetscCall(PetscFPrintf(comm, fp, "Approximate epsfcn %g %g %g %g %g %g\n", (double)eps[0], (double)eps[1], (double)eps[2], (double)eps[3], (double)eps[4], (double)eps[5]));
1519566063dSJacob Faibussowitsch PetscCall(PetscFPrintf(comm, fp, "h = %g, fnoise = %g, fder2 = %g, rerrf = %g, hopt = %g\n\n", (double)h, (double)*fnoise, (double)fder2, (double)rerrf, (double)*hopt));
1527736150eSBarry Smith
1537736150eSBarry Smith /* Save fnoise and fder2. */
1547736150eSBarry Smith if (*fnoise) fnoise_s = *fnoise;
1557736150eSBarry Smith if (fder2) fder2_s = fder2;
1567736150eSBarry Smith
1577736150eSBarry Smith /* Check for noise detection. */
1587736150eSBarry Smith if (fnoise_s && fder2_s) {
1597736150eSBarry Smith *fnoise = fnoise_s;
1607736150eSBarry Smith fder2 = fder2_s;
1617736150eSBarry Smith *hopt = 1.68 * sqrt(*fnoise / PetscAbsScalar(fder2));
1627736150eSBarry Smith goto theend;
1637736150eSBarry Smith } else {
1647736150eSBarry Smith /* Update hl and hu, and determine new h */
1657736150eSBarry Smith if (info == 2 || info == 4) {
1667736150eSBarry Smith hl = h;
1677736150eSBarry Smith if (hu == zero) h = 100 * h;
1687736150eSBarry Smith else h = PetscMin(100 * h, 0.1 * hu);
1697736150eSBarry Smith } else if (info == 3) {
1707736150eSBarry Smith hu = h;
1717736150eSBarry Smith h = PetscMax(1.0e-3, sqrt(hl / hu)) * hu;
1727736150eSBarry Smith }
1737736150eSBarry Smith }
1747736150eSBarry Smith }
1757736150eSBarry Smith theend:
1767736150eSBarry Smith
1777736150eSBarry Smith if (*fnoise < neP->fnoise_min) {
1789566063dSJacob Faibussowitsch PetscCall(PetscFPrintf(comm, fp, "Resetting fnoise: fnoise1 = %g, fnoise_min = %g\n", (double)*fnoise, (double)neP->fnoise_min));
1797736150eSBarry Smith *fnoise = neP->fnoise_min;
1807736150eSBarry Smith neP->fnoise_resets++;
1817736150eSBarry Smith }
1827736150eSBarry Smith if (*hopt < neP->hopt_min) {
1839566063dSJacob Faibussowitsch PetscCall(PetscFPrintf(comm, fp, "Resetting hopt: hopt1 = %g, hopt_min = %g\n", (double)*hopt, (double)neP->hopt_min));
1847736150eSBarry Smith *hopt = neP->hopt_min;
1857736150eSBarry Smith neP->hopt_resets++;
1867736150eSBarry Smith }
1877736150eSBarry Smith
1889566063dSJacob Faibussowitsch PetscCall(PetscFPrintf(comm, fp, "Errors in derivative:\n"));
1899566063dSJacob Faibussowitsch PetscCall(PetscFPrintf(comm, fp, "f = %g, fnoise = %g, fder2 = %g, hopt = %g\n", (double)f, (double)*fnoise, (double)fder2, (double)*hopt));
1907736150eSBarry Smith
1917736150eSBarry Smith /* For now, compute h **each** MV Mult!! */
1927736150eSBarry Smith /*
1939566063dSJacob Faibussowitsch PetscCall(PetscOptionsHasName(NULL,"-matrix_free_jorge_each_mvp",&flg));
1947736150eSBarry Smith if (!flg) {
1957736150eSBarry Smith Mat mat;
1969566063dSJacob Faibussowitsch PetscCall(SNESGetJacobian(snes,&mat,NULL,NULL));
197f6dfbefdSBarry Smith PetscCall(MatSNESMFMoreSetParameters(mat,PETSC_DEFAULT,PETSC_DEFAULT,*hopt));
1987736150eSBarry Smith }
1997736150eSBarry Smith */
2007736150eSBarry Smith fcount = neP->function_count - fcount;
20163a3b9bcSJacob Faibussowitsch PetscCall(PetscInfo(snes, "fct_now = %" PetscInt_FMT ", fct_cum = %" PetscInt_FMT ", rerrf=%g, sqrt(noise)=%g, h_more=%g\n", fcount, neP->function_count, (double)rerrf, (double)PetscSqrtReal(*fnoise), (double)*hopt));
2027736150eSBarry Smith
2039566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(NULL, NULL, "-noise_test", &noise_test, NULL));
2041baa6e33SBarry Smith if (noise_test) PetscCall(JacMatMultCompare(snes, x, p, *hopt));
2053ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS);
2067736150eSBarry Smith }
2077736150eSBarry Smith
JacMatMultCompare(SNES snes,Vec x,Vec p,double hopt)208ba38deedSJacob Faibussowitsch static PetscErrorCode JacMatMultCompare(SNES snes, Vec x, Vec p, double hopt)
209d71ae5a4SJacob Faibussowitsch {
2107736150eSBarry Smith Vec yy1, yy2; /* work vectors */
21152ed857cSBarry Smith PetscViewer view2; /* viewer */
212*7addb90fSBarry Smith Mat J; /* analytic Jacobian (set as matrix from which to compute the preconditioner) */
2137736150eSBarry Smith Mat Jmf; /* matrix-free Jacobian (set as true system matrix) */
2147736150eSBarry Smith double h; /* differencing parameter */
2157736150eSBarry Smith Vec f;
21690c26489SBarry Smith PetscScalar alpha;
21790c26489SBarry Smith PetscReal yy1n, yy2n, enorm;
218a7cc72afSBarry Smith PetscInt i;
219ace3abfcSBarry Smith PetscBool printv = PETSC_FALSE;
2207736150eSBarry Smith char filename[32];
221ce94432eSBarry Smith MPI_Comm comm;
2227736150eSBarry Smith
2237736150eSBarry Smith PetscFunctionBegin;
2249566063dSJacob Faibussowitsch PetscCall(PetscObjectGetComm((PetscObject)snes, &comm));
2257736150eSBarry Smith /* Compute function and analytic Jacobian at x */
2269566063dSJacob Faibussowitsch PetscCall(SNESGetJacobian(snes, &Jmf, &J, NULL, NULL));
2279566063dSJacob Faibussowitsch PetscCall(SNESComputeJacobian(snes, x, Jmf, J));
2289566063dSJacob Faibussowitsch PetscCall(SNESGetFunction(snes, &f, NULL, NULL));
2299566063dSJacob Faibussowitsch PetscCall(SNESComputeFunction(snes, x, f));
2307736150eSBarry Smith
2317736150eSBarry Smith /* Duplicate work vectors */
2329566063dSJacob Faibussowitsch PetscCall(VecDuplicate(x, &yy2));
2339566063dSJacob Faibussowitsch PetscCall(VecDuplicate(x, &yy1));
2347736150eSBarry Smith
2357736150eSBarry Smith /* Compute true matrix-vector product */
2369566063dSJacob Faibussowitsch PetscCall(MatMult(J, p, yy1));
2379566063dSJacob Faibussowitsch PetscCall(VecNorm(yy1, NORM_2, &yy1n));
2387736150eSBarry Smith
2397736150eSBarry Smith /* View product vector if desired */
2409566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetBool(NULL, NULL, "-print_vecs", &printv, NULL));
2417736150eSBarry Smith if (printv) {
2429566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIOpen(comm, "y1.out", &view2));
2439566063dSJacob Faibussowitsch PetscCall(PetscViewerPushFormat(view2, PETSC_VIEWER_ASCII_COMMON));
2449566063dSJacob Faibussowitsch PetscCall(VecView(yy1, view2));
2459566063dSJacob Faibussowitsch PetscCall(PetscViewerPopFormat(view2));
2469566063dSJacob Faibussowitsch PetscCall(PetscViewerDestroy(&view2));
2477736150eSBarry Smith }
2487736150eSBarry Smith
2497736150eSBarry Smith /* Test Jacobian-vector product computation */
2507736150eSBarry Smith alpha = -1.0;
2517736150eSBarry Smith h = 0.01 * hopt;
2527736150eSBarry Smith for (i = 0; i < 5; i++) {
2537736150eSBarry Smith /* Set differencing parameter for matrix-free multiplication */
254f6dfbefdSBarry Smith PetscCall(MatSNESMFMoreSetParameters(Jmf, PETSC_DEFAULT, PETSC_DEFAULT, h));
2557736150eSBarry Smith
2567736150eSBarry Smith /* Compute matrix-vector product via differencing approximation */
2579566063dSJacob Faibussowitsch PetscCall(MatMult(Jmf, p, yy2));
2589566063dSJacob Faibussowitsch PetscCall(VecNorm(yy2, NORM_2, &yy2n));
2597736150eSBarry Smith
2607736150eSBarry Smith /* View product vector if desired */
2617736150eSBarry Smith if (printv) {
262a364092eSJacob Faibussowitsch PetscCall(PetscSNPrintf(filename, PETSC_STATIC_ARRAY_LENGTH(filename), "y2.%d.out", (int)i));
2639566063dSJacob Faibussowitsch PetscCall(PetscViewerASCIIOpen(comm, filename, &view2));
2649566063dSJacob Faibussowitsch PetscCall(PetscViewerPushFormat(view2, PETSC_VIEWER_ASCII_COMMON));
2659566063dSJacob Faibussowitsch PetscCall(VecView(yy2, view2));
2669566063dSJacob Faibussowitsch PetscCall(PetscViewerPopFormat(view2));
2679566063dSJacob Faibussowitsch PetscCall(PetscViewerDestroy(&view2));
2687736150eSBarry Smith }
2697736150eSBarry Smith
2707736150eSBarry Smith /* Compute relative error */
2719566063dSJacob Faibussowitsch PetscCall(VecAXPY(yy2, alpha, yy1));
2729566063dSJacob Faibussowitsch PetscCall(VecNorm(yy2, NORM_2, &enorm));
2737736150eSBarry Smith enorm = enorm / yy1n;
2749566063dSJacob Faibussowitsch PetscCall(PetscFPrintf(comm, stdout, "h = %g: relative error = %g\n", (double)h, (double)enorm));
2757736150eSBarry Smith h *= 10.0;
2767736150eSBarry Smith }
2773ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS);
2787736150eSBarry Smith }
279