ruby-dev

遠藤です。

2011年3月6日12:17 SASADA Koichi <[email protected]>:
> (2011/03/06 11:37), きたざわけんいち wrote:
>>> # ちなみにこのコメントは今でも iseq_set_exception_table の中に
>>> # 残っていますが、Dirty Hack 自体は消えています。コメントが追い
>>> # ついてない……。
>>
>> iseq_set_exception_table(rb_iseq_t *iseq)
>> {
>> （略）
>>           /* TODO: Dirty Hack!  Fix me */
>>           if (entry->type == CATCH_TYPE_RESCUE ||
>>               entry->type == CATCH_TYPE_BREAK ||
>>               entry->type == CATCH_TYPE_NEXT) {
>>               entry->sp--;
>>           }
>>       }
>>
>> このコメントですね？

そうです。


> 　この sp-- するのが，なんで sp-- だけでいいのかわからなかった，という
> か，確か，別の場合もあるような気がするけど，まぁ test-all が動くからいい
> か，と思って，もっとちゃんとしないといかんなぁ，と思って書いていたんじゃ
> ないかと思います．

いや、元はもっとひどいコードだったんですよ。

           /* TODO: Dirty Hack!  Fix me */
           if (entry->type == CATCH_TYPE_RESCUE ||
               entry->type == CATCH_TYPE_BREAK ||
               (((ptr[0] & 0x10000) == 0)
                && entry->type == CATCH_TYPE_NEXT)) {
               entry->sp--;
           }

rescue と break と next には引数があるという共通点があるので、
現状のコードはそれなりに妥当だと思います。
0x10000 なんてマジックナンバーではなく CATCH_TYPE_NEXT_WITH_NO_ARG
とか CATCH_TYPE_NEXT_FOR_WHILE とか別のラベルを定義していれば
Dirty とまでは思わなかったですが。


# ちなみに当時の IRC ログ抜粋

13:44:10 <ko1_ndk> catch_type を増やしたらもっと単純になる？
13:46:19 <mame> next をキャッチするけど引数をスタックに載せない catch_type と載せる catch_type ですか
13:46:41 <ko1_ndk> そうそう
13:47:37 <mame> どっちが幸せなのかなあ
13:50:49 <mame> そもそも while の中の next の引数が無意味で気持ち悪い


> 実行時の sp の遷移は，もうちょっとフォーマルにきっちり決められるように
> したいなぁ，と思っていたりして，放ったらかしです（今は，バグがあったらア
> ドホックに直す，って感じ）．遠藤さんがきっちり決まるように，色々変更して
> くれた版があったと思うんだけど，大きすぎて reject しちゃったんですかね．

正式に提案したかどうか覚えてないですが、sp 遷移関係のバグを
撲滅できる (+ コードがきれいになる) 程度のメリットしかなかっ
たので、積極的に取り入れる理由がない、とかだった気がします。


> 本当は，フローグラフかなんかをきちんと作って，きっちりしたいところなん
> ですが．

いちいちメモリ上にグラフを構成まではしないものの、sp をきっ
ちり決めるという私のパッチはそういうパッチだったはず。
コンパイラのコードでフローを表現しているという意味で。

-- 
Yusuke Endoh <[email protected]>

Thread

Prev Next

In This Thread

Prev Next

[#43280] [Ruby 1.9 - Bug #4454] [Assigned] Fails test by ext/date — Yui NARUSE <redmine@...>

[#43281] try_header in mkmf.rb on mswin32 — Kenta Murata <muraken@...>

[#43282] [Ruby 1.9 - Bug #4455] [Assigned] rubygem's test fails when source directory and build directory differ — Yui NARUSE <redmine@...>

[#43284] [Ruby 1.9 - Bug #4456] [Open] Time#strftime で %F 指定子に大きな幅を指定した際の不具合 — tadayoshi funaba <redmine@...>

[#43285] [Ruby 1.9 - Bug #4457] [Open] Time#strftime で %z 指定子などに大きな幅を指定した際の不具合 — tadayoshi funaba <redmine@...>

[#43287] [Ruby 1.9 - Bug #4458] [Open] Time#strftime で %z 指定子での結果への空白を詰めかたが正しくない — tadayoshi funaba <redmine@...>

[#43289] [Ruby 1.9 - Bug #4388] open-uriで環境変数http_proxyを使うときに認証付きのProxyが使えません — あつし よしだ <rudeboyjet@...>

[#43290] [Ruby 1.9 - Bug #4388] [Rejected] open-uriで環境変数http_proxyを使うときに認証付きのProxyが使えません — Shota Fukumori <sorah@...>

[#43291] [Ruby 1.9 - Bug #4388] open-uriで環境変数http_proxyを使うときに認証付きのProxyが使えません — Hiroshi NAKAMURA <nakahiro@...>

[#43296] [Ruby 1.9 - Bug #3990] [Assigned]tests of rexml/rss reports many errors and failures without iconv — Yui NARUSE <redmine@...>

[#43300] [Ruby 1.9 - Bug #4466][Open] test_should_run_all_without_any_leaks somtimes fails — Tomoyuki Chikanaga <nagachika00@...>

[#43306] [Ruby 1.9 - Feature #4468][Open] String() should call to_str before to_s — Tomoyuki Chikanaga <nagachika00@...>

[#43317] [Ruby 1.9 - Bug #4474][Open] 複数のスレッドからトランザクションに入ろうとした場合のPStoreの挙動 — Masaki Matsushita <redmine@...>

[#43327] [Ruby 1.9 - Feature #4483][Open] PStoreをデフォルトで複数のスレッドから扱えるようにしたい — Masaki Matsushita <redmine@...>

[#43338] [Ruby 1.9 - Feature #4495][Open] PStoreの高速化 — Masaki Matsushita <redmine@...>

[#43340] [Ruby 1.9 - Bug #4418] OpenSSL::PKey::DH#public_key — Ippei Obayashi <ohai@...>

[#43343] [Ruby 1.9 - Bug #4516][Assigned] test-all hangs on i386 environment — Shyouhei Urabe <shyouhei@...>

[#43344] [Ruby 1.9 - Bug #4518][Open] (win32) waitpid returns exit code while the child process still alive. — Akio Tajima <artonx@...>

[#43346] [BUG] lib/irb/locale.rb — keiju@... (Keiju ISHITSUKA)

[#43350] [Ruby 1.9 - Bug #4524][Assigned] [pull requested] LOG_PERRORがない環境があるらしい。 — Shyouhei Urabe <shyouhei@...>

[#43355] [Ruby 1.9 - Feature #4529][Assigned] date_core と long 型 — Yui NARUSE <redmine@...>

[#43365] [Ruby 1.9 - Bug #4536][Open] 定数参照について1.8と1.9の違い — Yukihiro Matsumoto <matz@...>

[#43373] 単位時間あたりに消費する電力を抑えるRuby処理系 — SASADA Koichi <ko1@...>

[ruby-dev:43321] Re: iseq_compile_each()でのマジックナンバ

Thread

In This Thread

[#43289] [Ruby 1.9 - Bug #4388] open-uriで環境変数http_proxyを使うときに認証付きのProxyが使えません — あつしよしだ <rudeboyjet@...>