NiLuJe
21b067792d
Cache: Rewrite based on lua-lru
...
Ought to be faster than our naive array-based approach.
Especially for the glyph cache, which has a solid amount of elements,
and is mostly cache hits.
(There are few things worse for performance in Lua than
table.remove @ !tail and table.insert @ !tail, which this was full of :/).
DocCache: New module that's now an actual Cache instance instead of a
weird hack. Replaces "Cache" (the instance) as used across Document &
co.
Only Cache instance with on-disk persistence.
ImageCache: Update to new Cache.
GlyphCache: Update to new Cache.
Also, actually free glyph bbs on eviction.
2021-05-05 20:37:33 +02:00
..
2021-03-06 22:44:18 +01:00
2021-03-30 02:57:59 +02:00
2021-03-30 02:57:59 +02:00
2020-08-31 16:48:29 +02:00
2019-11-26 14:21:14 +01:00
2017-08-08 13:35:40 -07:00
2021-05-05 20:37:33 +02:00
2020-08-31 16:48:29 +02:00
2017-10-12 19:39:52 +02:00
2020-12-19 14:49:18 +01:00
2020-07-14 18:25:26 +02:00
2021-04-25 01:15:38 +02:00
2019-12-10 23:57:32 +01:00
2020-06-28 08:03:37 +02:00
2020-06-08 16:36:06 +02:00
2018-10-10 21:34:47 +02:00
2020-12-19 06:40:00 +01:00
2021-04-30 06:02:09 +02:00
2020-12-19 14:49:18 +01:00
2018-03-21 12:21:48 +01:00
2016-03-28 23:38:25 -07:00
2019-04-08 23:05:08 +02:00
2020-09-22 22:04:37 +02:00
2017-01-30 05:53:44 -08:00
2020-02-03 12:11:07 +01:00
2017-06-23 10:04:11 -07:00
2017-08-08 13:35:40 -07:00
2020-12-19 14:49:18 +01:00
2021-04-13 17:53:15 +02:00
2018-03-31 21:19:31 +02:00
2021-05-05 20:37:33 +02:00
2019-08-23 19:53:53 +02:00
2021-03-06 22:44:18 +01:00
2021-03-06 22:44:18 +01:00
2019-04-24 21:09:23 +02:00
2020-07-14 18:25:26 +02:00
2017-08-08 13:35:40 -07:00
2021-03-30 02:57:59 +02:00
2019-02-08 22:29:11 +01:00
2020-07-27 03:39:06 +02:00
2019-09-11 18:11:24 +02:00
2021-04-30 06:02:09 +02:00
2018-02-22 12:26:51 +01:00
2021-04-13 18:11:39 +02:00
2017-04-24 08:27:29 +02:00
2016-08-10 10:42:51 -07:00
2020-12-19 06:40:00 +01:00
2020-12-19 06:40:00 +01:00
2021-03-06 19:23:12 +01:00
2020-12-19 06:40:00 +01:00
2020-12-19 06:40:00 +01:00
2020-12-19 06:40:00 +01:00
2020-12-19 06:40:00 +01:00
2020-12-19 06:40:00 +01:00
2020-12-19 06:40:00 +01:00
2020-12-19 06:40:00 +01:00
2020-12-19 06:40:00 +01:00
2021-03-06 22:44:18 +01:00
2020-12-19 06:40:00 +01:00
2017-09-23 20:24:45 +02:00
2017-01-30 05:53:44 -08:00
2017-08-31 16:37:39 +02:00
2019-11-16 18:41:14 +01:00
2021-03-30 02:57:59 +02:00
2019-10-06 21:33:48 +02:00
2017-08-08 13:35:40 -07:00
2018-12-17 15:19:25 +01:00
2017-08-08 13:35:40 -07:00
2021-05-05 20:37:33 +02:00
2021-01-16 21:40:00 +01:00
2018-11-07 20:46:07 +01:00
2019-09-12 14:15:08 +02:00
2020-07-14 18:25:26 +02:00
2020-07-20 20:58:39 +02:00
2017-09-23 20:24:45 +02:00
2017-08-08 13:35:40 -07:00