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