HSPTV!掲示板

ガベージコレクション（ＧＣ）とＨＳＰについて、
私の考えるＧＣをランタイムに実装してみました。

https://www.dropbox.com/s/smwuf9p27pr28nd/hsp3gc20161207.zip?dl=0

モジュール型変数の、追加・代入・削除のときに
参照カウンタを加減し、参照カウンタが0のとき
モジュール型変数の解放を行います。
ＧＣに任せるモジュール型変数は、
gcnewmod命令によって追加されます。
引数はnewmodと同じです。
モジュール変数の定義にも違いはありません。
ＧＣに任されたモジュール型変数が代入されると
その変数もＧＣに任されます。
ＧＣに任されたモジュール型変数を
varuseすると3が返ります。
newmodしたものは従来通りに動作します。
FlexValueを書き換えるものは、
問題が起こる可能性があります。

他の言語のＧＣは意識して使ったことがないので
合っているのかわかりません。

みなさんにとってＧＣとはどのようなものですか？
またＨＳＰに実装される場合、どのようなものが
よいと思いますか？

問題点や希望、思い出等を集める雑談スレッドとします。
ある程度まとまればhsp-devMLで提案しようと思います。

ＧＣは誰か作ってて　結局、不採用でしたよね
自分はRPGツクールでruby書いてる時　こういうデータ削除されたらどうしよう。
と思いながらやってました

でも今回のＧＣ案はＧＣの対象を選べるみたいで　あってもいいのでは？とか思ったりｗ
でも書いててある前提で書いて　途中でなくなってたらどうしよう？とは思います
（自分でＧＣ対象にしてたとしてもｗ）

自分でＧＣ対象にしていながら　あると思って書いて削除されてた時は
どうするか？解決されないとＧＣ対象にして欲しくないですな
自分ＧＡＭＥにしろＴＯＯＬにしろ大きいの書いたことがないので
ＧＣはいい機能だと思いますが　使わないような
でも自分で選べるなら　そういう僕の意見と対立しない気はします

fujidigさんの実装はRubyのmark & sweepベースでモジュールのリファレンスを扱えるのが便利そうでしたね。

現状の「クローンで参照しているのに消える」のが解消され
気づかず削除されているのは今より減ると考えていますが、
裏技の多いＨＳＰでは何か問題が出るかもしれません。
通常の代入のみなら問題ないと思います。

>fujidigさんの実装はRubyのmark & sweepベースでモジュールのリファレンスを扱えるのが便利そうでしたね。
fujidigさんのopenhsp-gcという実装があったらしいことは知っているのですが、
今となってはソースコードも実行ファイルも見つからず、
私にとっては謎となっています。

GCといいますか、C++のshared_ptrに近い感じですかね。

従来は生成時の変数と強力にバインドされていましたから、
swapするだけで黒魔術的なコードを強いられる状況から打開と考えると大きな進化と思います。

実際に落として動作させてみましたが、
どうにもダングリングポインタを生み出していたり、単に置き換えで動かない状況であったりの様子。
(もともとダングリングポインタ生み出していた機能だけあって仕方ないですが)
参照カウンタが思ったように動作していない可能性が高そうです。
あと、delmodの動作仕様のおかげで異様に面倒なことになっていそうです。

興味深いご提案、ありがとうございます。
HSPでは、グローバルな変数や固定されたメモリバッファが多いため、通常のスクリプトはGCがそれほど活躍しない印象なのですが、クローンやモジュール変数を多用する場面においては、確かに有効だと思います。
メモリの確保と解放を効率良く行なうという意味では、HSP内部で行なっている変数バッファの管理(strbuf.cpp)も広い意味でのGCにあたるのですが、
大きなメモリ確保(supio.cppのmem_ini)なども含めて、GCが管理して、不要なメモリの解放などは別スレッドで行なうなどの実装にすれば、高速化にはつながりそうです。

更新しました。
https://www.dropbox.com/s/l7xm5xqh6bt6f0s/hsp3gc20161214.zip?dl=0

掘木さん、動作確認ありがとうございました。
今回で修正できたと思います。

おにたまさん、返信ありがとうございます。
私のＧＣ対応では、モジュール型変数のみを対象としていて
スクリプト上での効果を期待しています。
内部のＣ＋＋で書かれた部分での対応については
関係していないので、今回とは少し異なっていそうです。

また、よろしくお願いします。

試してみました。

#include "hspgc.hsp"

#module test
    #deffunc chkStr str comment,str expect,str result
        if ( expect == result ){
            mes " ○ " + comment + " : " +expect
        }else{
            mes "[！]" + comment + " : " +result + " ( 期待値 " + expect + " と違う。)"
        }
        return
#global

#module mm1 name
    #modinit str s
        name = s
        return
    #modcfunc GetName
        return name
#global

mes "  とりあえず作成"
gcnewmod a1,mm1,"A"
gcnewmod b1,mm1,"B"
chkStr "結果[A]","A",GetName(a1)
chkStr "結果[B]","B",GetName(b1)

mes "  swapしてみる"
temp = a1 : a1 = b1 : b1 = temp : delmod temp
chkStr "入れ替わった？[B(a)]","B",GetName(a1)
chkStr "入れ替わった？[A(b)]","A",GetName(b1)

mes "  メモリの死活チェック"
gcnewmod temp,mm1,"C"
gcnewmod temp,mm1,"D"
chkStr "変化なし？[B(a)]","B",GetName(a1)
chkStr "変化なし？[A(b)]","A",GetName(b1)

うーむ…swapは不可能っぽい？無念。
こちらの環境では死活チェック前にエラー落ちしてしまいましたんでダングリングポインタが
解消しきれていない模様。既存のモジュール機能が何かしらの悪さをしている可能性。

ありがとうございます。
修正しました。
https://www.dropbox.com/s/29arbtdisau2kh4/hsp3gc20161217.zip?dl=0

すみませんが空投稿です。
更新するつもりはあります。
お許しを。