| | | | | | | 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.073 | 126.429 | 63.557 | 33.036 | 19.895 | 16.588 | 40.0 | 40.0 | 40.0 | 40.0 | 40.0 | 40.0 | 0.0 | 0.233 | 0.206 | 0.213 | 0.248 | 0.252 | 0.0 | 0.233 | 0.206 | 0.213 | 0.248 | 0.252 | 0 | 0.18 | 0.33 | 0.64 | 1.25 | 1.52 | 1.000 | 1.002 | 1.003 | 1.006 | 1.013 | 1.015 | 1.000 | 1.002 | 1.003 | 1.006 | 1.011 | 1.014 |
| 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.668 | 4.037 | 2.103 | 1.123 | 0.816 | 0.570 | 160 | 160 | 160 | 160 | 160 | 160 | 0.0 | 23.9 E-3 | 74.5 E-3 | 43.7 E-3 | 82.9 E-3 | 63.9 E-3 | 0.0 | 23.9 E-3 | 74.5 E-3 | 43.7 E-3 | 82.9 E-3 | 63.9 E-3 | 0 | 0.59 | 3.54 | 3.89 | 10.2 | 11.2 | 1.000 | 1.006 | 1.037 | 1.040 | 1.113 | 1.126 | 1.000 | 1.000 | 1.001 | 1.001 | 1.004 | 1.003 |
| kripke_aocc_v2:0x6beec | void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 5.357 | 2.879 | 1.556 | 1.039 | 0.919 | 0.563 | 160 | 160 | 160 | 160 | 160 | 160 | 0.0 | 38.4 E-3 | 32.7 E-3 | 59.9 E-3 | 0.111 | 46.3 E-3 | 0.0 | 38.4 E-3 | 32.7 E-3 | 59.9 E-3 | 0.111 | 46.3 E-3 | 0 | 1.33 | 2.10 | 5.77 | 12.1 | 8.23 | 1.000 | 1.014 | 1.021 | 1.061 | 1.137 | 1.090 | 1.000 | 1.000 | 1.000 | 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.605 | 2.394 | 1.223 | 0.628 | 0.344 | 0.268 | 160 | 160 | 160 | 160 | 160 | 160 | 0.0 | 34.6 E-3 | 30.9 E-3 | 25.5 E-3 | 22.2 E-3 | 14.1 E-3 | 0.0 | 34.6 E-3 | 30.9 E-3 | 25.5 E-3 | 22.2 E-3 | 14.1 E-3 | 0 | 1.44 | 2.53 | 4.05 | 6.44 | 5.26 | 1.000 | 1.015 | 1.026 | 1.042 | 1.069 | 1.055 | 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.7 E-3 | 53.0 E-3 | 54.8 E-3 | 51.5 E-3 | 160 | 160 | 160 | 160 | 160 | 160 | 0.0 | 414 E-6 | 826 E-6 | 3.76 E-3 | 5.00 E-3 | 1.55 E-3 | 0.0 | 404 E-6 | 816 E-6 | 3.75 E-3 | 4.99 E-3 | 1.54 E-3 | 0 | 0.24 | 0.96 | 7.07 | 9.14 | 3.00 | 1.000 | 1.002 | 1.010 | 1.076 | 1.101 | 1.031 | 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.71 E-3 | 3.41 E-3 | 1.82 E-3 | 1.06 E-3 | 767 E-6 | 20.0 | 20.0 | 20.0 | 20.0 | 20.0 | 20.0 | 0.0 | 205 E-6 | 129 E-6 | 118 E-6 | 92.0 E-6 | 59.1 E-6 | 0.0 | 204 E-6 | 127 E-6 | 116 E-6 | 90.2 E-6 | 57.4 E-6 | 0 | 3.04 | 3.77 | 6.47 | 8.67 | 7.76 | 1.000 | 1.031 | 1.039 | 1.069 | 1.095 | 1.084 | 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 | 6.08 E-6 | 168 E-6 | 269 E-6 | 626 E-6 | 1.40 E-3 | 3.25 E-3 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 0.0 | 52.7 E-6 | 42.1 E-6 | 31.9 E-6 | 40.0 E-6 | 1.15 E-3 | 0.0 | 52.5 E-6 | 41.9 E-6 | 31.7 E-6 | 39.7 E-6 | 1.15 E-3 | 0 | 31.3 | 15.7 | 5.10 | 2.85 | 35.4 | 1.000 | 1.456 | 1.186 | 1.054 | 1.029 | 1.549 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 |
