GC on C++

alwei @aizen76

独自アロケータでガベージコレクタ作りたいな

alwei @aizen76

だいたいメモリセクションを一々指定しないといけないのも面倒過ぎる 理想は何も意識せずにメモリリークやフラグメントが起きない様にすること

alwei @aizen76

メモリコンパクションは別スレッドでやるとして、後は排他制御が出来れば…

でちまるさん（実際かわいい） @decimalbloat

コンパクションをC++でやるには色々障害がある（GCがオブジェクトをコピーする方法を知っていないといけない、オブジェクトがコピーされたとき、コピー前のアドレス全てをコピー後のアドレスへと書き換えないといけない）けど、GCのためのメモリ消費を抑えつつこれらのことができるのだろうか…

Akso de la Malbono @Cryolite

@decimalbloat allocator の pointer 型は別に真のポインタ型でなくとも良いので，それを使って以下死ぬ気でいろいろ頑張ってください！

alwei @aizen76

@decimalbloat 実際難しいだろうな、とりあえず色々勉強して何か作ってみたい

でちまるさん（実際かわいい） @decimalbloat

とあるアドレスがあるポインタの先頭であるかを見分ける簡単な作業

対鉱物用武装 @kikairoya

. @nari3先生がC++用のGC作るとかいう話を以前捏造した気が

相沢陽菜 @fetus_hina

C++でコンパクションできるとフラグメンテーションが軽減されて嬉しい人は多そうだけどそのためのコストが半端じゃなさそう…

alwei @aizen76

@decimalbloat まだ買ってないよ!! 勉強のためにも買う予定

出水 @izmktr

@decimalbloat デバッグモードなら直前にddが入ってたりしませんかね？

でちまるさん（実際かわいい） @decimalbloat

@izmktr デバッグじゃなくて、GCの話です。

でちまるさん（実際かわいい） @decimalbloat

コンパクション実装しようと思ったらまず生のポインタと参照は使用禁止になるな。

alwei @aizen76

ポインタと参照関係がややこしくなる事は間違いない

対鉱物用武装 @kikairoya

生ポと参照が使えなくなるのはC++的には許容できないので、やはりgc_ptr<T>をですね…

でちまるさん（実際かわいい） @decimalbloat

@kikairoya そのgc_ptrにコンパクションを実装するにあたって、生のポインタと参照が利用できなくなる、という。

対鉱物用武装 @kikairoya

侵入的でよければCopying GCも実装できそうな気はしている

でちまるさん（実際かわいい） @decimalbloat

いや、生ポはあってもいいかもしれない、が、参照、てめぇはダメだ。書き換える方法がない。

対鉱物用武装 @kikairoya

@decimalbloat gc_ptr<T> gp;があるときに、gpの実体への生ポや参照は(一時的にgp.lock()で取るようなもの以外)必要ないような。

でちまるさん（実際かわいい） @decimalbloat

あるクラスが保持しているポインタとそれを保持しているアドレスは、そのクラスから教えてもらえれば、それを元に再配置後そのアドレスに新しいアドレスを書き込めばいいのだけど、参照はそうはいかないのである。

でちまるさん（実際かわいい） @decimalbloat

@kikairoya kwsk

alwei @aizen76

ある程度ルールがないと自由に使うのは難しいだろうなぁ

対鉱物用武装 @kikairoya

@decimalbloat gp自体はただのハンドル、必要に応じて一時的にlockすればいいんじゃないかなーとか。永続的に生ポを保存しておかないといけない状況って多くないはず

対鉱物用武装 @kikairoya

ああ結局GC関係の論文とかさっぱり読んでないや…

対鉱物用武装 @kikairoya

2段間接参照にしてExact GC可能にするのと、ポインタを直接走査してConservativeで我慢するのとどっちが有利なのかなあ