xref: /petsc/src/snes/interface/noise/snesnoise.c (revision 35cb6cd333087cc89d8d5031932d4f38af02614d)
1051ac159SSatish Balay 
2af0996ceSBarry Smith #include <petsc/private/snesimpl.h>
37736150eSBarry Smith 
425acbd8eSLisandro Dalcin PETSC_INTERN PetscErrorCode SNESDiffParameterCreate_More(SNES, Vec, void **);
525acbd8eSLisandro Dalcin PETSC_INTERN PetscErrorCode SNESDiffParameterCompute_More(SNES, void *, Vec, Vec, PetscReal *, PetscReal *);
625acbd8eSLisandro Dalcin PETSC_INTERN PetscErrorCode SNESDiffParameterDestroy_More(void *);
725acbd8eSLisandro Dalcin 
87736150eSBarry Smith /* Data used by Jorge's diff parameter computation method */
97736150eSBarry Smith typedef struct {
107736150eSBarry Smith   Vec     *workv;          /* work vectors */
117736150eSBarry Smith   FILE    *fp;             /* output file */
125bd1e576SStefano Zampini   PetscInt function_count; /* count of function evaluations for diff param estimation */
13*35cb6cd3SPierre Jolivet   double   fnoise_min;     /* minimum allowable noise */
147736150eSBarry Smith   double   hopt_min;       /* minimum allowable hopt */
157736150eSBarry Smith   double   h_first_try;    /* first try for h used in diff parameter estimate */
16a7cc72afSBarry Smith   PetscInt fnoise_resets;  /* number of times we've reset the noise estimate */
17a7cc72afSBarry Smith   PetscInt hopt_resets;    /* number of times we've reset the hopt estimate */
187736150eSBarry Smith } DIFFPAR_MORE;
197736150eSBarry Smith 
2025acbd8eSLisandro Dalcin PETSC_INTERN PetscErrorCode SNESUnSetMatrixFreeParameter(SNES snes);
2125acbd8eSLisandro Dalcin PETSC_INTERN PetscErrorCode SNESNoise_dnest_(PetscInt *, PetscScalar *, PetscScalar *, PetscScalar *, PetscScalar *, PetscScalar *, PetscInt *, PetscScalar *);
2225acbd8eSLisandro Dalcin 
23ca8e9878SJed Brown static PetscErrorCode JacMatMultCompare(SNES, Vec, Vec, double);
247736150eSBarry Smith 
25d71ae5a4SJacob Faibussowitsch PetscErrorCode SNESDiffParameterCreate_More(SNES snes, Vec x, void **outneP)
26d71ae5a4SJacob Faibussowitsch {
277736150eSBarry Smith   DIFFPAR_MORE *neP;
287736150eSBarry Smith   Vec           w;
297736150eSBarry Smith   PetscRandom   rctx; /* random number generator context */
30ace3abfcSBarry Smith   PetscBool     flg;
31e2d1d2b7SBarry Smith   char          noise_file[PETSC_MAX_PATH_LEN];
327736150eSBarry Smith 
337736150eSBarry Smith   PetscFunctionBegin;
344dfa11a4SJacob Faibussowitsch   PetscCall(PetscNew(&neP));
35f5af7f23SKarl Rupp 
367736150eSBarry Smith   neP->function_count = 0;
377736150eSBarry Smith   neP->fnoise_min     = 1.0e-20;
387736150eSBarry Smith   neP->hopt_min       = 1.0e-8;
397736150eSBarry Smith   neP->h_first_try    = 1.0e-3;
407736150eSBarry Smith   neP->fnoise_resets  = 0;
417736150eSBarry Smith   neP->hopt_resets    = 0;
427736150eSBarry Smith 
437736150eSBarry Smith   /* Create work vectors */
449566063dSJacob Faibussowitsch   PetscCall(VecDuplicateVecs(x, 3, &neP->workv));
457736150eSBarry Smith   w = neP->workv[0];
467736150eSBarry Smith 
477736150eSBarry Smith   /* Set components of vector w to random numbers */
489566063dSJacob Faibussowitsch   PetscCall(PetscRandomCreate(PetscObjectComm((PetscObject)snes), &rctx));
499566063dSJacob Faibussowitsch   PetscCall(PetscRandomSetFromOptions(rctx));
509566063dSJacob Faibussowitsch   PetscCall(VecSetRandom(w, rctx));
519566063dSJacob Faibussowitsch   PetscCall(PetscRandomDestroy(&rctx));
527736150eSBarry Smith 
537736150eSBarry Smith   /* Open output file */
549566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetString(((PetscObject)snes)->options, ((PetscObject)snes)->prefix, "-snes_mf_noise_file", noise_file, sizeof(noise_file), &flg));
557736150eSBarry Smith   if (flg) neP->fp = fopen(noise_file, "w");
567736150eSBarry Smith   else neP->fp = fopen("noise.out", "w");
5728b400f6SJacob Faibussowitsch   PetscCheck(neP->fp, PETSC_COMM_SELF, PETSC_ERR_FILE_OPEN, "Cannot open file");
589566063dSJacob Faibussowitsch   PetscCall(PetscInfo(snes, "Creating Jorge's differencing parameter context\n"));
597736150eSBarry Smith 
607736150eSBarry Smith   *outneP = neP;
617736150eSBarry Smith   PetscFunctionReturn(0);
627736150eSBarry Smith }
637736150eSBarry Smith 
64d71ae5a4SJacob Faibussowitsch PetscErrorCode SNESDiffParameterDestroy_More(void *nePv)
65d71ae5a4SJacob Faibussowitsch {
667736150eSBarry Smith   DIFFPAR_MORE *neP = (DIFFPAR_MORE *)nePv;
67ed9cf6e9SBarry Smith   int           err;
687736150eSBarry Smith 
697736150eSBarry Smith   PetscFunctionBegin;
707736150eSBarry Smith   /* Destroy work vectors and close output file */
719566063dSJacob Faibussowitsch   PetscCall(VecDestroyVecs(3, &neP->workv));
72ed9cf6e9SBarry Smith   err = fclose(neP->fp);
7328b400f6SJacob Faibussowitsch   PetscCheck(!err, PETSC_COMM_SELF, PETSC_ERR_SYS, "fclose() failed on file");
749566063dSJacob Faibussowitsch   PetscCall(PetscFree(neP));
757736150eSBarry Smith   PetscFunctionReturn(0);
767736150eSBarry Smith }
777736150eSBarry Smith 
78d71ae5a4SJacob Faibussowitsch PetscErrorCode SNESDiffParameterCompute_More(SNES snes, void *nePv, Vec x, Vec p, double *fnoise, double *hopt)
79d71ae5a4SJacob Faibussowitsch {
807736150eSBarry Smith   DIFFPAR_MORE *neP = (DIFFPAR_MORE *)nePv;
817736150eSBarry Smith   Vec           w, xp, fvec; /* work vectors to use in computing h */
8290c26489SBarry Smith   double        zero = 0.0, hl, hu, h, fnoise_s, fder2_s;
8390c26489SBarry Smith   PetscScalar   alpha;
843964eb88SJed Brown   PetscScalar   fval[7], tab[7][7], eps[7], f = -1;
853964eb88SJed Brown   double        rerrf = -1., fder2;
8677431f27SBarry Smith   PetscInt      iter, k, i, j, info;
8777431f27SBarry Smith   PetscInt      nf = 7; /* number of function evaluations */
8877431f27SBarry Smith   PetscInt      fcount;
89ce94432eSBarry Smith   MPI_Comm      comm;
907736150eSBarry Smith   FILE         *fp;
91ace3abfcSBarry Smith   PetscBool     noise_test = PETSC_FALSE;
927736150eSBarry Smith 
937736150eSBarry Smith   PetscFunctionBegin;
949566063dSJacob Faibussowitsch   PetscCall(PetscObjectGetComm((PetscObject)snes, &comm));
957736150eSBarry Smith   /* Call to SNESSetUp() just to set data structures in SNES context */
969566063dSJacob Faibussowitsch   if (!snes->setupcalled) PetscCall(SNESSetUp(snes));
977736150eSBarry Smith 
987736150eSBarry Smith   w    = neP->workv[0];
997736150eSBarry Smith   xp   = neP->workv[1];
1007736150eSBarry Smith   fvec = neP->workv[2];
1017736150eSBarry Smith   fp   = neP->fp;
1027736150eSBarry Smith 
1037736150eSBarry Smith   /* Initialize parameters */
1047736150eSBarry Smith   hl       = zero;
1057736150eSBarry Smith   hu       = zero;
1067736150eSBarry Smith   h        = neP->h_first_try;
1077736150eSBarry Smith   fnoise_s = zero;
1087736150eSBarry Smith   fder2_s  = zero;
1097736150eSBarry Smith   fcount   = neP->function_count;
1107736150eSBarry Smith 
1117736150eSBarry Smith   /* We have 5 tries to attempt to compute a good hopt value */
1129566063dSJacob Faibussowitsch   PetscCall(SNESGetIterationNumber(snes, &i));
11363a3b9bcSJacob Faibussowitsch   PetscCall(PetscFPrintf(comm, fp, "\n ------- SNES iteration %" PetscInt_FMT " ---------\n", i));
1147736150eSBarry Smith   for (iter = 0; iter < 5; iter++) {
1157736150eSBarry Smith     neP->h_first_try = h;
1167736150eSBarry Smith 
1177736150eSBarry Smith     /* Compute the nf function values needed to estimate the noise from
1187736150eSBarry Smith        the difference table */
1197736150eSBarry Smith     for (k = 0; k < nf; k++) {
1207736150eSBarry Smith       alpha = h * (k + 1 - (nf + 1) / 2);
1219566063dSJacob Faibussowitsch       PetscCall(VecWAXPY(xp, alpha, p, x));
1229566063dSJacob Faibussowitsch       PetscCall(SNESComputeFunction(snes, xp, fvec));
1237736150eSBarry Smith       neP->function_count++;
1249566063dSJacob Faibussowitsch       PetscCall(VecDot(fvec, w, &fval[k]));
1257736150eSBarry Smith     }
1267736150eSBarry Smith     f = fval[(nf + 1) / 2 - 1];
1277736150eSBarry Smith 
1287736150eSBarry Smith     /* Construct the difference table */
129f5af7f23SKarl Rupp     for (i = 0; i < nf; i++) tab[i][0] = fval[i];
130f5af7f23SKarl Rupp 
131e108cb99SStefano Zampini     for (j = 0; j < nf - 1; j++) {
132ad540459SPierre Jolivet       for (i = 0; i < nf - j - 1; i++) tab[i][j + 1] = tab[i + 1][j] - tab[i][j];
1337736150eSBarry Smith     }
1347736150eSBarry Smith 
1357736150eSBarry Smith     /* Print the difference table */
13663a3b9bcSJacob Faibussowitsch     PetscCall(PetscFPrintf(comm, fp, "Difference Table: iter = %" PetscInt_FMT "\n", iter));
1377736150eSBarry Smith     for (i = 0; i < nf; i++) {
13848a46eb9SPierre Jolivet       for (j = 0; j < nf - i; j++) PetscCall(PetscFPrintf(comm, fp, " %10.2e ", tab[i][j]));
1399566063dSJacob Faibussowitsch       PetscCall(PetscFPrintf(comm, fp, "\n"));
1407736150eSBarry Smith     }
1417736150eSBarry Smith 
1427736150eSBarry Smith     /* Call the noise estimator */
1439566063dSJacob Faibussowitsch     PetscCall(SNESNoise_dnest_(&nf, fval, &h, fnoise, &fder2, hopt, &info, eps));
1447736150eSBarry Smith 
1457736150eSBarry Smith     /* Output statements */
1467736150eSBarry Smith     rerrf = *fnoise / PetscAbsScalar(f);
1479566063dSJacob Faibussowitsch     if (info == 1) PetscCall(PetscFPrintf(comm, fp, "%s\n", "Noise detected"));
14848a46eb9SPierre Jolivet     if (info == 2) PetscCall(PetscFPrintf(comm, fp, "%s\n", "Noise not detected; h is too small"));
14948a46eb9SPierre Jolivet     if (info == 3) PetscCall(PetscFPrintf(comm, fp, "%s\n", "Noise not detected; h is too large"));
1509566063dSJacob Faibussowitsch     if (info == 4) PetscCall(PetscFPrintf(comm, fp, "%s\n", "Noise detected, but unreliable hopt"));
1519566063dSJacob 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]));
1529566063dSJacob 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));
1537736150eSBarry Smith 
1547736150eSBarry Smith     /* Save fnoise and fder2. */
1557736150eSBarry Smith     if (*fnoise) fnoise_s = *fnoise;
1567736150eSBarry Smith     if (fder2) fder2_s = fder2;
1577736150eSBarry Smith 
1587736150eSBarry Smith     /* Check for noise detection. */
1597736150eSBarry Smith     if (fnoise_s && fder2_s) {
1607736150eSBarry Smith       *fnoise = fnoise_s;
1617736150eSBarry Smith       fder2   = fder2_s;
1627736150eSBarry Smith       *hopt   = 1.68 * sqrt(*fnoise / PetscAbsScalar(fder2));
1637736150eSBarry Smith       goto theend;
1647736150eSBarry Smith     } else {
1657736150eSBarry Smith       /* Update hl and hu, and determine new h */
1667736150eSBarry Smith       if (info == 2 || info == 4) {
1677736150eSBarry Smith         hl = h;
1687736150eSBarry Smith         if (hu == zero) h = 100 * h;
1697736150eSBarry Smith         else h = PetscMin(100 * h, 0.1 * hu);
1707736150eSBarry Smith       } else if (info == 3) {
1717736150eSBarry Smith         hu = h;
1727736150eSBarry Smith         h  = PetscMax(1.0e-3, sqrt(hl / hu)) * hu;
1737736150eSBarry Smith       }
1747736150eSBarry Smith     }
1757736150eSBarry Smith   }
1767736150eSBarry Smith theend:
1777736150eSBarry Smith 
1787736150eSBarry Smith   if (*fnoise < neP->fnoise_min) {
1799566063dSJacob Faibussowitsch     PetscCall(PetscFPrintf(comm, fp, "Resetting fnoise: fnoise1 = %g, fnoise_min = %g\n", (double)*fnoise, (double)neP->fnoise_min));
1807736150eSBarry Smith     *fnoise = neP->fnoise_min;
1817736150eSBarry Smith     neP->fnoise_resets++;
1827736150eSBarry Smith   }
1837736150eSBarry Smith   if (*hopt < neP->hopt_min) {
1849566063dSJacob Faibussowitsch     PetscCall(PetscFPrintf(comm, fp, "Resetting hopt: hopt1 = %g, hopt_min = %g\n", (double)*hopt, (double)neP->hopt_min));
1857736150eSBarry Smith     *hopt = neP->hopt_min;
1867736150eSBarry Smith     neP->hopt_resets++;
1877736150eSBarry Smith   }
1887736150eSBarry Smith 
1899566063dSJacob Faibussowitsch   PetscCall(PetscFPrintf(comm, fp, "Errors in derivative:\n"));
1909566063dSJacob Faibussowitsch   PetscCall(PetscFPrintf(comm, fp, "f = %g, fnoise = %g, fder2 = %g, hopt = %g\n", (double)f, (double)*fnoise, (double)fder2, (double)*hopt));
1917736150eSBarry Smith 
1927736150eSBarry Smith   /* For now, compute h **each** MV Mult!! */
1937736150eSBarry Smith   /*
1949566063dSJacob Faibussowitsch   PetscCall(PetscOptionsHasName(NULL,"-matrix_free_jorge_each_mvp",&flg));
1957736150eSBarry Smith   if (!flg) {
1967736150eSBarry Smith     Mat mat;
1979566063dSJacob Faibussowitsch     PetscCall(SNESGetJacobian(snes,&mat,NULL,NULL));
198f6dfbefdSBarry Smith     PetscCall(MatSNESMFMoreSetParameters(mat,PETSC_DEFAULT,PETSC_DEFAULT,*hopt));
1997736150eSBarry Smith   }
2007736150eSBarry Smith   */
2017736150eSBarry Smith   fcount = neP->function_count - fcount;
20263a3b9bcSJacob 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));
2037736150eSBarry Smith 
2049566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-noise_test", &noise_test, NULL));
2051baa6e33SBarry Smith   if (noise_test) PetscCall(JacMatMultCompare(snes, x, p, *hopt));
2067736150eSBarry Smith   PetscFunctionReturn(0);
2077736150eSBarry Smith }
2087736150eSBarry Smith 
209d71ae5a4SJacob Faibussowitsch PetscErrorCode JacMatMultCompare(SNES snes, Vec x, Vec p, double hopt)
210d71ae5a4SJacob Faibussowitsch {
2117736150eSBarry Smith   Vec         yy1, yy2; /* work vectors */
21252ed857cSBarry Smith   PetscViewer view2;    /* viewer */
2137736150eSBarry Smith   Mat         J;        /* analytic Jacobian (set as preconditioner matrix) */
2147736150eSBarry Smith   Mat         Jmf;      /* matrix-free Jacobian (set as true system matrix) */
2157736150eSBarry Smith   double      h;        /* differencing parameter */
2167736150eSBarry Smith   Vec         f;
21790c26489SBarry Smith   PetscScalar alpha;
21890c26489SBarry Smith   PetscReal   yy1n, yy2n, enorm;
219a7cc72afSBarry Smith   PetscInt    i;
220ace3abfcSBarry Smith   PetscBool   printv = PETSC_FALSE;
2217736150eSBarry Smith   char        filename[32];
222ce94432eSBarry Smith   MPI_Comm    comm;
2237736150eSBarry Smith 
2247736150eSBarry Smith   PetscFunctionBegin;
2259566063dSJacob Faibussowitsch   PetscCall(PetscObjectGetComm((PetscObject)snes, &comm));
2267736150eSBarry Smith   /* Compute function and analytic Jacobian at x */
2279566063dSJacob Faibussowitsch   PetscCall(SNESGetJacobian(snes, &Jmf, &J, NULL, NULL));
2289566063dSJacob Faibussowitsch   PetscCall(SNESComputeJacobian(snes, x, Jmf, J));
2299566063dSJacob Faibussowitsch   PetscCall(SNESGetFunction(snes, &f, NULL, NULL));
2309566063dSJacob Faibussowitsch   PetscCall(SNESComputeFunction(snes, x, f));
2317736150eSBarry Smith 
2327736150eSBarry Smith   /* Duplicate work vectors */
2339566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(x, &yy2));
2349566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(x, &yy1));
2357736150eSBarry Smith 
2367736150eSBarry Smith   /* Compute true matrix-vector product */
2379566063dSJacob Faibussowitsch   PetscCall(MatMult(J, p, yy1));
2389566063dSJacob Faibussowitsch   PetscCall(VecNorm(yy1, NORM_2, &yy1n));
2397736150eSBarry Smith 
2407736150eSBarry Smith   /* View product vector if desired */
2419566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL, NULL, "-print_vecs", &printv, NULL));
2427736150eSBarry Smith   if (printv) {
2439566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIOpen(comm, "y1.out", &view2));
2449566063dSJacob Faibussowitsch     PetscCall(PetscViewerPushFormat(view2, PETSC_VIEWER_ASCII_COMMON));
2459566063dSJacob Faibussowitsch     PetscCall(VecView(yy1, view2));
2469566063dSJacob Faibussowitsch     PetscCall(PetscViewerPopFormat(view2));
2479566063dSJacob Faibussowitsch     PetscCall(PetscViewerDestroy(&view2));
2487736150eSBarry Smith   }
2497736150eSBarry Smith 
2507736150eSBarry Smith   /* Test Jacobian-vector product computation */
2517736150eSBarry Smith   alpha = -1.0;
2527736150eSBarry Smith   h     = 0.01 * hopt;
2537736150eSBarry Smith   for (i = 0; i < 5; i++) {
2547736150eSBarry Smith     /* Set differencing parameter for matrix-free multiplication */
255f6dfbefdSBarry Smith     PetscCall(MatSNESMFMoreSetParameters(Jmf, PETSC_DEFAULT, PETSC_DEFAULT, h));
2567736150eSBarry Smith 
2577736150eSBarry Smith     /* Compute matrix-vector product via differencing approximation */
2589566063dSJacob Faibussowitsch     PetscCall(MatMult(Jmf, p, yy2));
2599566063dSJacob Faibussowitsch     PetscCall(VecNorm(yy2, NORM_2, &yy2n));
2607736150eSBarry Smith 
2617736150eSBarry Smith     /* View product vector if desired */
2627736150eSBarry Smith     if (printv) {
26377431f27SBarry Smith       sprintf(filename, "y2.%d.out", (int)i);
2649566063dSJacob Faibussowitsch       PetscCall(PetscViewerASCIIOpen(comm, filename, &view2));
2659566063dSJacob Faibussowitsch       PetscCall(PetscViewerPushFormat(view2, PETSC_VIEWER_ASCII_COMMON));
2669566063dSJacob Faibussowitsch       PetscCall(VecView(yy2, view2));
2679566063dSJacob Faibussowitsch       PetscCall(PetscViewerPopFormat(view2));
2689566063dSJacob Faibussowitsch       PetscCall(PetscViewerDestroy(&view2));
2697736150eSBarry Smith     }
2707736150eSBarry Smith 
2717736150eSBarry Smith     /* Compute relative error */
2729566063dSJacob Faibussowitsch     PetscCall(VecAXPY(yy2, alpha, yy1));
2739566063dSJacob Faibussowitsch     PetscCall(VecNorm(yy2, NORM_2, &enorm));
2747736150eSBarry Smith     enorm = enorm / yy1n;
2759566063dSJacob Faibussowitsch     PetscCall(PetscFPrintf(comm, stdout, "h = %g: relative error = %g\n", (double)h, (double)enorm));
2767736150eSBarry Smith     h *= 10.0;
2777736150eSBarry Smith   }
2787736150eSBarry Smith   PetscFunctionReturn(0);
2797736150eSBarry Smith }
2807736150eSBarry Smith 
281a7cc72afSBarry Smith static PetscInt lin_its_total = 0;
2827736150eSBarry Smith 
283d71ae5a4SJacob Faibussowitsch PetscErrorCode SNESNoiseMonitor(SNES snes, PetscInt its, double fnorm, void *dummy)
284d71ae5a4SJacob Faibussowitsch {
28577431f27SBarry Smith   PetscInt lin_its;
2867736150eSBarry Smith 
2877736150eSBarry Smith   PetscFunctionBegin;
2889566063dSJacob Faibussowitsch   PetscCall(SNESGetLinearSolveIterations(snes, &lin_its));
2897736150eSBarry Smith   lin_its_total += lin_its;
29063a3b9bcSJacob Faibussowitsch   PetscCall(PetscPrintf(PetscObjectComm((PetscObject)snes), "iter = %" PetscInt_FMT ", SNES Function norm = %g, lin_its = %" PetscInt_FMT ", total_lin_its = %" PetscInt_FMT "\n", its, (double)fnorm, lin_its, lin_its_total));
2917736150eSBarry Smith 
2929566063dSJacob Faibussowitsch   PetscCall(SNESUnSetMatrixFreeParameter(snes));
2937736150eSBarry Smith   PetscFunctionReturn(0);
2947736150eSBarry Smith }
295