C言語でインクルードするだけで使えるNon-movingで正確なコピーGCを作った

  • 31
    Like
  • 0
    Comment
1473682152 wasabiz
Edited at
5

C言語でインクルードするだけで使えるNon-movingで正確なコピーGCを作った

インクルードするだけで使えるNon-movingで正確なGCをC言語用に作りました。
行数がコメントを除いて100行に満たない非常に小さなライブラリです。
GCのアルゴリズムとしてはCheneyのコピーGCを採用しています。
通常のCheneyのコピーGCではメモリ空間のうち半分が無駄になってしまいメモリ効率が悪かったり、
GC発生時にオブジェクトが移動してしまいC言語のようなポインタを直接触れる言語との相性が悪いという欠点がありました。
今回はヒープ全体を二重連結リストとして管理することでそのような問題を解決しています。
ちなみにこれはTreadmill GCのアイデアと同じです。(が、アルゴリズム自体はTreadmill GCではありません。)
APIはLinuxのlist.hに非常に近い見た目になっています。
ある構造体をgcで管理したい場合はstruct gc_head型のメンバを追加するだけで大丈夫です。
他にはヒープに対するアプリオリな知識を仮定していないという特徴があります。
結果として(実際にそれが必要になることはほとんどないと思いますが)このGCを動作させるだけであればlibcも必要ありません。

使い方

list.h

まず、APIのデザインのベースとしたLinuxのlist.hの使い方について簡単に説明します。Linuxのlist.hは非常に綺麗なAPIを持つC言語のための連結リストライブラリです。例えば構造体fooの連結リストを作成する場合、構造体fooにstruct list_head型のメンバを(どんな位置でもいいので)追加するだけです。

struct foo {
    ...
    struct list_head head;
    ...
};

fooを作成したらheadメンバをINIT_LIST_HEADで初期化してあげます。

struct foo *foo = malloc(sizeof *foo);
INIT_LIST_HEAD(&foo->head);

リスト自体もstruct list_head型で表されます。

struct list_head list_of_foo;
INIT_LIST_HEAD(&list_of_foo);

追加や削除はfooそのものではなくfooのheadメンバに対して行います。

list_add(&foo->head, &list_of_foo);
list_del(&foo->head);

list_headのポインタから、それが属する構造体のポインタを得るにはlist_entryマクロを用います。

struct list_head *h = list_of_foo.next;  // list_of_fooの1個目の要素
struct foo *f = list_entry(h, struct foo, head); // hが属する構造体へのポインタ

ちなみにAPIから明らかですが、struct foo自体はどんな方法でアロケートされていても構いません。例えばスタックに確保した構造体であっても正しくリストのメンバとして扱われます。

struct foo foo;
INIT_LIST_HEAD(&foo.head);
list_add(&foo.head, &list_of_foo);

gc.h

今回作ったgc.h(ファイル名がBoehmGCと被ってますね)はここ[4]に置いてあります。gc.hの使い方はlist.hと概ね同じです。GC対象にしたい構造体があればそれにstruct gc_head型のメンバを追加します。

struct foo {
    ...
    struct gc_head head;
    ...
};

次がポイントですが、struct foo型のオブジェクトをまず自分でアロケートしてから、GCに登録します。

struct foo *foo = malloc(sizeof *foo);
INIT_GC_HEAD(&foo->head, &foo_type);

ただし、このfoo_typeというのは事前に定義しておいた定数で、foo型がどのようにmarkされるか、freeされるかの情報を保持します。

void foo_mark(struct gc_head *head) {
    struct foo *foo = gc_entry(head, struct foo, head);
    ...
    /* mark members of foo using `gc_mark` (if any) */
    ...
}

void foo_free(struct gc_head *head) {
    struct foo *foo = gc_entry(head, struct foo, head);
    ...
    /* free members of foo (if any) */
    ...
    free(foo);
}

const struct gc_object_type foo_type = { foo_mark, foo_free };

ここでfoo_freeの中でfoo自体をfreeしています。このように、ネイティブヒープからのアロケーションはプログラマが自分で行います。gc.hが管理するのは参照の生死だけです。オブジェクトが死んだ場合は事前にINIT_GC_HEADで登録しておいたfree関数が呼ばれるので、その中で適切にネイティブヒープへメモリを返却するのもプログラマの責任です。そのようなデザインのおかげで、gc.hはlibcの関数を使用していません。

通常のGCではヒープの管理までGCが行うので、GCはもともと設定されたタイミングで自動で走ります。しかし、gc.hはネイティブヒープについて一切感知しないというデザインのため、GCが走るタイミングはプログラマが自分で制御する必要があります。mallocでアロケートしたメモリの総量を数えておき、域値を越えればGCを走らせるというのが通常の戦略になると思います。GCはgc_run関数を呼べば走ります。

gc_run();

さて、参照の生死の管理について説明します。gc.hは簡単なスコープ管理の機能を持っています。スコープはgc_scope_openで作成、gc_scope_closeで破棄できます。

{
    gc_scope_t s = gc_scope_open();

    ...

    gc_scope_close(s);
}

まず、INIT_GC_HEADで初期化されたオブジェクトはその時点でのスコープに属する生存オブジェクトになります。スコープが閉じられると、その中で確保されたオブジェクトの参照が切れます。ここで、他からの参照が一切なくなってしまったオブジェクトは次回のgc_runで回収されます。スコープを閉じた後にオブジェクトを使用する場合はgc_protectを呼びます。下のようなコードを実行した場合(make_fooの定義は普通だとして)aは生き残りますがbは次回のGCで回収されます。

{
    gc_scope_t s = gc_scope_open();

    struct foo *a = make_foo();
    struct foo *b = make_foo();

    gc_scope_close(s);
    gc_protect(&a->head);
}

解説

CheneyのコピーGC(以下単にコピーGC)の詳細についてはWikipediaとか[1]を参照してください。原理の解説をしようと思いましたが、実際には基本的にはコピーGCと全く同じです。ただし、non-movingにするためにTreadmill GCの考え方を用いています。Treadmill GCについてはこのWikiとか[2]をみてください。

struct gc_headの中身は以下のようになっています。大きさが4ワードとかなり大きめです。

struct gc_head {
    struct list_head head;
    const struct gc_object_type *type;
    struct gc_head *stack_next;
};

headは全オブジェクト(生きているか、もしくは死んでいるが回収されていない)への二重連結リストにつながっています。typeはこのオブジェクトに対してどのようなmarkとfreeを施すかの情報が入っています。stack_nextはスコープの管理(=root setの管理)に用います。一重連結リストです。

GC全体の状態は一つの変数にまとまっています。

struct gc_state {
    struct list_head spaces[2];
    struct gc_head *stack;
    char from;
} gc;

spacesはfromスペースとtoスペースを表す二重連結リストです。stackは現在のスコープのトップにあるgc_headを指しています。fromはspacesのどちらがfromかを表す1bitの状態です。

spacesのfrom側はgc中でなければ全オブジェクトへの二重連結リストで、gc中はmarkされていないオブジェクトからなる二重連結リストです。spacesのto側はgc中でなければ常に空、gc中はmark済みのオブジェクトからなる二重連結リストです。Treadmill GCと違い、このGCではgc実行中に二つの異なる二重連結リストを使用します。これは通常のコピーGCの挙動に近いです。

スコープの管理は非常に簡単です。まず、gc_protectはオブジェクトをstackにつなぎます。

static inline void gc_protect(struct gc_head *head) {
    head->stack_next = gc.stack;
    gc.stack = head;
}

stackはINIT_GC_HEADをすることでも伸びます。

static inline void INIT_GC_HEAD(struct gc_head *head, const struct gc_object_type *type) {
    head->type = type;
    list_add(&head->head, &gc.spaces[gc.from]);
    gc_protect(head);
}

そして、スコープのopenとcloseは現在のstackを記録、変更するだけです。

typedef struct gc_head *gc_scope_t;

static inline gc_scope_t gc_scope_open(void) {
    return gc.stack;
}

static inline void gc_scope_close(gc_scope_t s) {
    gc.stack = s;
}

stackから繋がる全てのオブジェクトは生存していると見なされます。というか、root setはstackから繋がるオブジェクト全体と同じです。

パフォーマンス

力尽きたので測ってません。

今後の拡張について

少なくともこのリポジトリではこれ以上の拡張を行うことを予定してはいませんが、実際に使用する上では以下のような拡張が必要になるはずです。

  • グローバルな参照への対応
  • マルチスレッド対応
  • インクリメンタルGC化
  • Mark&Sweep化

まず、現在の実装ではグローバルに保持される参照には対応していません。stackのチェインの下の方にうまくオブジェクトを繋いでおくことで擬似的にグローバル参照のようなものを作ることはできます。が、その場合一番下のスコープに番兵オブジェクトを置く必要があるため面倒です。おそらくgc_stateにもう一つの二重連結リストを付け足してグローバルな参照をそこに全部つなぎ、マークフェイズでそれらをroot setとして扱うのが良いと思います。stack_nextメンバを使った一重連結リストでも良いですがその場合グローバルな参照を削除するのに線形の時間が必要になってしまいます。

マルチスレッド対応は地道にlockを各所に入れれば良さそうです。gc_stateのstackメンバはスレッドの数だけ用意すればcontentionが減りそうです。ただ、いずれにせよlockは必要ですが。一方で、各スレッドで独立したGCを動かす場合には、グローバル変数gcをスレッドローカルにするだけで良いはずです。

インクリメンタル化はTreadmill GCと同じやり方で簡単に実現できます。つまり、from空間からto空間へのmoveをインクリメンタルに行う(n個単位で行うとか)だけです。と、今書いてて思ったんですがこれいい感じにTask stealingな感じでマルチスレッドに出来ないんですかね。いかにもすでにありそうだけど。

現在のコピーGCに基づく実装は簡単でかつGC中に追加のメモリを必要としないという利点がありますが、一方でそれは必要な情報をオブジェクトのヘッダに入れているだけだと捉えることもできます。4ワードのヘッダは通常の感覚で言えばかなり大きいと思います。アルゴリズムをMark & Sweepにすれば二重連結リストで管理している部分が一重で済むので3ワードにはなります。ただしその分GCを行うために追加の領域が必要になります。ちなみに、スコープの管理のために別にスタックを用意することにすればstack_nextを無くして2ワードまで減らせますが、メモリ使用量の観点からは効果がないです。(ただしキャッシュのヒット率が上がってGCが高速化される可能性は高いです。)

参照

おまけ

gc.hの全容。

struct gc_state {
    struct list_head spaces[2];
    struct gc_head *stack;
    char from;
} gc;

struct gc_head {
    struct list_head head;
    const struct gc_object_type *type;
    struct gc_head *stack_next;
};

struct gc_object_type {
    void (*mark)(struct gc_head *);
    void (*free)(struct gc_head *);
};

#define gc_entry(ptr, type, field) container_of(ptr, type, field)

static inline void gc_init(void) {
    INIT_LIST_HEAD(&gc.spaces[0]);
    INIT_LIST_HEAD(&gc.spaces[1]);
    gc.stack = NULL;
    gc.from = 0;
}

typedef struct gc_head *gc_scope_t;

static inline gc_scope_t gc_scope_open(void) {
    return gc.stack;
}

static inline void gc_scope_close(gc_scope_t s) {
    gc.stack = s;
}

static inline void gc_protect(struct gc_head *head) {
    head->stack_next = gc.stack;
    gc.stack = head;
}

static inline void INIT_GC_HEAD(struct gc_head *head, const struct gc_object_type *type) {
    head->type = type;
    list_add(&head->head, &gc.spaces[gc.from]);
    gc_protect(head);
}

static inline void gc_mark(struct gc_head *head) {
    if ((unsigned long) head->stack_next & 1)
        return;
    head->stack_next = (struct gc_head *) ((unsigned long) head->stack_next | 1);
    list_move_tail(&head->head, &gc.spaces[1 - gc.from]);
}

static inline void gc_run(void) {
    struct gc_head *head, *n;
    /* copy live objects */
    for (head = gc.stack; head != NULL; head = (struct gc_head *) ((unsigned long) head->stack_next & ~1ul)) {
        gc_mark(head);
    }
    list_for_each_entry (head, &gc.spaces[1 - gc.from], head) {
        if (head->type->mark)
            head->type->mark(head);
    }
    /* clean up */
    list_for_each_entry (head, &gc.spaces[1 - gc.from], head) {
        head->stack_next = (struct gc_head *) ((unsigned long) head->stack_next & ~1ul);
    }
    list_for_each_entry_safe (head, n, &gc.spaces[gc.from], head) {
        list_del(&head->head);
        if (head->type->free)
            head->type->free(head);
    }
    gc.from = 1 - gc.from;
}

static inline void gc_destroy(void) {
    gc.stack = NULL;
    gc_run();
}

以下はpicogcのテスト[3]を移植したもの。

#include <stdio.h>
#include <stdlib.h>
#include "gc.h"

struct list {
    int value;
    struct list *next;
    struct gc_head head;
};

void list_mark(struct gc_head *head) {
    struct list *list = gc_entry(head, struct list, head);
    if (list->next) {
        gc_mark(&list->next->head);
    }
}

void list_free(struct gc_head *head) {
    struct list *list = gc_entry(head, struct list, head);
    printf("free %d!\n", list->value);
    free(list);
}

const struct gc_object_type list_type = { list_mark, list_free };

struct list *cons(int value, struct list *next) {
    struct list *list = malloc(sizeof(struct list));
    INIT_GC_HEAD(&list->head, &list_type);
    list->value = value;
    list->next = next;
    return list;
}

struct list *doit(void) {
    gc_scope_t s = gc_scope_open();

    struct list *a = cons(1, NULL);
    struct list *b = cons(2, NULL);
    struct list *c = cons(3, NULL);
    struct list *d = cons(4, a);

    gc_run();
    puts("0 objects must be released");

    gc_scope_close(s);
    gc_protect(&d->head);
    return d;
}

int main() {
    gc_init();

    {
        gc_scope_t s = gc_scope_open();

        struct list *list = doit();

        gc_run();
        puts("2 objects must be released");

        list->next = NULL;

        gc_run();
        puts("1 object must be released");

        gc_scope_close(s);
    }

    gc_run();
    puts("1 object must be released");

    gc_destroy();
}
Edit request

Report article

Help us understand the problem. What is going on with this item?


Feedback

We don't reply to any feedback.
If you need help with Qiita, please send a support request from here.