258 Commits

Author SHA1 Message Date
Daan dc84ea7866 bump version to v3.1.6 for further development 2025-06-13 22:11:38 -07:00
Daan 19a9f0a50b bump version to v3.1.5 for further development 2025-06-09 20:07:11 -07:00
Daan cfff6bfd47 bump version to v1.9.5 for further development 2025-06-09 20:01:28 -07:00
Daan b0958d81fa merge from dev 2025-06-09 19:21:26 -07:00
Daan Leijen 45062f4357 merge from dev 2025-06-07 10:14:55 -07:00
Daan Leijen e7cbbbfb14 add mi_process_done to the api 2025-06-07 09:51:35 -07:00
daanx a92f86dc73 add page_cross_thread_max_reclaim option 2025-05-13 14:12:22 -07:00
Daan Leijen 36e1cbfdbc change default page_reclaim_max and change reclamation test to potentially address perf regresion in mimalloc v3 with respect to v2 -- see also https://github.com/leanprover/lean4/pull/7786 2025-05-12 18:02:42 -07:00
Daan 7d4ee62386 bump version to 3.0.4 for further development 2025-03-28 14:23:18 -07:00
Daan a78374d816 bump version to 1.9.4 for further development 2025-03-28 14:22:02 -07:00
daanx d1d01deea7 add support for custom commit in arena loading 2025-03-10 18:11:27 -07:00
daanx d41f7267d1 add mi_arena_min_alignment 2025-03-10 16:29:37 -07:00
Daan 18124909a3 bump version to 3.0.3 for further development 2025-03-06 21:05:21 -08:00
Daan 2fc6b14bab bump version to 1.9.3 for further development 2025-03-06 21:03:51 -08:00
Daan c1cbe71836 add numa-affine allocation, and per-heap numa affinity 2025-03-03 18:08:57 -08:00
Daan Leijen a447a1a297 merge from dev 2025-03-02 17:16:28 -08:00
Daan Leijen 58d13f6a4f collect every N generic calls 2025-03-02 17:06:25 -08:00
daanx 951a6642ae merge from dev 2025-02-28 17:37:06 -08:00
daanx 5f6ebb70fa add mi_options_print and mi_arenas_print 2025-02-28 17:30:41 -08:00
daanx 6fce7b90a4 reduce object class sizes (/8), add max reclaim queue size 2025-02-28 16:51:59 -08:00
Daan a7a0db06d5 merge from dev 2025-02-10 20:28:53 -08:00
Daan 156687ac8b rename to mi_thread_set_in_threadpool 2025-02-10 20:26:19 -08:00
Daan aae2e0b2f6 merge from dev 2025-02-10 20:15:42 -08:00
daanx 08ebe070a4 add mi_heap_set_in_threadpool 2025-02-10 20:11:52 -08:00
Daan 3d767ebef6 use regular free in zone_free on macos 2025-02-05 21:20:44 -08:00