[ruby-dev:12178] Re: FRAME argv

  豊福です。

まつもとさん
> |  FRAME の argv を使っているように思えるのは
> |(1) eval.c の NODE_ZUPER と NODE_ATTRSET
> |(2) gc.c の rb_gc_mark_fram()
> |  (1) の方は他の方法で値を渡せそうな気がするし、
> |(2) の方は FRAM からたどらなくても argv[] は
> |スタックか NODE_ALLOCA にとられるのでそちらから
> |たどられるのではという気がしたんですが。
>
>  (2) SETUP_ARGSマクロでALLOCA_Nを使ってるところもTMP_ALLOCA
>      に変えれば、それで良いかもしれませんね(allocaの領域はス
>      タックに取られるとは限りませんので、保護する必要があり
>      ます)。

  alloca はスタックに取られるものとばかり思ってました。
スタックに取らない方式ってどうやってるんですか。

>  (1) 「他の方法」はどんな方法でしょう？

  うーん、実は (2) の方が重要なのだろうと予想しあまり
(1) のことはあまり深く考えていませんでした。(1) の方が
本質だったのか。

  最初は C の関数コールの引数で argv を渡せば FRAME の
argv もいらなくなると思ったのですが、それやるとすると
すべての rb_eval() に argv を渡さないといけなくなるし、
proc化するときも argv がコピーできないですね。いや、
そもそも proc では argv 使わないんじゃないかと思ってた
んですが proc の中からも super 呼べるんですね。

  他に、argv[] の領域を SCOPE の local_vars の最後に
とるというの考えたんですがややっこしくなるだけでよく
ないですね。

  ところで blk_copy_prev() と frame_dup() の argv の
コピーは共通化できませんか。ささやかな節約ですけど。
---
                        豊福
                        [e-mail]