Andrew Kelley
8b82c40104
stage1: reimplement HashMap
...
The indexes are stored separately using an array of
uint8_t, uint16_t, uint32_t, or size_t, depending on the number of
entries in the map.
Entries only contain a key and a value, no longer have
distance_from_start_index or is_used.
In theory this should be both faster and use less memory.
In practice it seems to have little to no effect. For the standard
library tests, vs master branch, the time had no discernable
difference, and it shaved off only 13 MiB of peak rss usage.
2020-07-02 04:53:26 +00:00
..
2020-06-24 14:07:39 +03:00
2020-06-24 15:21:58 -04:00
2020-06-18 21:25:03 -04:00
2020-05-05 05:17:34 -06:00
2019-04-25 00:06:54 -04:00
2019-04-04 22:07:15 -04:00
2019-04-04 22:07:15 -04:00
2020-05-11 14:06:37 +02:00
2019-12-16 11:09:10 -05:00
2018-09-05 23:23:11 -04:00
2018-09-11 17:29:18 -04:00
2019-09-22 15:58:57 -04:00
2020-04-01 16:01:06 -04:00
2020-04-01 10:36:38 -04:00
2020-04-01 10:36:38 -04:00
2020-06-22 23:22:17 -04:00
2020-02-28 14:51:56 -05:00
2020-04-01 16:01:06 -04:00
2020-04-01 16:01:06 -04:00
2020-02-04 03:39:40 -05:00
2020-06-01 14:50:05 +03:00
2019-10-04 20:18:06 -04:00
2020-02-10 21:08:08 -05:00
2016-09-19 11:54:01 -04:00
2020-04-06 21:51:57 -06:00
2020-02-16 19:16:08 -05:00
2020-04-19 06:46:33 -04:00
2020-02-28 14:51:56 -05:00
2020-07-02 04:53:26 +00:00
2020-02-10 21:08:08 -05:00
2020-02-10 21:08:08 -05:00
2020-03-27 12:38:52 -04:00
2020-06-24 14:07:39 +03:00
2020-01-25 21:49:32 -05:00
2020-06-28 01:00:58 -04:00
2020-02-10 21:08:08 -05:00
2020-06-24 02:08:08 -04:00
2020-02-10 21:08:08 -05:00
2020-06-08 17:44:06 -04:00
2020-02-10 21:08:08 -05:00
2020-02-20 21:05:37 -05:00
2020-02-20 21:05:37 -05:00
2020-02-10 21:08:08 -05:00
2020-02-10 21:08:08 -05:00
2020-02-10 21:08:08 -05:00
2020-02-10 21:08:08 -05:00
2020-06-15 22:21:01 +03:00
2020-06-15 18:38:41 +03:00
2020-03-15 12:38:35 +10:00
2019-03-22 16:08:19 -04:00
2020-05-15 23:50:47 +03:00
2019-02-28 10:11:32 -05:00
2019-11-22 04:00:47 +00:00
2017-07-08 17:59:10 -04:00
2020-06-17 17:35:45 +02:00
2020-06-17 17:35:45 +02:00
2020-01-16 21:58:52 -05:00
2020-03-27 23:43:21 -04:00
2020-04-06 21:51:57 -06:00
2020-04-04 14:43:51 -04:00
2020-03-30 15:50:53 -04:00
2020-05-05 05:17:34 -06:00
2020-05-05 05:17:34 -06:00
2020-05-17 12:18:53 -04:00
2020-02-16 19:16:08 -05:00
2020-06-15 15:52:59 +03:00
2018-09-18 00:13:17 -04:00
2018-10-27 11:35:01 -04:00
2020-02-16 13:25:30 -05:00
2020-02-14 10:47:40 -05:00
2020-02-14 10:47:40 -05:00
2020-01-29 23:38:21 -05:00
2020-03-13 15:17:53 -04:00
2020-04-06 20:30:34 -04:00
2020-04-03 13:13:09 -04:00
2020-04-03 13:13:09 -04:00