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 |
|