Skip to content

Commit a067bd4

Browse files
committed
merge from dev (support for mi_prim_reuse, #1097)
2 parents aaedb58 + d389819 commit a067bd4

File tree

8 files changed

+62
-8
lines changed

8 files changed

+62
-8
lines changed

include/mimalloc/internal.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -188,6 +188,7 @@ size_t _mi_os_virtual_address_bits(void);
188188

189189
bool _mi_os_reset(void* addr, size_t size);
190190
bool _mi_os_decommit(void* addr, size_t size);
191+
void _mi_os_reuse(void* p, size_t size);
191192
mi_decl_nodiscard bool _mi_os_commit(void* p, size_t size, bool* is_zero);
192193
mi_decl_nodiscard bool _mi_os_commit_ex(void* addr, size_t size, bool* is_zero, size_t stat_size);
193194
mi_decl_nodiscard bool _mi_os_protect(void* addr, size_t size);

include/mimalloc/prim.h

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -63,6 +63,11 @@ int _mi_prim_decommit(void* addr, size_t size, bool* needs_recommit);
6363
// Returns error code or 0 on success.
6464
int _mi_prim_reset(void* addr, size_t size);
6565

66+
// Reuse memory. This is called for memory that is already committed but
67+
// may have been reset (`_mi_prim_reset`) or decommitted (`_mi_prim_decommit`) where `needs_recommit` was false.
68+
// Returns error code or 0 on success. On most platforms this is a no-op.
69+
int _mi_prim_reuse(void* addr, size_t size);
70+
6671
// Protect memory. Returns error code or 0 on success.
6772
int _mi_prim_protect(void* addr, size_t size, bool protect);
6873

src/arena.c

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -216,12 +216,13 @@ static mi_decl_noinline void* mi_arena_try_alloc_at(
216216
}
217217
}
218218
else {
219-
// already fully commited.
219+
// already fully committed.
220+
_mi_os_reuse(p, mi_size_of_slices(slice_count));
220221
// if the OS has overcommit, and this is the first time we access these pages, then
221222
// count the commit now (as at arena reserve we didn't count those commits as these are on-demand)
222223
if (_mi_os_has_overcommit() && touched_slices > 0) {
223224
mi_subproc_stat_increase( arena->subproc, committed, mi_size_of_slices(touched_slices));
224-
}
225+
}
225226
}
226227
// tool support
227228
if (memid->initially_zero) {

src/os.c

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -532,6 +532,17 @@ bool _mi_os_reset(void* addr, size_t size) {
532532
}
533533

534534

535+
void _mi_os_reuse( void* addr, size_t size ) {
536+
// page align conservatively within the range
537+
size_t csize = 0;
538+
void* const start = mi_os_page_align_area_conservative(addr, size, &csize);
539+
if (csize == 0) return;
540+
const int err = _mi_prim_reuse(start, csize);
541+
if (err != 0) {
542+
_mi_warning_message("cannot reuse OS memory (error: %d (0x%x), address: %p, size: 0x%zx bytes)\n", err, err, start, csize);
543+
}
544+
}
545+
535546
// either resets or decommits memory, returns true if the memory needs
536547
// to be recommitted if it is to be re-used later on.
537548
bool _mi_os_purge_ex(void* p, size_t size, bool allow_reset, size_t stat_size, mi_commit_fun_t* commit_fun, void* commit_fun_arg)

src/prim/emscripten/prim.c

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -114,6 +114,11 @@ int _mi_prim_reset(void* addr, size_t size) {
114114
return 0;
115115
}
116116

117+
int _mi_prim_reuse(void* addr, size_t size) {
118+
MI_UNUSED(addr); MI_UNUSED(size);
119+
return 0;
120+
}
121+
117122
int _mi_prim_protect(void* addr, size_t size, bool protect) {
118123
MI_UNUSED(addr); MI_UNUSED(size); MI_UNUSED(protect);
119124
return 0;

src/prim/unix/prim.c

Lines changed: 27 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -434,13 +434,27 @@ int _mi_prim_commit(void* start, size_t size, bool* is_zero) {
434434
return err;
435435
}
436436

437+
int _mi_prim_reuse(void* start, size_t size) {
438+
#if defined(__APPLE__) && defined(MADV_FREE_REUSE)
439+
return unix_madvise(start, size, MADV_FREE_REUSE);
440+
#endif
441+
return 0;
442+
}
443+
437444
int _mi_prim_decommit(void* start, size_t size, bool* needs_recommit) {
438445
int err = 0;
439-
// decommit: use MADV_DONTNEED as it decreases rss immediately (unlike MADV_FREE)
440-
err = unix_madvise(start, size, MADV_DONTNEED);
441446
#if !MI_DEBUG && MI_SECURE<=2
442447
*needs_recommit = false;
448+
#if defined(__APPLE__) && defined(MADV_FREE_REUSABLE)
449+
// decommit on macOS: use MADV_FREE_REUSABLE as it does immediate rss accounting (issue #1097)
450+
err = unix_madvise(start, size, MADV_FREE_REUSABLE);
451+
#else
452+
// decommit: use MADV_DONTNEED as it decreases rss immediately (unlike MADV_FREE)
453+
err = unix_madvise(start, size, MADV_DONTNEED);
454+
#endif
443455
#else
456+
// note: don't use MADV_FREE_REUSABLE as the range may contain protected areas
457+
err = unix_madvise(start, size, MADV_DONTNEED);
444458
*needs_recommit = true;
445459
mprotect(start, size, PROT_NONE);
446460
#endif
@@ -455,22 +469,29 @@ int _mi_prim_decommit(void* start, size_t size, bool* needs_recommit) {
455469
}
456470

457471
int _mi_prim_reset(void* start, size_t size) {
458-
// We try to use `MADV_FREE` as that is the fastest. A drawback though is that it
472+
int err = 0;
473+
#if defined(__APPLE__) && defined(MADV_FREE_REUSABLE)
474+
// on macOS we try to use MADV_FREE_REUSABLE as it seems the fastest
475+
err = unix_madvise(start, size, MADV_FREE_REUSABLE);
476+
if (err == 0) return 0;
477+
// fall through
478+
#endif
479+
480+
#if defined(MADV_FREE)
481+
// Otherwise, we try to use `MADV_FREE` as that is the fastest. A drawback though is that it
459482
// will not reduce the `rss` stats in tools like `top` even though the memory is available
460483
// to other processes. With the default `MIMALLOC_PURGE_DECOMMITS=1` we ensure that by
461484
// default `MADV_DONTNEED` is used though.
462-
#if defined(MADV_FREE)
463485
static _Atomic(size_t) advice = MI_ATOMIC_VAR_INIT(MADV_FREE);
464486
int oadvice = (int)mi_atomic_load_relaxed(&advice);
465-
int err;
466487
while ((err = unix_madvise(start, size, oadvice)) != 0 && errno == EAGAIN) { errno = 0; };
467488
if (err != 0 && errno == EINVAL && oadvice == MADV_FREE) {
468489
// if MADV_FREE is not supported, fall back to MADV_DONTNEED from now on
469490
mi_atomic_store_release(&advice, (size_t)MADV_DONTNEED);
470491
err = unix_madvise(start, size, MADV_DONTNEED);
471492
}
472493
#else
473-
int err = unix_madvise(start, size, MADV_DONTNEED);
494+
err = unix_madvise(start, size, MADV_DONTNEED);
474495
#endif
475496
return err;
476497
}

src/prim/wasi/prim.c

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -149,6 +149,11 @@ int _mi_prim_reset(void* addr, size_t size) {
149149
return 0;
150150
}
151151

152+
int _mi_prim_reuse(void* addr, size_t size) {
153+
MI_UNUSED(addr); MI_UNUSED(size);
154+
return 0;
155+
}
156+
152157
int _mi_prim_protect(void* addr, size_t size, bool protect) {
153158
MI_UNUSED(addr); MI_UNUSED(size); MI_UNUSED(protect);
154159
return 0;

src/prim/windows/prim.c

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -376,6 +376,11 @@ int _mi_prim_reset(void* addr, size_t size) {
376376
return (p != NULL ? 0 : (int)GetLastError());
377377
}
378378

379+
int _mi_prim_reuse(void* addr, size_t size) {
380+
MI_UNUSED(addr); MI_UNUSED(size);
381+
return 0;
382+
}
383+
379384
int _mi_prim_protect(void* addr, size_t size, bool protect) {
380385
DWORD oldprotect = 0;
381386
BOOL ok = VirtualProtect(addr, size, protect ? PAGE_NOACCESS : PAGE_READWRITE, &oldprotect);

0 commit comments

Comments
 (0)