| | | | | | | 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 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 |
kripke_aocc_v2:0x5fa52 | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 252.318 | 126.520 | 63.595 | 33.035 | 19.774 | 16.199 | 40.0 | 40.0 | 40.0 | 40.0 | 40.0 | 40.0 | 0.0 | 0.260 | 0.201 | 0.173 | 0.211 | 0.174 | 0.0 | 0.260 | 0.201 | 0.173 | 0.211 | 0.174 | 0 | 0.21 | 0.32 | 0.52 | 1.06 | 1.07 | 1.000 | 1.002 | 1.003 | 1.005 | 1.011 | 1.011 | 1.000 | 1.002 | 1.003 | 1.005 | 1.009 | 1.009 |
kripke_aocc_v2:0x574ec | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 7.698 | 4.047 | 2.111 | 1.130 | 0.821 | 0.572 | 160 | 160 | 160 | 160 | 160 | 160 | 0.0 | 21.7 E-3 | 74.3 E-3 | 44.1 E-3 | 83.1 E-3 | 65.7 E-3 | 0.0 | 21.6 E-3 | 74.3 E-3 | 44.0 E-3 | 83.1 E-3 | 65.7 E-3 | 0 | 0.54 | 3.52 | 3.90 | 10.1 | 11.5 | 1.000 | 1.005 | 1.036 | 1.041 | 1.113 | 1.130 | 1.000 | 1.000 | 1.001 | 1.001 | 1.004 | 1.004 |
kripke_aocc_v2:0x6beec | void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 5.392 | 2.897 | 1.577 | 1.042 | 0.935 | 0.552 | 160 | 160 | 160 | 160 | 160 | 160 | 0.0 | 42.1 E-3 | 39.1 E-3 | 57.9 E-3 | 0.112 | 44.0 E-3 | 0.0 | 42.1 E-3 | 39.1 E-3 | 57.9 E-3 | 0.112 | 44.0 E-3 | 0 | 1.45 | 2.48 | 5.56 | 12.0 | 7.98 | 1.000 | 1.015 | 1.025 | 1.059 | 1.137 | 1.087 | 1.000 | 1.000 | 1.001 | 1.002 | 1.005 | 1.002 |
kripke_aocc_v2:0x9a5a3 | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 4.636 | 2.400 | 1.226 | 0.630 | 0.345 | 0.272 | 160 | 160 | 160 | 160 | 160 | 160 | 0.0 | 33.8 E-3 | 28.3 E-3 | 27.1 E-3 | 19.9 E-3 | 14.5 E-3 | 0.0 | 33.8 E-3 | 28.3 E-3 | 27.1 E-3 | 19.8 E-3 | 14.5 E-3 | 0 | 1.41 | 2.31 | 4.30 | 5.75 | 5.33 | 1.000 | 1.014 | 1.024 | 1.045 | 1.061 | 1.056 | 1.000 | 1.000 | 1.000 | 1.001 | 1.001 | 1.001 |
kripke_aocc_v2:0x7157f | void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::... | Collapse.hpp:74 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 0.336 | 0.169 | 85.3 E-3 | 52.6 E-3 | 55.3 E-3 | 51.3 E-3 | 160 | 160 | 160 | 160 | 160 | 160 | 0.0 | 506 E-6 | 525 E-6 | 3.41 E-3 | 5.52 E-3 | 1.35 E-3 | 0.0 | 496 E-6 | 515 E-6 | 3.40 E-3 | 5.51 E-3 | 1.34 E-3 | 0 | 0.30 | 0.61 | 6.47 | 9.97 | 2.62 | 1.000 | 1.003 | 1.006 | 1.069 | 1.111 | 1.027 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 |
kripke_aocc_v2:0x65188 | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 12.5 E-3 | 6.82 E-3 | 3.42 E-3 | 1.86 E-3 | 1.07 E-3 | 748 E-6 | 20.0 | 20.0 | 20.0 | 20.0 | 20.0 | 20.0 | 0.0 | 236 E-6 | 142 E-6 | 125 E-6 | 96.4 E-6 | 53.1 E-6 | 0.0 | 235 E-6 | 140 E-6 | 124 E-6 | 94.7 E-6 | 51.4 E-6 | 0 | 3.46 | 4.13 | 6.61 | 8.98 | 7.08 | 1.000 | 1.036 | 1.043 | 1.071 | 1.099 | 1.076 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 |
kripke_aocc_v2:0x1c834 | main | kripke.cpp:284 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 9.03 E-6 | 731 E-6 | 438 E-6 | 1.18 E-3 | 1.95 E-3 | 4.23 E-3 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 0.0 | 546 E-6 | 45.3 E-6 | 36.5 E-6 | 39.7 E-6 | 1.14 E-3 | 0.0 | 546 E-6 | 45.1 E-6 | 36.2 E-6 | 39.4 E-6 | 1.14 E-3 | 0 | 74.7 | 10.3 | 3.09 | 2.04 | 26.9 | 1.000 | 3.956 | 1.115 | 1.032 | 1.021 | 1.367 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 |