Mono Continuations - store() 之后内存不断增加

Question

这是 Mono Continuations 的 continuation_store (...)。从下面的代码来看，store() 似乎遵循这两个分支：

1. cont->saved_stack && num_bytes <= cont->stack_alloc_size
   • 直接使用内存
2. else
   • gc 释放已使用的内存，并创建一些新内存。

然而，奇怪的是，如果我重复使用 continuation_store()，内存使用量会增加，直到稍后的步骤完成一个巨大且滞后的 GC 操作。谁能解释为什么会发生这种情况？

谢谢

static int
continuation_store (MonoContinuation *cont, int state, MonoException **e)
{
    MonoLMF *lmf = mono_get_lmf ();
    gsize num_bytes;

    if (!cont->domain)
        *e =  mono_get_exception_argument ("cont", "Continuation not initialized");
    if (cont->domain != mono_domain_get () || cont->thread_id != GetCurrentThreadId ())
        *e = mono_get_exception_argument ("cont", "Continuation from another thread or domain");

    cont->lmf = lmf;
    cont->return_ip = __builtin_return_address (0);
    cont->return_sp = __builtin_frame_address (0);

    num_bytes = (char*)cont->top_sp - (char*)cont->return_sp;

    /*g_print ("store: %d bytes, sp: %p, ip: %p, lmf: %p\n", num_bytes, cont->return_sp, cont->return_ip, lmf);*/

    if (cont->saved_stack && num_bytes <= cont->stack_alloc_size) 
    {
        /* clear to avoid GC retention */
        if (num_bytes < cont->stack_used_size)
            memset ((char*)cont->saved_stack + num_bytes, 0, cont->stack_used_size - num_bytes);
    } 
    else 
    {
        tasklets_lock ();
        internal_init ();
        if (cont->saved_stack) {
            mono_g_hash_table_remove (keepalive_stacks, cont->saved_stack);
            mono_gc_free_fixed (cont->saved_stack);
        }
        cont->stack_used_size = num_bytes;
        cont->stack_alloc_size = num_bytes * 1.1;
        cont->saved_stack = mono_gc_alloc_fixed (cont->stack_alloc_size, NULL);
        mono_g_hash_table_insert (keepalive_stacks, cont->saved_stack, cont->saved_stack);
        tasklets_unlock ();
    }
    memcpy (cont->saved_stack, cont->return_sp, num_bytes);

    return state;
}

Answer 1

请注意，对 mono_gc_free_fixed 的调用在默认的 boehm 收集器中不会执行任何操作： https://github.com/mono/mono/blob/master/mono/metadata/boehm-gc.c#L528

else 分支只是从 keepalive_stacks 哈希表中删除内存。该哈希表保留对已分配内存的引用，因此不会被垃圾回收。一旦从该哈希表中删除指向已分配内存的指针，它将在下一次垃圾收集期间被回收。一旦达到一定的内存分配量，就会稍后触发此收集。