184df9cb4SJed Brown 284df9cb4SJed Brown #include <private/tsimpl.h> /*I "petscts.h" I*/ 384df9cb4SJed Brown 484df9cb4SJed Brown static PetscFList TSAdaptList; 584df9cb4SJed Brown static PetscBool TSAdaptPackageInitialized; 684df9cb4SJed Brown static PetscBool TSAdaptRegisterAllCalled; 784df9cb4SJed Brown static PetscClassId TSADAPT_CLASSID; 884df9cb4SJed Brown 984df9cb4SJed Brown EXTERN_C_BEGIN 1084df9cb4SJed Brown PetscErrorCode TSAdaptCreate_Basic(TSAdapt); 118d59e960SJed Brown PetscErrorCode TSAdaptCreate_CFL(TSAdapt); 1284df9cb4SJed Brown EXTERN_C_END 1384df9cb4SJed Brown 1484df9cb4SJed Brown #undef __FUNCT__ 1584df9cb4SJed Brown #define __FUNCT__ "TSAdaptRegister" 1684df9cb4SJed Brown /*@C 1784df9cb4SJed Brown TSAdaptRegister - see TSAdaptRegisterDynamic() 1884df9cb4SJed Brown 1984df9cb4SJed Brown Level: advanced 2084df9cb4SJed Brown @*/ 2184df9cb4SJed Brown PetscErrorCode TSAdaptRegister(const char sname[],const char path[],const char name[],PetscErrorCode (*function)(TSAdapt)) 2284df9cb4SJed Brown { 2384df9cb4SJed Brown PetscErrorCode ierr; 2484df9cb4SJed Brown char fullname[PETSC_MAX_PATH_LEN]; 2584df9cb4SJed Brown 2684df9cb4SJed Brown PetscFunctionBegin; 2784df9cb4SJed Brown ierr = PetscFListConcat(path,name,fullname);CHKERRQ(ierr); 2884df9cb4SJed Brown ierr = PetscFListAdd(&TSAdaptList,sname,fullname,(void(*)(void))function);CHKERRQ(ierr); 2984df9cb4SJed Brown PetscFunctionReturn(0); 3084df9cb4SJed Brown } 3184df9cb4SJed Brown 3284df9cb4SJed Brown #undef __FUNCT__ 3384df9cb4SJed Brown #define __FUNCT__ "TSAdaptRegisterAll" 3484df9cb4SJed Brown /*@C 3584df9cb4SJed Brown TSAdaptRegisterAll - Registers all of the adaptivity schemes in TSAdapt 3684df9cb4SJed Brown 3784df9cb4SJed Brown Not Collective 3884df9cb4SJed Brown 3984df9cb4SJed Brown Level: advanced 4084df9cb4SJed Brown 4184df9cb4SJed Brown .keywords: TSAdapt, register, all 4284df9cb4SJed Brown 4384df9cb4SJed Brown .seealso: TSAdaptRegisterDestroy() 4484df9cb4SJed Brown @*/ 4584df9cb4SJed Brown PetscErrorCode TSAdaptRegisterAll(const char path[]) 4684df9cb4SJed Brown { 4784df9cb4SJed Brown PetscErrorCode ierr; 4884df9cb4SJed Brown 4984df9cb4SJed Brown PetscFunctionBegin; 5084df9cb4SJed Brown ierr = TSAdaptRegisterDynamic(TSADAPTBASIC,path,"TSAdaptCreate_Basic",TSAdaptCreate_Basic);CHKERRQ(ierr); 518d59e960SJed Brown ierr = TSAdaptRegisterDynamic(TSADAPTCFL, path,"TSAdaptCreate_CFL", TSAdaptCreate_CFL);CHKERRQ(ierr); 5284df9cb4SJed Brown PetscFunctionReturn(0); 5384df9cb4SJed Brown } 5484df9cb4SJed Brown 5584df9cb4SJed Brown #undef __FUNCT__ 5684df9cb4SJed Brown #define __FUNCT__ "TSAdaptFinalizePackage" 5784df9cb4SJed Brown /*@C 5884df9cb4SJed Brown TSFinalizePackage - This function destroys everything in the TS package. It is 5984df9cb4SJed Brown called from PetscFinalize(). 6084df9cb4SJed Brown 6184df9cb4SJed Brown Level: developer 6284df9cb4SJed Brown 6384df9cb4SJed Brown .keywords: Petsc, destroy, package 6484df9cb4SJed Brown .seealso: PetscFinalize() 6584df9cb4SJed Brown @*/ 6684df9cb4SJed Brown PetscErrorCode TSAdaptFinalizePackage(void) 6784df9cb4SJed Brown { 6884df9cb4SJed Brown PetscFunctionBegin; 6984df9cb4SJed Brown TSAdaptPackageInitialized = PETSC_FALSE; 7084df9cb4SJed Brown TSAdaptRegisterAllCalled = PETSC_FALSE; 7184df9cb4SJed Brown TSAdaptList = PETSC_NULL; 7284df9cb4SJed Brown PetscFunctionReturn(0); 7384df9cb4SJed Brown } 7484df9cb4SJed Brown 7584df9cb4SJed Brown #undef __FUNCT__ 7684df9cb4SJed Brown #define __FUNCT__ "TSAdaptInitializePackage" 7784df9cb4SJed Brown /*@C 7884df9cb4SJed Brown TSAdaptInitializePackage - This function initializes everything in the TSAdapt package. It is 7984df9cb4SJed Brown called from PetscDLLibraryRegister() when using dynamic libraries, and on the first call to 8084df9cb4SJed Brown TSCreate_GL() when using static libraries. 8184df9cb4SJed Brown 8284df9cb4SJed Brown Input Parameter: 8384df9cb4SJed Brown path - The dynamic library path, or PETSC_NULL 8484df9cb4SJed Brown 8584df9cb4SJed Brown Level: developer 8684df9cb4SJed Brown 8784df9cb4SJed Brown .keywords: TSAdapt, initialize, package 8884df9cb4SJed Brown .seealso: PetscInitialize() 8984df9cb4SJed Brown @*/ 9084df9cb4SJed Brown PetscErrorCode TSAdaptInitializePackage(const char path[]) 9184df9cb4SJed Brown { 9284df9cb4SJed Brown PetscErrorCode ierr; 9384df9cb4SJed Brown 9484df9cb4SJed Brown PetscFunctionBegin; 9584df9cb4SJed Brown if (TSAdaptPackageInitialized) PetscFunctionReturn(0); 9684df9cb4SJed Brown TSAdaptPackageInitialized = PETSC_TRUE; 9784df9cb4SJed Brown ierr = PetscClassIdRegister("TSAdapt",&TSADAPT_CLASSID);CHKERRQ(ierr); 9884df9cb4SJed Brown ierr = TSAdaptRegisterAll(path);CHKERRQ(ierr); 9984df9cb4SJed Brown ierr = PetscRegisterFinalize(TSAdaptFinalizePackage);CHKERRQ(ierr); 10084df9cb4SJed Brown PetscFunctionReturn(0); 10184df9cb4SJed Brown } 10284df9cb4SJed Brown 10384df9cb4SJed Brown #undef __FUNCT__ 10484df9cb4SJed Brown #define __FUNCT__ "TSAdaptRegisterDestroy" 10584df9cb4SJed Brown /*@C 10684df9cb4SJed Brown TSAdaptRegisterDestroy - Frees the list of adaptivity schemes that were registered by TSAdaptRegister()/TSAdaptRegisterDynamic(). 10784df9cb4SJed Brown 10884df9cb4SJed Brown Not Collective 10984df9cb4SJed Brown 11084df9cb4SJed Brown Level: advanced 11184df9cb4SJed Brown 11284df9cb4SJed Brown .keywords: TSAdapt, register, destroy 11384df9cb4SJed Brown .seealso: TSAdaptRegister(), TSAdaptRegisterAll(), TSAdaptRegisterDynamic() 11484df9cb4SJed Brown @*/ 11584df9cb4SJed Brown PetscErrorCode TSAdaptRegisterDestroy(void) 11684df9cb4SJed Brown { 11784df9cb4SJed Brown PetscErrorCode ierr; 11884df9cb4SJed Brown 11984df9cb4SJed Brown PetscFunctionBegin; 12084df9cb4SJed Brown ierr = PetscFListDestroy(&TSAdaptList);CHKERRQ(ierr); 12184df9cb4SJed Brown TSAdaptRegisterAllCalled = PETSC_FALSE; 12284df9cb4SJed Brown PetscFunctionReturn(0); 12384df9cb4SJed Brown } 12484df9cb4SJed Brown 12584df9cb4SJed Brown 12684df9cb4SJed Brown #undef __FUNCT__ 12784df9cb4SJed Brown #define __FUNCT__ "TSAdaptSetType" 12884df9cb4SJed Brown PetscErrorCode TSAdaptSetType(TSAdapt adapt,const TSAdaptType type) 12984df9cb4SJed Brown { 13084df9cb4SJed Brown PetscErrorCode ierr,(*r)(TSAdapt); 13184df9cb4SJed Brown 13284df9cb4SJed Brown PetscFunctionBegin; 13384df9cb4SJed Brown ierr = PetscFListFind(TSAdaptList,((PetscObject)adapt)->comm,type,PETSC_TRUE,(void(**)(void))&r);CHKERRQ(ierr); 13484df9cb4SJed Brown if (!r) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_UNKNOWN_TYPE,"Unknown TSAdapt type \"%s\" given",type); 13584df9cb4SJed Brown if (((PetscObject)adapt)->type_name) {ierr = (*adapt->ops->destroy)(adapt);CHKERRQ(ierr);} 13684df9cb4SJed Brown ierr = (*r)(adapt);CHKERRQ(ierr); 13784df9cb4SJed Brown ierr = PetscObjectChangeTypeName((PetscObject)adapt,type);CHKERRQ(ierr); 13884df9cb4SJed Brown PetscFunctionReturn(0); 13984df9cb4SJed Brown } 14084df9cb4SJed Brown 14184df9cb4SJed Brown #undef __FUNCT__ 14284df9cb4SJed Brown #define __FUNCT__ "TSAdaptSetOptionsPrefix" 14384df9cb4SJed Brown PetscErrorCode TSAdaptSetOptionsPrefix(TSAdapt adapt,const char prefix[]) 14484df9cb4SJed Brown { 14584df9cb4SJed Brown PetscErrorCode ierr; 14684df9cb4SJed Brown 14784df9cb4SJed Brown PetscFunctionBegin; 14884df9cb4SJed Brown ierr = PetscObjectSetOptionsPrefix((PetscObject)adapt,prefix);CHKERRQ(ierr); 14984df9cb4SJed Brown PetscFunctionReturn(0); 15084df9cb4SJed Brown } 15184df9cb4SJed Brown 15284df9cb4SJed Brown #undef __FUNCT__ 15384df9cb4SJed Brown #define __FUNCT__ "TSAdaptView" 15484df9cb4SJed Brown PetscErrorCode TSAdaptView(TSAdapt adapt,PetscViewer viewer) 15584df9cb4SJed Brown { 15684df9cb4SJed Brown PetscErrorCode ierr; 15784df9cb4SJed Brown PetscBool iascii; 15884df9cb4SJed Brown 15984df9cb4SJed Brown PetscFunctionBegin; 16084df9cb4SJed Brown ierr = PetscTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr); 16184df9cb4SJed Brown if (iascii) { 16284df9cb4SJed Brown ierr = PetscObjectPrintClassNamePrefixType((PetscObject)adapt,viewer,"TSAdapt Object");CHKERRQ(ierr); 16384df9cb4SJed Brown ierr = PetscViewerASCIIPrintf(viewer,"number of candidates %D\n",adapt->candidates.n);CHKERRQ(ierr); 16484df9cb4SJed Brown if (adapt->ops->view) { 16584df9cb4SJed Brown ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr); 16684df9cb4SJed Brown ierr = (*adapt->ops->view)(adapt,viewer);CHKERRQ(ierr); 16784df9cb4SJed Brown ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr); 16884df9cb4SJed Brown } 16984df9cb4SJed Brown } else { 17084df9cb4SJed Brown SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_SUP,"Viewer type %s not supported",((PetscObject)viewer)->type_name); 17184df9cb4SJed Brown } 17284df9cb4SJed Brown PetscFunctionReturn(0); 17384df9cb4SJed Brown } 17484df9cb4SJed Brown 17584df9cb4SJed Brown #undef __FUNCT__ 17684df9cb4SJed Brown #define __FUNCT__ "TSAdaptDestroy" 17784df9cb4SJed Brown PetscErrorCode TSAdaptDestroy(TSAdapt *adapt) 17884df9cb4SJed Brown { 17984df9cb4SJed Brown PetscErrorCode ierr; 18084df9cb4SJed Brown 18184df9cb4SJed Brown PetscFunctionBegin; 18284df9cb4SJed Brown if (!*adapt) PetscFunctionReturn(0); 18384df9cb4SJed Brown PetscValidHeaderSpecific(*adapt,TSADAPT_CLASSID,1); 18484df9cb4SJed Brown if (--((PetscObject)(*adapt))->refct > 0) {*adapt = 0; PetscFunctionReturn(0);} 18584df9cb4SJed Brown if ((*adapt)->ops->destroy) {ierr = (*(*adapt)->ops->destroy)(*adapt);CHKERRQ(ierr);} 1861c3436cfSJed Brown ierr = PetscViewerDestroy(&(*adapt)->monitor);CHKERRQ(ierr); 18784df9cb4SJed Brown ierr = PetscHeaderDestroy(adapt);CHKERRQ(ierr); 18884df9cb4SJed Brown PetscFunctionReturn(0); 18984df9cb4SJed Brown } 19084df9cb4SJed Brown 19184df9cb4SJed Brown #undef __FUNCT__ 1921c3436cfSJed Brown #define __FUNCT__ "TSAdaptSetMonitor" 1931c3436cfSJed Brown /*@ 1941c3436cfSJed Brown TSAdaptSetMonitor - Monitor the choices made by the adaptive controller 1951c3436cfSJed Brown 1961c3436cfSJed Brown Collective on TSAdapt 1971c3436cfSJed Brown 1981c3436cfSJed Brown Input Arguments: 1991c3436cfSJed Brown + adapt - adaptive controller context 2001c3436cfSJed Brown - flg - PETSC_TRUE to active a monitor, PETSC_FALSE to disable 2011c3436cfSJed Brown 2021c3436cfSJed Brown Level: intermediate 2031c3436cfSJed Brown 2041c3436cfSJed Brown .seealso: TSAdaptChoose() 2051c3436cfSJed Brown @*/ 2061c3436cfSJed Brown PetscErrorCode TSAdaptSetMonitor(TSAdapt adapt,PetscBool flg) 2071c3436cfSJed Brown { 2081c3436cfSJed Brown PetscErrorCode ierr; 2091c3436cfSJed Brown 2101c3436cfSJed Brown PetscFunctionBegin; 2111c3436cfSJed Brown if (flg) { 2121c3436cfSJed Brown if (!adapt->monitor) {ierr = PetscViewerASCIIOpen(((PetscObject)adapt)->comm,"stdout",&adapt->monitor);CHKERRQ(ierr);} 2131c3436cfSJed Brown } else { 2141c3436cfSJed Brown ierr = PetscViewerDestroy(&adapt->monitor);CHKERRQ(ierr); 2151c3436cfSJed Brown } 2161c3436cfSJed Brown PetscFunctionReturn(0); 2171c3436cfSJed Brown } 2181c3436cfSJed Brown 2191c3436cfSJed Brown #undef __FUNCT__ 2201c3436cfSJed Brown #define __FUNCT__ "TSAdaptSetStepLimits" 2211c3436cfSJed Brown /*@ 2221c3436cfSJed Brown TSAdaptSetStepLimits - Set minimum and maximum step sizes to be considered by the controller 2231c3436cfSJed Brown 2241c3436cfSJed Brown Logically Collective 2251c3436cfSJed Brown 2261c3436cfSJed Brown Input Arguments: 2271c3436cfSJed Brown + adapt - time step adaptivity context, usually gotten with TSGetAdapt() 2281c3436cfSJed Brown . hmin - minimum time step 2291c3436cfSJed Brown - hmax - maximum time step 2301c3436cfSJed Brown 2311c3436cfSJed Brown Options Database Keys: 2321c3436cfSJed Brown + -ts_adapt_dt_min - minimum time step 2331c3436cfSJed Brown - -ts_adapt_dt_max - maximum time step 2341c3436cfSJed Brown 2351c3436cfSJed Brown Level: intermediate 2361c3436cfSJed Brown 2371c3436cfSJed Brown .seealso: TSAdapt 2381c3436cfSJed Brown @*/ 2391c3436cfSJed Brown PetscErrorCode TSAdaptSetStepLimits(TSAdapt adapt,PetscReal hmin,PetscReal hmax) 2401c3436cfSJed Brown { 2411c3436cfSJed Brown 2421c3436cfSJed Brown PetscFunctionBegin; 2431c3436cfSJed Brown if (hmin != PETSC_DECIDE) adapt->dt_min = hmin; 2441c3436cfSJed Brown if (hmax != PETSC_DECIDE) adapt->dt_max = hmax; 2451c3436cfSJed Brown PetscFunctionReturn(0); 2461c3436cfSJed Brown } 2471c3436cfSJed Brown 2481c3436cfSJed Brown #undef __FUNCT__ 24984df9cb4SJed Brown #define __FUNCT__ "TSAdaptSetFromOptions" 25084df9cb4SJed Brown /*@ 25184df9cb4SJed Brown TSAdaptSetFromOptions - Sets various TSAdapt parameters from user options. 25284df9cb4SJed Brown 25384df9cb4SJed Brown Collective on TSAdapt 25484df9cb4SJed Brown 25584df9cb4SJed Brown Input Parameter: 25684df9cb4SJed Brown . adapt - the TSAdapt context 25784df9cb4SJed Brown 25884df9cb4SJed Brown Options Database Keys: 25984df9cb4SJed Brown . -ts_adapt_type <type> - basic 26084df9cb4SJed Brown 26184df9cb4SJed Brown Level: advanced 26284df9cb4SJed Brown 26384df9cb4SJed Brown Notes: 26484df9cb4SJed Brown This function is automatically called by TSSetFromOptions() 26584df9cb4SJed Brown 26684df9cb4SJed Brown .keywords: TS, TSGetAdapt(), TSAdaptSetType() 26784df9cb4SJed Brown 26884df9cb4SJed Brown .seealso: TSGetType() 26984df9cb4SJed Brown @*/ 27084df9cb4SJed Brown PetscErrorCode TSAdaptSetFromOptions(TSAdapt adapt) 27184df9cb4SJed Brown { 27284df9cb4SJed Brown PetscErrorCode ierr; 27384df9cb4SJed Brown char type[256] = TSADAPTBASIC; 2741c3436cfSJed Brown PetscBool set,flg; 27584df9cb4SJed Brown 27684df9cb4SJed Brown PetscFunctionBegin; 27784df9cb4SJed Brown /* This should use PetscOptionsBegin() if/when this becomes an object used outside of TS, but currently this 27884df9cb4SJed Brown * function can only be called from inside TSSetFromOptions_GL() */ 27984df9cb4SJed Brown ierr = PetscOptionsHead("TS Adaptivity options");CHKERRQ(ierr); 28084df9cb4SJed Brown ierr = PetscOptionsList("-ts_adapt_type","Algorithm to use for adaptivity","TSAdaptSetType",TSAdaptList, 28184df9cb4SJed Brown ((PetscObject)adapt)->type_name?((PetscObject)adapt)->type_name:type,type,sizeof type,&flg);CHKERRQ(ierr); 28284df9cb4SJed Brown if (flg || !((PetscObject)adapt)->type_name) { 28384df9cb4SJed Brown ierr = TSAdaptSetType(adapt,type);CHKERRQ(ierr); 28484df9cb4SJed Brown } 28584df9cb4SJed Brown if (adapt->ops->setfromoptions) {ierr = (*adapt->ops->setfromoptions)(adapt);CHKERRQ(ierr);} 2861c3436cfSJed Brown ierr = PetscOptionsReal("-ts_adapt_dt_min","Minimum time step considered","TSAdaptSetStepLimits",adapt->dt_min,&adapt->dt_min,PETSC_NULL);CHKERRQ(ierr); 2871c3436cfSJed Brown ierr = PetscOptionsReal("-ts_adapt_dt_max","Maximum time step considered","TSAdaptSetStepLimits",adapt->dt_max,&adapt->dt_max,PETSC_NULL);CHKERRQ(ierr); 2881c3436cfSJed Brown ierr = PetscOptionsBool("-ts_adapt_monitor","Print choices made by adaptive controller","TSAdaptSetMonitor",adapt->monitor ? PETSC_TRUE : PETSC_FALSE,&flg,&set);CHKERRQ(ierr); 2891c3436cfSJed Brown if (set) {ierr = TSAdaptSetMonitor(adapt,flg);CHKERRQ(ierr);} 29084df9cb4SJed Brown ierr = PetscOptionsTail();CHKERRQ(ierr); 29184df9cb4SJed Brown PetscFunctionReturn(0); 29284df9cb4SJed Brown } 29384df9cb4SJed Brown 29484df9cb4SJed Brown #undef __FUNCT__ 29584df9cb4SJed Brown #define __FUNCT__ "TSAdaptCandidatesClear" 29684df9cb4SJed Brown /*@ 29784df9cb4SJed Brown TSAdaptCandidatesClear - clear any previously set candidate schemes 29884df9cb4SJed Brown 29984df9cb4SJed Brown Logically Collective 30084df9cb4SJed Brown 30184df9cb4SJed Brown Input Argument: 30284df9cb4SJed Brown . adapt - adaptive controller 30384df9cb4SJed Brown 30484df9cb4SJed Brown Level: developer 30584df9cb4SJed Brown 30684df9cb4SJed Brown .seealso: TSAdapt, TSAdaptCreate(), TSAdaptCandidateAdd(), TSAdaptChoose() 30784df9cb4SJed Brown @*/ 30884df9cb4SJed Brown PetscErrorCode TSAdaptCandidatesClear(TSAdapt adapt) 30984df9cb4SJed Brown { 31084df9cb4SJed Brown PetscErrorCode ierr; 31184df9cb4SJed Brown 31284df9cb4SJed Brown PetscFunctionBegin; 31384df9cb4SJed Brown ierr = PetscMemzero(&adapt->candidates,sizeof(adapt->candidates));CHKERRQ(ierr); 31484df9cb4SJed Brown PetscFunctionReturn(0); 31584df9cb4SJed Brown } 31684df9cb4SJed Brown 31784df9cb4SJed Brown #undef __FUNCT__ 31884df9cb4SJed Brown #define __FUNCT__ "TSAdaptCandidateAdd" 31984df9cb4SJed Brown /*@C 32084df9cb4SJed Brown TSAdaptCandidateAdd - add a candidate scheme for the adaptive controller to select from 32184df9cb4SJed Brown 32284df9cb4SJed Brown Logically Collective 32384df9cb4SJed Brown 32484df9cb4SJed Brown Input Arguments: 32584df9cb4SJed Brown + adapt - time step adaptivity context, obtained with TSGetAdapt() or TSAdaptCreate() 32684df9cb4SJed Brown . name - name of the candidate scheme to add 32784df9cb4SJed Brown . order - order of the candidate scheme 32884df9cb4SJed Brown . stageorder - stage order of the candidate scheme 3298d59e960SJed Brown . ccfl - stability coefficient relative to explicit Euler, used for CFL constraints 33084df9cb4SJed Brown . cost - relative measure of the amount of work required for the candidate scheme 33184df9cb4SJed Brown - inuse - indicates that this scheme is the one currently in use, this flag can only be set for one scheme 33284df9cb4SJed Brown 33384df9cb4SJed Brown Note: 33484df9cb4SJed Brown This routine is not available in Fortran. 33584df9cb4SJed Brown 33684df9cb4SJed Brown Level: developer 33784df9cb4SJed Brown 33884df9cb4SJed Brown .seealso: TSAdaptCandidatesClear(), TSAdaptChoose() 33984df9cb4SJed Brown @*/ 3408d59e960SJed Brown PetscErrorCode TSAdaptCandidateAdd(TSAdapt adapt,const char name[],PetscInt order,PetscInt stageorder,PetscReal ccfl,PetscReal cost,PetscBool inuse) 34184df9cb4SJed Brown { 34284df9cb4SJed Brown PetscInt c; 34384df9cb4SJed Brown 34484df9cb4SJed Brown PetscFunctionBegin; 34584df9cb4SJed Brown PetscValidHeaderSpecific(adapt,TSADAPT_CLASSID,1); 34684df9cb4SJed Brown if (order < 1) SETERRQ1(((PetscObject)adapt)->comm,PETSC_ERR_ARG_OUTOFRANGE,"Classical order %D must be a positive integer",order); 34784df9cb4SJed Brown if (inuse) { 34884df9cb4SJed Brown if (adapt->candidates.inuse_set) SETERRQ(((PetscObject)adapt)->comm,PETSC_ERR_ARG_WRONGSTATE,"Cannot set the inuse method twice, maybe forgot to call TSAdaptCandidatesClear()"); 34984df9cb4SJed Brown adapt->candidates.inuse_set = PETSC_TRUE; 35084df9cb4SJed Brown } 3511c3436cfSJed Brown /* first slot if this is the current scheme, otherwise the next available slot */ 3521c3436cfSJed Brown c = inuse ? 0 : !adapt->candidates.inuse_set + adapt->candidates.n; 35384df9cb4SJed Brown adapt->candidates.name[c] = name; 35484df9cb4SJed Brown adapt->candidates.order[c] = order; 35584df9cb4SJed Brown adapt->candidates.stageorder[c] = stageorder; 3568d59e960SJed Brown adapt->candidates.ccfl[c] = ccfl; 35784df9cb4SJed Brown adapt->candidates.cost[c] = cost; 35884df9cb4SJed Brown adapt->candidates.n++; 35984df9cb4SJed Brown PetscFunctionReturn(0); 36084df9cb4SJed Brown } 36184df9cb4SJed Brown 36284df9cb4SJed Brown #undef __FUNCT__ 3638d59e960SJed Brown #define __FUNCT__ "TSAdaptCandidatesGet" 3648d59e960SJed Brown /*@C 3658d59e960SJed Brown TSAdaptCandidatesGet - Get the list of candidate orders of accuracy and cost 3668d59e960SJed Brown 3678d59e960SJed Brown Not Collective 3688d59e960SJed Brown 3698d59e960SJed Brown Input Arguments: 3708d59e960SJed Brown . adapt - time step adaptivity context 3718d59e960SJed Brown 3728d59e960SJed Brown Output Arguments: 3738d59e960SJed Brown + n - number of candidate schemes, always at least 1 3748d59e960SJed Brown . order - the order of each candidate scheme 3758d59e960SJed Brown . stageorder - the stage order of each candidate scheme 3768d59e960SJed Brown . ccfl - the CFL coefficient of each scheme 3778d59e960SJed Brown - cost - the relative cost of each scheme 3788d59e960SJed Brown 3798d59e960SJed Brown Level: developer 3808d59e960SJed Brown 3818d59e960SJed Brown Note: 3828d59e960SJed Brown The current scheme is always returned in the first slot 3838d59e960SJed Brown 3848d59e960SJed Brown .seealso: TSAdaptCandidatesClear(), TSAdaptCandidateAdd(), TSAdaptChoose() 3858d59e960SJed Brown @*/ 3868d59e960SJed Brown PetscErrorCode TSAdaptCandidatesGet(TSAdapt adapt,PetscInt *n,const PetscInt **order,const PetscInt **stageorder,const PetscReal **ccfl,const PetscReal **cost) 3878d59e960SJed Brown { 3888d59e960SJed Brown PetscFunctionBegin; 3898d59e960SJed Brown PetscValidHeaderSpecific(adapt,TSADAPT_CLASSID,1); 3908d59e960SJed Brown if (n) *n = adapt->candidates.n; 3918d59e960SJed Brown if (order) *order = adapt->candidates.order; 3928d59e960SJed Brown if (stageorder) *stageorder = adapt->candidates.stageorder; 3938d59e960SJed Brown if (ccfl) *ccfl = adapt->candidates.ccfl; 3948d59e960SJed Brown if (cost) *cost = adapt->candidates.cost; 3958d59e960SJed Brown PetscFunctionReturn(0); 3968d59e960SJed Brown } 3978d59e960SJed Brown 3988d59e960SJed Brown #undef __FUNCT__ 39984df9cb4SJed Brown #define __FUNCT__ "TSAdaptChoose" 40084df9cb4SJed Brown /*@C 40184df9cb4SJed Brown TSAdaptChoose - choose which method and step size to use for the next step 40284df9cb4SJed Brown 40384df9cb4SJed Brown Logically Collective 40484df9cb4SJed Brown 40584df9cb4SJed Brown Input Arguments: 40684df9cb4SJed Brown + adapt - adaptive contoller 40784df9cb4SJed Brown - h - current step size 40884df9cb4SJed Brown 40984df9cb4SJed Brown Output Arguments: 41084df9cb4SJed Brown + next_sc - scheme to use for the next step 41184df9cb4SJed Brown . next_h - step size to use for the next step 41284df9cb4SJed Brown - accept - PETSC_TRUE to accept the current step, PETSC_FALSE to repeat the current step with the new step size 41384df9cb4SJed Brown 4141c3436cfSJed Brown Note: 4151c3436cfSJed Brown The input value of parameter accept is retained from the last time step, so it will be PETSC_FALSE if the step is 4161c3436cfSJed Brown being retried after an initial rejection. 4171c3436cfSJed Brown 41884df9cb4SJed Brown Level: developer 41984df9cb4SJed Brown 42084df9cb4SJed Brown .seealso: TSAdapt, TSAdaptCandidatesClear(), TSAdaptCandidateAdd() 42184df9cb4SJed Brown @*/ 42284df9cb4SJed Brown PetscErrorCode TSAdaptChoose(TSAdapt adapt,TS ts,PetscReal h,PetscInt *next_sc,PetscReal *next_h,PetscBool *accept) 42384df9cb4SJed Brown { 42484df9cb4SJed Brown PetscErrorCode ierr; 425*0b99f514SJed Brown PetscReal wlte = -1.0; 42684df9cb4SJed Brown 42784df9cb4SJed Brown PetscFunctionBegin; 42884df9cb4SJed Brown PetscValidHeaderSpecific(adapt,TSADAPT_CLASSID,1); 42984df9cb4SJed Brown PetscValidHeaderSpecific(ts,TS_CLASSID,2); 43084df9cb4SJed Brown PetscValidIntPointer(next_sc,4); 43184df9cb4SJed Brown PetscValidPointer(next_h,5); 43284df9cb4SJed Brown PetscValidIntPointer(accept,6); 43384df9cb4SJed Brown if (adapt->candidates.n < 1) SETERRQ1(((PetscObject)adapt)->comm,PETSC_ERR_ARG_WRONGSTATE,"%D candidates have been registered",adapt->candidates.n); 43484df9cb4SJed Brown if (!adapt->candidates.inuse_set) SETERRQ1(((PetscObject)adapt)->comm,PETSC_ERR_ARG_WRONGSTATE,"The current in-use scheme is not among the %D candidates",adapt->candidates.n); 435*0b99f514SJed Brown ierr = (*adapt->ops->choose)(adapt,ts,h,next_sc,next_h,accept,&wlte);CHKERRQ(ierr); 4361c3436cfSJed Brown if (*next_sc < 0 || adapt->candidates.n <= *next_sc) SETERRQ2(((PetscObject)adapt)->comm,PETSC_ERR_ARG_OUTOFRANGE,"Chosen scheme %D not in valid range 0..%D",*next_sc,adapt->candidates.n-1); 4371c3436cfSJed Brown if (!(*next_h > 0.)) SETERRQ1(((PetscObject)adapt)->comm,PETSC_ERR_ARG_OUTOFRANGE,"Computed step size %G must be positive",*next_h); 4381c3436cfSJed Brown 4391c3436cfSJed Brown if (adapt->monitor) { 4401c3436cfSJed Brown ierr = PetscViewerASCIIAddTab(adapt->monitor,((PetscObject)adapt)->tablevel);CHKERRQ(ierr); 441*0b99f514SJed Brown if (wlte < 0) { 442*0b99f514SJed Brown ierr = PetscViewerASCIIPrintf(adapt->monitor," TSAdapt '%s': step %3D %s t=%-11g+%10.3e family='%s' scheme=%D:'%s' dt=%-10g\n",((PetscObject)adapt)->type_name,ts->steps,*accept?"accepted":"rejected",(double)ts->ptime,h,((PetscObject)ts)->type_name,*next_sc,adapt->candidates.name[*next_sc],(double)*next_h);CHKERRQ(ierr); 443*0b99f514SJed Brown } else { 444*0b99f514SJed Brown ierr = PetscViewerASCIIPrintf(adapt->monitor," TSAdapt '%s': step %3D %s t=%-11g+%10.3e wlte=%5.3g family='%s' scheme=%D:'%s' dt=%-10.3e\n",((PetscObject)adapt)->type_name,ts->steps,*accept?"accepted":"rejected",(double)ts->ptime,h,(double)wlte,((PetscObject)ts)->type_name,*next_sc,adapt->candidates.name[*next_sc],(double)*next_h);CHKERRQ(ierr); 445*0b99f514SJed Brown } 4461c3436cfSJed Brown ierr = PetscViewerASCIISubtractTab(adapt->monitor,((PetscObject)adapt)->tablevel);CHKERRQ(ierr); 4471c3436cfSJed Brown } 44884df9cb4SJed Brown PetscFunctionReturn(0); 44984df9cb4SJed Brown } 45084df9cb4SJed Brown 45184df9cb4SJed Brown #undef __FUNCT__ 45284df9cb4SJed Brown #define __FUNCT__ "TSAdaptCreate" 45384df9cb4SJed Brown /*@ 45484df9cb4SJed Brown TSAdaptCreate - create an adaptive controller context for time stepping 45584df9cb4SJed Brown 45684df9cb4SJed Brown Collective on MPI_Comm 45784df9cb4SJed Brown 45884df9cb4SJed Brown Input Parameter: 45984df9cb4SJed Brown . comm - The communicator 46084df9cb4SJed Brown 46184df9cb4SJed Brown Output Parameter: 46284df9cb4SJed Brown . adapt - new TSAdapt object 46384df9cb4SJed Brown 46484df9cb4SJed Brown Level: developer 46584df9cb4SJed Brown 46684df9cb4SJed Brown Notes: 46784df9cb4SJed Brown TSAdapt creation is handled by TS, so users should not need to call this function. 46884df9cb4SJed Brown 46984df9cb4SJed Brown .keywords: TSAdapt, create 47084df9cb4SJed Brown .seealso: TSGetAdapt(), TSAdaptSetType(), TSAdaptDestroy() 47184df9cb4SJed Brown @*/ 47284df9cb4SJed Brown PetscErrorCode TSAdaptCreate(MPI_Comm comm,TSAdapt *inadapt) 47384df9cb4SJed Brown { 47484df9cb4SJed Brown PetscErrorCode ierr; 47584df9cb4SJed Brown TSAdapt adapt; 47684df9cb4SJed Brown 47784df9cb4SJed Brown PetscFunctionBegin; 47884df9cb4SJed Brown *inadapt = 0; 47984df9cb4SJed Brown ierr = PetscHeaderCreate(adapt,_p_TSAdapt,struct _TSAdaptOps,TSADAPT_CLASSID,0,"TSAdapt","General Linear adaptivity","TS",comm,TSAdaptDestroy,TSAdaptView);CHKERRQ(ierr); 4801c3436cfSJed Brown 4811c3436cfSJed Brown adapt->dt_min = 1e-20; 4821c3436cfSJed Brown adapt->dt_max = 1e50; 4831c3436cfSJed Brown 48484df9cb4SJed Brown *inadapt = adapt; 48584df9cb4SJed Brown PetscFunctionReturn(0); 48684df9cb4SJed Brown } 487