Ruby YJIT の `invariants.rs` を読んだ - 何でも屋エンジニアのブログ

少し古いバージョンの Ruby のとある不具合調査を行い Ruby の C コード読んで、たまたまかもしれないけど割と読め楽しくて興味がでてきた— ebi (@ebihara99999) 2025年2月28日 ということで Ruby のソースコードも読んでみようと思い、Ruby の朝刊 ruby-trunk-changes.hatenablog.com を読み始めた。その中で yjit の invariants.rs が挙がっていたので読んでみた。 github.com 雰囲気でしかわからないが、いくつかの assumptions を置き、それらの assumptions が有効なのか無効なのかを追跡し、assumptions が無効だったら生成されたコードを無効化するという処理をしている。 assumptions はについては Ruby の基本的な演算子はオーバーライドされない 定数が再