From: Yusuke ENDOH Date: 2010-02-13T10:31:57+09:00 Subject: [ruby-dev:40410] Re: [Bug:trunk] rubyspec: ObjectSpace.define_finalizer doesn't call self-referencing finalizers FAILED 遠藤です。 2010年2月12日22:32 Yusuke ENDOH : > 2010年2月11日19:08 Yusuke ENDOH : >>> 以下のようにすると T_ZOMBIE が見えてしまうのはバグでしょうか。 > *snip* > もう少し考えてみますが、それでも T_ZOMBIE が見えるよりはいいと > 思うので、反対がなければとりあえずコミットしようと思います。 誰にも相手にされず寂しい限りですが、続報です。 このパッチをあてると、Enumerator#next と Tempfile を組み合わせた時に Tempfile が消されなくなりました。これは実用上弊害がありそうです。 require "tempfile" e = 1.enum_for(:upto, 3) e.next t = Tempfile.new("foo") p t.path これ自体はひょっとしたらバグなのかもしれませんが、一般的に言って、 conservative GC だとファイナライザが予期せずオブジェクト自体に参照を 持ってしまう可能性があるので、self-referencial なファイナライザを 実行しないという方針だと、ファイナライザが不可解に実行されない事態の 発生を避けられないという結論に至りました。 終了時には、対象オブジェクトを回収する前に必ずファイナライザを走らせる というのはどうでしょうか。一応、make check と make test-rubyspec が 完走することは確かめています。 反対がなければコミットして、rubyspec 側も修正します。 diff --git a/gc.c b/gc.c index 4cfc23c..759b14e 100644 --- a/gc.c +++ b/gc.c @@ -2588,11 +2588,29 @@ run_single_final(VALUE arg) } static void -run_final(rb_objspace_t *objspace, VALUE obj) +run_finalizer(rb_objspace_t *objspace, VALUE obj, VALUE objid, VALUE table) { long i; int status; - VALUE args[3], table, objid; + VALUE args[3]; + + args[1] = 0; + args[2] = (VALUE)rb_safe_level(); + if (!args[1] && RARRAY_LEN(table) > 0) { + args[1] = rb_obj_freeze(rb_ary_new3(1, objid)); + } + for (i=0; i 0) { - args[1] = rb_obj_freeze(rb_ary_new3(1, objid)); - } - for (i=0; ias.basic.flags & FL_FINALIZE) { + if ((p->as.basic.flags & (FL_FINALIZE|FL_MARK)) == FL_FINALIZE) { if (BUILTIN_TYPE(p) != T_ZOMBIE) { p->as.free.flags = FL_MARK | T_ZOMBIE; /* remain marked */ RDATA(p)->dfree = 0; } p->as.free.next = *final_list; *final_list = p; - return ST_CONTINUE; - } - else { - return ST_DELETE; } + return ST_CONTINUE; +} + +struct force_finalize_list { + VALUE obj; + VALUE table; + struct force_finalize_list *next; +}; + +static int +force_chain_object(st_data_t key, st_data_t val, st_data_t arg) +{ + struct force_finalize_list **prev = (struct force_finalize_list **)arg; + struct force_finalize_list *curr = ALLOC(struct force_finalize_list); + curr->obj = key; + curr->table = val; + curr->next = *prev; + *prev = curr; + return ST_DELETE; } void @@ -2681,15 +2704,22 @@ rb_objspace_call_finalizer(rb_objspace_t *objspace) /* run finalizers */ if (finalizer_table) { - finalize_deferred(objspace); - while (finalizer_table->num_entries > 0) { + do { + finalize_deferred(objspace); + mark_tbl(objspace, finalizer_table, 0); st_foreach(finalizer_table, chain_finalized_object, - (st_data_t)&final_list); - if (!(p = final_list)) break; - do { - final_list = p->as.free.next; - run_final(objspace, (VALUE)p); - } while ((p = final_list) != 0); + (st_data_t)&deferred_final_list); + } while (deferred_final_list); + /* force to run finalizer */ + while (finalizer_table->num_entries) { + struct force_finalize_list *list = 0; + st_foreach(finalizer_table, force_chain_object, (st_data_t)&list); + while (list) { + struct force_finalize_list *curr = list; + run_finalizer(objspace, curr->obj, rb_obj_id(curr->obj), curr->table); + list = curr->next; + xfree(curr); + } } st_free_table(finalizer_table); finalizer_table = 0; -- Yusuke ENDOH