From: Yusuke ENDOH <mame@...>
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 <mame@tsg.ne.jp>:
> 2010年2月11日19:08 Yusuke ENDOH <mame@tsg.ne.jp>:
>>> 以下のようにすると 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<RARRAY_LEN(table); i++) {
+ VALUE final = RARRAY_PTR(table)[i];
+ args[0] = RARRAY_PTR(final)[1];
+ args[2] = FIX2INT(RARRAY_PTR(final)[0]);
+ rb_protect(run_single_final, (VALUE)args, &status);
+ }
+}
+
+static void
+run_final(rb_objspace_t *objspace, VALUE obj)
+{
+ VALUE table, objid;
RUBY_DATA_FUNC free_func = 0;
objid = rb_obj_id(obj); /* make obj into id */
@@ -2610,17 +2628,7 @@ run_final(rb_objspace_t *objspace, VALUE obj)
if (finalizer_table &&
st_delete(finalizer_table, (st_data_t*)&obj, &table)) {
- 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<RARRAY_LEN(table); i++) {
- VALUE final = RARRAY_PTR(table)[i];
- args[0] = RARRAY_PTR(final)[1];
- args[2] = FIX2INT(RARRAY_PTR(final)[0]);
- rb_protect(run_single_final, (VALUE)args, &status);
- }
+ run_finalizer(objspace, obj, objid, table);
}
}
@@ -2652,18 +2660,33 @@ static int
chain_finalized_object(st_data_t key, st_data_t val, st_data_t arg)
{
RVALUE *p = (RVALUE *)key, **final_list = (RVALUE **)arg;
- if (p->as.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 <mame@tsg.ne.jp>