Feature #819: Caching Symbol#to_proc

• Status: Closed
• Assignee: -
• Target version: -

[akai (Shumpei Akai)]

=begin
Symbol#to_proc で毎回オブジェクトを生成するのは無駄な気がするので，
いくつかキャッシュしてはどうでしょうか．

require 'benchmark'
N=10000
syms_miss=(1..500).map{|i|"a#{i}".to_sym}syms_hit=[:a]*500
Benchmark.bm do|r|
r.report("miss"){N.times{syms_miss.each{|x|x.to_proc}}}
r.report(" hit"){N.times{syms_hit.each{|x|x.to_proc}}}
end

上のようなベンチマークを取ると，次のようになります．
% ruby_trunk -v
ruby 1.9.1 (2008-12-03 patchlevel 5000 revision 20460) [x86_64-linux]

キャッシュなし
user system total real
miss 9.060000 0.040000 9.100000 ( 9.092981)
hit 9.070000 0.050000 9.120000 ( 9.114511)
キャッシュあり
user system total real
miss 9.260000 0.020000 9.280000 ( 9.282089)
hit 0.750000 0.000000 0.750000 ( 0.757002)

以下パッチです

Index: string.c

--- string.c (リビジョン 20465)
+++ string.c (作業コピー)
@@ -6912,13 +6912,37 @@

• (1..3).collect(&:to_s) #=> ["1", "2", "3"]
  */

+static VALUE sym_proc_cache=Qfalse;
+#define SYM_PROC_CACHE_SIZE 64
static VALUE
sym_to_proc(VALUE sym)
{

• return rb_proc_new(sym_call, (VALUE)SYM2ID(sym));
  -}

• VALUE proc;

• ID id;

• long sym_index,proc_index;

• VALUE *aryp;

• if(!sym_proc_cache){

•    rb_global_variable(&sym_proc_cache);
  

•    sym_proc_cache = rb_ary_new2(SYM_PROC_CACHE_SIZE * 2);
  

• }

• id=SYM2ID(sym);

• sym_index= (id % SYM_PROC_CACHE_SIZE) << 1;

• proc_index = sym_index | 1;

• aryp=RARRAY_PTR(sym_proc_cache);

• if(aryp[sym_index]==sym){

•    return aryp[proc_index];
  

• }else{

•    proc = rb_proc_new(sym_call, (VALUE)id);
  

•    aryp[sym_index]=sym;
  

•    aryp[proc_index]=proc;
  

•    return proc;
  

• }
  +}

static VALUE
sym_succ(VALUE sym)
=end

[nobu (Nobuyoshi Nakada)]

=begin
なかだです。

At Thu, 4 Dec 2008 09:48:10 +0900,
Hajime Hoshi wrote in [ruby-dev:37267]:

動作確認はしていないのですが、
sym_proc_cache の生成直後は長さ (len) 0 の配列なので
sym_proc_cache の要素の proc オブジェクトは
GC に回収されてしまう恐れがあるのではないでしょうか。

それと、IDは下位ビットで種類を表しているので値に偏りがあり、キャッ
シュサイズが2の冪乗だと衝突する可能性が高くなります。

--
--- 僕の前にBugはない。
--- 僕の後ろにBugはできる。
中田 伸悦

=end

[akai (Shumpei Akai)]

=begin
赤井です．

Hajime Hoshi wrote, (2008/12/04 9:48):

動作確認はしていないのですが、
sym_proc_cache の生成直後は長さ (len) 0 の配列なので
sym_proc_cache の要素の proc オブジェクトは
GC に回収されてしまう恐れがあるのではないでしょうか。

Nobuyoshi Nakada wrote, (2008/12/04 12:12):

それと、IDは下位ビットで種類を表しているので値に偏りがあり、キャッ
シュサイズが2の冪乗だと衝突する可能性が高くなります。

直すならこのような感じでしょうか．

Index: string.c

--- string.c (リビジョン 20513)
+++ string.c (作業コピー)
@@ -6912,13 +6912,38 @@

• (1..3).collect(&:to_s) #=> ["1", "2", "3"]
  */

+static VALUE sym_proc_cache=Qfalse;
+#define SYM_PROC_CACHE_SIZE 67
static VALUE
sym_to_proc(VALUE sym)
{

• return rb_proc_new(sym_call, (VALUE)SYM2ID(sym));
  -}

• VALUE proc;

• long id;

• long sym_index,proc_index;

• VALUE *aryp;

• if(!sym_proc_cache){

•    rb_global_variable(&sym_proc_cache);
  

•    sym_proc_cache = rb_ary_new2(SYM_PROC_CACHE_SIZE * 2);
  

•    rb_ary_store(sym_proc_cache, SYM_PROC_CACHE_SIZE*2 - 1, Qnil);
  

• }

• id=SYM2ID(sym)>>3;

• sym_index= (id % SYM_PROC_CACHE_SIZE) << 1;

• proc_index = sym_index | 1;

• aryp=RARRAY_PTR(sym_proc_cache);

• if(aryp[sym_index]==sym){

•    return aryp[proc_index];
  

• }else{

•    proc = rb_proc_new(sym_call, (VALUE)id);
  

•    aryp[sym_index]=sym;
  

•    aryp[proc_index]=proc;
  

•    return proc;
  

• }
  +}

static VALUE
sym_succ(VALUE sym)
{

--
赤井駿平

=end

[nobu (Nobuyoshi Nakada)]

• Status changed from Open to Closed
• % Done changed from 0 to 100

=begin
Applied in changeset r20521.
=end

[nobu (Nobuyoshi Nakada)]

=begin
なかだです。

At Thu, 4 Dec 2008 21:19:24 +0900,
Shumpei Akai wrote in [ruby-dev:37274]:

直すならこのような感じでしょうか．

以下の点を変更してコミットしました。

• RDocが混乱するのを防ぐためにsym_proc_cacheを関数内に移した
• rb_gc_register_mark_object()を使う
• idを3bitシフトすると正しくないProcを作ってしまう

--
--- 僕の前にBugはない。
--- 僕の後ろにBugはできる。
中田 伸悦

=end