| | | | | | | requested parallelism | walltime sum (s) | nb instances | any sync average per thread time (s) | any wait average per thread time (s) | parallelism overhead (%) | local speedup if perfectly balanced | global speedup if perfectly balanced |
start addr | function name | source location | level | ancestor thread num | invoker | parallel or teams | 2x1 | 2x2 | 2x4 | 2x8 | 2x16 | 2x32 | 2x64 | 2x96 | 2x1 | 2x2 | 2x4 | 2x8 | 2x16 | 2x32 | 2x64 | 2x96 | 2x1 | 2x2 | 2x4 | 2x8 | 2x16 | 2x32 | 2x64 | 2x96 | 2x1 | 2x2 | 2x4 | 2x8 | 2x16 | 2x32 | 2x64 | 2x96 | 2x1 | 2x2 | 2x4 | 2x8 | 2x16 | 2x32 | 2x64 | 2x96 | 2x1 | 2x2 | 2x4 | 2x8 | 2x16 | 2x32 | 2x64 | 2x96 | 2x1 | 2x2 | 2x4 | 2x8 | 2x16 | 2x32 | 2x64 | 2x96 | 2x1 | 2x2 | 2x4 | 2x8 | 2x16 | 2x32 | 2x64 | 2x96 |
libkripke.so:0x5e60c | Kripke::Kernel::scattering(Kripke::Core::DataStore&) | new_allocator.h:116 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 32 | 64 | 96 | 1.01 E3 | 508.493 | 255.170 | 128.362 | 64.624 | 32.659 | 16.823 | 12.842 | 40.0 | 40.0 | 40.0 | 40.0 | 40.0 | 40.0 | 40.0 | 40.0 | 0.0 | 0.857 | 0.986 | 1.190 | 1.039 | 0.842 | 0.508 | 0.489 | 0.0 | 0.857 | 0.986 | 1.190 | 1.039 | 0.842 | 0.508 | 0.489 | 0 | 0.17 | 0.39 | 0.93 | 1.60 | 2.57 | 3.02 | 3.81 | 1.000 | 1.002 | 1.004 | 1.009 | 1.016 | 1.026 | 1.031 | 1.040 | 1.000 | 1.002 | 1.004 | 1.008 | 1.014 | 1.022 | 1.018 | 1.021 |
libkripke.so:0x50818 | Kripke::Kernel::LTimes(Kripke::Core::DataStore&) | new_allocator.h:116 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 32 | 64 | 96 | 24.758 | 15.061 | 8.733 | 4.557 | 2.916 | 2.386 | 3.985 | 2.652 | 160 | 160 | 160 | 160 | 160 | 160 | 160 | 160 | 0.0 | 0.239 | 0.967 | 0.478 | 0.410 | 0.524 | 1.218 | 0.643 | 0.0 | 0.239 | 0.967 | 0.478 | 0.410 | 0.524 | 1.218 | 0.643 | 0 | 1.47 | 11.1 | 10.5 | 14.0 | 21.9 | 31.6 | 24.4 | 1.000 | 1.015 | 1.125 | 1.117 | 1.163 | 1.281 | 1.462 | 1.322 | 1.000 | 1.000 | 1.003 | 1.003 | 1.006 | 1.013 | 1.047 | 1.027 |
libkripke.so:0x68eb0 | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(... | new_allocator.h:116 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 32 | 64 | 96 | 18.793 | 10.017 | 5.395 | 2.751 | 1.433 | 0.775 | 0.558 | 0.572 | 160 | 160 | 160 | 160 | 160 | 160 | 160 | 160 | 0.0 | 0.287 | 0.342 | 0.194 | 0.129 | 88.9 E-3 | 90.3 E-3 | 0.124 | 0.0 | 0.287 | 0.342 | 0.194 | 0.129 | 88.9 E-3 | 90.3 E-3 | 0.124 | 0 | 2.74 | 6.34 | 7.04 | 9.02 | 11.5 | 16.1 | 21.8 | 1.000 | 1.028 | 1.068 | 1.076 | 1.099 | 1.130 | 1.192 | 1.279 | 1.000 | 1.000 | 1.001 | 1.001 | 1.002 | 1.002 | 1.003 | 1.005 |
libkripke.so:0x49544 | Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&) | new_allocator.h:116 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 32 | 64 | 96 | 16.789 | 11.201 | 6.105 | 3.209 | 2.212 | 2.146 | 3.054 | 4.467 | 160 | 160 | 160 | 160 | 160 | 160 | 160 | 160 | 0.0 | 0.493 | 0.376 | 0.250 | 0.287 | 0.384 | 0.745 | 1.277 | 0.0 | 0.493 | 0.376 | 0.250 | 0.287 | 0.384 | 0.745 | 1.277 | 0 | 4.36 | 6.16 | 7.80 | 13.0 | 17.6 | 23.7 | 30.2 | 1.000 | 1.046 | 1.066 | 1.085 | 1.149 | 1.214 | 1.311 | 1.433 | 1.000 | 1.001 | 1.001 | 1.002 | 1.004 | 1.010 | 1.027 | 1.059 |
libkripke.so:0x56930 | Kripke::Kernel::population(Kripke::Core::DataStore&) | new_allocator.h:116 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 32 | 64 | 96 | 1.655 | 0.830 | 0.417 | 0.210 | 0.108 | 64.0 E-3 | 0.111 | 66.0 E-3 | 160 | 160 | 160 | 160 | 160 | 160 | 160 | 160 | 0.0 | 1.51 E-3 | 1.97 E-3 | 2.00 E-3 | 2.89 E-3 | 5.91 E-3 | 29.1 E-3 | 11.4 E-3 | 0.0 | 1.50 E-3 | 1.95 E-3 | 1.99 E-3 | 2.88 E-3 | 5.88 E-3 | 29.1 E-3 | 11.4 E-3 | 0 | 0.18 | 0.47 | 0.95 | 2.68 | 9.06 | 24.3 | 16.9 | 1.000 | 1.002 | 1.005 | 1.010 | 1.028 | 1.100 | 1.321 | 1.203 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.001 | 1.000 |
libkripke.so:0x64bfd | Kripke::Kernel::source(Kripke::Core::DataStore&) | new_allocator.h:116 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 32 | 64 | 96 | 44.5 E-3 | 23.0 E-3 | 12.4 E-3 | 6.71 E-3 | 3.49 E-3 | 2.18 E-3 | 1.56 E-3 | 1.39 E-3 | 20.0 | 20.0 | 20.0 | 20.0 | 20.0 | 20.0 | 20.0 | 20.0 | 0.0 | 377 E-6 | 644 E-6 | 555 E-6 | 361 E-6 | 430 E-6 | 449 E-6 | 432 E-6 | 0.0 | 375 E-6 | 639 E-6 | 553 E-6 | 359 E-6 | 417 E-6 | 411 E-6 | 386 E-6 | 0 | 1.59 | 5.18 | 8.25 | 10.3 | 18.8 | 28.7 | 29.8 | 1.000 | 1.016 | 1.055 | 1.090 | 1.115 | 1.231 | 1.403 | 1.425 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 |
exec:0x205643 | main | kripke.cpp:276 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 32 | 64 | 96 | 3.75 E-6 | 217 E-6 | 355 E-6 | 791 E-6 | 1.55 E-3 | 3.12 E-3 | 5.80 E-3 | 9.20 E-3 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 0.0 | 62.2 E-6 | 43.7 E-6 | 26.5 E-6 | 24.4 E-6 | 39.8 E-6 | 51.8 E-6 | 57.4 E-6 | 0.0 | 62.1 E-6 | 43.6 E-6 | 26.4 E-6 | 24.3 E-6 | 39.7 E-6 | 51.7 E-6 | 57.3 E-6 | 0 | 28.7 | 12.3 | 3.35 | 1.58 | 1.28 | 0.89 | 0.62 | 1.000 | 1.402 | 1.140 | 1.035 | 1.016 | 1.013 | 1.009 | 1.006 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 |