https://mooseframework.inl.gov
Loading...
Searching...
No Matches
NonlinearSystemBase.C
Go to the documentation of this file.
1//* This file is part of the MOOSE framework
2//* https://mooseframework.inl.gov
3//*
4//* All rights reserved, see COPYRIGHT for full restrictions
5//* https://github.com/idaholab/moose/blob/master/COPYRIGHT
6//*
7//* Licensed under LGPL 2.1, please see LICENSE for details
8//* https://www.gnu.org/licenses/lgpl-2.1.html
9
10#include "NonlinearSystemBase.h"
11#include "AuxiliarySystem.h"
12#include "Problem.h"
13#include "FEProblem.h"
14#include "MooseVariableFE.h"
15#include "MooseVariableScalar.h"
16#include "PetscSupport.h"
17#include "Factory.h"
18#include "ParallelUniqueId.h"
19#include "ThreadedElementLoop.h"
20#include "MaterialData.h"
23#include "ComputeFVFluxThread.h"
28#include "ComputeDiracThread.h"
35#include "TimeKernel.h"
36#include "BoundaryCondition.h"
37#include "DirichletBCBase.h"
38#include "NodalBCBase.h"
39#include "IntegratedBCBase.h"
40#include "DGKernel.h"
41#include "InterfaceKernelBase.h"
42#include "ElementDamper.h"
43#include "NodalDamper.h"
44#include "GeneralDamper.h"
45#include "DisplacedProblem.h"
46#include "NearestNodeLocator.h"
47#include "PenetrationLocator.h"
48#include "NodalConstraint.h"
49#include "NodeFaceConstraint.h"
51#include "MortarConstraint.h"
52#include "ElemElemConstraint.h"
53#include "ScalarKernelBase.h"
54#include "Parser.h"
55#include "Split.h"
57#include "MooseMesh.h"
58#include "MooseUtils.h"
59#include "MooseApp.h"
60#include "NodalKernelBase.h"
61#include "DiracKernelBase.h"
62#include "TimeIntegrator.h"
63#include "Predictor.h"
64#include "Assembly.h"
65#include "ElementPairLocator.h"
66#include "ODETimeKernel.h"
69#include "ADKernel.h"
70#include "ADDirichletBCBase.h"
71#include "Moose.h"
72#include "ConsoleStream.h"
73#include "MooseError.h"
74#include "FVElementalKernel.h"
77#include "FVFluxKernel.h"
78#include "FVBoundaryCondition.h"
79#include "FVInterfaceKernel.h"
81#include "GeneralUserObject.h"
83#include "HDGKernel.h"
85#include "Convergence.h"
86
87// libMesh
88#include "libmesh/nonlinear_solver.h"
89#include "libmesh/quadrature_gauss.h"
90#include "libmesh/dense_vector.h"
91#include "libmesh/boundary_info.h"
92#include "libmesh/petsc_matrix.h"
93#include "libmesh/petsc_vector.h"
94#include "libmesh/petsc_nonlinear_solver.h"
95#include "libmesh/numeric_vector.h"
96#include "libmesh/mesh.h"
97#include "libmesh/dense_subvector.h"
98#include "libmesh/dense_submatrix.h"
99#include "libmesh/dof_map.h"
100#include "libmesh/sparse_matrix.h"
101#include "libmesh/petsc_matrix.h"
102#include "libmesh/default_coupling.h"
103#include "libmesh/diagonal_matrix.h"
104#include "libmesh/fe_interface.h"
105#include "libmesh/petsc_solver_exception.h"
106
107#include <ios>
108#include <type_traits>
109
110#include "petscsnes.h"
111#include <PetscDMMoose.h>
112EXTERN_C_BEGIN
113extern PetscErrorCode DMCreate_Moose(DM);
115
116namespace
117{
118template <typename T>
119void
121 const std::string & system_name,
122 const unsigned int system_number,
123 const THREAD_ID tid,
124 std::vector<SetupInterface *> & results)
125{
126 static_assert(std::is_base_of_v<MooseObject, T>);
127 static_assert(std::is_base_of_v<SetupInterface, T>);
128
129 std::vector<T *> objects;
130 warehouse.query()
131 .template condition<AttribSystem>(system_name)
132 .template condition<AttribSysNum>(system_number)
133 .template condition<AttribThread>(tid)
134 .queryInto(objects);
135
136 for (auto * object : objects)
137 results.push_back(object);
138}
139}
140
142 System & sys,
143 const std::string & name)
144 : SolverSystem(fe_problem, fe_problem, name, Moose::VAR_SOLVER),
145 PerfGraphInterface(fe_problem.getMooseApp().perfGraph(), "NonlinearSystemBase"),
146 _sys(sys),
147 _last_nl_rnorm(0.),
148 _current_nl_its(0),
149 _residual_ghosted(NULL),
150 _Re_time_tag(-1),
151 _Re_time(NULL),
152 _Re_non_time_tag(-1),
153 _Re_non_time(NULL),
154 _kernels(numThreads()),
155 _hybridized_kernels(numThreads()),
156 _scalar_kernels(/*num_threads=*/1),
157 _dg_kernels(numThreads()),
158 _interface_kernels(numThreads()),
159 _integrated_bcs(numThreads()),
160 _nodal_bcs(/*num_threads=*/1),
161 _preset_nodal_bcs(/*num_threads=*/1),
162 _ad_preset_nodal_bcs(/*num_threads=*/1),
163#ifdef MOOSE_KOKKOS_ENABLED
164 _kokkos_kernels(/*num_threads=*/1),
165 _kokkos_integrated_bcs(/*num_threads=*/1),
166 _kokkos_nodal_bcs(/*num_threads=*/1),
167 _kokkos_preset_nodal_bcs(/*num_threads=*/1),
168 _kokkos_nodal_kernels(/*num_threads=*/1),
169#endif
170 _dirac_kernels(numThreads()),
171 _element_dampers(numThreads()),
172 _nodal_dampers(numThreads()),
173 _general_dampers(/*num_threads=*/1),
174 _nodal_kernels(numThreads()),
175 _splits(/*num_threads=*/1),
176 _increment_vec(NULL),
177 _use_finite_differenced_preconditioner(false),
178 _fdcoloring(nullptr),
179 _fsp(nullptr),
180 _add_implicit_geometric_coupling_entries_to_jacobian(false),
181 _assemble_constraints_separately(false),
182 _need_residual_ghosted(false),
183 _debugging_residuals(false),
184 _doing_dg(false),
185 _n_iters(0),
186 _n_linear_iters(0),
187 _n_residual_evaluations(0),
188 _final_residual(0.),
189 _computing_pre_smo_residual(false),
190 _pre_smo_residual(0),
191 _initial_residual(0),
192 _use_pre_smo_residual(false),
193 _print_all_var_norms(false),
194 _has_save_in(false),
195 _has_diag_save_in(false),
196 _has_nodalbc_save_in(false),
197 _has_nodalbc_diag_save_in(false),
198 _computed_scaling(false),
199 _compute_scaling_once(true),
200 _resid_vs_jac_scaling_param(0),
201 _off_diagonals_in_auto_scaling(false),
202 _auto_scaling_initd(false)
203{
205 // Don't need to add the matrix - it already exists (for now)
207
208 // The time matrix tag is not normally used - but must be added to the system
209 // in case it is so that objects can have 'time' in their matrix tags by default
211
212 _Re_tag = _fe_problem.addVectorTag("RESIDUAL");
213
215
217 {
218 auto & dof_map = _sys.get_dof_map();
219 dof_map.remove_algebraic_ghosting_functor(dof_map.default_algebraic_ghosting());
220 dof_map.set_implicit_neighbor_dofs(false);
221 }
222}
223
225
226void
228{
230
232 setupDampers();
233
234 if (_residual_copy.get())
235 _residual_copy->init(_sys.n_dofs(), false, SERIAL);
236
237#ifdef MOOSE_KOKKOS_ENABLED
240#endif
241}
242
243void
245{
246 // reinit is called on meshChanged() in FEProblemBase. We could implement meshChanged() instead.
247 // Subdomains might have changed
248 for (auto & functor : _displaced_mortar_functors)
249 functor.second.setupMortarMaterials();
250 for (auto & functor : _undisplaced_mortar_functors)
251 functor.second.setupMortarMaterials();
252}
253
254void
260
261std::vector<SetupInterface *>
263{
264 std::vector<SetupInterface *> fv_objects;
265 auto & warehouse = _fe_problem.theWarehouse();
266
267 appendFVSetupObjects<FVElementalKernel>(
268 warehouse, "FVElementalKernel", number(), tid, fv_objects);
269 appendFVSetupObjects<FVFluxKernel>(warehouse, "FVFluxKernel", number(), tid, fv_objects);
270 appendFVSetupObjects<FVBoundaryCondition>(warehouse, "FVDirichletBC", number(), tid, fv_objects);
271 appendFVSetupObjects<FVBoundaryCondition>(warehouse, "FVFluxBC", number(), tid, fv_objects);
272 appendFVSetupObjects<FVInterfaceKernel>(
273 warehouse, "FVInterfaceKernel", number(), tid, fv_objects);
274
275 return fv_objects;
276}
277
278void
280{
281 TIME_SECTION("nlInitialSetup", 2, "Setting Up Nonlinear System");
282
284
285 {
286 TIME_SECTION("kernelsInitialSetup", 2, "Setting Up Kernels/BCs/Constraints");
287
288 for (THREAD_ID tid = 0; tid < this->numThreads(); tid++)
289 {
293 if (_doing_dg)
296
300
301 if (_fe_problem.haveFV())
302 for (auto * fv_object : getFVSetupObjects(tid))
303 fv_object->initialSetup();
304 }
305
312
313#ifdef MOOSE_KOKKOS_ENABLED
318#endif
319 }
320
321 {
322 TIME_SECTION("mortarSetup", 2, "Initializing Mortar Interfaces");
323
324 auto create_mortar_functors = [this](const bool displaced)
325 {
326 // go over mortar interfaces and construct functors
327 const auto & mortar_interfaces = _fe_problem.getMortarInterfaces(displaced);
328 for (const auto & [primary_secondary_boundary_pair, interface_config] : mortar_interfaces)
329 {
330 if (!_constraints.hasActiveMortarConstraints(primary_secondary_boundary_pair, displaced))
331 continue;
332
333 auto & mortar_constraints =
334 _constraints.getActiveMortarConstraints(primary_secondary_boundary_pair, displaced);
335
336 auto & subproblem = displaced ? cast_ref<SubProblem &>(*_fe_problem.getDisplacedProblem())
337 : cast_ref<SubProblem &>(_fe_problem);
338
339 auto & mortar_functors =
341
342 mortar_functors.emplace(primary_secondary_boundary_pair,
343 ComputeMortarFunctor(mortar_constraints,
344 *interface_config.amg,
347 displaced,
348 subproblem.assembly(0, number())));
349 }
350 };
351
352 create_mortar_functors(false);
353 create_mortar_functors(true);
354 }
355
357 {
359 _scaling_matrix = std::make_unique<OffDiagonalScalingMatrix<Number>>(_communicator);
360 else
361 _scaling_matrix = std::make_unique<libMesh::DiagonalMatrix<Number>>(_communicator);
362 }
363
364 if (_preconditioner)
365 _preconditioner->initialSetup();
366}
367
368void
403
404void
406{
407 SolverSystem::customSetup(exec_type);
408
409 for (THREAD_ID tid = 0; tid < this->numThreads(); tid++)
410 {
411 _kernels.customSetup(exec_type, tid);
412 _nodal_kernels.customSetup(exec_type, tid);
413 _dirac_kernels.customSetup(exec_type, tid);
414 if (_doing_dg)
415 _dg_kernels.customSetup(exec_type, tid);
416 _interface_kernels.customSetup(exec_type, tid);
417 _element_dampers.customSetup(exec_type, tid);
418 _nodal_dampers.customSetup(exec_type, tid);
419 _integrated_bcs.customSetup(exec_type, tid);
420
421 if (_fe_problem.haveFV())
422 for (auto * fv_object : getFVSetupObjects(tid))
423 fv_object->customSetup(exec_type);
424 }
425 _scalar_kernels.customSetup(exec_type);
426 _constraints.customSetup(exec_type);
427 _general_dampers.customSetup(exec_type);
428 _nodal_bcs.customSetup(exec_type);
431
432#ifdef MOOSE_KOKKOS_ENABLED
433 _kokkos_kernels.customSetup(exec_type);
437#endif
438}
439
440void
442{
443 if (_fsp)
444 _fsp->setupDM();
445}
446
447void
448NonlinearSystemBase::addKernel(const std::string & kernel_name,
449 const std::string & name,
450 InputParameters & parameters)
451{
452 for (THREAD_ID tid = 0; tid < this->numThreads(); tid++)
453 {
454 // Create the kernel object via the factory and add to warehouse
455 std::shared_ptr<KernelBase> kernel =
456 _factory.create<KernelBase>(kernel_name, name, parameters, tid);
457 _kernels.addObject(kernel, tid);
458 postAddResidualObject(*kernel);
459 // Add to theWarehouse, a centralized storage for all moose objects
460 _fe_problem.theWarehouse().add(kernel);
461 }
462
463 if (parameters.get<std::vector<AuxVariableName>>("save_in").size() > 0)
464 _has_save_in = true;
465 if (parameters.get<std::vector<AuxVariableName>>("diag_save_in").size() > 0)
466 _has_diag_save_in = true;
467}
468
469void
470NonlinearSystemBase::addHDGKernel(const std::string & kernel_name,
471 const std::string & name,
472 InputParameters & parameters)
473{
474 for (THREAD_ID tid = 0; tid < this->numThreads(); tid++)
475 {
476 // Create the kernel object via the factory and add to warehouse
477 auto kernel = _factory.create<HDGKernel>(kernel_name, name, parameters, tid);
478 _kernels.addObject(kernel, tid);
479 _hybridized_kernels.addObject(kernel, tid);
480 // Add to theWarehouse, a centralized storage for all moose objects
481 _fe_problem.theWarehouse().add(kernel);
482 postAddResidualObject(*kernel);
483 }
484}
485
486void
487NonlinearSystemBase::addNodalKernel(const std::string & kernel_name,
488 const std::string & name,
489 InputParameters & parameters)
490{
491 for (THREAD_ID tid = 0; tid < this->numThreads(); tid++)
492 {
493 // Create the kernel object via the factory and add to the warehouse
494 std::shared_ptr<NodalKernelBase> kernel =
495 _factory.create<NodalKernelBase>(kernel_name, name, parameters, tid);
496 _nodal_kernels.addObject(kernel, tid);
497 // Add to theWarehouse, a centralized storage for all moose objects
498 _fe_problem.theWarehouse().add(kernel);
499 postAddResidualObject(*kernel);
500 }
501
502 if (parameters.have_parameter<std::vector<AuxVariableName>>("save_in") &&
503 parameters.get<std::vector<AuxVariableName>>("save_in").size() > 0)
504 _has_save_in = true;
505 if (parameters.have_parameter<std::vector<AuxVariableName>>("save_in") &&
506 parameters.get<std::vector<AuxVariableName>>("diag_save_in").size() > 0)
507 _has_diag_save_in = true;
508}
509
510void
511NonlinearSystemBase::addScalarKernel(const std::string & kernel_name,
512 const std::string & name,
513 InputParameters & parameters)
514{
515 std::shared_ptr<ScalarKernelBase> kernel =
516 _factory.create<ScalarKernelBase>(kernel_name, name, parameters);
517 postAddResidualObject(*kernel);
518 // Add to theWarehouse, a centralized storage for all moose objects
519 _fe_problem.theWarehouse().add(kernel);
521}
522
523void
525 const std::string & name,
526 InputParameters & parameters)
527{
528 // ThreadID
529 THREAD_ID tid = 0;
530
531 // Create the object
532 std::shared_ptr<BoundaryCondition> bc =
533 _factory.create<BoundaryCondition>(bc_name, name, parameters, tid);
535
536 // Active BoundaryIDs for the object
537 const std::set<BoundaryID> & boundary_ids = bc->boundaryIDs();
538 auto bc_var = dynamic_cast<const MooseVariableFieldBase *>(&bc->variable());
539 _vars[tid].addBoundaryVar(boundary_ids, bc_var);
540
541 // Cast to the various types of BCs
542 std::shared_ptr<NodalBCBase> nbc = std::dynamic_pointer_cast<NodalBCBase>(bc);
543 std::shared_ptr<IntegratedBCBase> ibc = std::dynamic_pointer_cast<IntegratedBCBase>(bc);
544
545 // NodalBCBase
546 if (nbc)
547 {
548 if (nbc->checkNodalVar() && !nbc->variable().isNodal())
549 mooseError("Trying to use nodal boundary condition '",
550 nbc->name(),
551 "' on a non-nodal variable '",
552 nbc->variable().name(),
553 "'.");
554
556 // Add to theWarehouse, a centralized storage for all moose objects
558 _vars[tid].addBoundaryVars(boundary_ids, nbc->getCoupledVars());
559
560 if (parameters.get<std::vector<AuxVariableName>>("save_in").size() > 0)
562 if (parameters.get<std::vector<AuxVariableName>>("diag_save_in").size() > 0)
564
565 // DirichletBCs that are preset
566 std::shared_ptr<DirichletBCBase> dbc = std::dynamic_pointer_cast<DirichletBCBase>(bc);
567 if (dbc && dbc->preset())
569
570 std::shared_ptr<ADDirichletBCBase> addbc = std::dynamic_pointer_cast<ADDirichletBCBase>(bc);
571 if (addbc && addbc->preset())
573 }
574
575 // IntegratedBCBase
576 else if (ibc)
577 {
578 _integrated_bcs.addObject(ibc, tid);
579 // Add to theWarehouse, a centralized storage for all moose objects
581 _vars[tid].addBoundaryVars(boundary_ids, ibc->getCoupledVars());
582
583 if (parameters.get<std::vector<AuxVariableName>>("save_in").size() > 0)
584 _has_save_in = true;
585 if (parameters.get<std::vector<AuxVariableName>>("diag_save_in").size() > 0)
586 _has_diag_save_in = true;
587
588 for (tid = 1; tid < this->numThreads(); tid++)
589 {
590 // Create the object
591 bc = _factory.create<BoundaryCondition>(bc_name, name, parameters, tid);
592
593 // Give users opportunity to set some parameters
595
596 // Active BoundaryIDs for the object
597 const std::set<BoundaryID> & boundary_ids = bc->boundaryIDs();
598 _vars[tid].addBoundaryVar(boundary_ids, bc_var);
599
600 ibc = std::static_pointer_cast<IntegratedBCBase>(bc);
601
602 _integrated_bcs.addObject(ibc, tid);
603 _vars[tid].addBoundaryVars(boundary_ids, ibc->getCoupledVars());
604 }
605 }
606
607 else
608 mooseError("Unknown BoundaryCondition type for object named ", bc->name());
609}
610
611void
612NonlinearSystemBase::addConstraint(const std::string & c_name,
613 const std::string & name,
614 InputParameters & parameters)
615{
616 std::shared_ptr<Constraint> constraint = _factory.create<Constraint>(c_name, name, parameters);
617 _constraints.addObject(constraint);
618 postAddResidualObject(*constraint);
619
621 if (constraint && constraint->addCouplingEntriesToJacobian())
623}
624
625void
626NonlinearSystemBase::addDiracKernel(const std::string & kernel_name,
627 const std::string & name,
628 InputParameters & parameters)
629{
630 for (THREAD_ID tid = 0; tid < this->numThreads(); tid++)
631 {
632 std::shared_ptr<DiracKernelBase> kernel =
633 _factory.create<DiracKernelBase>(kernel_name, name, parameters, tid);
634 postAddResidualObject(*kernel);
635 _dirac_kernels.addObject(kernel, tid);
636 // Add to theWarehouse, a centralized storage for all moose objects
637 _fe_problem.theWarehouse().add(kernel);
638 }
639}
640
641void
642NonlinearSystemBase::addDGKernel(std::string dg_kernel_name,
643 const std::string & name,
644 InputParameters & parameters)
645{
646 for (THREAD_ID tid = 0; tid < this->numThreads(); ++tid)
647 {
648 auto dg_kernel = _factory.create<DGKernelBase>(dg_kernel_name, name, parameters, tid);
649 _dg_kernels.addObject(dg_kernel, tid);
650 // Add to theWarehouse, a centralized storage for all moose objects
651 _fe_problem.theWarehouse().add(dg_kernel);
652 postAddResidualObject(*dg_kernel);
653 }
654
655 _doing_dg = true;
656
657 if (parameters.get<std::vector<AuxVariableName>>("save_in").size() > 0)
658 _has_save_in = true;
659 if (parameters.get<std::vector<AuxVariableName>>("diag_save_in").size() > 0)
660 _has_diag_save_in = true;
661}
662
663void
664NonlinearSystemBase::addInterfaceKernel(std::string interface_kernel_name,
665 const std::string & name,
666 InputParameters & parameters)
667{
668 for (THREAD_ID tid = 0; tid < this->numThreads(); ++tid)
669 {
670 std::shared_ptr<InterfaceKernelBase> interface_kernel =
671 _factory.create<InterfaceKernelBase>(interface_kernel_name, name, parameters, tid);
672 postAddResidualObject(*interface_kernel);
673
674 const std::set<BoundaryID> & boundary_ids = interface_kernel->boundaryIDs();
675 auto ik_var = dynamic_cast<const MooseVariableFieldBase *>(&interface_kernel->variable());
676 _vars[tid].addBoundaryVar(boundary_ids, ik_var);
677
678 _interface_kernels.addObject(interface_kernel, tid);
679 // Add to theWarehouse, a centralized storage for all moose objects
680 _fe_problem.theWarehouse().add(interface_kernel);
681 _vars[tid].addBoundaryVars(boundary_ids, interface_kernel->getCoupledVars());
682 }
683}
684
685void
686NonlinearSystemBase::addDamper(const std::string & damper_name,
687 const std::string & name,
688 InputParameters & parameters)
689{
690 for (THREAD_ID tid = 0; tid < this->numThreads(); ++tid)
691 {
692 std::shared_ptr<Damper> damper = _factory.create<Damper>(damper_name, name, parameters, tid);
693
694 // Attempt to cast to the damper types
695 std::shared_ptr<ElementDamper> ed = std::dynamic_pointer_cast<ElementDamper>(damper);
696 std::shared_ptr<NodalDamper> nd = std::dynamic_pointer_cast<NodalDamper>(damper);
697 std::shared_ptr<GeneralDamper> gd = std::dynamic_pointer_cast<GeneralDamper>(damper);
698
699 if (gd)
700 {
702 break; // not threaded
703 }
704 else if (ed)
706 else if (nd)
707 _nodal_dampers.addObject(nd, tid);
708 else
709 mooseError("Invalid damper type");
710 }
711}
712
713void
714NonlinearSystemBase::addSplit(const std::string & split_name,
715 const std::string & name,
716 InputParameters & parameters)
717{
718 std::shared_ptr<Split> split = _factory.create<Split>(split_name, name, parameters);
719 _splits.addObject(split);
720 // Add to theWarehouse, a centralized storage for all moose objects
722}
723
724std::shared_ptr<Split>
725NonlinearSystemBase::getSplit(const std::string & name)
726{
728}
729
730bool
732{
734 return false;
735
736 // The legacy behavior (#10464) _always_ performs the pre-SMO residual evaluation
737 // regardless of whether it is needed.
738 //
739 // This is not ideal and has been fixed by #23472. This legacy option ensures a smooth transition
740 // to the new behavior. Modules and Apps that want to migrate to the new behavior should set this
741 // parameter to false.
742 if (_app.parameters().get<bool>("use_legacy_initial_residual_evaluation_behavior"))
743 return true;
744
746}
747
748Real
753
754Real
756{
758 mooseError("pre-SMO residual is requested but not evaluated.");
759
760 return _pre_smo_residual;
761}
762
763Real
768
769void
774
775void
776NonlinearSystemBase::zeroVectorForResidual(const std::string & vector_name)
777{
778 for (unsigned int i = 0; i < _vecs_to_zero_for_residual.size(); ++i)
779 if (vector_name == _vecs_to_zero_for_residual[i])
780 return;
781
782 _vecs_to_zero_for_residual.push_back(vector_name);
783}
784
785void
786NonlinearSystemBase::computeResidualTag(NumericVector<Number> & residual, TagID tag_id)
787{
788 _nl_vector_tags.clear();
789 _nl_vector_tags.insert(tag_id);
791
793
795
797}
798
799void
800NonlinearSystemBase::computeResidual(NumericVector<Number> & residual, TagID tag_id)
801{
802 mooseDeprecated(" Please use computeResidualTag");
803
804 computeResidualTag(residual, tag_id);
805}
806
807void
808NonlinearSystemBase::computeResidualTags(const std::set<TagID> & tags)
809{
810 parallel_object_only();
811
812 TIME_SECTION("nl::computeResidualTags", 5);
813
816
817 bool required_residual = tags.find(residualVectorTag()) == tags.end() ? false : true;
818
820
821 // not suppose to do anythin on matrix
823
825
826 for (const auto & numeric_vec : _vecs_to_zero_for_residual)
827 if (hasVector(numeric_vec))
828 {
829 NumericVector<Number> & vec = getVector(numeric_vec);
830 vec.close();
831 vec.zero();
832 }
833
834 try
835 {
836 zeroTaggedVectors(tags);
838 closeTaggedVectors(tags);
839
840 if (required_residual)
841 {
842 auto & residual = getVector(residualVectorTag());
843 if (!_time_integrators.empty())
844 {
845 for (auto & ti : _time_integrators)
846 ti->postResidual(residual);
847 }
848 else
849 residual += *_Re_non_time;
850 residual.close();
851 }
853 // We don't want to do nodal bcs or anything else
854 return;
855
857 closeTaggedVectors(tags);
858
859 // If we are debugging residuals we need one more assignment to have the ghosted copy up to
860 // date
861 if (_need_residual_ghosted && _debugging_residuals && required_residual)
862 {
863 auto & residual = getVector(residualVectorTag());
864
865 *_residual_ghosted = residual;
867 }
868 // Need to close and update the aux system in case residuals were saved to it.
871 if (hasSaveIn())
873 }
874 catch (MooseException & e)
875 {
876 // The buck stops here, we have already handled the exception by
877 // calling stopSolve(), it is now up to PETSc to return a
878 // "diverged" reason during the next solve.
879 }
880
881 // not supposed to do anything on matrix
883
885}
886
887void
888NonlinearSystemBase::computeResidualAndJacobianTags(const std::set<TagID> & vector_tags,
889 const std::set<TagID> & matrix_tags)
890{
891 const bool required_residual =
892 vector_tags.find(residualVectorTag()) == vector_tags.end() ? false : true;
893
894 try
895 {
896 zeroTaggedVectors(vector_tags);
897 computeResidualAndJacobianInternal(vector_tags, matrix_tags);
898 closeTaggedVectors(vector_tags);
899 closeTaggedMatrices(matrix_tags);
900
901 if (required_residual)
902 {
903 auto & residual = getVector(residualVectorTag());
904 if (!_time_integrators.empty())
905 {
906 for (auto & ti : _time_integrators)
907 ti->postResidual(residual);
908 }
909 else
910 residual += *_Re_non_time;
911 residual.close();
912 }
913
914 computeNodalBCsResidualAndJacobian(vector_tags, matrix_tags);
915 closeTaggedVectors(vector_tags);
916 closeTaggedMatrices(matrix_tags);
917 }
918 catch (MooseException & e)
919 {
920 // The buck stops here, we have already handled the exception by
921 // calling stopSolve(), it is now up to PETSc to return a
922 // "diverged" reason during the next solve.
923 }
924}
925
926void
928{
929 for (auto & ti : _time_integrators)
930 ti->preSolve();
931 if (_predictor.get())
932 _predictor->timestepSetup();
933}
934
935void
937{
939
940 NumericVector<Number> & initial_solution(solution());
941 if (_predictor.get())
942 {
943 if (_predictor->shouldApply())
944 {
945 TIME_SECTION("applyPredictor", 2, "Applying Predictor");
946
947 _predictor->apply(initial_solution);
948 _fe_problem.predictorCleanup(initial_solution);
949 }
950 else
951 _console << " Skipping predictor this step" << std::endl;
952 }
953
954 // do nodal BC
955 {
956 TIME_SECTION("initialBCs", 2, "Applying BCs To Initial Condition");
957
959 for (const auto & bnode : bnd_nodes)
960 {
961 BoundaryID boundary_id = bnode->_bnd_id;
962 Node * node = bnode->_node;
963
964 if (node->processor_id() == processor_id())
965 {
966 bool has_preset_nodal_bcs = _preset_nodal_bcs.hasActiveBoundaryObjects(boundary_id);
967 bool has_ad_preset_nodal_bcs = _ad_preset_nodal_bcs.hasActiveBoundaryObjects(boundary_id);
968
969 // reinit variables in nodes
970 if (has_preset_nodal_bcs || has_ad_preset_nodal_bcs)
971 _fe_problem.reinitNodeFace(node, boundary_id, 0);
972
973 if (has_preset_nodal_bcs)
974 {
975 const auto & preset_bcs = _preset_nodal_bcs.getActiveBoundaryObjects(boundary_id);
976 for (const auto & preset_bc : preset_bcs)
977 preset_bc->computeValue(initial_solution);
978 }
979 if (has_ad_preset_nodal_bcs)
980 {
981 const auto & preset_bcs_res = _ad_preset_nodal_bcs.getActiveBoundaryObjects(boundary_id);
982 for (const auto & preset_bc : preset_bcs_res)
983 preset_bc->computeValue(initial_solution);
984 }
985 }
986 }
987 }
988
989#ifdef MOOSE_KOKKOS_ENABLED
992#endif
993
994 _sys.solution->close();
995 update();
996
997 // Set constraint secondary values
998 setConstraintSecondaryValues(initial_solution, false);
999
1001 setConstraintSecondaryValues(initial_solution, true);
1002}
1003
1004void
1005NonlinearSystemBase::setPredictor(std::shared_ptr<Predictor> predictor)
1006{
1007 _predictor = predictor;
1008}
1009
1010void
1012{
1014
1015 _kernels.subdomainSetup(subdomain, tid);
1016 _nodal_kernels.subdomainSetup(subdomain, tid);
1017 _element_dampers.subdomainSetup(subdomain, tid);
1018 _nodal_dampers.subdomainSetup(subdomain, tid);
1019}
1020
1021NumericVector<Number> &
1023{
1024 if (!_Re_time)
1025 {
1027
1028 // Most applications don't need the expense of ghosting
1029 libMesh::ParallelType ptype = _need_residual_ghosted ? GHOSTED : PARALLEL;
1030 _Re_time = &addVector(_Re_time_tag, false, ptype);
1031 }
1032 else if (_need_residual_ghosted && _Re_time->type() == PARALLEL)
1033 {
1034 const auto vector_name = _subproblem.vectorTagName(_Re_time_tag);
1035
1036 // If an application changes its mind, the libMesh API lets us
1037 // change the vector.
1038 _Re_time = &system().add_vector(vector_name, false, GHOSTED);
1039 }
1040
1041 return *_Re_time;
1042}
1043
1044NumericVector<Number> &
1046{
1047 if (!_Re_non_time)
1048 {
1050
1051 // Most applications don't need the expense of ghosting
1052 libMesh::ParallelType ptype = _need_residual_ghosted ? GHOSTED : PARALLEL;
1053 _Re_non_time = &addVector(_Re_non_time_tag, false, ptype);
1054 }
1055 else if (_need_residual_ghosted && _Re_non_time->type() == PARALLEL)
1056 {
1057 const auto vector_name = _subproblem.vectorTagName(_Re_non_time_tag);
1058
1059 // If an application changes its mind, the libMesh API lets us
1060 // change the vector.
1061 _Re_non_time = &system().add_vector(vector_name, false, GHOSTED);
1062 }
1063
1064 return *_Re_non_time;
1065}
1066
1067NumericVector<Number> &
1069{
1070 mooseDeprecated("Please use getVector()");
1071 switch (tag)
1072 {
1073 case 0:
1074 return getResidualNonTimeVector();
1075
1076 case 1:
1077 return getResidualTimeVector();
1078
1079 default:
1080 mooseError("The required residual vector is not available");
1081 }
1082}
1083
1084void
1086{
1087 THREAD_ID tid = 0; // constraints are going to be done single-threaded
1088 residual.close();
1090 {
1091 const auto & ncs = _constraints.getActiveNodalConstraints();
1092 for (const auto & nc : ncs)
1093 {
1094 std::vector<dof_id_type> & secondary_node_ids = nc->getSecondaryNodeId();
1095 std::vector<dof_id_type> & primary_node_ids = nc->getPrimaryNodeId();
1096
1097 if ((secondary_node_ids.size() > 0) && (primary_node_ids.size() > 0))
1098 {
1099 nc->reinitConstraintNodes();
1100 nc->computeResidual(residual);
1101 }
1102 }
1104 residual.close();
1105 }
1106}
1107
1108bool
1109NonlinearSystemBase::enforceNodalConstraintsJacobian(const SparseMatrix<Number> & jacobian_to_view)
1110{
1111 if (!hasMatrix(systemMatrixTag()))
1112 mooseError(" A system matrix is required");
1113
1114 THREAD_ID tid = 0; // constraints are going to be done single-threaded
1115
1117 {
1118 const auto & ncs = _constraints.getActiveNodalConstraints();
1119 for (const auto & nc : ncs)
1120 {
1121 std::vector<dof_id_type> & secondary_node_ids = nc->getSecondaryNodeId();
1122 std::vector<dof_id_type> & primary_node_ids = nc->getPrimaryNodeId();
1123
1124 if ((secondary_node_ids.size() > 0) && (primary_node_ids.size() > 0))
1125 {
1126 nc->reinitConstraintNodes();
1127 nc->computeJacobian(jacobian_to_view);
1128 }
1129 }
1131
1132 return true;
1133 }
1134 else
1135 return false;
1136}
1137
1138void
1139NonlinearSystemBase::reinitNodeFace(const Node & secondary_node,
1140 const BoundaryID secondary_boundary,
1141 const PenetrationInfo & info,
1142 const bool displaced)
1143{
1144 auto & subproblem = displaced ? cast_ref<SubProblem &>(*_fe_problem.getDisplacedProblem())
1145 : cast_ref<SubProblem &>(_fe_problem);
1146
1147 const Elem * primary_elem = info._elem;
1148 unsigned int primary_side = info._side_num;
1149 std::vector<Point> points;
1150 points.push_back(info._closest_point);
1151
1152 // *These next steps MUST be done in this order!*
1153 // ADL: This is a Chesterton's fence situation. I don't know which calls exactly the above comment
1154 // is referring to. If I had to guess I would guess just the reinitNodeFace and prepareAssembly
1155 // calls since the former will size the variable's dof indices and then the latter will resize the
1156 // residual/Jacobian based off the variable's cached dof indices size
1157
1158 // This reinits the variables that exist on the secondary node
1159 _fe_problem.reinitNodeFace(&secondary_node, secondary_boundary, 0);
1160
1161 // This will set aside residual and jacobian space for the variables that have dofs on
1162 // the secondary node
1164
1165 _fe_problem.setNeighborSubdomainID(primary_elem, 0);
1166
1167 //
1168 // Reinit material on undisplaced mesh
1169 //
1170
1171 const Elem * const undisplaced_primary_elem =
1172 displaced ? _mesh.elemPtr(primary_elem->id()) : primary_elem;
1173 const Point undisplaced_primary_physical_point =
1174 [&points, displaced, primary_elem, undisplaced_primary_elem]()
1175 {
1176 if (displaced)
1177 {
1178 const Point reference_point =
1179 FEMap::inverse_map(primary_elem->dim(), primary_elem, points[0]);
1180 return FEMap::map(primary_elem->dim(), undisplaced_primary_elem, reference_point);
1181 }
1182 else
1183 // If our penetration locator is on the reference mesh, then our undisplaced
1184 // physical point is simply the point coming from the penetration locator
1185 return points[0];
1186 }();
1187
1189 undisplaced_primary_elem, primary_side, {undisplaced_primary_physical_point}, 0);
1190 // Stateful material properties are only initialized for neighbor material data for internal faces
1191 // for discontinuous Galerkin methods or for conforming interfaces for interface kernels. We don't
1192 // have either of those use cases here where we likely have disconnected meshes
1193 _fe_problem.reinitMaterialsNeighbor(primary_elem->subdomain_id(), 0, /*swap_stateful=*/false);
1194
1195 // Reinit points for constraint enforcement
1196 if (displaced)
1197 subproblem.reinitNeighborPhys(primary_elem, primary_side, points, 0);
1198}
1199
1200void
1201NonlinearSystemBase::setConstraintSecondaryValues(NumericVector<Number> & solution, bool displaced)
1202{
1203
1204 if (displaced)
1205 mooseAssert(_fe_problem.getDisplacedProblem(),
1206 "If we're calling this method with displaced = true, then we better well have a "
1207 "displaced problem");
1208 auto & subproblem = displaced ? cast_ref<SubProblem &>(*_fe_problem.getDisplacedProblem())
1209 : cast_ref<SubProblem &>(_fe_problem);
1210 const auto & penetration_locators = subproblem.geomSearchData()._penetration_locators;
1211
1212 bool constraints_applied = false;
1213
1214 for (const auto & it : penetration_locators)
1215 {
1216 PenetrationLocator & pen_loc = *(it.second);
1217
1218 std::vector<dof_id_type> & secondary_nodes = pen_loc._nearest_node._secondary_nodes;
1219
1220 BoundaryID secondary_boundary = pen_loc._secondary_boundary;
1221 BoundaryID primary_boundary = pen_loc._primary_boundary;
1222
1223 if (_constraints.hasActiveNodeFaceConstraints(secondary_boundary, displaced))
1224 {
1225 const auto & constraints =
1226 _constraints.getActiveNodeFaceConstraints(secondary_boundary, displaced);
1227 std::unordered_set<unsigned int> needed_mat_props;
1228 for (const auto & constraint : constraints)
1229 {
1230 const auto & mp_deps = constraint->getMatPropDependencies();
1231 needed_mat_props.insert(mp_deps.begin(), mp_deps.end());
1232 }
1233 _fe_problem.setActiveMaterialProperties(needed_mat_props, /*tid=*/0);
1234
1235 for (unsigned int i = 0; i < secondary_nodes.size(); i++)
1236 {
1237 dof_id_type secondary_node_num = secondary_nodes[i];
1238 Node & secondary_node = _mesh.nodeRef(secondary_node_num);
1239
1240 if (secondary_node.processor_id() == processor_id())
1241 {
1242 if (pen_loc._penetration_info[secondary_node_num])
1243 {
1244 PenetrationInfo & info = *pen_loc._penetration_info[secondary_node_num];
1245
1246 reinitNodeFace(secondary_node, secondary_boundary, info, displaced);
1247
1248 for (const auto & nfc : constraints)
1249 {
1250 if (nfc->isExplicitConstraint())
1251 continue;
1252 // Return if this constraint does not correspond to the primary-secondary pair
1253 // prepared by the outer loops.
1254 // This continue statement is required when, e.g. one secondary surface constrains
1255 // more than one primary surface.
1256 if (nfc->secondaryBoundary() != secondary_boundary ||
1257 nfc->primaryBoundary() != primary_boundary)
1258 continue;
1259
1260 if (nfc->shouldApply())
1261 {
1262 constraints_applied = true;
1263 nfc->computeSecondaryValue(solution);
1264 }
1265
1266 if (nfc->hasWritableCoupledVariables())
1267 {
1268 Threads::spin_mutex::scoped_lock lock(Threads::spin_mtx);
1269 for (auto * var : nfc->getWritableCoupledVariables())
1270 {
1271 if (var->isNodalDefined())
1272 var->insert(_fe_problem.getAuxiliarySystem().solution());
1273 }
1274 }
1275 }
1276 }
1277 }
1278 }
1279 }
1280 }
1281
1282 // go over NodeELemConstraints
1283 std::set<dof_id_type> unique_secondary_node_ids;
1284
1285 for (const auto & secondary_id : _mesh.meshSubdomains())
1286 {
1287 for (const auto & primary_id : _mesh.meshSubdomains())
1288 {
1289 if (_constraints.hasActiveNodeElemConstraints(secondary_id, primary_id, displaced))
1290 {
1291 const auto & constraints =
1292 _constraints.getActiveNodeElemConstraints(secondary_id, primary_id, displaced);
1293
1294 // get unique set of ids of all nodes on current block
1295 unique_secondary_node_ids.clear();
1296 const MeshBase & meshhelper = _mesh.getMesh();
1297 for (const auto & elem : as_range(meshhelper.active_subdomain_elements_begin(secondary_id),
1298 meshhelper.active_subdomain_elements_end(secondary_id)))
1299 {
1300 for (auto & n : elem->node_ref_range())
1301 unique_secondary_node_ids.insert(n.id());
1302 }
1303
1304 for (auto secondary_node_id : unique_secondary_node_ids)
1305 {
1306 Node & secondary_node = _mesh.nodeRef(secondary_node_id);
1307
1308 // check if secondary node is on current processor
1309 if (secondary_node.processor_id() == processor_id())
1310 {
1311 // This reinits the variables that exist on the secondary node
1312 _fe_problem.reinitNodeFace(&secondary_node, secondary_id, 0);
1313
1314 // This will set aside residual and jacobian space for the variables that have dofs
1315 // on the secondary node
1317
1318 for (const auto & nec : constraints)
1319 {
1320 if (nec->shouldApply())
1321 {
1322 constraints_applied = true;
1323 nec->computeSecondaryValue(solution);
1324 }
1325 }
1326 }
1327 }
1328 }
1329 }
1330 }
1331
1332 // See if constraints were applied anywhere
1333 _communicator.max(constraints_applied);
1334
1335 if (constraints_applied)
1336 {
1337 solution.close();
1338 update();
1339 }
1340}
1341
1342void
1343NonlinearSystemBase::constraintResiduals(NumericVector<Number> & residual, bool displaced)
1344{
1345 // Make sure the residual is in a good state
1346 residual.close();
1347
1348 if (displaced)
1349 mooseAssert(_fe_problem.getDisplacedProblem(),
1350 "If we're calling this method with displaced = true, then we better well have a "
1351 "displaced problem");
1352 auto & subproblem = displaced ? cast_ref<SubProblem &>(*_fe_problem.getDisplacedProblem())
1353 : cast_ref<SubProblem &>(_fe_problem);
1354 const auto & penetration_locators = subproblem.geomSearchData()._penetration_locators;
1355
1356 bool constraints_applied;
1357 bool residual_has_inserted_values = false;
1359 constraints_applied = false;
1360 for (const auto & it : penetration_locators)
1361 {
1363 {
1364 // Reset the constraint_applied flag before each new constraint, as they need to be
1365 // assembled separately
1366 constraints_applied = false;
1367 }
1368 PenetrationLocator & pen_loc = *(it.second);
1369
1370 std::vector<dof_id_type> & secondary_nodes = pen_loc._nearest_node._secondary_nodes;
1371
1372 BoundaryID secondary_boundary = pen_loc._secondary_boundary;
1373 BoundaryID primary_boundary = pen_loc._primary_boundary;
1374
1375 bool has_writable_variables(false);
1376
1377 if (_constraints.hasActiveNodeFaceConstraints(secondary_boundary, displaced))
1378 {
1379 const auto & constraints =
1380 _constraints.getActiveNodeFaceConstraints(secondary_boundary, displaced);
1381
1382 for (unsigned int i = 0; i < secondary_nodes.size(); i++)
1383 {
1384 dof_id_type secondary_node_num = secondary_nodes[i];
1385 Node & secondary_node = _mesh.nodeRef(secondary_node_num);
1386
1387 if (secondary_node.processor_id() == processor_id())
1388 {
1389 if (pen_loc._penetration_info[secondary_node_num])
1390 {
1391 PenetrationInfo & info = *pen_loc._penetration_info[secondary_node_num];
1392
1393 reinitNodeFace(secondary_node, secondary_boundary, info, displaced);
1394
1395 for (const auto & nfc : constraints)
1396 {
1397 // Return if this constraint does not correspond to the primary-secondary pair
1398 // prepared by the outer loops.
1399 // This continue statement is required when, e.g. one secondary surface constrains
1400 // more than one primary surface.
1401 if (nfc->secondaryBoundary() != secondary_boundary ||
1402 nfc->primaryBoundary() != primary_boundary)
1403 continue;
1404
1405 if (nfc->shouldApply())
1406 {
1407 constraints_applied = true;
1408 nfc->computeResidual();
1409
1410 if (nfc->overwriteSecondaryResidual())
1411 {
1412 // The below will actually overwrite the residual for every single dof that
1413 // lives on the node. We definitely don't want to do that!
1414 // _fe_problem.setResidual(residual, 0);
1415
1416 const auto & secondary_var = nfc->variable();
1417 const auto & secondary_dofs = secondary_var.dofIndices();
1418 mooseAssert(secondary_dofs.size() == secondary_var.count(),
1419 "We are on a node so there should only be one dof per variable (for "
1420 "an ArrayVariable we should have a number of dofs equal to the "
1421 "number of components");
1422
1423 // Assume that if the user is overwriting the secondary residual, then they are
1424 // supplying residuals that do not correspond to their other physics
1425 // (e.g. Kernels), hence we should not apply a scalingFactor that is normally
1426 // based on the order of their other physics (e.g. Kernels)
1427 std::vector<Number> values = {nfc->secondaryResidual()};
1428 residual.insert(values, secondary_dofs);
1429 residual_has_inserted_values = true;
1430 }
1431 else
1434 }
1435 if (nfc->hasWritableCoupledVariables())
1436 {
1437 Threads::spin_mutex::scoped_lock lock(Threads::spin_mtx);
1438 has_writable_variables = true;
1439 for (auto * var : nfc->getWritableCoupledVariables())
1440 {
1441 if (var->isNodalDefined())
1442 var->insert(_fe_problem.getAuxiliarySystem().solution());
1443 }
1444 }
1445 }
1446 }
1447 }
1448 }
1449 }
1450 _communicator.max(has_writable_variables);
1451
1452 if (has_writable_variables)
1453 {
1454 // Explicit contact dynamic constraints write to auxiliary variables and update the old
1455 // displacement solution on the constraint boundaries. Close solutions and update system
1456 // accordingly.
1459 solutionOld().close();
1460 }
1461
1463 {
1464 // Make sure that secondary contribution to primary are assembled, and ghosts have been
1465 // exchanged, as current primaries might become secondaries on next iteration and will need to
1466 // contribute their former secondaries' contributions to the future primaries. See if
1467 // constraints were applied anywhere
1468 _communicator.max(constraints_applied);
1469
1470 if (constraints_applied)
1471 {
1472 // If any of the above constraints inserted values in the residual, it needs to be
1473 // assembled before adding the cached residuals below.
1474 _communicator.max(residual_has_inserted_values);
1475 if (residual_has_inserted_values)
1476 {
1477 residual.close();
1478 residual_has_inserted_values = false;
1479 }
1481 residual.close();
1482
1484 *_residual_ghosted = residual;
1485 }
1486 }
1487 }
1489 {
1490 _communicator.max(constraints_applied);
1491
1492 if (constraints_applied)
1493 {
1494 // If any of the above constraints inserted values in the residual, it needs to be assembled
1495 // before adding the cached residuals below.
1496 _communicator.max(residual_has_inserted_values);
1497 if (residual_has_inserted_values)
1498 residual.close();
1499
1501 residual.close();
1502
1504 *_residual_ghosted = residual;
1505 }
1506 }
1507
1508 // go over element-element constraint interface
1509 THREAD_ID tid = 0;
1510 const auto & element_pair_locators = subproblem.geomSearchData()._element_pair_locators;
1511 for (const auto & it : element_pair_locators)
1512 {
1513 ElementPairLocator & elem_pair_loc = *(it.second);
1514
1515 if (_constraints.hasActiveElemElemConstraints(it.first, displaced))
1516 {
1517 // ElemElemConstraint objects
1518 const auto & element_constraints =
1519 _constraints.getActiveElemElemConstraints(it.first, displaced);
1520
1521 // go over pair elements
1522 const std::list<std::pair<const Elem *, const Elem *>> & elem_pairs =
1523 elem_pair_loc.getElemPairs();
1524 for (const auto & pr : elem_pairs)
1525 {
1526 const Elem * elem1 = pr.first;
1527 const Elem * elem2 = pr.second;
1528
1529 if (elem1->processor_id() != processor_id())
1530 continue;
1531
1532 const ElementPairInfo & info = elem_pair_loc.getElemPairInfo(pr);
1533
1534 // for each element process constraints on the
1535 for (const auto & ec : element_constraints)
1536 {
1538 subproblem.reinitElemPhys(elem1, info._elem1_constraint_q_point, tid);
1540 subproblem.reinitNeighborPhys(elem2, info._elem2_constraint_q_point, tid);
1541
1542 ec->prepareShapes(ec->variable().number());
1543 ec->prepareNeighborShapes(ec->variable().number());
1544
1545 ec->reinit(info);
1546 ec->computeResidual();
1549 }
1551 }
1552 }
1553 }
1554
1555 // go over NodeElemConstraints
1556 std::set<dof_id_type> unique_secondary_node_ids;
1557
1558 constraints_applied = false;
1559 residual_has_inserted_values = false;
1560 bool has_writable_variables = false;
1561 for (const auto & secondary_id : _mesh.meshSubdomains())
1562 {
1563 for (const auto & primary_id : _mesh.meshSubdomains())
1564 {
1565 if (_constraints.hasActiveNodeElemConstraints(secondary_id, primary_id, displaced))
1566 {
1567 const auto & constraints =
1568 _constraints.getActiveNodeElemConstraints(secondary_id, primary_id, displaced);
1569
1570 // get unique set of ids of all nodes on current block
1571 unique_secondary_node_ids.clear();
1572 const MeshBase & meshhelper = _mesh.getMesh();
1573 for (const auto & elem : as_range(meshhelper.active_subdomain_elements_begin(secondary_id),
1574 meshhelper.active_subdomain_elements_end(secondary_id)))
1575 {
1576 for (auto & n : elem->node_ref_range())
1577 unique_secondary_node_ids.insert(n.id());
1578 }
1579
1580 for (auto secondary_node_id : unique_secondary_node_ids)
1581 {
1582 Node & secondary_node = _mesh.nodeRef(secondary_node_id);
1583 // check if secondary node is on current processor
1584 if (secondary_node.processor_id() == processor_id())
1585 {
1586 // This reinits the variables that exist on the secondary node
1587 _fe_problem.reinitNodeFace(&secondary_node, secondary_id, 0);
1588
1589 // This will set aside residual and jacobian space for the variables that have dofs
1590 // on the secondary node
1592
1593 for (const auto & nec : constraints)
1594 {
1595 if (nec->shouldApply())
1596 {
1597 constraints_applied = true;
1598 nec->computeResidual();
1599
1600 if (nec->overwriteSecondaryResidual())
1601 {
1602 _fe_problem.setResidual(residual, 0);
1603 residual_has_inserted_values = true;
1604 }
1605 else
1608 }
1609 if (nec->hasWritableCoupledVariables())
1610 {
1611 Threads::spin_mutex::scoped_lock lock(Threads::spin_mtx);
1612 has_writable_variables = true;
1613 for (auto * var : nec->getWritableCoupledVariables())
1614 {
1615 if (var->isNodalDefined())
1616 var->insert(_fe_problem.getAuxiliarySystem().solution());
1617 }
1618 }
1619 }
1621 }
1622 }
1623 }
1624 }
1625 }
1626 _communicator.max(constraints_applied);
1627
1628 if (constraints_applied)
1629 {
1630 // If any of the above constraints inserted values in the residual, it needs to be assembled
1631 // before adding the cached residuals below.
1632 _communicator.max(residual_has_inserted_values);
1633 if (residual_has_inserted_values)
1634 residual.close();
1635
1637 residual.close();
1638
1640 *_residual_ghosted = residual;
1641 }
1642 _communicator.max(has_writable_variables);
1643
1644 if (has_writable_variables)
1645 {
1646 // Explicit contact dynamic constraints write to auxiliary variables and update the old
1647 // displacement solution on the constraint boundaries. Close solutions and update system
1648 // accordingly.
1651 solutionOld().close();
1652 }
1653
1654 // We may have additional tagged vectors that also need to be accumulated
1656}
1657
1658void
1659NonlinearSystemBase::overwriteNodeFace(NumericVector<Number> & soln)
1660{
1661 // Overwrite results from integrator in case we have explicit dynamics contact constraints
1663 ? cast_ref<SubProblem &>(*_fe_problem.getDisplacedProblem())
1664 : cast_ref<SubProblem &>(_fe_problem);
1665 const auto & penetration_locators = subproblem.geomSearchData()._penetration_locators;
1666
1667 for (const auto & it : penetration_locators)
1668 {
1669 PenetrationLocator & pen_loc = *(it.second);
1670
1671 const auto & secondary_nodes = pen_loc._nearest_node._secondary_nodes;
1672 const BoundaryID secondary_boundary = pen_loc._secondary_boundary;
1673 const BoundaryID primary_boundary = pen_loc._primary_boundary;
1674
1675 if (_constraints.hasActiveNodeFaceConstraints(secondary_boundary, true))
1676 {
1677 const auto & constraints =
1678 _constraints.getActiveNodeFaceConstraints(secondary_boundary, true);
1679 for (const auto i : index_range(secondary_nodes))
1680 {
1681 const auto secondary_node_num = secondary_nodes[i];
1682 const Node & secondary_node = _mesh.nodeRef(secondary_node_num);
1683
1684 if (secondary_node.processor_id() == processor_id())
1685 if (pen_loc._penetration_info[secondary_node_num])
1686 for (const auto & nfc : constraints)
1687 {
1688 if (!nfc->isExplicitConstraint())
1689 continue;
1690
1691 // Return if this constraint does not correspond to the primary-secondary pair
1692 // prepared by the outer loops.
1693 // This continue statement is required when, e.g. one secondary surface constrains
1694 // more than one primary surface.
1695 if (nfc->secondaryBoundary() != secondary_boundary ||
1696 nfc->primaryBoundary() != primary_boundary)
1697 continue;
1698
1699 nfc->overwriteBoundaryVariables(soln, secondary_node);
1700 }
1701 }
1702 }
1703 }
1704 soln.close();
1705}
1706
1707void
1709{
1710 TIME_SECTION("residualSetup", 3);
1711
1713
1714 for (THREAD_ID tid = 0; tid < this->numThreads(); tid++)
1715 {
1719 if (_doing_dg)
1725 }
1732
1733#ifdef MOOSE_KOKKOS_ENABLED
1738#endif
1739
1740 // Avoid recursion
1741 if (this == &_fe_problem.currentNonlinearSystem())
1743}
1744
1745void
1747{
1748 parallel_object_only();
1749
1750 TIME_SECTION("computeResidualInternal", 3);
1751
1752 residualSetup();
1753
1754 // Residual contributions from UOs - for now this is used for ray tracing
1755 // and ray kernels that contribute to the residual (think line sources)
1756 std::vector<GeneralUserObject *> uos;
1758 .query()
1759 .condition<AttribSystem>("UserObject")
1760 .condition<AttribExecOns>(EXEC_PRE_KERNELS)
1761 .queryInto(uos);
1762 for (auto & uo : uos)
1763 uo->residualSetup();
1764 for (auto & uo : uos)
1765 {
1766 uo->initialize();
1767 uo->execute();
1768 uo->finalize();
1769 }
1770
1771 // reinit scalar variables
1772 for (unsigned int tid = 0; tid < this->numThreads(); tid++)
1774
1775#ifdef MOOSE_KOKKOS_ENABLED
1778#endif
1779
1780 // residual contributions from the domain
1781 PARALLEL_TRY
1782 {
1783 TIME_SECTION("Kernels", 3 /*, "Computing Kernels"*/);
1784
1785 const ConstElemRange & elem_range = _fe_problem.getCurrentAlgebraicElementRange();
1786
1788 Threads::parallel_reduce(elem_range, cr, this->numThreads());
1789
1790 // We pass face information directly to FV residual objects for their evaluation. Consequently
1791 // we must make sure to do separate threaded loops for 1) undisplaced face information objects
1792 // and undisplaced residual objects and 2) displaced face information objects and displaced
1793 // residual objects
1794 using FVRange = StoredRange<MooseMesh::const_face_info_iterator, const FaceInfo *>;
1795 if (_fe_problem.haveFV())
1796 {
1798 _fe_problem, this->number(), tags, /*on_displaced=*/false);
1800 Threads::parallel_reduce(faces, fvr, this->numThreads());
1801 }
1804 {
1806 _fe_problem, this->number(), tags, /*on_displaced=*/true);
1807 FVRange faces(displaced_problem->mesh().ownedFaceInfoBegin(),
1808 displaced_problem->mesh().ownedFaceInfoEnd());
1809 Threads::parallel_reduce(faces, fvr, this->numThreads());
1810 }
1811
1812 unsigned int n_threads = this->numThreads();
1813 for (unsigned int i = 0; i < n_threads;
1814 i++) // Add any cached residuals that might be hanging around
1816 }
1817 PARALLEL_CATCH;
1818
1819 // residual contributions from the scalar kernels
1820 PARALLEL_TRY
1821 {
1822 // do scalar kernels (not sure how to thread this)
1824 {
1825 TIME_SECTION("ScalarKernels", 3 /*, "Computing ScalarKernels"*/);
1826
1827 MooseObjectWarehouse<ScalarKernelBase> * scalar_kernel_warehouse;
1828 // This code should be refactored once we can do tags for scalar
1829 // kernels
1830 // Should redo this based on Warehouse
1831 if (!tags.size() || tags.size() == _fe_problem.numVectorTags(Moose::VECTOR_TAG_RESIDUAL))
1832 scalar_kernel_warehouse = &_scalar_kernels;
1833 else if (tags.size() == 1)
1834 scalar_kernel_warehouse =
1835 &(_scalar_kernels.getVectorTagObjectWarehouse(*(tags.begin()), 0));
1836 else
1837 // scalar_kernels is not threading
1838 scalar_kernel_warehouse = &(_scalar_kernels.getVectorTagsObjectWarehouse(tags, 0));
1839
1840 bool have_scalar_contributions = false;
1841 const auto & scalars = scalar_kernel_warehouse->getActiveObjects();
1842 for (const auto & scalar_kernel : scalars)
1843 {
1844 scalar_kernel->reinit();
1845 const std::vector<dof_id_type> & dof_indices = scalar_kernel->variable().dofIndices();
1846 const DofMap & dof_map = scalar_kernel->variable().dofMap();
1847 const dof_id_type first_dof = dof_map.first_dof();
1848 const dof_id_type end_dof = dof_map.end_dof();
1849 for (dof_id_type dof : dof_indices)
1850 {
1851 if (dof >= first_dof && dof < end_dof)
1852 {
1853 scalar_kernel->computeResidual();
1854 have_scalar_contributions = true;
1855 break;
1856 }
1857 }
1858 }
1859 if (have_scalar_contributions)
1861 }
1862 }
1863 PARALLEL_CATCH;
1864
1865 // residual contributions from Block NodalKernels
1866 PARALLEL_TRY
1867 {
1869 {
1870 TIME_SECTION("NodalKernels", 3 /*, "Computing NodalKernels"*/);
1871
1873
1874 const ConstNodeRange & range = _fe_problem.getCurrentAlgebraicNodeRange();
1875
1876 if (range.begin() != range.end())
1877 {
1878 _fe_problem.reinitNode(*range.begin(), 0);
1879
1880 Threads::parallel_reduce(range, cnk, this->numThreads());
1881
1882 unsigned int n_threads = this->numThreads();
1883 for (unsigned int i = 0; i < n_threads;
1884 i++) // Add any cached residuals that might be hanging around
1886 }
1887 }
1888 }
1889 PARALLEL_CATCH;
1890
1892 // We computed the volumetric objects. We can return now before we get into
1893 // any strongly enforced constraint conditions or penalty-type objects
1894 // (DGKernels, IntegratedBCs, InterfaceKernels, Constraints)
1895 return;
1896
1897 // residual contributions from boundary NodalKernels
1898 PARALLEL_TRY
1899 {
1901 {
1902 TIME_SECTION("NodalKernelBCs", 3 /*, "Computing NodalKernelBCs"*/);
1903
1905
1907
1908 Threads::parallel_reduce(bnd_node_range, cnk, this->numThreads());
1909
1910 unsigned int n_threads = this->numThreads();
1911 for (unsigned int i = 0; i < n_threads;
1912 i++) // Add any cached residuals that might be hanging around
1914 }
1915 }
1916 PARALLEL_CATCH;
1917
1919
1920 if (_residual_copy.get())
1921 {
1924 }
1925
1927 {
1931 }
1932
1933 PARALLEL_TRY { computeDiracContributions(tags, {}, Moose::ComputeType::Residual); }
1934 PARALLEL_CATCH;
1935
1937 {
1939 PARALLEL_CATCH;
1941 }
1942
1943 // Add in Residual contributions from other Constraints
1945 {
1946 PARALLEL_TRY
1947 {
1948 // Undisplaced Constraints
1950
1951 // Displaced Constraints
1954
1957 }
1958 PARALLEL_CATCH;
1960 }
1961
1962 // Accumulate the occurrence of solution invalid warnings for the current iteration cumulative
1963 // counters
1966}
1967
1968void
1970 const std::set<TagID> & matrix_tags)
1971{
1972 TIME_SECTION("computeResidualAndJacobianInternal", 3);
1973
1974 // These residual objects are only computed in the separate residual/Jacobian paths. Erroring
1975 // here prevents them from being silently dropped, which would produce wrong answers
1977 mooseDocumentedError("moose",
1978 33531,
1979 "residual_and_jacobian_together does not yet support ScalarKernels. Their "
1980 "contributions would be silently dropped. Please use "
1981 "residual_and_jacobian_together = false");
1983 mooseDocumentedError("moose",
1984 33531,
1985 "residual_and_jacobian_together does not yet support NodalKernels. Their "
1986 "contributions would be silently dropped. Please use "
1987 "residual_and_jacobian_together = false");
1990 "moose",
1991 33531,
1992 "residual_and_jacobian_together does not yet support nodal constraints. Their "
1993 "contributions would be silently dropped. Please use "
1994 "residual_and_jacobian_together = false");
1995
1996 // Make matrix ready to use
1998
1999 setMatrixOptions(matrix_tags);
2000
2001 residualSetup();
2002
2003 // Residual contributions from UOs - for now this is used for ray tracing
2004 // and ray kernels that contribute to the residual (think line sources)
2005 std::vector<UserObject *> uos;
2007 .query()
2008 .condition<AttribSystem>("UserObject")
2009 .condition<AttribExecOns>(EXEC_PRE_KERNELS)
2010 .queryInto(uos);
2011 for (auto & uo : uos)
2012 uo->residualSetup();
2013 for (auto & uo : uos)
2014 {
2015 uo->initialize();
2016 uo->execute();
2017 uo->finalize();
2018 }
2019
2020 // reinit scalar variables
2021 for (unsigned int tid = 0; tid < this->numThreads(); tid++)
2023
2024#ifdef MOOSE_KOKKOS_ENABLED
2026 {
2027 computeKokkosResidualAndJacobian(vector_tags, matrix_tags);
2028 // The first Kokkos assembly preallocates the matrices for COO assembly, which recreates the
2029 // diagonal and off-diagonal blocks of distributed PETSc matrices and drops the options set on
2030 // them above
2031 setMatrixOptions(matrix_tags);
2032 }
2033#endif
2034
2035 // residual contributions from the domain
2036 PARALLEL_TRY
2037 {
2038 TIME_SECTION("Kernels", 3 /*, "Computing Kernels"*/);
2039
2040 const ConstElemRange & elem_range = _fe_problem.getCurrentAlgebraicElementRange();
2041
2042 ComputeResidualAndJacobianThread crj(_fe_problem, vector_tags, matrix_tags);
2043 Threads::parallel_reduce(elem_range, crj, this->numThreads());
2044
2045 using FVRange = StoredRange<MooseMesh::const_face_info_iterator, const FaceInfo *>;
2046 if (_fe_problem.haveFV())
2047 {
2049 _fe_problem, this->number(), vector_tags, matrix_tags, /*on_displaced=*/false);
2051 Threads::parallel_reduce(faces, fvrj, this->numThreads());
2052 }
2055 {
2057 _fe_problem, this->number(), vector_tags, matrix_tags, /*on_displaced=*/true);
2058 FVRange faces(displaced_problem->mesh().ownedFaceInfoBegin(),
2059 displaced_problem->mesh().ownedFaceInfoEnd());
2060 Threads::parallel_reduce(faces, fvr, this->numThreads());
2061 }
2062
2064
2065 unsigned int n_threads = this->numThreads();
2066 for (unsigned int i = 0; i < n_threads;
2067 i++) // Add any cached residuals that might be hanging around
2068 {
2071 }
2072 }
2073 PARALLEL_CATCH;
2074
2075 // residual and Jacobian contributions from DiracKernels, computed together in a single pass
2076 PARALLEL_TRY
2077 {
2079 }
2080 PARALLEL_CATCH;
2081}
2082
2083void
2084NonlinearSystemBase::computeNodalBCsResidual(NumericVector<Number> & residual)
2085{
2086 _nl_vector_tags.clear();
2087
2088 const auto & residual_vector_tags = _fe_problem.getVectorTags(Moose::VECTOR_TAG_RESIDUAL);
2089 for (const auto & residual_vector_tag : residual_vector_tags)
2090 _nl_vector_tags.insert(residual_vector_tag._id);
2091
2095}
2096
2097void
2098NonlinearSystemBase::computeNodalBCsResidual(NumericVector<Number> & residual,
2099 const std::set<TagID> & tags)
2100{
2102
2104
2106}
2107
2108void
2110{
2111#ifdef MOOSE_KOKKOS_ENABLED
2114#endif
2115
2116 // We need to close the diag_save_in variables on the aux system before NodalBCBases clear the
2117 // dofs on boundary nodes
2118 if (_has_save_in)
2120
2121 // Select nodal kernels
2122 MooseObjectWarehouse<NodalBCBase> * nbc_warehouse;
2123
2124 if (tags.size() == _fe_problem.numVectorTags(Moose::VECTOR_TAG_RESIDUAL) || !tags.size())
2125 nbc_warehouse = &_nodal_bcs;
2126 else if (tags.size() == 1)
2127 nbc_warehouse = &(_nodal_bcs.getVectorTagObjectWarehouse(*(tags.begin()), 0));
2128 else
2129 nbc_warehouse = &(_nodal_bcs.getVectorTagsObjectWarehouse(tags, 0));
2130
2131 // Return early if there is no nodal kernel
2132 if (!nbc_warehouse->hasActiveObjects())
2133 return;
2134
2135 PARALLEL_TRY
2136 {
2138
2139 if (!bnd_nodes.empty())
2140 {
2141 TIME_SECTION("NodalBCs", 3 /*, "Computing NodalBCs"*/);
2142
2143 for (const auto & bnode : bnd_nodes)
2144 {
2145 BoundaryID boundary_id = bnode->_bnd_id;
2146 Node * node = bnode->_node;
2147
2148 if (node->processor_id() == processor_id() &&
2149 nbc_warehouse->hasActiveBoundaryObjects(boundary_id))
2150 {
2151 // reinit variables in nodes
2152 _fe_problem.reinitNodeFace(node, boundary_id, 0);
2153
2154 const auto & bcs = nbc_warehouse->getActiveBoundaryObjects(boundary_id);
2155 for (const auto & nbc : bcs)
2156 if (nbc->shouldApply())
2157 nbc->computeResidual();
2158 }
2159 }
2160 }
2161 }
2162 PARALLEL_CATCH;
2163
2164 if (_Re_time)
2165 _Re_time->close();
2167}
2168
2169void
2171{
2172 // We need to close the save_in variables on the aux system before NodalBCBases clear the dofs
2173 // on boundary nodes
2176
2177 MooseObjectWarehouse<NodalBCBase> * nbc_warehouse;
2178
2179 // Select nodal kernels
2180 if (tags.size() == _fe_problem.numMatrixTags() || !tags.size())
2181 nbc_warehouse = &_nodal_bcs;
2182 else if (tags.size() == 1)
2183 nbc_warehouse = &(_nodal_bcs.getMatrixTagObjectWarehouse(*(tags.begin()), 0));
2184 else
2185 nbc_warehouse = &(_nodal_bcs.getMatrixTagsObjectWarehouse(tags, 0));
2186
2187 // Return early if there is no nodal kernel
2188 if (!nbc_warehouse->hasActiveObjects())
2189 return;
2190
2191 PARALLEL_TRY
2192 {
2193 // We may be switching from add to set. Moreover, we rely on a call to MatZeroRows to enforce
2194 // the nodal boundary condition constraints which requires that the matrix be truly assembled
2195 // as opposed to just flushed. Consequently we can't do the following despite any desire to
2196 // keep our initial sparsity pattern honored (see https://gitlab.com/petsc/petsc/-/issues/852)
2197 //
2198 // flushTaggedMatrices(tags);
2199 closeTaggedMatrices(tags);
2200
2201 // Cache the information about which BCs are coupled to which
2202 // variables, so we don't have to figure it out for each node.
2203 std::map<std::string, std::set<unsigned int>> bc_involved_vars;
2204 const std::set<BoundaryID> & all_boundary_ids = _mesh.getBoundaryIDs();
2205 for (const auto & bid : all_boundary_ids)
2206 {
2207 // Get reference to all the NodalBCs for this ID. This is only
2208 // safe if there are NodalBCBases there to be gotten...
2209 if (nbc_warehouse->hasActiveBoundaryObjects(bid))
2210 {
2211 const auto & bcs = nbc_warehouse->getActiveBoundaryObjects(bid);
2212 for (const auto & bc : bcs)
2213 {
2214 const std::vector<MooseVariableFEBase *> & coupled_moose_vars = bc->getCoupledMooseVars();
2215
2216 // Create the set of "involved" MOOSE nonlinear vars, which includes all coupled vars
2217 // and the BC's own variable
2218 std::set<unsigned int> & var_set = bc_involved_vars[bc->name()];
2219 for (const auto & coupled_var : coupled_moose_vars)
2220 if (coupled_var->kind() == Moose::VAR_SOLVER)
2221 var_set.insert(coupled_var->number());
2222
2223 var_set.insert(bc->variable().number());
2224 }
2225 }
2226 }
2227
2228 // reinit scalar variables again. This reinit does not re-fill any of the scalar variable
2229 // solution arrays because that was done above. It only will reorder the derivative
2230 // information for AD calculations to be suitable for NodalBC calculations
2231 for (unsigned int tid = 0; tid < this->numThreads(); tid++)
2232 _fe_problem.reinitScalars(tid, true);
2233
2234 // Get variable coupling list. We do all the NodalBCBase stuff on
2235 // thread 0... The couplingEntries() data structure determines
2236 // which variables are "coupled" as far as the preconditioner is
2237 // concerned, not what variables a boundary condition specifically
2238 // depends on.
2239 auto & coupling_entries = _fe_problem.couplingEntries(/*_tid=*/0, this->number());
2240
2241 // Compute Jacobians for NodalBCBases
2243 for (const auto & bnode : bnd_nodes)
2244 {
2245 BoundaryID boundary_id = bnode->_bnd_id;
2246 Node * node = bnode->_node;
2247
2248 if (nbc_warehouse->hasActiveBoundaryObjects(boundary_id) &&
2249 node->processor_id() == processor_id())
2250 {
2251 _fe_problem.reinitNodeFace(node, boundary_id, 0);
2252
2253 const auto & bcs = nbc_warehouse->getActiveBoundaryObjects(boundary_id);
2254 for (const auto & bc : bcs)
2255 {
2256 // Get the set of involved MOOSE vars for this BC
2257 std::set<unsigned int> & var_set = bc_involved_vars[bc->name()];
2258
2259 // Loop over all the variables whose Jacobian blocks are
2260 // actually being computed, call computeOffDiagJacobian()
2261 // for each one which is actually coupled (otherwise the
2262 // value is zero.)
2263 for (const auto & it : coupling_entries)
2264 {
2265 unsigned int ivar = it.first->number(), jvar = it.second->number();
2266
2267 // We are only going to call computeOffDiagJacobian() if:
2268 // 1.) the BC's variable is ivar
2269 // 2.) jvar is "involved" with the BC (including jvar==ivar), and
2270 // 3.) the BC should apply.
2271 if ((bc->variable().number() == ivar) && var_set.count(jvar) && bc->shouldApply())
2272 bc->computeOffDiagJacobian(jvar);
2273 }
2274
2275 // only if this coupling is being used by the preconditioner (otherwise the value is
2276 // zero)
2277 const auto & coupled_scalar_vars = bc->getCoupledMooseScalarVars();
2278 for (const auto & jvariable : coupled_scalar_vars)
2279 if (hasScalarVariable(jvariable->name()) &&
2280 _fe_problem.areCoupled(bc->variable().number(), jvariable->number(), number()))
2281 bc->computeOffDiagJacobianScalar(jvariable->number());
2282 }
2283 }
2284 } // end loop over boundary nodes
2285
2286 // Set the cached NodalBCBase values in the Jacobian matrix
2287 _fe_problem.assembly(0, number()).setCachedJacobian(Assembly::GlobalDataKey{});
2288 }
2289 PARALLEL_CATCH;
2290}
2291
2292void
2294 [[maybe_unused]] const std::set<TagID> & vector_tags,
2295 [[maybe_unused]] const std::set<TagID> & matrix_tags)
2296{
2297#ifdef MOOSE_KOKKOS_ENABLED
2299 computeKokkosNodalBCsResidual(vector_tags);
2300#endif
2301
2302 // Return early if there is no nodal kernel
2304 return;
2305
2306 PARALLEL_TRY
2307 {
2309
2310 if (!bnd_nodes.empty())
2311 {
2312 TIME_SECTION("NodalBCs", 3 /*, "Computing NodalBCs"*/);
2313
2314 for (const auto & bnode : bnd_nodes)
2315 {
2316 BoundaryID boundary_id = bnode->_bnd_id;
2317 Node * node = bnode->_node;
2318
2319 if (node->processor_id() == processor_id())
2320 {
2321 // reinit variables in nodes
2322 _fe_problem.reinitNodeFace(node, boundary_id, 0);
2323 if (_nodal_bcs.hasActiveBoundaryObjects(boundary_id))
2324 {
2325 const auto & bcs = _nodal_bcs.getActiveBoundaryObjects(boundary_id);
2326 for (const auto & nbc : bcs)
2327 if (nbc->shouldApply())
2328 nbc->computeResidualAndJacobian();
2329 }
2330 }
2331 }
2332 }
2333 }
2334 PARALLEL_CATCH;
2335
2336 // Set the cached NodalBCBase values in the Jacobian matrix
2337 _fe_problem.assembly(0, number()).setCachedJacobian(Assembly::GlobalDataKey{});
2338}
2339
2340void
2341NonlinearSystemBase::getNodeDofs(dof_id_type node_id, std::vector<dof_id_type> & dofs)
2342{
2343 const Node & node = _mesh.nodeRef(node_id);
2344 unsigned int s = number();
2345 if (node.has_dofs(s))
2346 {
2347 for (unsigned int v = 0; v < nVariables(); v++)
2348 for (unsigned int c = 0; c < node.n_comp(s, v); c++)
2349 dofs.push_back(node.dof_number(s, v, c));
2350 }
2351}
2352
2353void
2355 GeometricSearchData & geom_search_data,
2356 std::unordered_map<dof_id_type, std::vector<dof_id_type>> & graph)
2357{
2358 const auto & node_to_elem_map = _mesh.nodeToElemMap();
2359 const auto & nearest_node_locators = geom_search_data._nearest_node_locators;
2360 for (const auto & it : nearest_node_locators)
2361 {
2362 std::vector<dof_id_type> & secondary_nodes = it.second->_secondary_nodes;
2363
2364 for (const auto & secondary_node : secondary_nodes)
2365 {
2366 std::set<dof_id_type> unique_secondary_indices;
2367 std::set<dof_id_type> unique_primary_indices;
2368
2369 auto node_to_elem_pair = node_to_elem_map.find(secondary_node);
2370 if (node_to_elem_pair != node_to_elem_map.end())
2371 {
2372 const std::vector<dof_id_type> & elems = node_to_elem_pair->second;
2373
2374 // Get the dof indices from each elem connected to the node
2375 for (const auto & cur_elem : elems)
2376 {
2377 std::vector<dof_id_type> dof_indices;
2378 dofMap().dof_indices(_mesh.elemPtr(cur_elem), dof_indices);
2379
2380 for (const auto & dof : dof_indices)
2381 unique_secondary_indices.insert(dof);
2382 }
2383 }
2384
2385 std::vector<dof_id_type> primary_nodes = it.second->_neighbor_nodes[secondary_node];
2386
2387 for (const auto & primary_node : primary_nodes)
2388 {
2389 auto primary_node_to_elem_pair = node_to_elem_map.find(primary_node);
2390 mooseAssert(primary_node_to_elem_pair != node_to_elem_map.end(),
2391 "Missing entry in node to elem map");
2392 const std::vector<dof_id_type> & primary_node_elems = primary_node_to_elem_pair->second;
2393
2394 // Get the dof indices from each elem connected to the node
2395 for (const auto & cur_elem : primary_node_elems)
2396 {
2397 std::vector<dof_id_type> dof_indices;
2398 dofMap().dof_indices(_mesh.elemPtr(cur_elem), dof_indices);
2399
2400 for (const auto & dof : dof_indices)
2401 unique_primary_indices.insert(dof);
2402 }
2403 }
2404
2405 for (const auto & secondary_id : unique_secondary_indices)
2406 for (const auto & primary_id : unique_primary_indices)
2407 {
2408 graph[secondary_id].push_back(primary_id);
2409 graph[primary_id].push_back(secondary_id);
2410 }
2411 }
2412 }
2413
2414 // handle node-to-node constraints
2415 const auto & ncs = _constraints.getActiveNodalConstraints();
2416 for (const auto & nc : ncs)
2417 {
2418 std::vector<dof_id_type> primary_dofs;
2419 std::vector<dof_id_type> & primary_node_ids = nc->getPrimaryNodeId();
2420 for (const auto & node_id : primary_node_ids)
2421 {
2422 Node * node = _mesh.queryNodePtr(node_id);
2423 if (node && node->processor_id() == this->processor_id())
2424 {
2425 getNodeDofs(node_id, primary_dofs);
2426 }
2427 }
2428
2429 _communicator.allgather(primary_dofs);
2430
2431 std::vector<dof_id_type> secondary_dofs;
2432 std::vector<dof_id_type> & secondary_node_ids = nc->getSecondaryNodeId();
2433 for (const auto & node_id : secondary_node_ids)
2434 {
2435 Node * node = _mesh.queryNodePtr(node_id);
2436 if (node && node->processor_id() == this->processor_id())
2437 {
2438 getNodeDofs(node_id, secondary_dofs);
2439 }
2440 }
2441
2442 _communicator.allgather(secondary_dofs);
2443
2444 for (const auto & primary_id : primary_dofs)
2445 for (const auto & secondary_id : secondary_dofs)
2446 {
2447 graph[primary_id].push_back(secondary_id);
2448 graph[secondary_id].push_back(primary_id);
2449 }
2450 }
2451
2452 // Make every entry sorted and unique
2453 for (auto & it : graph)
2454 {
2455 std::vector<dof_id_type> & row = it.second;
2456 std::sort(row.begin(), row.end());
2457 std::vector<dof_id_type>::iterator uit = std::unique(row.begin(), row.end());
2458 row.resize(uit - row.begin());
2459 }
2460}
2461
2462void
2464{
2465 if (!hasMatrix(systemMatrixTag()))
2466 mooseError("Need a system matrix ");
2467
2468 // At this point, have no idea how to make
2469 // this work with tag system
2470 auto & jacobian = getMatrix(systemMatrixTag());
2471
2472 std::unordered_map<dof_id_type, std::vector<dof_id_type>> graph;
2473
2474 findImplicitGeometricCouplingEntries(geom_search_data, graph);
2475
2476 for (const auto & it : graph)
2477 {
2478 dof_id_type dof = it.first;
2479 const auto & row = it.second;
2480
2481 for (const auto & coupled_dof : row)
2482 jacobian.add(dof, coupled_dof, 0);
2483 }
2484}
2485
2486void
2487NonlinearSystemBase::constraintJacobians(const SparseMatrix<Number> & jacobian_to_view,
2488 bool displaced)
2489{
2490 if (!hasMatrix(systemMatrixTag()))
2491 mooseError("A system matrix is required");
2492
2493 auto & jacobian = getMatrix(systemMatrixTag());
2494
2496 LibmeshPetscCall(MatSetOption(cast_ref<PetscMatrix<Number> &>(jacobian).mat(),
2497 MAT_NEW_NONZERO_ALLOCATION_ERR,
2498 PETSC_FALSE));
2500 LibmeshPetscCall(MatSetOption(
2501 cast_ref<PetscMatrix<Number> &>(jacobian).mat(), MAT_IGNORE_ZERO_ENTRIES, PETSC_TRUE));
2502
2503 std::vector<numeric_index_type> zero_rows;
2504
2505 if (displaced)
2506 mooseAssert(_fe_problem.getDisplacedProblem(),
2507 "If we're calling this method with displaced = true, then we better well have a "
2508 "displaced problem");
2509 auto & subproblem = displaced ? cast_ref<SubProblem &>(*_fe_problem.getDisplacedProblem())
2510 : cast_ref<SubProblem &>(_fe_problem);
2511 const auto & penetration_locators = subproblem.geomSearchData()._penetration_locators;
2512
2513 bool constraints_applied;
2515 constraints_applied = false;
2516 for (const auto & it : penetration_locators)
2517 {
2519 {
2520 // Reset the constraint_applied flag before each new constraint, as they need to be
2521 // assembled separately
2522 constraints_applied = false;
2523 }
2524 PenetrationLocator & pen_loc = *(it.second);
2525
2526 std::vector<dof_id_type> & secondary_nodes = pen_loc._nearest_node._secondary_nodes;
2527
2528 BoundaryID secondary_boundary = pen_loc._secondary_boundary;
2529 BoundaryID primary_boundary = pen_loc._primary_boundary;
2530
2531 zero_rows.clear();
2532 if (_constraints.hasActiveNodeFaceConstraints(secondary_boundary, displaced))
2533 {
2534 const auto & constraints =
2535 _constraints.getActiveNodeFaceConstraints(secondary_boundary, displaced);
2536
2537 for (const auto & secondary_node_num : secondary_nodes)
2538 {
2539 Node & secondary_node = _mesh.nodeRef(secondary_node_num);
2540
2541 if (secondary_node.processor_id() == processor_id())
2542 {
2543 if (pen_loc._penetration_info[secondary_node_num])
2544 {
2545 PenetrationInfo & info = *pen_loc._penetration_info[secondary_node_num];
2546
2547 reinitNodeFace(secondary_node, secondary_boundary, info, displaced);
2549
2550 for (const auto & nfc : constraints)
2551 {
2552 if (nfc->isExplicitConstraint())
2553 continue;
2554 // Return if this constraint does not correspond to the primary-secondary pair
2555 // prepared by the outer loops.
2556 // This continue statement is required when, e.g. one secondary surface constrains
2557 // more than one primary surface.
2558 if (nfc->secondaryBoundary() != secondary_boundary ||
2559 nfc->primaryBoundary() != primary_boundary)
2560 continue;
2561
2562 nfc->_jacobian = &jacobian_to_view;
2563
2564 if (nfc->shouldApply())
2565 {
2566 constraints_applied = true;
2567
2568 // Begin the diagonal node-face constraint accumulation phase for neighbor Jacobian
2569 // blocks.
2571
2572 nfc->prepareShapes(nfc->variable().number());
2573 nfc->prepareNeighborShapes(nfc->variable().number());
2574
2575 nfc->computeJacobian();
2576
2577 if (nfc->overwriteSecondaryJacobian())
2578 {
2579 // Add this variable's dof's row to be zeroed
2580 zero_rows.push_back(nfc->variable().nodalDofIndex());
2581 }
2582
2583 std::vector<dof_id_type> secondary_dofs(1, nfc->variable().nodalDofIndex());
2584
2585 // Assume that if the user is overwriting the secondary Jacobian, then they are
2586 // supplying Jacobians that do not correspond to their other physics
2587 // (e.g. Kernels), hence we should not apply a scalingFactor that is normally
2588 // based on the order of their other physics (e.g. Kernels)
2589 Real scaling_factor =
2590 nfc->overwriteSecondaryJacobian() ? 1. : nfc->variable().scalingFactor();
2591
2592 // Cache the jacobian block for the secondary side
2593 nfc->addJacobian(_fe_problem.assembly(0, number()),
2594 nfc->_Kee,
2595 secondary_dofs,
2596 nfc->_connected_dof_indices,
2597 scaling_factor);
2598
2599 // Cache Ken, Kne, Knn
2600 if (nfc->addCouplingEntriesToJacobian())
2601 {
2602 // Make sure we use a proper scaling factor (e.g. don't use an interior scaling
2603 // factor when we're overwriting secondary stuff)
2604 nfc->addJacobian(_fe_problem.assembly(0, number()),
2605 nfc->_Ken,
2606 secondary_dofs,
2607 nfc->primaryVariable().dofIndicesNeighbor(),
2608 scaling_factor);
2609
2610 // Use _connected_dof_indices to get all the correct columns
2611 nfc->addJacobian(_fe_problem.assembly(0, number()),
2612 nfc->_Kne,
2613 nfc->primaryVariable().dofIndicesNeighbor(),
2614 nfc->_connected_dof_indices,
2615 nfc->primaryVariable().scalingFactor());
2616
2617 // We've handled Ken and Kne, finally handle Knn
2619 }
2620
2621 // Do the off-diagonals next
2622 const std::vector<MooseVariableFEBase *> coupled_vars = nfc->getCoupledMooseVars();
2623 for (const auto & jvar : coupled_vars)
2624 {
2625 // Only compute jacobians for nonlinear variables
2626 if (jvar->kind() != Moose::VAR_SOLVER)
2627 continue;
2628
2629 // Only compute Jacobian entries if this coupling is being used by the
2630 // preconditioner
2631 if (nfc->variable().number() == jvar->number() ||
2633 nfc->variable().number(), jvar->number(), this->number()))
2634 continue;
2635
2636 // Begin the off-diagonal node-face constraint accumulation phase for
2637 // element and neighbor Jacobian blocks.
2640
2641 nfc->prepareShapes(nfc->variable().number());
2642 nfc->prepareNeighborShapes(jvar->number());
2643
2644 nfc->computeOffDiagJacobian(jvar->number());
2645
2646 // Cache the jacobian block for the secondary side
2647 nfc->addJacobian(_fe_problem.assembly(0, number()),
2648 nfc->_Kee,
2649 secondary_dofs,
2650 nfc->_connected_dof_indices,
2651 scaling_factor);
2652
2653 // Cache Ken, Kne, Knn
2654 if (nfc->addCouplingEntriesToJacobian())
2655 {
2656 // Make sure we use a proper scaling factor (e.g. don't use an interior scaling
2657 // factor when we're overwriting secondary stuff)
2658 nfc->addJacobian(_fe_problem.assembly(0, number()),
2659 nfc->_Ken,
2660 secondary_dofs,
2661 jvar->dofIndicesNeighbor(),
2662 scaling_factor);
2663
2664 // Use _connected_dof_indices to get all the correct columns
2665 nfc->addJacobian(_fe_problem.assembly(0, number()),
2666 nfc->_Kne,
2667 nfc->variable().dofIndicesNeighbor(),
2668 nfc->_connected_dof_indices,
2669 nfc->variable().scalingFactor());
2670
2671 // We've handled Ken and Kne, finally handle Knn
2673 }
2674 }
2675 }
2676 }
2677 }
2678 }
2679 }
2680 }
2682 {
2683 // See if constraints were applied anywhere
2684 _communicator.max(constraints_applied);
2685
2686 if (constraints_applied)
2687 {
2688 LibmeshPetscCall(MatSetOption(cast_ref<PetscMatrix<Number> &>(jacobian).mat(),
2689 MAT_KEEP_NONZERO_PATTERN, // This is changed in 3.1
2690 PETSC_TRUE));
2691
2692 jacobian.close();
2693 jacobian.zero_rows(zero_rows, 0.0);
2694 jacobian.close();
2696 jacobian.close();
2697 }
2698 }
2699 }
2701 {
2702 // See if constraints were applied anywhere
2703 _communicator.max(constraints_applied);
2704
2705 if (constraints_applied)
2706 {
2707 LibmeshPetscCall(MatSetOption(cast_ref<PetscMatrix<Number> &>(jacobian).mat(),
2708 MAT_KEEP_NONZERO_PATTERN, // This is changed in 3.1
2709 PETSC_TRUE));
2710
2711 jacobian.close();
2712 jacobian.zero_rows(zero_rows, 0.0);
2713 jacobian.close();
2715 jacobian.close();
2716 }
2717 }
2718
2719 THREAD_ID tid = 0;
2720 // go over element-element constraint interface
2721 const auto & element_pair_locators = subproblem.geomSearchData()._element_pair_locators;
2722 for (const auto & it : element_pair_locators)
2723 {
2724 ElementPairLocator & elem_pair_loc = *(it.second);
2725
2726 if (_constraints.hasActiveElemElemConstraints(it.first, displaced))
2727 {
2728 // ElemElemConstraint objects
2729 const auto & element_constraints =
2730 _constraints.getActiveElemElemConstraints(it.first, displaced);
2731
2732 // go over pair elements
2733 const std::list<std::pair<const Elem *, const Elem *>> & elem_pairs =
2734 elem_pair_loc.getElemPairs();
2735 for (const auto & pr : elem_pairs)
2736 {
2737 const Elem * elem1 = pr.first;
2738 const Elem * elem2 = pr.second;
2739
2740 if (elem1->processor_id() != processor_id())
2741 continue;
2742
2743 const ElementPairInfo & info = elem_pair_loc.getElemPairInfo(pr);
2744
2745 // for each element process constraints on the
2746 for (const auto & ec : element_constraints)
2747 {
2749 subproblem.reinitElemPhys(elem1, info._elem1_constraint_q_point, tid);
2751 subproblem.reinitNeighborPhys(elem2, info._elem2_constraint_q_point, tid);
2752
2753 // Begin the element-element constraint accumulation phase for element and neighbor
2754 // Jacobian blocks.
2757
2758 ec->prepareShapes(ec->variable().number());
2759 ec->prepareNeighborShapes(ec->variable().number());
2760
2761 ec->reinit(info);
2762 ec->computeJacobian();
2765 }
2767 }
2768 }
2769 }
2770
2771 // go over NodeElemConstraints
2772 std::set<dof_id_type> unique_secondary_node_ids;
2773 constraints_applied = false;
2774 for (const auto & secondary_id : _mesh.meshSubdomains())
2775 {
2776 for (const auto & primary_id : _mesh.meshSubdomains())
2777 {
2778 if (_constraints.hasActiveNodeElemConstraints(secondary_id, primary_id, displaced))
2779 {
2780 const auto & constraints =
2781 _constraints.getActiveNodeElemConstraints(secondary_id, primary_id, displaced);
2782
2783 // get unique set of ids of all nodes on current block
2784 unique_secondary_node_ids.clear();
2785 const MeshBase & meshhelper = _mesh.getMesh();
2786 for (const auto & elem : as_range(meshhelper.active_subdomain_elements_begin(secondary_id),
2787 meshhelper.active_subdomain_elements_end(secondary_id)))
2788 {
2789 for (auto & n : elem->node_ref_range())
2790 unique_secondary_node_ids.insert(n.id());
2791 }
2792
2793 for (auto secondary_node_id : unique_secondary_node_ids)
2794 {
2795 const Node & secondary_node = _mesh.nodeRef(secondary_node_id);
2796 // check if secondary node is on current processor
2797 if (secondary_node.processor_id() == processor_id())
2798 {
2799 // This reinits the variables that exist on the secondary node
2800 _fe_problem.reinitNodeFace(&secondary_node, secondary_id, 0);
2801
2803
2804 for (const auto & nec : constraints)
2805 {
2806 if (nec->shouldApply())
2807 {
2808 constraints_applied = true;
2809
2810 // Begin the diagonal node-element constraint accumulation phase for
2811 // element and neighbor Jacobian blocks.
2814
2815 nec->_jacobian = &jacobian_to_view;
2816 nec->prepareShapes(nec->variable().number());
2817 nec->prepareNeighborShapes(nec->variable().number());
2818
2819 nec->computeJacobian();
2820
2821 if (nec->overwriteSecondaryJacobian())
2822 {
2823 // Add this variable's dof's row to be zeroed
2824 zero_rows.push_back(nec->variable().nodalDofIndex());
2825 }
2826
2827 std::vector<dof_id_type> secondary_dofs(1, nec->variable().nodalDofIndex());
2828
2829 // Cache the jacobian block for the secondary side
2830 nec->addJacobian(_fe_problem.assembly(0, number()),
2831 nec->_Kee,
2832 secondary_dofs,
2833 nec->_connected_dof_indices,
2834 nec->variable().scalingFactor());
2835
2836 // Cache the jacobian block for the primary side
2837 nec->addJacobian(_fe_problem.assembly(0, number()),
2838 nec->_Kne,
2839 nec->primaryVariable().dofIndicesNeighbor(),
2840 nec->_connected_dof_indices,
2841 nec->primaryVariable().scalingFactor());
2842
2845
2846 // Do the off-diagonals next
2847 const std::vector<MooseVariableFEBase *> coupled_vars = nec->getCoupledMooseVars();
2848 for (const auto & jvar : coupled_vars)
2849 {
2850 // Only compute jacobians for nonlinear variables
2851 if (jvar->kind() != Moose::VAR_SOLVER)
2852 continue;
2853
2854 // Only compute Jacobian entries if this coupling is being used by the
2855 // preconditioner
2856 if (nec->variable().number() == jvar->number() ||
2858 nec->variable().number(), jvar->number(), this->number()))
2859 continue;
2860
2861 // Begin the off-diagonal node-element constraint accumulation phase for
2862 // element and neighbor Jacobian blocks.
2865
2866 nec->prepareShapes(nec->variable().number());
2867 nec->prepareNeighborShapes(jvar->number());
2868
2869 nec->computeOffDiagJacobian(jvar->number());
2870
2871 // Cache the jacobian block for the secondary side
2872 nec->addJacobian(_fe_problem.assembly(0, number()),
2873 nec->_Kee,
2874 secondary_dofs,
2875 nec->_connected_dof_indices,
2876 nec->variable().scalingFactor());
2877
2878 // Cache the jacobian block for the primary side
2879 nec->addJacobian(_fe_problem.assembly(0, number()),
2880 nec->_Kne,
2881 nec->variable().dofIndicesNeighbor(),
2882 nec->_connected_dof_indices,
2883 nec->variable().scalingFactor());
2884
2887 }
2888 }
2889 }
2890 }
2891 }
2892 }
2893 }
2894 }
2895 // See if constraints were applied anywhere
2896 _communicator.max(constraints_applied);
2897
2898 if (constraints_applied)
2899 {
2900 LibmeshPetscCall(MatSetOption(cast_ref<PetscMatrix<Number> &>(jacobian).mat(),
2901 MAT_KEEP_NONZERO_PATTERN, // This is changed in 3.1
2902 PETSC_TRUE));
2903
2904 jacobian.close();
2905 jacobian.zero_rows(zero_rows, 0.0);
2906 jacobian.close();
2908 jacobian.close();
2909 }
2910}
2911
2912void
2914{
2915 MooseObjectWarehouse<ScalarKernelBase> * scalar_kernel_warehouse;
2916
2917 if (!tags.size() || tags.size() == _fe_problem.numMatrixTags())
2918 scalar_kernel_warehouse = &_scalar_kernels;
2919 else if (tags.size() == 1)
2920 scalar_kernel_warehouse = &(_scalar_kernels.getMatrixTagObjectWarehouse(*(tags.begin()), 0));
2921 else
2922 scalar_kernel_warehouse = &(_scalar_kernels.getMatrixTagsObjectWarehouse(tags, 0));
2923
2924 // Compute the diagonal block for scalar variables
2925 if (scalar_kernel_warehouse->hasActiveObjects())
2926 {
2927 const auto & scalars = scalar_kernel_warehouse->getActiveObjects();
2928
2929 _fe_problem.reinitScalars(/*tid=*/0);
2930
2932
2933 bool have_scalar_contributions = false;
2934 for (const auto & kernel : scalars)
2935 {
2936 if (!kernel->computesJacobian())
2937 continue;
2938
2939 kernel->reinit();
2940 const std::vector<dof_id_type> & dof_indices = kernel->variable().dofIndices();
2941 const DofMap & dof_map = kernel->variable().dofMap();
2942 const dof_id_type first_dof = dof_map.first_dof();
2943 const dof_id_type end_dof = dof_map.end_dof();
2944 for (dof_id_type dof : dof_indices)
2945 {
2946 if (dof >= first_dof && dof < end_dof)
2947 {
2948 kernel->computeJacobian();
2949 _fe_problem.addJacobianOffDiagScalar(kernel->variable().number());
2950 have_scalar_contributions = true;
2951 break;
2952 }
2953 }
2954 }
2955
2956 if (have_scalar_contributions)
2958 }
2959}
2960
2961void
2996
2997void
2998NonlinearSystemBase::setMatrixOptions(const std::set<TagID> & tags)
2999{
3000 for (auto tag : tags)
3001 {
3002 if (!hasMatrix(tag))
3003 continue;
3004
3005 auto & jacobian = getMatrix(tag);
3006 // Necessary for speed
3007 if (auto petsc_matrix = dynamic_cast<PetscMatrix<Number> *>(&jacobian))
3008 {
3009 LibmeshPetscCall(MatSetOption(petsc_matrix->mat(),
3010 MAT_KEEP_NONZERO_PATTERN, // This is changed in 3.1
3011 PETSC_TRUE));
3013 LibmeshPetscCall(
3014 MatSetOption(petsc_matrix->mat(), MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_FALSE));
3016 LibmeshPetscCall(MatSetOption(
3017 cast_ref<PetscMatrix<Number> &>(jacobian).mat(), MAT_IGNORE_ZERO_ENTRIES, PETSC_TRUE));
3018 }
3019 }
3020}
3021
3022void
3024{
3025 TIME_SECTION("computeJacobianInternal", 3);
3026
3028
3029 // Make matrix ready to use
3031
3032 setMatrixOptions(tags);
3033
3034 jacobianSetup();
3035
3036 // Jacobian contributions from UOs - for now this is used for ray tracing
3037 // and ray kernels that contribute to the Jacobian (think line sources)
3038 std::vector<UserObject *> uos;
3040 .query()
3041 .condition<AttribSystem>("UserObject")
3042 .condition<AttribExecOns>(EXEC_PRE_KERNELS)
3043 .queryInto(uos);
3044 for (auto & uo : uos)
3045 uo->jacobianSetup();
3046 for (auto & uo : uos)
3047 {
3048 uo->initialize();
3049 uo->execute();
3050 uo->finalize();
3051 }
3052
3053 // reinit scalar variables
3054 for (unsigned int tid = 0; tid < this->numThreads(); tid++)
3056
3057#ifdef MOOSE_KOKKOS_ENABLED
3059 {
3061 // The first Kokkos assembly preallocates the matrices for COO assembly, which recreates the
3062 // diagonal and off-diagonal blocks of distributed PETSc matrices and drops the options set on
3063 // them above
3064 setMatrixOptions(tags);
3065 }
3066#endif
3067
3068 PARALLEL_TRY
3069 {
3070 // We would like to compute ScalarKernels, block NodalKernels, FVFluxKernels, and mortar objects
3071 // up front because we want these included whether we are computing an ordinary Jacobian or a
3072 // Jacobian for determining variable scaling factors
3074
3075 // Block restricted Nodal Kernels
3077 {
3079 const ConstNodeRange & range = _fe_problem.getCurrentAlgebraicNodeRange();
3080 Threads::parallel_reduce(range, cnkjt, this->numThreads());
3081
3082 unsigned int n_threads = this->numThreads();
3083 for (unsigned int i = 0; i < n_threads;
3084 i++) // Add any cached jacobians that might be hanging around
3086 }
3087
3088 using FVRange = StoredRange<MooseMesh::const_face_info_iterator, const FaceInfo *>;
3089 if (_fe_problem.haveFV())
3090 {
3091 // the same loop works for both residual and jacobians because it keys
3092 // off of FEProblem's _currently_computing_jacobian parameter
3094 _fe_problem, this->number(), tags, /*on_displaced=*/false);
3096 Threads::parallel_reduce(faces, fvj, this->numThreads());
3097 }
3100 {
3102 _fe_problem, this->number(), tags, /*on_displaced=*/true);
3103 FVRange faces(displaced_problem->mesh().ownedFaceInfoBegin(),
3104 displaced_problem->mesh().ownedFaceInfoEnd());
3105 Threads::parallel_reduce(faces, fvr, this->numThreads());
3106 }
3107
3109
3110 // Get our element range for looping over
3111 const ConstElemRange & elem_range = _fe_problem.getCurrentAlgebraicElementRange();
3112
3114 {
3115 // Only compute Jacobians corresponding to the diagonals of volumetric compute objects
3116 // because this typically gives us a good representation of the physics. NodalBCs and
3117 // Constraints can introduce dramatically different scales (often order unity).
3118 // IntegratedBCs and/or InterfaceKernels may use penalty factors. DGKernels may be ok, but
3119 // they are almost always used in conjunction with Kernels
3121 Threads::parallel_reduce(elem_range, cj, this->numThreads());
3122 unsigned int n_threads = this->numThreads();
3123 for (unsigned int i = 0; i < n_threads;
3124 i++) // Add any Jacobian contributions still hanging around
3126
3127 // Check whether any exceptions were thrown and propagate this information for parallel
3128 // consistency before
3129 // 1) we do parallel communication when closing tagged matrices
3130 // 2) early returning before reaching our PARALLEL_CATCH below
3132
3133 closeTaggedMatrices(tags);
3134
3135 return;
3136 }
3137
3138 switch (_fe_problem.coupling())
3139 {
3141 {
3143 Threads::parallel_reduce(elem_range, cj, this->numThreads());
3144
3145 unsigned int n_threads = this->numThreads();
3146 for (unsigned int i = 0; i < n_threads;
3147 i++) // Add any Jacobian contributions still hanging around
3149
3150 // Boundary restricted Nodal Kernels
3152 {
3155
3156 Threads::parallel_reduce(bnd_range, cnkjt, this->numThreads());
3157 unsigned int n_threads = this->numThreads();
3158 for (unsigned int i = 0; i < n_threads;
3159 i++) // Add any cached jacobians that might be hanging around
3161 }
3162 }
3163 break;
3164
3165 default:
3167 {
3169 Threads::parallel_reduce(elem_range, cj, this->numThreads());
3170 unsigned int n_threads = this->numThreads();
3171
3172 for (unsigned int i = 0; i < n_threads; i++)
3174
3175 // Boundary restricted Nodal Kernels
3177 {
3180
3181 Threads::parallel_reduce(bnd_range, cnkjt, this->numThreads());
3182 unsigned int n_threads = this->numThreads();
3183 for (unsigned int i = 0; i < n_threads;
3184 i++) // Add any cached jacobians that might be hanging around
3186 }
3187 }
3188 break;
3189 }
3190
3192
3193 static bool first = true;
3194
3195 // This adds zeroes into geometric coupling entries to ensure they stay in the matrix
3196 if ((_fe_problem.restoreOriginalNonzeroPattern() || first) &&
3198 {
3199 first = false;
3201
3204 }
3205 }
3206 PARALLEL_CATCH;
3207
3208 // Have no idea how to have constraints work
3209 // with the tag system
3210 PARALLEL_TRY
3211 {
3212 // Add in Jacobian contributions from other Constraints
3213 if (_fe_problem._has_constraints && tags.count(systemMatrixTag()))
3214 {
3215 // Some constraints need to be able to read values from the Jacobian, which requires that it
3216 // be closed/assembled
3217 auto & system_matrix = getMatrix(systemMatrixTag());
3218 std::unique_ptr<SparseMatrix<Number>> hash_copy;
3219 const SparseMatrix<Number> * view_jac_ptr;
3220 auto make_readable_jacobian = [&]()
3221 {
3222#if PETSC_RELEASE_GREATER_EQUALS(3, 23, 0)
3223 if (system_matrix.use_hash_table())
3224 {
3225 hash_copy = cast_ref<PetscMatrix<Number> &>(system_matrix).copy_from_hash();
3226 view_jac_ptr = hash_copy.get();
3227 }
3228 else
3229 view_jac_ptr = &system_matrix;
3230#else
3231 view_jac_ptr = &system_matrix;
3232#endif
3233 if (view_jac_ptr == &system_matrix)
3234 system_matrix.close();
3235 };
3236
3237 make_readable_jacobian();
3238
3239 // Nodal Constraints
3240 const bool had_nodal_constraints = enforceNodalConstraintsJacobian(*view_jac_ptr);
3241 if (had_nodal_constraints)
3242 // We have to make a new readable Jacobian
3243 make_readable_jacobian();
3244
3245 // Undisplaced Constraints
3246 constraintJacobians(*view_jac_ptr, false);
3247
3248 // Displaced Constraints
3250 constraintJacobians(*view_jac_ptr, true);
3251 }
3252 }
3253 PARALLEL_CATCH;
3254
3256 closeTaggedMatrices(tags);
3257
3258 // We need to close the save_in variables on the aux system before NodalBCBases clear the dofs
3259 // on boundary nodes
3262
3263 if (hasDiagSaveIn())
3265
3266 // Accumulate the occurrence of solution invalid warnings for the current iteration cumulative
3267 // counters
3270}
3271
3272void
3273NonlinearSystemBase::computeJacobian(SparseMatrix<Number> & jacobian)
3274{
3275 _nl_matrix_tags.clear();
3276
3277 auto & tags = _fe_problem.getMatrixTags();
3278
3279 for (auto & tag : tags)
3280 _nl_matrix_tags.insert(tag.second);
3281
3283}
3284
3285void
3286NonlinearSystemBase::computeJacobian(SparseMatrix<Number> & jacobian, const std::set<TagID> & tags)
3287{
3289
3290 computeJacobianTags(tags);
3291
3293}
3294
3295void
3296NonlinearSystemBase::computeJacobianTags(const std::set<TagID> & tags)
3297{
3298 TIME_SECTION("computeJacobianTags", 5);
3299
3301
3302 try
3303 {
3305 }
3306 catch (MooseException & e)
3307 {
3308 // The buck stops here, we have already handled the exception by
3309 // calling stopSolve(), it is now up to PETSc to return a
3310 // "diverged" reason during the next solve.
3311 }
3312}
3313
3314void
3316{
3317 _nl_matrix_tags.clear();
3318
3319 auto & tags = _fe_problem.getMatrixTags();
3320 for (auto & tag : tags)
3321 _nl_matrix_tags.insert(tag.second);
3322
3324}
3325
3326void
3328 const std::set<TagID> & tags)
3329{
3330 TIME_SECTION("computeJacobianBlocks", 3);
3332
3333 for (unsigned int i = 0; i < blocks.size(); i++)
3334 {
3335 SparseMatrix<Number> & jacobian = blocks[i]->_jacobian;
3336
3337 LibmeshPetscCall(MatSetOption(cast_ref<PetscMatrix<Number> &>(jacobian).mat(),
3338 MAT_KEEP_NONZERO_PATTERN, // This is changed in 3.1
3339 PETSC_TRUE));
3341 LibmeshPetscCall(MatSetOption(cast_ref<PetscMatrix<Number> &>(jacobian).mat(),
3342 MAT_NEW_NONZERO_ALLOCATION_ERR,
3343 PETSC_TRUE));
3344
3345 jacobian.zero();
3346 }
3347
3348 for (unsigned int tid = 0; tid < this->numThreads(); tid++)
3350
3351 PARALLEL_TRY
3352 {
3353 const ConstElemRange & elem_range = _fe_problem.getCurrentAlgebraicElementRange();
3355 Threads::parallel_reduce(elem_range, cjb, this->numThreads());
3356 }
3357 PARALLEL_CATCH;
3358
3359 for (unsigned int i = 0; i < blocks.size(); i++)
3360 blocks[i]->_jacobian.close();
3361
3362 for (unsigned int i = 0; i < blocks.size(); i++)
3363 {
3364 libMesh::System & precond_system = blocks[i]->_precond_system;
3365 SparseMatrix<Number> & jacobian = blocks[i]->_jacobian;
3366
3367 unsigned int ivar = blocks[i]->_ivar;
3368 unsigned int jvar = blocks[i]->_jvar;
3369
3370 // Dirichlet BCs
3371 std::vector<numeric_index_type> zero_rows;
3372 PARALLEL_TRY
3373 {
3375 for (const auto & bnode : bnd_nodes)
3376 {
3377 BoundaryID boundary_id = bnode->_bnd_id;
3378 Node * node = bnode->_node;
3379
3380 if (_nodal_bcs.hasActiveBoundaryObjects(boundary_id))
3381 {
3382 const auto & bcs = _nodal_bcs.getActiveBoundaryObjects(boundary_id);
3383
3384 if (node->processor_id() == processor_id())
3385 {
3386 _fe_problem.reinitNodeFace(node, boundary_id, 0);
3387
3388 for (const auto & bc : bcs)
3389 if (bc->variable().number() == ivar && bc->shouldApply())
3390 {
3391 // The first zero is for the variable number... there is only one variable in
3392 // each mini-system The second zero only works with Lagrange elements!
3393 zero_rows.push_back(node->dof_number(precond_system.number(), 0, 0));
3394 }
3395 }
3396 }
3397 }
3398 }
3399 PARALLEL_CATCH;
3400
3401 jacobian.close();
3402
3403 // This zeroes the rows corresponding to Dirichlet BCs and puts a 1.0 on the diagonal
3404 if (ivar == jvar)
3405 jacobian.zero_rows(zero_rows, 1.0);
3406 else
3407 jacobian.zero_rows(zero_rows, 0.0);
3408
3409 jacobian.close();
3410 }
3411}
3412
3413void
3444
3445Real
3446NonlinearSystemBase::computeDamping(const NumericVector<Number> & solution,
3447 const NumericVector<Number> & update)
3448{
3449 // Default to no damping
3450 Real damping = 1.0;
3451 bool has_active_dampers = false;
3452
3453 try
3454 {
3456 {
3457 PARALLEL_TRY
3458 {
3459 TIME_SECTION("computeDampers", 3, "Computing Dampers");
3460 has_active_dampers = true;
3464 _fe_problem.getCurrentAlgebraicElementRange(), cid, this->numThreads());
3465 damping = std::min(cid.damping(), damping);
3466 }
3467 PARALLEL_CATCH;
3468 }
3469
3471 {
3472 PARALLEL_TRY
3473 {
3474 TIME_SECTION("computeDamping::element", 3, "Computing Element Damping");
3475
3476 has_active_dampers = true;
3480 _fe_problem.getCurrentAlgebraicNodeRange(), cndt, this->numThreads());
3481 damping = std::min(cndt.damping(), damping);
3482 }
3483 PARALLEL_CATCH;
3484 }
3485
3487 {
3488 PARALLEL_TRY
3489 {
3490 TIME_SECTION("computeDamping::general", 3, "Computing General Damping");
3491
3492 has_active_dampers = true;
3493 const auto & gdampers = _general_dampers.getActiveObjects();
3494 for (const auto & damper : gdampers)
3495 {
3496 Real gd_damping = damper->computeDamping(solution, update);
3497 try
3498 {
3499 damper->checkMinDamping(gd_damping);
3500 }
3501 catch (MooseException & e)
3502 {
3504 }
3505 damping = std::min(gd_damping, damping);
3506 }
3507 }
3508 PARALLEL_CATCH;
3509 }
3510 }
3511 catch (MooseException & e)
3512 {
3513 // The buck stops here, we have already handled the exception by
3514 // calling stopSolve(), it is now up to PETSc to return a
3515 // "diverged" reason during the next solve.
3516 }
3517 catch (std::exception & e)
3518 {
3519 // Allow the libmesh error/exception on negative jacobian
3520 const std::string & message = e.what();
3521 if (message.find("Jacobian") == std::string::npos)
3522 throw;
3523 }
3524
3525 _communicator.min(damping);
3526
3527 if (has_active_dampers && damping < 1.0)
3528 _console << " Damping factor: " << damping << std::endl;
3529
3530 return damping;
3531}
3532
3533void
3534NonlinearSystemBase::computeDiracContributions(const std::set<TagID> & vector_tags,
3535 const std::set<TagID> & matrix_tags,
3536 const Moose::ComputeType compute_type)
3537{
3539
3540 std::set<const Elem *> dirac_elements;
3541
3543 {
3544 TIME_SECTION("computeDirac", 3, "Computing DiracKernels");
3545
3546 // TODO: Need a threading fix... but it's complicated!
3547 for (THREAD_ID tid = 0; tid < this->numThreads(); ++tid)
3548 {
3549 const auto & dkernels = _dirac_kernels.getActiveObjects(tid);
3550 for (const auto & dkernel : dkernels)
3551 {
3552 dkernel->clearPoints();
3553 dkernel->addPoints();
3554 }
3555 }
3556
3557 ComputeDiracThread cd(_fe_problem, vector_tags, matrix_tags, compute_type);
3558
3559 _fe_problem.getDiracElements(dirac_elements);
3560
3561 DistElemRange range(dirac_elements.begin(), dirac_elements.end(), 1);
3562 // TODO: Make Dirac work thread!
3563 // Threads::parallel_reduce(range, cd);
3564
3565 cd(range);
3566
3567 // AD DiracKernels computing the residual and Jacobian together cache their residual
3568 // contributions (via addResidualsAndJacobian), so those must be flushed too
3569 if (compute_type != Moose::ComputeType::Jacobian)
3570 for (const auto tid : make_range(this->numThreads()))
3572
3573 if (compute_type != Moose::ComputeType::Residual)
3574 for (const auto tid : make_range(this->numThreads()))
3576 }
3577}
3578
3579NumericVector<Number> &
3581{
3582 if (!_residual_copy.get())
3583 _residual_copy = NumericVector<Number>::build(_communicator);
3584
3585 return *_residual_copy;
3586}
3587
3588NumericVector<Number> &
3590{
3592 if (!_residual_ghosted)
3593 {
3594 // The first time we realize we need a ghosted residual vector,
3595 // we add it.
3596 _residual_ghosted = &addVector("residual_ghosted", false, GHOSTED);
3597
3598 // If we've already realized we need time and/or non-time
3599 // residual vectors, but we haven't yet realized they need to be
3600 // ghosted, fix that now.
3601 //
3602 // If an application changes its mind, the libMesh API lets us
3603 // change the vector.
3604 if (_Re_time)
3605 {
3606 const auto vector_name = _subproblem.vectorTagName(_Re_time_tag);
3607 _Re_time = &system().add_vector(vector_name, false, GHOSTED);
3608 }
3609 if (_Re_non_time)
3610 {
3611 const auto vector_name = _subproblem.vectorTagName(_Re_non_time_tag);
3612 _Re_non_time = &system().add_vector(vector_name, false, GHOSTED);
3613 }
3614 }
3615 return *_residual_ghosted;
3616}
3617
3618void
3620 std::vector<dof_id_type> & n_nz,
3621 std::vector<dof_id_type> & n_oz)
3622{
3624 {
3626
3627 std::unordered_map<dof_id_type, std::vector<dof_id_type>> graph;
3628
3630
3633 graph);
3634
3635 const dof_id_type first_dof_on_proc = dofMap().first_dof(processor_id());
3636 const dof_id_type end_dof_on_proc = dofMap().end_dof(processor_id());
3637
3638 // The total number of dofs on and off processor
3639 const dof_id_type n_dofs_on_proc = dofMap().n_local_dofs();
3640 const dof_id_type n_dofs_not_on_proc = dofMap().n_dofs() - dofMap().n_local_dofs();
3641
3642 for (const auto & git : graph)
3643 {
3644 dof_id_type dof = git.first;
3645 dof_id_type local_dof = dof - first_dof_on_proc;
3646
3647 if (dof < first_dof_on_proc || dof >= end_dof_on_proc)
3648 continue;
3649
3650 const auto & row = git.second;
3651
3652 SparsityPattern::Row & sparsity_row = sparsity[local_dof];
3653
3654 unsigned int original_row_length = sparsity_row.size();
3655
3656 sparsity_row.insert(sparsity_row.end(), row.begin(), row.end());
3657
3659 sparsity_row.begin(), sparsity_row.begin() + original_row_length, sparsity_row.end());
3660
3661 // Fix up nonzero arrays
3662 for (const auto & coupled_dof : row)
3663 {
3664 if (coupled_dof < first_dof_on_proc || coupled_dof >= end_dof_on_proc)
3665 {
3666 if (n_oz[local_dof] < n_dofs_not_on_proc)
3667 n_oz[local_dof]++;
3668 }
3669 else
3670 {
3671 if (n_nz[local_dof] < n_dofs_on_proc)
3672 n_nz[local_dof]++;
3673 }
3674 }
3675 }
3676 }
3677}
3678
3679void
3680NonlinearSystemBase::setSolutionUDot(const NumericVector<Number> & u_dot)
3681{
3682 *_u_dot = u_dot;
3683}
3684
3685void
3686NonlinearSystemBase::setSolutionUDotDot(const NumericVector<Number> & u_dotdot)
3687{
3688 *_u_dotdot = u_dotdot;
3689}
3690
3691void
3692NonlinearSystemBase::setSolutionUDotOld(const NumericVector<Number> & u_dot_old)
3693{
3694 *_u_dot_old = u_dot_old;
3695}
3696
3697void
3698NonlinearSystemBase::setSolutionUDotDotOld(const NumericVector<Number> & u_dotdot_old)
3699{
3700 *_u_dotdot_old = u_dotdot_old;
3701}
3702
3703void
3704NonlinearSystemBase::setPreconditioner(std::shared_ptr<MoosePreconditioner> pc)
3705{
3706 if (_preconditioner.get() != nullptr)
3707 mooseError("More than one active Preconditioner detected");
3708
3709 _preconditioner = pc;
3710}
3711
3712MoosePreconditioner const *
3714{
3715 return _preconditioner.get();
3716}
3717
3718void
3720{
3721 _increment_vec = &_sys.add_vector("u_increment", true, GHOSTED);
3722}
3723
3724void
3726 const std::set<MooseVariable *> & damped_vars)
3727{
3728 for (const auto & var : damped_vars)
3729 var->computeIncrementAtQps(*_increment_vec);
3730}
3731
3732void
3734 const std::set<MooseVariable *> & damped_vars)
3735{
3736 for (const auto & var : damped_vars)
3737 var->computeIncrementAtNode(*_increment_vec);
3738}
3739
3740void
3741NonlinearSystemBase::checkKernelCoverage(const std::set<SubdomainID> & mesh_subdomains) const
3742{
3743 // Obtain all blocks and variables covered by all kernels
3744 std::set<SubdomainID> input_subdomains;
3745 std::set<std::string> kernel_variables;
3746
3747 bool global_kernels_exist = false;
3748 global_kernels_exist |= _scalar_kernels.hasActiveObjects();
3749 global_kernels_exist |= _nodal_kernels.hasActiveObjects();
3750
3751 _kernels.subdomainsCovered(input_subdomains, kernel_variables);
3752 _dg_kernels.subdomainsCovered(input_subdomains, kernel_variables);
3753 _nodal_kernels.subdomainsCovered(input_subdomains, kernel_variables);
3754 _scalar_kernels.subdomainsCovered(input_subdomains, kernel_variables);
3755 _constraints.subdomainsCovered(input_subdomains, kernel_variables);
3756
3757#ifdef MOOSE_KOKKOS_ENABLED
3758 _kokkos_kernels.subdomainsCovered(input_subdomains, kernel_variables);
3759 _kokkos_nodal_kernels.subdomainsCovered(input_subdomains, kernel_variables);
3760#endif
3761
3762 if (_fe_problem.haveFV())
3763 {
3764 std::vector<FVElementalKernel *> fv_elemental_kernels;
3766 .query()
3767 .template condition<AttribSystem>("FVElementalKernel")
3768 .queryInto(fv_elemental_kernels);
3769
3770 for (auto fv_kernel : fv_elemental_kernels)
3771 {
3772 if (fv_kernel->blockRestricted())
3773 for (auto block_id : fv_kernel->blockIDs())
3774 input_subdomains.insert(block_id);
3775 else
3776 global_kernels_exist = true;
3777 kernel_variables.insert(fv_kernel->variable().name());
3778
3779 // Check for lagrange multiplier
3780 if (dynamic_cast<FVScalarLagrangeMultiplierConstraint *>(fv_kernel))
3781 kernel_variables.insert(dynamic_cast<FVScalarLagrangeMultiplierConstraint *>(fv_kernel)
3782 ->lambdaVariable()
3783 .name());
3784 }
3785
3786 std::vector<FVFluxKernel *> fv_flux_kernels;
3788 .query()
3789 .template condition<AttribSystem>("FVFluxKernel")
3790 .queryInto(fv_flux_kernels);
3791
3792 for (auto fv_kernel : fv_flux_kernels)
3793 {
3794 if (fv_kernel->blockRestricted())
3795 for (auto block_id : fv_kernel->blockIDs())
3796 input_subdomains.insert(block_id);
3797 else
3798 global_kernels_exist = true;
3799 kernel_variables.insert(fv_kernel->variable().name());
3800 }
3801
3802 std::vector<FVInterfaceKernel *> fv_interface_kernels;
3804 .query()
3805 .template condition<AttribSystem>("FVInterfaceKernel")
3806 .queryInto(fv_interface_kernels);
3807
3808 for (auto fvik : fv_interface_kernels)
3809 if (auto scalar_fvik = dynamic_cast<FVScalarLagrangeMultiplierInterface *>(fvik))
3810 kernel_variables.insert(scalar_fvik->lambdaVariable().name());
3811
3812 std::vector<FVFluxBC *> fv_flux_bcs;
3814 .query()
3815 .template condition<AttribSystem>("FVFluxBC")
3816 .queryInto(fv_flux_bcs);
3817
3818 for (auto fvbc : fv_flux_bcs)
3819 if (auto scalar_fvbc = dynamic_cast<FVBoundaryScalarLagrangeMultiplierConstraint *>(fvbc))
3820 kernel_variables.insert(scalar_fvbc->lambdaVariable().name());
3821 }
3822
3823 for (const auto & ibc : _integrated_bcs.getActiveObjects())
3824 {
3825 const auto additional_variables_covered = ibc->additionalROVariables();
3826 kernel_variables.insert(additional_variables_covered.begin(),
3827 additional_variables_covered.end());
3828 }
3829
3830 // Check kernel coverage of subdomains (blocks) in your mesh
3831 if (!global_kernels_exist)
3832 {
3833 // Only require kernel coverage on blocks where this nonlinear system has field variables
3834 std::set<SubdomainID> system_subdomains;
3835 for (const auto * const variable : variableWarehouse(0).fieldVariables())
3836 {
3837 const auto & variable_subdomains = getSubdomainsForVar(variable->number());
3838
3839 // An empty variable subdomain set denotes an unrestricted variable
3840 if (variable_subdomains.empty())
3841 {
3842 system_subdomains = mesh_subdomains;
3843 break;
3844 }
3845
3846 for (const auto subdomain : variable_subdomains)
3847 if (mesh_subdomains.count(subdomain))
3848 system_subdomains.insert(subdomain);
3849 }
3850
3851 std::set<SubdomainID> difference;
3852 std::set_difference(system_subdomains.begin(),
3853 system_subdomains.end(),
3854 input_subdomains.begin(),
3855 input_subdomains.end(),
3856 std::inserter(difference, difference.end()));
3857
3858 // there supposed to be no kernels on this lower-dimensional subdomain
3859 for (const auto & id : _mesh.interiorLowerDBlocks())
3860 difference.erase(id);
3861 for (const auto & id : _mesh.boundaryLowerDBlocks())
3862 difference.erase(id);
3863
3864 if (!difference.empty())
3865 {
3866 std::vector<SubdomainID> difference_vec =
3867 std::vector<SubdomainID>(difference.begin(), difference.end());
3868 std::vector<SubdomainName> difference_names = _mesh.getSubdomainNames(difference_vec);
3869 std::stringstream missing_block_names;
3870 std::copy(difference_names.begin(),
3871 difference_names.end(),
3872 std::ostream_iterator<std::string>(missing_block_names, " "));
3873 std::stringstream missing_block_ids;
3874 std::copy(difference.begin(),
3875 difference.end(),
3876 std::ostream_iterator<unsigned int>(missing_block_ids, " "));
3877
3878 mooseError("Each subdomain must contain at least one Kernel.\nThe following block(s) lack an "
3879 "active kernel: " +
3880 missing_block_names.str(),
3881 " (ids: ",
3882 missing_block_ids.str(),
3883 ")");
3884 }
3885 }
3886
3887 // Check kernel use of variables
3888 std::set<VariableName> variables(getVariableNames().begin(), getVariableNames().end());
3889
3890 std::set<VariableName> difference;
3891 std::set_difference(variables.begin(),
3892 variables.end(),
3893 kernel_variables.begin(),
3894 kernel_variables.end(),
3895 std::inserter(difference, difference.end()));
3896
3897 // skip checks for varaibles defined on lower-dimensional subdomain
3898 std::set<VariableName> vars(difference);
3899 for (auto & var_name : vars)
3900 {
3901 auto blks = getSubdomainsForVar(var_name);
3902 for (const auto & id : blks)
3903 if (_mesh.interiorLowerDBlocks().count(id) > 0 || _mesh.boundaryLowerDBlocks().count(id) > 0)
3904 difference.erase(var_name);
3905 }
3906
3907 if (!difference.empty())
3908 {
3909 std::stringstream missing_kernel_vars;
3910 std::copy(difference.begin(),
3911 difference.end(),
3912 std::ostream_iterator<std::string>(missing_kernel_vars, " "));
3913 mooseError("Each variable must be referenced by at least one active Kernel.\nThe following "
3914 "variable(s) lack an active kernel: " +
3915 missing_kernel_vars.str());
3916 }
3917}
3918
3919bool
3921{
3922 auto & time_kernels = _kernels.getVectorTagObjectWarehouse(timeVectorTag(), 0);
3923
3924 return time_kernels.hasActiveObjects();
3925}
3926
3927std::vector<std::string>
3929{
3930 std::vector<std::string> variable_names;
3931 const auto & time_kernels = _kernels.getVectorTagObjectWarehouse(timeVectorTag(), 0);
3932 if (time_kernels.hasActiveObjects())
3933 for (const auto & kernel : time_kernels.getObjects())
3934 variable_names.push_back(kernel->variable().name());
3935
3936 return variable_names;
3937}
3938
3939bool
3941{
3942 // IntegratedBCs are for now the only objects we consider to be consuming
3943 // matprops on boundaries.
3945 for (const auto & bc : _integrated_bcs.getActiveBoundaryObjects(bnd_id, tid))
3946 if (std::static_pointer_cast<MaterialPropertyInterface>(bc)->getMaterialPropertyCalled())
3947 return true;
3948
3949 // Thin layer heat transfer in the heat_transfer module is being used on a boundary even though
3950 // it's an interface kernel. That boundary is external, on both sides of a gap in a mesh
3952 for (const auto & ik : _interface_kernels.getActiveBoundaryObjects(bnd_id, tid))
3953 if (std::static_pointer_cast<MaterialPropertyInterface>(ik)->getMaterialPropertyCalled())
3954 return true;
3955
3956 // Because MortarConstraints do not inherit from BoundaryRestrictable, they are not sorted
3957 // by boundary in the MooseObjectWarehouse. So for now, we return true for all boundaries
3958 // Note: constraints are not threaded at this time
3959 if (_constraints.hasActiveObjects(/*tid*/ 0))
3960 for (const auto & ct : _constraints.getActiveObjects(/*tid*/ 0))
3961 if (auto mpi = std::dynamic_pointer_cast<MaterialPropertyInterface>(ct);
3962 mpi && mpi->getMaterialPropertyCalled())
3963 return true;
3964 return false;
3965}
3966
3967bool
3969{
3970 // InterfaceKernels are for now the only objects we consider to be consuming matprops on internal
3971 // boundaries.
3973 for (const auto & ik : _interface_kernels.getActiveBoundaryObjects(bnd_id, tid))
3974 if (std::static_pointer_cast<MaterialPropertyInterface>(ik)->getMaterialPropertyCalled())
3975 return true;
3976 return false;
3977}
3978
3979bool
3981{
3982 // DGKernels are for now the only objects we consider to be consuming matprops on
3983 // internal sides.
3984 if (_dg_kernels.hasActiveBlockObjects(subdomain_id, tid))
3985 for (const auto & dg : _dg_kernels.getActiveBlockObjects(subdomain_id, tid))
3986 if (std::static_pointer_cast<MaterialPropertyInterface>(dg)->getMaterialPropertyCalled())
3987 return true;
3988 // NOTE:
3989 // HDG kernels do not require face material properties on internal sides at this time.
3990 // The idea is to have element locality of HDG for hybridization
3991 return false;
3992}
3993
3994bool
3996{
3997 return _doing_dg;
3998}
3999
4000void
4006
4007void
4009 const std::set<TagID> & vector_tags,
4010 const std::set<TagID> & matrix_tags)
4011{
4012 parallel_object_only();
4013
4014 try
4015 {
4016 for (auto & map_pr : _undisplaced_mortar_functors)
4017 map_pr.second(compute_type, vector_tags, matrix_tags);
4018
4019 for (auto & map_pr : _displaced_mortar_functors)
4020 map_pr.second(compute_type, vector_tags, matrix_tags);
4021 }
4022 catch (MetaPhysicL::LogicError &)
4023 {
4024 mooseError(
4025 "We caught a MetaPhysicL error in NonlinearSystemBase::mortarConstraints. This is very "
4026 "likely due to AD not having a sufficiently large derivative container size. Please run "
4027 "MOOSE configure with the '--with-derivative-size=<n>' option");
4028 }
4029}
4030
4031void
4033{
4035 return;
4036
4037 // Want the libMesh count of variables, not MOOSE, e.g. I don't care about array variable counts
4038 const auto n_vars = system().n_vars();
4039
4040 if (_scaling_group_variables.empty())
4041 {
4042 _var_to_group_var.reserve(n_vars);
4044
4045 for (const auto var_number : make_range(n_vars))
4046 _var_to_group_var.emplace(var_number, var_number);
4047 }
4048 else
4049 {
4050 std::set<unsigned int> var_numbers, var_numbers_covered, var_numbers_not_covered;
4051 for (const auto var_number : make_range(n_vars))
4052 var_numbers.insert(var_number);
4053
4055
4056 for (const auto group_index : index_range(_scaling_group_variables))
4057 for (const auto & var_name : _scaling_group_variables[group_index])
4058 {
4059 if (!hasVariable(var_name) && !hasScalarVariable(var_name))
4060 mooseError("'",
4061 var_name,
4062 "', provided to the 'scaling_group_variables' parameter, does not exist in "
4063 "the nonlinear system.");
4064
4065 const MooseVariableBase & var =
4066 hasVariable(var_name) ? cast_ref<MooseVariableBase &>(getVariable(0, var_name))
4067 : cast_ref<MooseVariableBase &>(getScalarVariable(0, var_name));
4068 auto map_pair = _var_to_group_var.emplace(var.number(), group_index);
4069 if (!map_pair.second)
4070 mooseError("Variable ", var_name, " is contained in multiple scaling grouplings");
4071 var_numbers_covered.insert(var.number());
4072 }
4073
4074 std::set_difference(var_numbers.begin(),
4075 var_numbers.end(),
4076 var_numbers_covered.begin(),
4077 var_numbers_covered.end(),
4078 std::inserter(var_numbers_not_covered, var_numbers_not_covered.begin()));
4079
4080 _num_scaling_groups = _scaling_group_variables.size() + var_numbers_not_covered.size();
4081
4082 auto index = static_cast<unsigned int>(_scaling_group_variables.size());
4083 for (auto var_number : var_numbers_not_covered)
4084 _var_to_group_var.emplace(var_number, index++);
4085 }
4086
4087 _variable_autoscaled.resize(n_vars, true);
4088 const auto & number_to_var_map = _vars[0].numberToVariableMap();
4089
4091 for (const auto i : index_range(_variable_autoscaled))
4092 if (std::find(_ignore_variables_for_autoscaling.begin(),
4094 libmesh_map_find(number_to_var_map, i)->name()) !=
4096 _variable_autoscaled[i] = false;
4097
4098 _auto_scaling_initd = true;
4099}
4100
4101bool
4103{
4105 return true;
4106
4107 _console << "\nPerforming automatic scaling calculation\n" << std::endl;
4108
4109 TIME_SECTION("computeScaling", 3, "Computing Automatic Scaling");
4110
4111 // container for repeated access of element global dof indices
4112 std::vector<dof_id_type> dof_indices;
4113
4116
4117 std::vector<Real> inverse_scaling_factors(_num_scaling_groups, 0);
4118 std::vector<Real> resid_inverse_scaling_factors(_num_scaling_groups, 0);
4119 std::vector<Real> jac_inverse_scaling_factors(_num_scaling_groups, 0);
4120 auto & dof_map = dofMap();
4121
4122 // what types of scaling do we want?
4123 bool jac_scaling = _resid_vs_jac_scaling_param < 1. - TOLERANCE;
4124 bool resid_scaling = _resid_vs_jac_scaling_param > TOLERANCE;
4125
4126 const NumericVector<Number> & scaling_residual = RHS();
4127
4128 if (jac_scaling)
4129 {
4130 // if (!_auto_scaling_initd)
4131 // We need to reinit this when the number of dofs changes
4132 // but there is no good way to track that
4133 // In theory, it is the job of libmesh system to track this,
4134 // but this special matrix is not owned by libMesh system
4135 // Let us reinit eveytime since it is not expensive
4136 {
4137 auto init_vector = NumericVector<Number>::build(this->comm());
4138 init_vector->init(system().n_dofs(), system().n_local_dofs(), /*fast=*/false, PARALLEL);
4139
4140 _scaling_matrix->clear();
4141 _scaling_matrix->init(*init_vector);
4142 }
4143
4145 // Dispatch to derived classes to ensure that we use the correct matrix tag
4148 }
4149
4150 if (resid_scaling)
4151 {
4154 // Dispatch to derived classes to ensure that we use the correct vector tag
4158 }
4159
4160 // Did something bad happen during residual/Jacobian scaling computation?
4162 return false;
4163
4164 auto examine_dof_indices = [this,
4165 jac_scaling,
4166 resid_scaling,
4167 &dof_map,
4168 &jac_inverse_scaling_factors,
4169 &resid_inverse_scaling_factors,
4170 &scaling_residual](const auto & dof_indices, const auto var_number)
4171 {
4172 for (auto dof_index : dof_indices)
4173 if (dof_map.local_index(dof_index))
4174 {
4175 if (jac_scaling)
4176 {
4177 // For now we will use the diagonal for determining scaling
4178 auto mat_value = (*_scaling_matrix)(dof_index, dof_index);
4179 auto & factor = jac_inverse_scaling_factors[_var_to_group_var[var_number]];
4180 factor = std::max(factor, std::abs(mat_value));
4181 }
4182 if (resid_scaling)
4183 {
4184 auto vec_value = scaling_residual(dof_index);
4185 auto & factor = resid_inverse_scaling_factors[_var_to_group_var[var_number]];
4186 factor = std::max(factor, std::abs(vec_value));
4187 }
4188 }
4189 };
4190
4191 // Compute our scaling factors for the spatial field variables
4192 for (const auto & elem : _fe_problem.getCurrentAlgebraicElementRange())
4193 for (const auto i : make_range(system().n_vars()))
4194 if (_variable_autoscaled[i] && system().variable_type(i).family != SCALAR)
4195 {
4196 dof_map.dof_indices(elem, dof_indices, i);
4197 examine_dof_indices(dof_indices, i);
4198 }
4199
4200 for (const auto i : make_range(system().n_vars()))
4201 if (_variable_autoscaled[i] && system().variable_type(i).family == SCALAR)
4202 {
4203 dof_map.SCALAR_dof_indices(dof_indices, i);
4204 examine_dof_indices(dof_indices, i);
4205 }
4206
4207 if (resid_scaling)
4208 _communicator.max(resid_inverse_scaling_factors);
4209 if (jac_scaling)
4210 _communicator.max(jac_inverse_scaling_factors);
4211
4212 if (jac_scaling && resid_scaling)
4213 for (MooseIndex(inverse_scaling_factors) i = 0; i < inverse_scaling_factors.size(); ++i)
4214 {
4215 // Be careful not to take log(0)
4216 if (!resid_inverse_scaling_factors[i])
4217 {
4218 if (!jac_inverse_scaling_factors[i])
4219 inverse_scaling_factors[i] = 1;
4220 else
4221 inverse_scaling_factors[i] = jac_inverse_scaling_factors[i];
4222 }
4223 else if (!jac_inverse_scaling_factors[i])
4224 // We know the resid is not zero
4225 inverse_scaling_factors[i] = resid_inverse_scaling_factors[i];
4226 else
4227 inverse_scaling_factors[i] =
4228 std::exp(_resid_vs_jac_scaling_param * std::log(resid_inverse_scaling_factors[i]) +
4229 (1 - _resid_vs_jac_scaling_param) * std::log(jac_inverse_scaling_factors[i]));
4230 }
4231 else if (jac_scaling)
4232 inverse_scaling_factors = jac_inverse_scaling_factors;
4233 else if (resid_scaling)
4234 inverse_scaling_factors = resid_inverse_scaling_factors;
4235 else
4236 mooseError("We shouldn't be calling this routine if we're not performing any scaling");
4237
4238 // We have to make sure that our scaling values are not zero
4239 for (auto & scaling_factor : inverse_scaling_factors)
4240 if (scaling_factor == 0)
4241 scaling_factor = 1;
4242
4243 // Now flatten the group scaling factors to the individual variable scaling factors
4244 std::vector<Real> flattened_inverse_scaling_factors(system().n_vars());
4245 for (const auto i : index_range(flattened_inverse_scaling_factors))
4246 flattened_inverse_scaling_factors[i] = inverse_scaling_factors[_var_to_group_var[i]];
4247
4248 // Now set the scaling factors for the variables
4249 applyScalingFactors(flattened_inverse_scaling_factors);
4251 displaced_problem->systemBaseNonlinear(number()).applyScalingFactors(
4252 flattened_inverse_scaling_factors);
4253
4254 _computed_scaling = true;
4255 return true;
4256}
4257
4258bool
4260{
4261 // Clear the iteration counters
4262 _current_l_its.clear();
4263 _current_nl_its = 0;
4264
4265 // Initialize the solution vector using a predictor and known values from nodal bcs
4267
4268 // Now that the initial solution has ben set, potentially perform a residual/Jacobian evaluation
4269 // to determine variable scaling factors
4271 {
4272 const bool scaling_succeeded = computeScaling();
4273 if (!scaling_succeeded)
4274 return false;
4275 }
4276
4277 convergence().preLoop();
4278
4279 return true;
4280}
4281
4282void
4284{
4285 if (matrixFromColoring())
4286 LibmeshPetscCall(MatFDColoringDestroy(&_fdcoloring));
4287}
4288
4291{
4292 if (!_fsp)
4293 mooseError("No field split preconditioner is present for this system");
4294
4295 return *_fsp;
4296}
4297
boundary_id_type BoundaryID
subdomain_id_type SubdomainID
StoredRange< std::set< const Elem * >::const_iterator, const Elem * > DistElemRange
void mooseDocumentedError(const std::string &repo_name, const unsigned int issue_num, Args &&... args)
Emit a documented error message with the given stringified, concatenated args and terminate the appli...
Definition MooseError.h:332
void mooseError(Args &&... args)
Emit an error message with the given stringified, concatenated args and terminate the application.
Definition MooseError.h:311
void mooseDeprecated(Args &&... args)
Emit a deprecated code/feature message with the given stringified, concatenated args.
Definition MooseError.h:363
unsigned int TagID
Definition MooseTypes.h:238
unsigned int THREAD_ID
Definition MooseTypes.h:237
const ExecFlagType EXEC_PRE_KERNELS
Definition Moose.C:59
std::array< Real, 2 > values
Definition MortarUtils.C:52
EXTERN_C_BEGIN PetscErrorCode DMCreate_Moose(DM)
std::shared_ptr< DisplacedProblem > displaced_problem
char ** vars
char ** blocks
unsigned int n_vars
Key structure for APIs manipulating global vectors/matrices.
Definition Assembly.h:837
void addCachedJacobian(GlobalDataKey)
Adds the values that have been cached by calling cacheJacobian() and or cacheJacobianNeighbor() to th...
Definition Assembly.C:3852
virtual libMesh::System & system() override
Get the reference to the libMesh system.
Base class for creating new types of boundary conditions.
Specialization for filling multiple "small" preconditioning matrices simulatenously.
const ConsoleStream _console
An instance of helper class to write streams to the Console objects.
const std::vector< std::shared_ptr< ElemElemConstraint > > & getActiveElemElemConstraints(InterfaceID interface_id, bool displaced) const
const std::vector< std::shared_ptr< MortarConstraintBase > > & getActiveMortarConstraints(const std::pair< BoundaryID, BoundaryID > &mortar_interface_key, bool displaced) const
const std::vector< std::shared_ptr< NodeFaceConstraint > > & getActiveNodeFaceConstraints(BoundaryID boundary_id, bool displaced) const
bool hasActiveMortarConstraints(const std::pair< BoundaryID, BoundaryID > &mortar_interface_key, bool displaced) const
bool hasActiveNodeElemConstraints(SubdomainID secondary_id, SubdomainID primary_id, bool displaced) const
bool hasActiveNodalConstraints() const
Deterimine if active objects exist.
void subdomainsCovered(std::set< SubdomainID > &subdomains_covered, std::set< std::string > &unique_variables, THREAD_ID tid=0) const
Update supplied subdomain and variable coverate containters.
void updateActive(THREAD_ID tid=0) override
Update the various active lists.
void addObject(std::shared_ptr< Constraint > object, THREAD_ID tid=0, bool recurse=true) override
Add Constraint object to the warehouse.
bool hasActiveElemElemConstraints(const InterfaceID interface_id, bool displaced) const
const std::vector< std::shared_ptr< NodeElemConstraintBase > > & getActiveNodeElemConstraints(SubdomainID secondary_id, SubdomainID primary_id, bool displaced) const
bool hasActiveNodeFaceConstraints(BoundaryID boundary_id, bool displaced) const
const std::vector< std::shared_ptr< NodalConstraint > > & getActiveNodalConstraints() const
Access methods for active objects.
virtual void residualEnd(THREAD_ID tid=0) const
Base class for all Constraint types.
Definition Constraint.h:20
Base class for convergence criteria.
Definition Convergence.h:26
virtual void preLoop()
Method that gets called before each iteration loop.
Definition Convergence.h:53
Serves as a base class for DGKernel and ADDGKernel.
Base class for deriving dampers.
Definition Damper.h:28
DiracKernelBase is the base class for all DiracKernel type classes.
This is the ElementPairInfo class.
This is the ElementPairLocator class.
const ElementPairList & getElemPairs() const
const ElementPairInfo & getElemPairInfo(std::pair< const Elem *, const Elem * > elem_pair) const
Specialization of SubProblem for solving nonlinear equations plus auxiliary equations.
virtual void addJacobianScalar(const THREAD_ID tid=0)
virtual void clearDiracInfo() override
Gets called before Dirac Kernels are asked to add the points they are supposed to be evaluated in.
virtual void cacheResidual(const THREAD_ID tid) override
virtual void reinitNeighborPhys(const Elem *neighbor, unsigned int neighbor_side, const std::vector< Point > &physical_points, const THREAD_ID tid) override
virtual bool haveFV() const override
returns true if this problem includes/needs finite volume functionality.
void jacobianSetup() override
bool areCoupled(const unsigned int ivar, const unsigned int jvar, const unsigned int nl_sys_num) const
virtual void addResidualScalar(const THREAD_ID tid=0)
bool restoreOriginalNonzeroPattern() const
virtual void addCachedResidual(const THREAD_ID tid) override
AuxiliarySystem & getAuxiliarySystem()
virtual void reinitScalars(const THREAD_ID tid, bool reinit_for_derivative_reordering=false) override
fills the VariableValue arrays for scalar variables from the solution vector
virtual void cacheJacobianNeighbor(const THREAD_ID tid) override
virtual void addCachedJacobian(const THREAD_ID tid) override
virtual void reinitOffDiagScalars(const THREAD_ID tid) override
virtual void setException(const std::string &message)
Set an exception, which is stored at this point by toggling a member variable in this class,...
virtual void cacheJacobian(const THREAD_ID tid) override
virtual void addJacobianOffDiagScalar(unsigned int ivar, const THREAD_ID tid=0)
void residualSetup() override
virtual void reinitNodeFace(const Node *node, BoundaryID bnd_id, const THREAD_ID tid) override
virtual std::shared_ptr< const DisplacedProblem > getDisplacedProblem() const
bool getFailNextNonlinearConvergenceCheck() const
Whether it will skip further residual evaluations and fail the next nonlinear convergence check(s)
virtual void setCurrentSubdomainID(const Elem *elem, const THREAD_ID tid) override
virtual void predictorCleanup(NumericVector< libMesh::Number > &ghosted_solution)
Perform cleanup tasks after application of predictor to solution vector.
virtual void getDiracElements(std::set< const Elem * > &elems) override
Fills "elems" with the elements that should be looped over for Dirac Kernels.
virtual GeometricSearchData & geomSearchData() override
bool identifyVariableGroupsInNL() const
Whether to identify variable groups in nonlinear systems.
void computingScalingJacobian(bool computing_scaling_jacobian)
Setter for whether we're computing the scaling jacobian.
bool hasDampers()
Whether or not this system has dampers.
virtual void prepareAssembly(const THREAD_ID tid) override
bool hasKokkosResidualObjects() const
void setCurrentNonlinearSystem(const unsigned int nl_sys_num)
const ConstBndNodeRange & getCurrentAlgebraicBndNodeRange()
SolverParams & solverParams(unsigned int solver_sys_num=0)
Get the solver parameters.
virtual Convergence & getConvergence(const std::string &name, const THREAD_ID tid=0) const
Gets a Convergence object.
const libMesh::ConstElemRange & getCurrentAlgebraicElementRange()
These are the element and nodes that contribute to the jacobian and residual for this local processor...
void reinitMaterialsNeighbor(SubdomainID blk_id, const THREAD_ID tid, bool swap_stateful=true, const std::deque< MaterialBase * > *reinit_mats=nullptr)
reinit materials on the neighboring element face
virtual void reinitNode(const Node *node, const THREAD_ID tid) override
Moose::CouplingType coupling() const
const std::unordered_map< std::pair< BoundaryID, BoundaryID >, MortarInterfaceConfig > & getMortarInterfaces(bool on_displaced) const
virtual void checkExceptionAndStopSolve(bool print_message=true)
Check to see if an exception has occurred on any processor and, if possible, force the solve to fail,...
NonlinearSystemBase & currentNonlinearSystem()
virtual MooseMesh & mesh() override
void setActiveMaterialProperties(const std::unordered_set< unsigned int > &mat_prop_ids, const THREAD_ID tid)
Record and set the material properties required by the current computing thread.
void setCurrentlyComputingResidual(bool currently_computing_residual) final
Set whether or not the problem is in the process of computing the residual.
virtual void updateGeomSearch(GeometricSearchData::GeometricSearchType type=GeometricSearchData::ALL) override
Update this object's geometric search data as well as the displaced problem's if it exists.
virtual Assembly & assembly(const THREAD_ID tid, const unsigned int sys_num) override
std::vector< std::pair< MooseVariableFieldBase *, MooseVariableFieldBase * > > & couplingEntries(const THREAD_ID tid, const unsigned int nl_sys_num)
bool useHashTableMatrixAssembly() const
bool _has_constraints
Whether or not this system has any Constraints.
bool errorOnJacobianNonzeroReallocation() const
Will return True if the user wants to get an error when a nonzero is reallocated in the Jacobian by P...
TheWarehouse & theWarehouse() const
const libMesh::ConstNodeRange & getCurrentAlgebraicNodeRange()
virtual void setResidual(NumericVector< libMesh::Number > &residual, const THREAD_ID tid) override
virtual void addCachedResidualDirectly(NumericVector< libMesh::Number > &residual, const THREAD_ID tid)
Allows for all the residual contributions that are currently cached to be added directly into the vec...
void computingScalingResidual(bool computing_scaling_residual)
Setter for whether we're computing the scaling residual.
void computingNonlinearResid(bool computing_nonlinear_residual) final
Set whether or not the problem is in the process of computing the nonlinear residual.
virtual void prepareAssemblyNeighbor(const THREAD_ID tid)
Begin a fresh neighbor accumulation phase by sizing and zeroing the neighbor blocks.
virtual void cacheResidualNeighbor(const THREAD_ID tid) override
virtual void setNeighborSubdomainID(const Elem *elem, unsigned int side, const THREAD_ID tid) override
bool ignoreZerosInJacobian() const
Will return true if zeros in the Jacobian are to be dropped from the sparsity pattern.
Base class for implementing constraints on boundaries for finite volume variables using scalar Lagran...
Base class for implementing constraints on finite volume variable elemental values using scalar Lagra...
std::shared_ptr< MooseObject > create(const std::string &obj_name, const std::string &name, const InputParameters &parameters, THREAD_ID tid=0, bool print_deprecated=true)
Definition Factory.C:142
Base interface for field split preconditioner.
virtual void setupDM()=0
setup the data management data structure that manages the field split
Scope guard for starting and stopping Floating Point Exception Trapping.
std::map< std::pair< BoundaryID, BoundaryID >, NearestNodeLocator * > _nearest_node_locators
std::map< BoundaryID, std::shared_ptr< ElementPairLocator > > _element_pair_locators
std::map< std::pair< BoundaryID, BoundaryID >, PenetrationLocator * > _penetration_locators
Base kernel for hybridized finite element formulations.
Definition HDGKernel.h:18
The main MOOSE class responsible for handling user-defined parameters in almost every MOOSE system.
std::vector< std::pair< R1, R2 > > get(const std::string &param1, const std::string &param2) const
Combine two vector parameters into a single vector of pairs.
bool have_parameter(std::string_view name) const
A wrapper around the Parameters base class method.
InterfaceKernelBase is the base class for all InterfaceKernel type classes.
This is the common base class for the three main kernel types implemented in MOOSE,...
Definition KernelBase.h:29
SolutionInvalidity & solutionInvalidity()
Get the SolutionInvalidity for this app.
Definition MooseApp.h:182
const InputParameters & parameters() const
Get the parameters of the object.
Definition MooseBase.h:131
const std::string & name() const
Get the name of the class.
Definition MooseBase.h:103
Class for containing MooseEnum item information.
Provides a way for users to bail out of the current solve.
virtual const char * what() const
Get out the error message.
face_info_iterator ownedFaceInfoEnd()
Definition MooseMesh.C:1467
virtual const Node & nodeRef(const dof_id_type i) const
Definition MooseMesh.C:846
virtual Elem * elemPtr(const dof_id_type i)
Definition MooseMesh.C:3177
MeshBase & getMesh()
Accessor for the underlying libMesh Mesh object.
Definition MooseMesh.C:3512
std::vector< SubdomainName > getSubdomainNames(const std::vector< SubdomainID > &subdomain_ids) const
Get the associated subdomainNames for the subdomain ids that are passed in.
Definition MooseMesh.C:1720
const std::unordered_map< dof_id_type, std::vector< dof_id_type > > & nodeToElemMap()
If not already created, creates a map from every node to all elements to which they are connected.
Definition MooseMesh.C:1241
face_info_iterator ownedFaceInfoBegin()
Iterators to owned faceInfo objects.
Definition MooseMesh.C:1458
const std::set< SubdomainID > & interiorLowerDBlocks() const
Definition MooseMesh.h:1550
std::vector< BoundaryID > getBoundaryIDs(const Elem *const elem, const unsigned short int side) const
Returns a vector of boundary IDs for the requested element on the requested side.
Definition MooseMesh.C:2990
const std::set< SubdomainID > & meshSubdomains() const
Returns a read-only reference to the set of subdomains currently present in the Mesh.
Definition MooseMesh.C:3235
virtual const Node * queryNodePtr(const dof_id_type i) const
Definition MooseMesh.C:872
const std::set< SubdomainID > & boundaryLowerDBlocks() const
Definition MooseMesh.h:1554
MooseObjectWarehouse< T > & getVectorTagObjectWarehouse(TagID tag_id, THREAD_ID tid)
Retrieve a moose object warehouse in which every moose object has the given vector tag.
MooseObjectWarehouse< T > & getMatrixTagsObjectWarehouse(const std::set< TagID > &tags, THREAD_ID tid)
Retrieve a moose object warehouse in which every moose object has one of the given matrix tags.
virtual void updateActive(THREAD_ID tid=0) override
Update the active status of Kernels.
MooseObjectWarehouse< T > & getVectorTagsObjectWarehouse(const std::set< TagID > &tags, THREAD_ID tid)
Retrieve a moose object warehouse in which every moose object at least has one of the given vector ta...
MooseObjectWarehouse< T > & getMatrixTagObjectWarehouse(TagID tag_id, THREAD_ID tid)
Retrieve a moose object warehouse in which every moose object has the given matrix tag.
std::shared_ptr< T > getActiveObject(const std::string &name, THREAD_ID tid=0) const
const std::map< SubdomainID, std::vector< std::shared_ptr< T > > > & getActiveBlockObjects(THREAD_ID tid=0) const
virtual void updateActive(THREAD_ID tid=0)
Updates the active objects storage.
virtual void addObject(std::shared_ptr< T > object, THREAD_ID tid=0, bool recurse=true)
Adds an object to the storage structure.
bool hasActiveObjects(THREAD_ID tid=0) const
const std::map< BoundaryID, std::vector< std::shared_ptr< T > > > & getActiveBoundaryObjects(THREAD_ID tid=0) const
bool hasActiveBlockObjects(THREAD_ID tid=0) const
bool hasActiveBoundaryObjects(THREAD_ID tid=0) const
bool hasObjects(THREAD_ID tid=0) const
Convenience functions for determining if objects exist.
const std::vector< std::shared_ptr< T > > & getActiveObjects(THREAD_ID tid=0) const
Retrieve complete vector to the active all/block/boundary restricted objects for a given thread.
void subdomainsCovered(std::set< SubdomainID > &subdomains_covered, std::set< std::string > &unique_variables, THREAD_ID tid=0) const
Populates a set of covered subdomains and the associated variable names.
A storage container for MooseObjects that inherit from SetupInterface.
virtual void timestepSetup(THREAD_ID tid=0) const
virtual void customSetup(const ExecFlagType &exec_type, THREAD_ID tid=0) const
virtual void subdomainSetup(THREAD_ID tid=0) const
virtual void initialSetup(THREAD_ID tid=0) const
Convenience methods for calling object setup methods.
virtual void residualSetup(THREAD_ID tid=0) const
virtual void addObject(std::shared_ptr< T > object, THREAD_ID tid=0, bool recurse=true) override
Adds an object to the storage structure.
virtual void updateActive(THREAD_ID tid=0) override
Update the active status of Kernels.
virtual void jacobianSetup(THREAD_ID tid=0) const
Base class for MOOSE preconditioners.
Base variable class.
unsigned int number() const
Get variable number coming from libMesh.
This class provides an interface for common operations on field variables of both FE and FV types wit...
std::vector< dof_id_type > _secondary_nodes
Base class for creating new types of nodal kernels.
void computeDiracContributions(const std::set< TagID > &vector_tags, const std::set< TagID > &matrix_tags, Moose::ComputeType compute_type)
void addConstraint(const std::string &c_name, const std::string &name, InputParameters &parameters)
Adds a Constraint.
MooseObjectWarehouse< ADDirichletBCBase > _ad_preset_nodal_bcs
MooseObjectTagWarehouse< ResidualObject > _kokkos_kernels
bool _debugging_residuals
true if debugging residuals
MoosePreconditioner const * getPreconditioner() const
bool preSolve()
Perform some steps to get ready for the solver.
bool _need_residual_ghosted
Whether or not a ghosted copy of the residual needs to be made.
MooseObjectWarehouse< NodalDamper > _nodal_dampers
Nodal Dampers for each thread.
std::size_t _num_scaling_groups
The number of scaling groups.
virtual void computeScalingJacobian()=0
Compute a "Jacobian" for automatic scaling purposes.
void computeKokkosResidualAndJacobian(const std::set< TagID > &vector_tags, const std::set< TagID > &matrix_tags)
virtual std::vector< std::string > timeKernelVariableNames() override
Returns the names of the variables that have time derivative kernels in the system.
Real referenceResidual() const
The reference residual used in relative convergence check.
MooseObjectWarehouse< ElementDamper > _element_dampers
Element Dampers for each thread.
NumericVector< Number > & getResidualNonTimeVector()
Return a numeric vector that is associated with the nontime tag.
FieldSplitPreconditionerBase & getFieldSplitPreconditioner()
MooseObjectTagWarehouse< ResidualObject > _kokkos_nodal_bcs
virtual void jacobianSetup() override
virtual void augmentSparsity(libMesh::SparsityPattern::Graph &sparsity, std::vector< dof_id_type > &n_nz, std::vector< dof_id_type > &n_oz) override
Will modify the sparsity pattern to add logical geometric connections.
Real _resid_vs_jac_scaling_param
The param that indicates the weighting of the residual vs the Jacobian in determining variable scalin...
void zeroVectorForResidual(const std::string &vector_name)
void onTimestepBegin()
Called at the beginning of the time step.
Convergence & convergence()
Retrieves the associated Convergence object.
std::set< TagID > _nl_vector_tags
Vector tags to temporarily store all tags associated with the current system.
std::vector< std::string > _ignore_variables_for_autoscaling
A container for variables that do not partipate in autoscaling.
virtual void subdomainSetup()
void reinitIncrementAtQpsForDampers(THREAD_ID tid, const std::set< MooseVariable * > &damped_vars)
Compute the incremental change in variables at QPs for dampers.
void computeKokkosResidual(const std::set< TagID > &tags)
Compute residual with Kokkos objects.
void setKokkosInitialSolution()
void computeJacobian(libMesh::SparseMatrix< Number > &jacobian, const std::set< TagID > &tags)
Associate jacobian to systemMatrixTag, and then form a matrix for all the tags.
MooseObjectTagWarehouse< ResidualObject > _kokkos_integrated_bcs
NumericVector< Number > & residualVector(TagID tag)
Return a residual vector that is associated with the residual tag.
unsigned int _n_residual_evaluations
Total number of residual evaluations that have been performed.
MooseObjectTagWarehouse< ScalarKernelBase > _scalar_kernels
NumericVector< Number > * _increment_vec
increment vector
bool needInterfaceMaterialOnSide(BoundaryID bnd_id, THREAD_ID tid) const
Indicated whether this system needs material properties on interfaces.
MooseObjectWarehouse< DirichletBCBase > _preset_nodal_bcs
void overwriteNodeFace(NumericVector< Number > &soln)
Called from explicit time stepping to overwrite boundary positions (explicit dynamics).
Real _pre_smo_residual
The pre-SMO residual, see setPreSMOResidual for a detailed explanation.
void updateActive(THREAD_ID tid)
Update active objects of Warehouses owned by NonlinearSystemBase.
NumericVector< Number > * _Re_time
residual vector for time contributions
virtual void setSolutionUDotDotOld(const NumericVector< Number > &u_dotdot_old)
bool computeScaling()
Method used to obtain scaling factors for variables.
std::set< TagID > _nl_matrix_tags
Matrix tags to temporarily store all tags associated with the current system.
void addSplit(const std::string &split_name, const std::string &name, InputParameters &parameters)
Adds a split.
MooseObjectTagWarehouse< DiracKernelBase > _dirac_kernels
Dirac Kernel storage for each thread.
virtual void postAddResidualObject(ResidualObject &)
Called after any ResidualObject-derived objects are added to the system.
bool shouldEvaluatePreSMOResidual() const
We offer the option to check convergence against the pre-SMO residual.
virtual NumericVector< Number > & residualGhosted() override
virtual void preInit() override
This is called prior to the libMesh system has been init'd.
virtual void turnOffJacobian()
Turn off the Jacobian (must be called before equation system initialization)
bool _auto_scaling_initd
Whether we've initialized the automatic scaling data structures.
TagID timeVectorTag() const override
Ideally, we should not need this API.
void computeResidualTags(const std::set< TagID > &tags)
Form multiple tag-associated residual vectors for all the given tags.
virtual void setSolutionUDot(const NumericVector< Number > &udot)
Set transient term used by residual and Jacobian evaluation.
MooseObjectTagWarehouse< NodalKernelBase > _nodal_kernels
NodalKernels for each thread.
void addImplicitGeometricCouplingEntries(GeometricSearchData &geom_search_data)
Adds entries to the Jacobian in the correct positions for couplings coming from dofs being coupled th...
virtual void addNodalKernel(const std::string &kernel_name, const std::string &name, InputParameters &parameters)
Adds a NodalKernel.
MooseObjectWarehouse< ResidualObject > _kokkos_preset_nodal_bcs
void addBoundaryCondition(const std::string &bc_name, const std::string &name, InputParameters &parameters)
Adds a boundary condition.
void computeScalarKernelsJacobians(const std::set< TagID > &tags)
MooseObjectTagWarehouse< NodalBCBase > _nodal_bcs
NumericVector< Number > & getResidualTimeVector()
Return a numeric vector that is associated with the time tag.
void getNodeDofs(dof_id_type node_id, std::vector< dof_id_type > &dofs)
std::vector< std::string > _vecs_to_zero_for_residual
vectors that will be zeroed before a residual computation
virtual void addHDGKernel(const std::string &kernel_name, const std::string &name, InputParameters &parameters)
Adds a hybridized discontinuous Galerkin (HDG) kernel.
bool _doing_dg
true if DG is active (optimization reasons)
void reinitNodeFace(const Node &secondary_node, const BoundaryID secondary_boundary, const PenetrationInfo &info, const bool displaced)
Reinitialize quantities such as variables, residuals, Jacobians, materials for node-face constraints.
void addDiracKernel(const std::string &kernel_name, const std::string &name, InputParameters &parameters)
Adds a Dirac kernel.
std::shared_ptr< Predictor > _predictor
If predictor is active, this is non-NULL.
std::shared_ptr< Split > getSplit(const std::string &name)
Retrieves a split by name.
void computeResidualTag(NumericVector< Number > &residual, TagID tag_id)
Computes residual for a given tag.
void setMatrixOptions(const std::set< TagID > &tags)
Set the PETSc options used for assembling the matrices of the given tags.
void findImplicitGeometricCouplingEntries(GeometricSearchData &geom_search_data, std::unordered_map< dof_id_type, std::vector< dof_id_type > > &graph)
Finds the implicit sparsity graph between geometrically related dofs.
bool _add_implicit_geometric_coupling_entries_to_jacobian
Whether or not to add implicit geometric couplings to the Jacobian for FDP.
virtual bool containsTimeKernel() override
If the system has a kernel that corresponds to a time derivative.
NumericVector< Number > * _residual_ghosted
ghosted form of the residual
void constraintJacobians(const SparseMatrix< Number > &jacobian_to_view, bool displaced)
Add jacobian contributions from Constraints.
void computeResidualAndJacobianInternal(const std::set< TagID > &vector_tags, const std::set< TagID > &matrix_tags)
Compute residual and Jacobian from contributions not related to constraints, such as nodal boundary c...
Real preSMOResidual() const
The pre-SMO residual.
void setInitialResidual(Real r)
Record the initial residual (for later relative convergence check)
std::vector< SetupInterface * > getFVSetupObjects(THREAD_ID tid)
Retrieve every finite volume object belonging to this system on thread tid, as SetupInterfaces,...
MooseObjectTagWarehouse< KernelBase > _kernels
std::vector< bool > _variable_autoscaled
Container to hold flag if variable is to participate in autoscaling.
Real computeDamping(const NumericVector< Number > &solution, const NumericVector< Number > &update)
Compute damping.
bool _has_save_in
If there is any Kernel or IntegratedBC having save_in.
void computeNodalBCsResidual(NumericVector< Number > &residual)
Enforces nodal boundary conditions.
bool _has_diag_save_in
If there is any Kernel or IntegratedBC having diag_save_in.
MooseObjectTagWarehouse< IntegratedBCBase > _integrated_bcs
TagID systemMatrixTag() const override
Return the Matrix Tag ID for System.
virtual libMesh::NonlinearSolver< Number > * nonlinearSolver()=0
virtual NumericVector< Number > & RHS()=0
void reinitIncrementAtNodeForDampers(THREAD_ID tid, const std::set< MooseVariable * > &damped_vars)
Compute the incremental change in variables at nodes for dampers.
bool doingDG() const
Getter for _doing_dg.
virtual void setPreviousNewtonSolution(const NumericVector< Number > &soln)
TagID _Re_time_tag
Tag for time contribution residual.
bool _compute_scaling_once
Whether the scaling factors should only be computed once at the beginning of the simulation through a...
std::unique_ptr< NumericVector< Number > > _residual_copy
Copy of the residual vector, or nullptr if a copy is not needed.
TagID _Re_non_time_tag
Tag for non-time contribution residual.
ConvergenceName _convergence_name
Associated convergence object name.
void addDGKernel(std::string dg_kernel_name, const std::string &name, InputParameters &parameters)
Adds a DG kernel.
void setupScalingData()
Setup group scaling containers.
void computeJacobianBlocks(std::vector< JacobianBlock * > &blocks)
Computes several Jacobian blocks simultaneously, summing their contributions into smaller preconditio...
void setPredictor(std::shared_ptr< Predictor > predictor)
void computeNodalBCsResidualAndJacobian(const std::set< TagID > &vector_tags, const std::set< TagID > &matrix_tags)
Compute the residual and Jacobian together for nodal boundary conditions.
std::vector< unsigned int > _current_l_its
std::vector< std::vector< std::string > > _scaling_group_variables
A container of variable groupings that can be used in scaling calculations.
MooseObjectWarehouseBase< Split > _splits
Decomposition splits.
void enforceNodalConstraintsResidual(NumericVector< Number > &residual)
Enforce nodal constraints.
virtual void computeScalingResidual()=0
Compute a "residual" for automatic scaling purposes.
void addScalarKernel(const std::string &kernel_name, const std::string &name, InputParameters &parameters)
Adds a scalar kernel.
void addImplicitGeometricCouplingEntriesToJacobian(bool add=true)
If called with true this will add entries into the jacobian to link together degrees of freedom that ...
virtual void initialSetup() override
Setup Functions.
void addInterfaceKernel(std::string interface_kernel_name, const std::string &name, InputParameters &parameters)
Adds an interface kernel.
void addDamper(const std::string &damper_name, const std::string &name, InputParameters &parameters)
Adds a damper.
bool _has_nodalbc_save_in
If there is a nodal BC having save_in.
std::unordered_map< unsigned int, unsigned int > _var_to_group_var
A map from variable index to group variable index and it's associated (inverse) scaling factor.
MooseObjectTagWarehouse< ResidualObject > _kokkos_nodal_kernels
bool _use_pre_smo_residual
Whether to use the pre-SMO initial residual in the relative convergence check.
void reinitMortarFunctors()
Update the mortar functors if the mesh has changed.
MooseObjectWarehouse< GeneralDamper > _general_dampers
General Dampers.
MooseObjectTagWarehouse< InterfaceKernelBase > _interface_kernels
virtual void timestepSetup() override
bool hasDiagSaveIn() const
Weather or not the nonlinear system has diagonal Jacobian save-ins.
bool _assemble_constraints_separately
Whether or not to assemble the residual and Jacobian after the application of each constraint.
std::unordered_map< std::pair< BoundaryID, BoundaryID >, ComputeMortarFunctor > _displaced_mortar_functors
Functors for computing displaced mortar constraints.
virtual NumericVector< Number > & residualCopy() override
void computeKokkosJacobian(const std::set< TagID > &tags)
Compute Jacobian with Kokkos objects.
bool needBoundaryMaterialOnSide(BoundaryID bnd_id, THREAD_ID tid) const
Indicated whether this system needs material properties on boundaries.
void mortarConstraints(Moose::ComputeType compute_type, const std::set< TagID > &vector_tags, const std::set< TagID > &matrix_tags)
Do mortar constraint residual/jacobian computations.
TagID _Re_tag
Used for the residual vector from PETSc.
bool _computed_scaling
Flag used to indicate whether we have already computed the scaling Jacobian.
void setPreconditioner(std::shared_ptr< MoosePreconditioner > pc)
Sets a preconditioner.
virtual ~NonlinearSystemBase()
NonlinearSystemBase(FEProblemBase &problem, libMesh::System &sys, const std::string &name)
void computeNodalBCsJacobian(const std::set< TagID > &tags)
Compute the Jacobian for nodal boundary conditions.
void checkKernelCoverage(const std::set< SubdomainID > &mesh_subdomains) const
void computeResidual(NumericVector< Number > &residual, TagID tag_id)
Form a residual vector for a given tag.
std::unordered_map< std::pair< BoundaryID, BoundaryID >, ComputeMortarFunctor > _undisplaced_mortar_functors
Functors for computing undisplaced mortar constraints.
void computeJacobianTags(const std::set< TagID > &tags)
Computes multiple (tag associated) Jacobian matricese.
bool enforceNodalConstraintsJacobian(const SparseMatrix< Number > &jacobian)
Enforce nodal constraints in the Jacobian.
std::unique_ptr< libMesh::DiagonalMatrix< Number > > _scaling_matrix
A diagonal matrix used for computing scaling.
Real _initial_residual
The initial (i.e., 0th nonlinear iteration) residual, see setPreSMOResidual for a detailed explanatio...
virtual void residualSetup() override
NumericVector< Number > * _Re_non_time
residual vector for non-time contributions
bool _off_diagonals_in_auto_scaling
Whether to include off diagonals when determining automatic scaling factors.
virtual void customSetup(const ExecFlagType &exec_type) override
void constraintResiduals(NumericVector< Number > &residual, bool displaced)
Add residual contributions from Constraints.
virtual void setSolutionUDotOld(const NumericVector< Number > &u_dot_old)
virtual libMesh::System & system() override
Get the reference to the libMesh system.
void computeJacobianInternal(const std::set< TagID > &tags)
Form multiple matrices for all the tags.
void computeResidualInternal(const std::set< TagID > &tags)
Compute the residual for a given tag.
TagID _Ke_system_tag
Tag for system contribution Jacobian.
MooseObjectTagWarehouse< DGKernelBase > _dg_kernels
void setConstraintSecondaryValues(NumericVector< Number > &solution, bool displaced)
Sets the value of constrained variables in the solution vector.
bool needInternalNeighborSideMaterial(SubdomainID subdomain_id, THREAD_ID tid) const
Indicates whether this system needs material properties on internal sides.
void setupDM()
Setup the PETSc DM object (when appropriate)
void setupDampers()
Setup damping stuff (called before we actually start)
const bool & usePreSMOResidual() const
Whether we are using pre-SMO residual in relative convergence checks.
void computeKokkosNodalBCsResidual(const std::set< TagID > &tags)
Compute Kokkos nodal BCs.
FieldSplitPreconditionerBase * _fsp
The field split preconditioner if this sytem is using one.
virtual void setSolutionUDotDot(const NumericVector< Number > &udotdot)
Set transient term used by residual and Jacobian evaluation.
virtual void addKernel(const std::string &kernel_name, const std::string &name, InputParameters &parameters)
Adds a kernel.
bool hasSaveIn() const
Weather or not the nonlinear system has save-ins.
void computeResidualAndJacobianTags(const std::set< TagID > &vector_tags, const std::set< TagID > &matrix_tags)
Form possibly multiple tag-associated vectors and matrices.
ConstraintWarehouse _constraints
Constraints storage object.
MooseObjectTagWarehouse< HDGKernel > _hybridized_kernels
bool _has_nodalbc_diag_save_in
If there is a nodal BC having diag_save_in.
void destroyColoring()
Destroy the coloring object if it exists.
std::shared_ptr< MoosePreconditioner > _preconditioner
Preconditioner.
TagID residualVectorTag() const override
Real initialResidual() const
The initial residual.
Data structure used to hold penetration information.
std::map< dof_id_type, PenetrationInfo * > & _penetration_info
Data structure of nodes and their associated penetration information.
NearestNodeLocator & _nearest_node
Interface for objects interacting with the PerfGraph.
Base class shared by AD and non-AD scalar kernels.
void accumulateIterationIntoTimeStepOccurences()
Pass the number of solution invalid occurrences from current iteration to cumulative counters.
void syncIteration()
Sync iteration counts to main processor Sum across all processors.
virtual void preInit() override
This is called prior to the libMesh system has been init'd.
virtual bool matrixFromColoring() const
Whether a system matrix is formed from coloring.
Base class for split-based preconditioners.
Definition Split.h:26
virtual TagName vectorTagName(const TagID tag) const
Retrieve the name associated with a TagID.
Definition SubProblem.C:213
virtual void reinitElemPhys(const Elem *elem, const std::vector< Point > &phys_points_in_elem, const THREAD_ID tid)=0
std::vector< VectorTag > getVectorTags(const std::set< TagID > &tag_ids) const
Definition SubProblem.C:164
virtual unsigned int numMatrixTags() const
The total number of tags.
Definition SubProblem.h:251
bool defaultGhosting()
Whether or not the user has requested default ghosting ot be on.
Definition SubProblem.h:147
virtual unsigned int numVectorTags(const Moose::VectorTagType type=Moose::VECTOR_TAG_ANY) const
The total number of tags, which can be limited to the tag type.
Definition SubProblem.C:187
virtual Assembly & assembly(const THREAD_ID tid, const unsigned int sys_num)=0
virtual TagID addVectorTag(const TagName &tag_name, const Moose::VectorTagType type=Moose::VECTOR_TAG_RESIDUAL)
Create a Tag.
Definition SubProblem.C:84
virtual void reinitNeighborPhys(const Elem *neighbor, unsigned int neighbor_side, const std::vector< Point > &physical_points, const THREAD_ID tid)=0
virtual TagID addMatrixTag(TagName tag_name)
Create a Tag.
Definition SubProblem.C:303
virtual std::map< TagName, TagID > & getMatrixTags()
Return all matrix tags in the system, where a tag is represented by a map from name to ID.
Definition SubProblem.h:256
virtual GeometricSearchData & geomSearchData()=0
void zeroTaggedVectors(const std::set< TagID > &tags)
Zero all vectors for given tags.
Definition SystemBase.C:695
NumericVector< Number > * _u_dot
solution vector for u^dot
virtual libMesh::SparseMatrix< Number > & getMatrix(TagID tag)
Get a raw SparseMatrix.
MooseApp & _app
virtual void deactivateAllMatrixTags()
Make matrices inactive.
FEProblemBase & _fe_problem
the governing finite element/volume problem
const std::set< SubdomainID > & getSubdomainsForVar(unsigned int var_number) const
Definition SystemBase.h:794
virtual void subdomainSetup()
std::vector< std::shared_ptr< TimeIntegrator > > _time_integrators
Time integrator.
bool hasVector(const std::string &tag_name) const
Check if the named vector exists in the system.
Definition SystemBase.C:924
NumericVector< Number > * _u_dotdot
solution vector for u^dotdot
virtual unsigned int nVariables() const
Get the number of variables in this system.
Definition SystemBase.C:891
MooseVariableFieldBase & getVariable(THREAD_ID tid, const std::string &var_name) const
Gets a reference to a variable of with specified name.
Definition SystemBase.C:92
unsigned int number() const
Gets the number of this system.
Factory & _factory
virtual void activateAllMatrixTags()
Make all existing matrices active.
const std::vector< VariableName > & getVariableNames() const
Definition SystemBase.h:893
virtual NumericVector< Number > & getVector(const std::string &name)
Get a raw NumericVector by name.
Definition SystemBase.C:933
virtual void customSetup(const ExecFlagType &exec_type)
NumericVector< Number > & solutionOld()
Definition SystemBase.h:216
virtual void disassociateMatrixFromTag(libMesh::SparseMatrix< Number > &matrix, TagID tag)
Disassociate a matrix from a tag.
SubProblem & subproblem()
Definition SystemBase.h:102
virtual void initialSetup()
Setup Functions.
virtual void timestepSetup()
virtual void associateVectorToTag(NumericVector< Number > &vec, TagID tag)
Associate a vector for a given tag.
Definition SystemBase.C:981
virtual void jacobianSetup()
virtual void residualSetup()
virtual void disassociateVectorFromTag(NumericVector< Number > &vec, TagID tag)
Disassociate a given vector from a given tag.
Definition SystemBase.C:993
void closeTaggedVectors(const std::set< TagID > &tags)
Close all vectors for given tags.
Definition SystemBase.C:669
virtual MooseVariableScalar & getScalarVariable(THREAD_ID tid, const std::string &var_name) const
Gets a reference to a scalar variable with specified number.
Definition SystemBase.C:147
virtual bool hasScalarVariable(const std::string &var_name) const
Definition SystemBase.C:876
std::vector< VariableWarehouse > _vars
Variable warehouses (one for each thread)
THREAD_ID numThreads() const
Definition SystemBase.C:89
virtual bool hasVariable(const std::string &var_name) const
Query a system for a variable.
Definition SystemBase.C:851
void closeTaggedMatrices(const std::set< TagID > &tags)
Close all matrices associated the tags.
SubProblem & _subproblem
The subproblem for whom this class holds variable data, etc; this can either be the governing finite ...
void applyScalingFactors(const std::vector< Real > &inverse_scaling_factors)
Applies scaling factors to the system's variables.
virtual void associateMatrixToTag(libMesh::SparseMatrix< Number > &matrix, TagID tag)
Associate a matrix to a tag.
NumericVector< Number > * _u_dotdot_old
old solution vector for u^dotdot
virtual const std::string & name() const
virtual bool hasMatrix(TagID tag) const
Check if the tagged matrix exists in the system.
Definition SystemBase.h:391
const VariableWarehouse & variableWarehouse(THREAD_ID tid=0) const
Definition SystemBase.h:787
virtual libMesh::DofMap & dofMap()
Gets writeable reference to the dof map.
NumericVector< Number > & solution()
Definition SystemBase.h:215
NumericVector< Number > * _u_dot_old
old solution vector for u^dot
bool _automatic_scaling
Whether to automatically scale the variables.
NumericVector< Number > & addVector(const std::string &vector_name, const bool project, const libMesh::ParallelType type)
Adds a solution length vector to the system.
Definition SystemBase.C:608
void update()
Update the system (doing libMesh magic)
MooseMesh & _mesh
void max(const T &r, T &o, Request &req) const
void min(const T &r, T &o, Request &req) const
void allgather(const T &send_data, std::vector< T, A > &recv_data) const
QueryCache & condition(Args &&... args)
Adds a new condition to the query.
std::vector< T * > & queryInto(std::vector< T * > &results, Args &&... args)
queryInto executes the query and stores the results in the given vector.
TheWarehouse is a container for MooseObjects that allows querying/filtering over various customizeabl...
Query query()
query creates and returns an initialized a query object for querying objects from the warehouse.
void add(std::shared_ptr< MooseObject > obj)
add adds a new object to the warehouse and stores attributes/metadata about it for running queries/fi...
const std::vector< MooseVariableFieldBase * > & fieldVariables() const
Get the list of variables.
dof_id_type first_dof(const processor_id_type proc) const
dof_id_type end_dof(const processor_id_type proc) const
dof_id_type n_local_dofs(const unsigned int vn) const
void dof_indices(const Elem *const elem, std::vector< dof_id_type > &di) const
void remove_algebraic_ghosting_functor(GhostingFunctor &evaluable_functor)
void full_sparsity_pattern_needed()
dof_id_type n_dofs(const unsigned int vn) const
ParallelType type() const
virtual void close()=0
virtual void localize(std::vector< T > &v_local) const=0
const Parallel::Communicator & _communicator
processor_id_type processor_id() const
const Parallel::Communicator & comm() const
bool empty() const
bool identify_variable_groups() const
dof_id_type n_dofs() const
const FEType & variable_type(const unsigned int i) const
NumericVector< Number > & add_vector(std::string_view vec_name, const bool projections=true, const ParallelType type=PARALLEL)
std::unique_ptr< NumericVector< Number > > solution
void set_basic_system_only()
virtual void update()
unsigned int n_vars() const
const DofMap & get_dof_map() const
unsigned int number() const
void appendFVSetupObjects(TheWarehouse &warehouse, const std::string &system_name, const unsigned int system_number, const THREAD_ID tid, std::vector< SetupInterface * > &results)
MOOSE now contains C++17 code, so give a reasonable error message stating what the user can do to add...
ComputeType
The type of nonlinear computation being performed.
Definition MooseTypes.h:835
@ ST_LINEAR
Solving a linear problem.
Definition MooseTypes.h:902
@ VECTOR_TAG_RESIDUAL
const TagName PREVIOUS_NL_SOLUTION_TAG
Definition MooseTypes.C:28
@ COUPLING_DIAG
Definition MooseTypes.h:786
@ COUPLING_CUSTOM
Definition MooseTypes.h:788
@ VAR_SOLVER
Definition MooseTypes.h:770
static void sort_row(const BidirectionalIterator begin, BidirectionalIterator middle, const BidirectionalIterator end)
std::vector< dof_id_type, Threads::scalable_allocator< dof_id_type > > Row
spin_mutex spin_mtx
void parallel_reduce(const Range &range, Body &body, unsigned int n_threads=libMesh::n_threads())