diff options
| author | Maria Matejka <mq@ucw.cz> | 2021-11-30 23:57:14 +0100 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2021-12-01 13:00:54 +0100 |
| commit | bb63e99d7877023667edaf26495dd657ec2fd57b (patch) | |
| tree | 3ae919a00541c27c8f661addb56c6d4ef681d361 /.dir-locals.el | |
| parent | 385b3ea3956aefc2868cdd838fc0a90f1d8a7857 (diff) | |
Page allocator moved from pools to IO loops.
The resource pool system is highly hierarchical and keeping spare pages
in pools leads to unnecessarily complex memory management.
Loops have a flat hiearchy, at least for now, and it is therefore much
easier to keep care of pages, especially in cases of excessive virtual memory
fragmentation.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions