インスタンス変数アクセスの最適化

Rubyのインスタンス変数はRubyオブジェクトのプロパティの一つ

名前文字列をキーにしてアクセスできる

monorubyでの実装

クラスに名前からID番号を引ける表を持たせる

各オブジェクトには配列を持たせ、ID番号をインデックスとしてアクセスする

ペイロードのタイプ（OBJECTかどうか）によってアクセスの仕方が異なる

VMが実行時に ①親オブジェクトのクラスID ②インスタンス変数のID番号 をトレース情報としてバイトコードに書き込んでいるので、JITコンパイル時にはその情報を利用する

code:Ruby

@a = 42

@a

code:txt

:00001 %1 = 42: i32

movabs rax,0x55 # 42のRubyオブジェクト

movabs rdi,0x4

test rax,rax # 該当スロットに値が格納されているかどうかをチェック

cmove rax,rdi # 値が無かったらnil

mov r15,rax

code:Ruby

class MyArray < Array

def f

@a = 42

@a

end

end

MyArray.new.f

code:txt

:00001 %1 = 42: i32

movabs rax,0x55 # 42のRubyオブジェクト

test rdx,rdx # check VarTable is not null

je 0xfff2825

je 0xfff2825

jle 0xfff2825

movabs rax,0x4

test rdx,rdx # check VarTable is not null

je 0x8c

je 0x8c

0x8c:

mov r15,rax

benchmark

code:txt

# Iteration per second (i/s)

| |3.3.0 --yjit| truffleruby-23.1.1| monoruby|

|:--------------------|-----------:|------------------:|------------:|

|vm_ivar | 198.369M| 20.922G| 2.151G|

|vm_ivar_get | 43.904| 410.537| 183.031|

|vm_ivar_set | 249.990M| 362.689M| 5.185G|

|vm_ivar_generic_get | 39.463M| 3.131G| 655.512M|

|vm_ivar_generic_set | 18.296M| 256.031M| 371.896M|

|vm_attr_ivar | 128.691M| 757.312M| 1.172G|

|vm_attr_ivar_set | 95.181M| 768.112M| 1.723G|

さらなる最適化