full scratch mysql storage engine

http://rabbitfoot141.hatenablog.com/entry/2020/01/17/012402

Transcript

1. 自作ストレージエンジンから見る MySQL の内部実装 2020/01/18 @lrf141
2. 自己紹介 - けんつ (@lrf141) - DBMS, 分散システム - Go / PHP / C - MySQL はフェチ - 社会性がたりない
3. こっち読むと幸せになれる
4. 始める前に
6. 24 枚 / 10 分
7. 38 枚 / 5 分
8. 今日話すこと
9. 今日話すこと - OSS としての mysql-server コード・リーディング - 既存の SE 実装 - 内部実装を支えるシステムコール - MySQL Internal Manual - Source Code Documentation
10. 今日話すこと - OSS としての mysql-server コード・リーディング - 既存の SE 実装 - 内部実装を支えるシステムコール - MySQL Internal Manual - Source Code Documentation
11. 今日話すこと - ストレージエンジンを支える仕組み - テーブルファイル作成時の処理 - テーブルファイル読み込み時の処理 - SELECT, INSERT 時の処理
12. 資料 - MySQL Internal Manual - MySQL 8.0.18 Source Code Documentation - Connpass に掲載したブログ - Github mysql-server
13. ストレージエンジンを支える仕組み
14. ストレージエンジンを支える仕組み - Pluggable Storage Engine - Handlerton - Handler - Share - Lock
15. Pluggable Storage Engine - MySQL はストレージエンジンをプラグインとして扱う - 共有ライブラリ(.so)形式で /usr/lib/mysql/plugin 以下にあるものが対象 - 動的に設定可能 - mysqld は ha_hoge.cc|.h で宣言、実装されている API を呼び出す
17. handlerton - Handler Singleton - 各ストレージエンジンにつき１つのみの生成 - ストレージエンジンの定義を保持 - メタ情報と API を実装したメソッドポインタ
19. Handler - テーブル、コネクション毎に作成される - データストレージ、インデックス、行操作 - ロック等、同時実行制御に関する処理も保持 - MySQL Server と実際に通信するのはこれ - SQL 操作以外にも統計情報系もここ
21. Share - テーブルのメタデータを保持する - インスタンスはテーブル間で共有される - ロックに関するメンバを持つ - ファイルディスクリプタはここで持つと良い？
23. Lock - Share にマスターロック(THR_LOCK)、ハンドラにロックインスタンス (THR_LOCK_DATA) - ロックインスタンスが他のハンドラに対して有効なロックを持つ - Posix Thread ベース - デフォルトで SELECT は共有ロック、INSERT 等は排他ロック - 内部ロックはロックインスタンスを利用
24. class Gambit_share : public Handler_share { public: THR_LOCK lock; const char *name; … } class ha_gambit : public handler { THR_LOCK_DATA lock; ///< MySQL lock Gambit_share *share; ///< Shared lock info Gambit_share * get_share(); ///< Get the share
25. TABLE 作成時の処理
26. Table 作成時の処理 - /var/lib/mysql 以下にデータベース名でディレクトリが存在する前提 - テーブル毎にディレクトリが作成される - ha_hoge::create を実装する - open システムコールのラッパーである my_create を使用する - sdi ファイルも同時に生成される - 作成時にオプションを変更可能
27. int ha_gambit::create (const char *name, TABLE *, HA_CREATE_INFO *, dd::Table *) { DBUG_TRACE; File create_file; DBUG_ENTER("ha_gambit::create" ); if ((create_file= my_create(name, 0, O_RDWR | O_TRUNC, MYF(0))) < 0) DBUG_RETURN(-1); if ((my_close(create_file, MYF(0))) < 0) DBUG_RETURN(-1);
28. TABLE 読み込み時の処理
29. Table 読み込み時の処理 - ha_hoge::open を実装する - SELECT, INSERT, etc… 時に走るためロックが必要 - ファイルディスクリプタは share でもっておくのが良さそう？
30. int ha_gambit::open(const char *name, int, uint, const dd::Table *) { DBUG_TRACE; File open_file; if (!(share = get_share())) return 1; thr_lock_data_init(&share->lock, &lock, NULL); if (!(open_file = my_open(name, O_RDWR, MYF(0)))) return 1; share->table_file = open_file; share->name = name; return 0; }
31. SELECT, INSERT 時の処理
32. 共通の前提 - Share(TABLE_SHARE) がテーブルのメタデータを保持 - TABLE_SHARE は各フィールドの情報を持つ Field も保持 - 各フィールドは String(sql_string.h) というバッファを利用 - ロックが走る - 内部フォーマットの先頭はカラム数分の Null ビットマップ
33. for (Field **field = table->field; *field; field++) { const char *p; const char *end; … }
34. INSERT 時の処理 ひたすら Field から String バッファに値を格納して my_write するだけ！！！！
35. SELECT 時の処理 - Field の値を引数である buf に格納 - 値の実体は Field->ptr - buf にコピーするべきだが Field->ptr と buf は参照先が同じ - store メソッドで Field->ptr に値読み取った値を格納する
36. おわりに
37. おわりに - MySQL 内でストレージエンジンが担保する機能は少ない - SE は Handler が肝 - ロックに関することがわかると大体いける - 全て実装依存 - コードはドキュメント