1

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

  1. cont->saved_stack && num_bytes <= cont->stack_alloc_size
    • 直接使用内存
  2. 别的
    • 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;
}
4

1 回答 1

1

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

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

于 2011-02-19T04:18:52.740 回答