Markus Mäkelä 8ed192892a
Make worker-local data lookups faster ...
By using a std::vector to store the keys, the cost of key lookup goes down
in comparison with std::unordered_map. The downside is the increase in
memory use in certain situations but given the fact that the intended
purpose of worker-local data is to store global data, this is unlikely to
have observable negative side-effects. Depending on the implementations of
std::vector and std::unordered_map, the use of std::vector could even
result in a smaller memory footprint.
2019-03-21 18:19:10 +02:00
2019-03-07 16:21:03 +02:00
2018-12-04 11:50:43 +02:00
2019-01-07 10:54:42 +02:00
2019-01-17 12:37:40 +02:00
2019-02-01 13:55:54 +02:00
2019-03-18 13:18:52 +02:00
2018-12-10 12:58:17 +02:00
2018-09-09 22:26:19 +03:00
2018-09-09 22:26:19 +03:00
2017-02-20 17:44:22 +02:00
2019-03-04 12:27:36 +02:00
2018-12-10 12:58:17 +02:00
2019-01-17 12:37:40 +02:00
2018-09-09 22:26:19 +03:00
2018-09-09 22:26:19 +03:00
2019-01-15 14:10:55 +02:00
2019-03-04 08:48:32 +02:00
2019-01-08 16:01:36 +02:00
2018-09-09 22:26:19 +03:00
2018-09-09 22:26:19 +03:00
2018-10-31 10:19:40 +02:00
2018-10-03 08:41:43 +03:00
2019-02-18 11:34:15 +02:00
2019-02-15 11:08:14 +02:00
2019-01-08 16:01:36 +02:00
2018-09-09 22:26:19 +03:00
2018-09-09 22:26:19 +03:00
2018-09-09 22:26:19 +03:00
2019-02-14 10:57:55 +02:00
2019-03-15 12:57:35 +02:00
2018-12-04 11:50:43 +02:00
2019-03-20 10:40:45 +02:00
2018-09-09 22:26:19 +03:00
2019-01-14 10:43:17 +02:00
2018-08-07 08:40:28 +03:00
2018-09-09 22:26:19 +03:00
2019-03-04 12:27:36 +02:00
2018-12-04 14:51:02 +02:00
2019-01-15 17:26:26 +02:00
2019-01-15 18:18:39 +02:00
2019-02-01 13:55:54 +02:00
2018-09-09 22:26:19 +03:00
2018-10-04 17:53:57 +03:00
2018-12-04 11:50:43 +02:00
2019-02-07 10:50:27 +02:00
2018-09-09 22:26:19 +03:00
2019-03-21 18:19:10 +02:00
2018-09-09 22:26:19 +03:00
2019-03-18 13:12:59 +02:00
2019-02-22 16:53:17 +02:00
2018-09-26 09:43:25 +03:00
2019-01-07 10:54:42 +02:00
2019-01-17 12:37:40 +02:00
2018-09-09 22:26:19 +03:00
2019-01-15 17:26:26 +02:00
2018-09-18 15:21:53 +03:00
2018-12-04 11:50:43 +02:00
2018-12-10 12:50:07 +02:00
2019-01-17 12:37:40 +02:00
2017-03-09 10:01:38 +02:00
8ed192892a