options

Profiling node skylake - process 648595 - thread 648595

NameModuleCoverage (%)Time (s)
void Kripke::DispatchHelper::operator()+exec71.5733.69
Loop 1245 - forall.hpp:59-59 - exec+19.649.25
Loop 1246 - forall.hpp:59-59 - exec+19.649.25
Loop 1247 - Scattering.cpp:82-97 - exec+19.649.25
Loop 1248 - IndexValue.hpp:217-217 - exec19.649.25
void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const [clone .extracted]+exec10.615
Loop 1396 - forall.hpp:59-59 - exec+10.394.89
Loop 1397 - forall.hpp:59-59 - exec+10.394.89
Loop 1398 - forall.hpp:59-59 - exec+10.394.89
Loop 1399 - forall.hpp:59-59 - exec10.394.89
void Kripke::DispatchHelper::operator()+exec8.223.87
Loop 1048 - forall.hpp:59-59 - exec+8.213.87
Loop 1051 - forall.hpp:59-59 - exec+8.213.87
Loop 1052 - forall.hpp:59-59 - exec8.213.87
void LPlusTimesSdom::operator() >(Kripke::ArchLayoutT, Kripke::SdomId, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, K...+exec7.933.74
Loop 936 - forall.hpp:59-59 - exec+7.923.73
Loop 939 - forall.hpp:59-59 - exec+7.923.73
Loop 940 - forall.hpp:59-59 - exec7.923.73
Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool)+exec0.860.4
Loop 828 - SteadyStateSolver.cpp:44-102 - exec+0.820.39
Loop 831 - Registry.hpp:81-83 - exec+0.520.25
Loop 835 - forall.hpp:59-59 - exec0.520.25
Loop 837 - Registry.hpp:81-83 - exec+0.150.07
Loop 841 - forall.hpp:59-59 - exec0.150.07
Loop 843 - Registry.hpp:81-83 - exec+0.150.07
Loop 847 - forall.hpp:59-59 - exec0.150.07
Loop 849 - Registry.hpp:81-83 - exec+0.040.02
Loop 853 - forall.hpp:59-59 - exec0.040.02
void PopulationSdom::operator() >(Kripke::ArchLayoutT, Kripke::SdomId, Kripke::Core::Set const&, Kripke::Core::Set const&, Kripke::Core::Set const&, K...+exec0.460.22
Loop 1164 - Collapse.hpp:81-83 - exec+0.450.21
Loop 1165 - forall.hpp:59-59 - exec0.450.21
Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector >, bool)+exec0.190.09
Loop 860 - new_allocator.h:168-168 - exec+0.090.04
Loop 872 - forall.hpp:59-59 - exec0.040.02
Loop 866 - forall.hpp:59-59 - exec0.030.01
Loop 877 - forall.hpp:59-59 - exec0.020.01
Loop 880 - Registry.hpp:81-83 - exec+0.040.02
Loop 884 - forall.hpp:59-59 - exec0.040.02
Loop 892 - Registry.hpp:81-83 - exec+0.040.02
Loop 896 - forall.hpp:59-59 - exec0.040.02
Loop 886 - Registry.hpp:81-83 - exec+0.010
Loop 890 - forall.hpp:59-59 - exec0.010
unknown_kernel_regionkernel0.040.02
inflate_fastlibmpi.so.12.0.00.020.01
void Kripke::DispatchHelper::operator()&, Kripke::Core::Field+exec0.020.01
Loop 1343 - IndexValue.hpp:252-252 - exec0.020.01
__kmpc_end_serialized_parallellibiomp5.so0.010
Kripke::SweepComm::markComplete(Kripke::SdomId)+exec0.010
Loop 1790 - stl_tree.h:782-1952 - exec0.010
void Kripke::DispatchHelper::operator()(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) constexec0.010
parse_printf_formatlibc.so.60.010
Kripke::Generate::generateSpace(Kripke::Core::DataStore&, InputVariables const&)+exec0.010
Loop 567 - Space.cpp:340-358 - exec+0.010
Loop 568 - Registry.hpp:81-83 - exec+0.010
Loop 570 - forall.hpp:60-60 - exec0.010
_dl_debug_stateld-linux-x86-64.so.20.010
×