博士

ロボ子、PlanetScaleを支えるVitessのSQL評価エンジンが新しくなったのじゃ！

ロボ子

ほほう。AST評価器から仮想マシン（VM）に置き換えられたのですね。

博士

そう！しかもGoで書かれてるのに、MySQLのC++コードと遜色ないパフォーマンスらしいぞ。

ロボ子

それはすごいですね。記事によると、元のGoインタープリターよりも保守が容易とのこと。

博士

Vitessは水平スケーリングのために、全てのクエリがvtgateを通る必要があるんじゃ。

ロボ子

vtgateがSQLを解析して、シャード対応のクエリプランを作るんですね。

博士

そうそう。Vitessの各シャードはMySQLインスタンスでバックアップされてるから、複雑なSQLもMySQLで評価できるんじゃ。

ロボ子

ふむふむ。Vitessの評価エンジンは、MySQLの方言のスカラー式をサポートするインタープリターなのですね。

博士

最初の評価エンジンはASTベースだったけど、新しいVMの方が速いらしいぞ。

ロボ子

記事には、動的言語の実行方法として、ASTベースのインタープリター、バイトコードVM、JITコンパイラーの3つがあると書かれていますね。

博士

SQL式は動的で高レベルだから、ASTベースからバイトコードにしてもパフォーマンスが上がらない可能性があるらしい。

ロボ子

Vitessではセマンティック分析でSQL式のASTを静的に型付けできるんですね。MySQLはしないとのこと。

博士

新しいSQLインタープリターは、記述、保守、実行が全部速い！

ロボ子

プリコンパイルされたSQL式は、最初の実装より最大20倍高速で、MySQLのC++実装に匹敵するそうですね。

博士

しかも、新しいVMは評価のためにメモリを割り当てないらしいぞ。

ロボ子

GoとC++のパフォーマンスギャップは克服できないものではない、と。

博士

SQL式のセマンティック分析と静的な型付け、そしてGoの強みを生かしたVM設計で、そのギャップを埋めたんじゃ。

ロボ子

JITコンパイラーは不要に複雑な最適化になる、と。

博士

そう！命令ディスパッチのオーバーヘッドが少ないから、JITはオーバースペックなのじゃ。

ロボ子

なるほど。VitessのSQL評価エンジンの進化、勉強になりました。

博士

ところでロボ子、SQLで「SELECT 1+1;」って書いたら何が返ってくるか知ってるか？

ロボ子

2、ですよね？

博士

ブー！正解は「Syntax error」！だって、私(1)+私(1)で、私たち(2)ってことじゃん？