DBMSを作りました
セキュリティキャンプ2021のY-IIトラックに参加して簡単なDBMSを0から作りました。
概要
DataBase Management System略してDBMSです。
- Key-value store (KeyとValueはどちらもC++のstd::stringのみ)
- select, insert, update, deleteができる。
- S2PL(Strict two phase lock)でTransactionの並行実行制御ができる。
のようなDBMSを作りました。 またB-treeを実装する時に可変長のデータに対応するのが難しかったのでKeyとValueは長さが400-8=392以下のみしか対応していません。
リポジトリはこちら
実装したこと
- Write ahead logging
- Crash recovery
- Buffer manager
- Disk manager
- B-tree
- S2PLとC++20 co_routineを用いた並行実行制御(Single threadで)
- Deadlock preventionのためのWait-dieアルゴリズム
当初の自分の目標はIn-memoryではないファイル上のB-treeを実装することとC++20のco_routineを用いた並行実行制御でした。 それらが動くところまで実装することができました。
ちなみに https://github.com/kappybar/mydb/blob/main/examples/example1.cpp こんな感じで動きます。
my_task transaction1(Table *table) { Transaction txn(&table); co_yield txn.begin(); std::optional<std::string> value = co_await txn.select("key"); co_yield txn.commit(); co_return; }
上のようなTransactionがあったときにco_yield,co_awaitのところで実行が中断されて、他のTransactionに処理が移ります。 こうすることでSingle threadで並行実行制御を試すことができます。
全体の構成
Data operation(select, insert, update, delete)は最初にWrite-setに入れられます。 Transactionのすべての操作が終わって、Commitすると、Logを書いた後に、B-treeに反映されます。 そしてプログラムが終了する前にCheckpointingをして、B-treeの内容をData-fileに書き込みます。Data fileはただKeyとValueが並んだだけのファイルです。
B-tree
ファイル上のB-treeを実装しました。
B-treeひとつのノードを4Kibのページとして実装しています。In-memoryではないインデクスを作ろうと思うとメモリとファイルの間でpageをやり取りする必要があるので、メモリ上のレイアウトとファイル上のレイアウトを共通化する必要があります。
このレイアウトの方法はSlotted pageなどの効率の良い方法が存在しているのですが、自分はそれをするのが面倒だったのでKeyとValueに使われている文字列の長さに制限をつけて、ただそれらを並べただけのレイアウトにしました。ちなみに文字列の長さを制限することによってKeyやValueが複数のページにまたがることも防げて、実装が簡単になります。
またメモリ上のページがいっぱいになってしまった時に、どのページを退避するか選択するページ置換アルゴリズムを考える必要があります。 OSの仮想メモリのページ置換アルゴリズムと同じようによくアクセスするページをメモリ上に残しておくと効率が良くなります。 自分は実装が簡単そうだったので、Clockアルゴリズムを採用しました。 Clockアルゴリズムは時計の針のようにページを見ながら、Access bitがたっていないページがあればそのページを置換対象にするアルゴリズムです。
並行実行制御
S2PLを実装しました。必要になるたびにLockを獲得していき、一度獲得したLockを解放することなく、最後にcommitした後にすべてのLockを解放します。こうしてできた操作の列はConflict serializabilityを満たしていて、直列に実行したTransactionと、ある意味で等価な操作列と見なすことができます。
なお単純にS2PLを実装すると簡単にDeadlockが起きるのでDeadlock preventionなりDeadlock detectionのアルゴリズムを何か考える必要があります。 自分はDeadlock preventionのアルゴリズムを実装しました。No-waitというWaitしたらそのTransactionをAbortするアルゴリズムが一番簡単そうだったのですが、つまらなそうだったのでWait-dieというアルゴリズムを実装しました。
Wait-dieはそれぞれトランザクションに優先度を割り振っておいて、Waitできるのは優先度が高いトランザクションが優先度の低いトランザクションの持っているLockを要求した場合のみで、そうでない場合はAbortするというアルゴリズムです。こうすることで循環したWaitが発生しないのでDeadlockに陥ることはありません。
Coroutine
並行実行制御といいつつSingle threadで動かしているので、同時に複数のTransactionが動いているわけではありません。 C++20のco_routineを用いて、Transactionの操作をインターリーブして実行できるようにしています。C++20のco_routineはライブラリ実装者向けの低レベルな機能しかないため、もし使いたければ自分でco_routineを使えるようにランタイムライブラリをつくるか、boostやcppcoroなどのすでに実装されているライブラリなどを使うかどちらかになります。
自分はco_routineの勉強も兼ねて自分でランタイムライブラリ(もどき)を実装しました。 リポジトリのdb.hppのmy_task構造体がそれにあたります。たいしたことはできていないですが、co_routineの動くコードがあまりネット上に落ちていなくて、動くまでにちょっと苦労しました。一番詳しく書かれていたのは コルーチン - cpprefjp C++日本語リファレンス です。(当たり前ですが)説明が形式的な感じで自分はちょっと分かりづらかったです。でも参考になるコードがここに載っているのでそれらをいじって、どういうふうに動いているのか理解しました。
改善点
- B-treeのコードを書いていて、とても複雑になってしまった。特に他の人にソースコードを見せたりするつもりもなかったので、自分一人で書いていて、コードが汚くなりがちだった。
- B-treeの真面目な永続化をサボってしまったので、データベースの実行に必要なファイルがB-tree, Data, Logの3種類になってしまって、奇妙なアーキテクチャになってしまった。
- co_routineのライブラリを作ったとは言ったもののたいしたことはできていない。Waitとかもco_routineのライブラリの方で処理できるといいかなと思いました。
感想
授業とかでもともとの雛形があるところから、なにか機能を追加したことはありましたが、自分で0から設計を考えて、ソフトウェアをつくっていくのは初めてだったので新鮮でした。自分はC++で競技プログラミングしかやってこなかったけれど、競プロで培われた、コーナーケースを考える力というかすべてのケースを考える力みたいなのがバグのないソフトウェアの開発にも通ずるところがすこしはあるなあと思いました。 B-treeとかは競プロやってなかったらもっとバグらせたと思います。
今回簡単なDBMSを実装してみて、既存のDBMSとかに尊敬の感情しか湧きませんでした。なんだかんだDBMS作るの楽しかったです。 いろいろと時間を割いてくださったりアドバイスをくださった講師、チューターの方、ありがとうございました。
添字and,or畳み込み
概要
添字andとorの畳み込みの計算方法について勉強したことを書きます。 勉強したことと書いてある通り、自分自身が勉強したばかりなので誤り等あるかもしれません。
仕組み
まず畳み込みの定義をします。
数列が与えられた時に
で定義される数列がそれぞれ、添字andと添字orの畳み込みです。 添字に関してandとorで畳み込んでいますね。 まずandの畳み込みについて考えます。andの畳み込みができてしまえば、orの畳み込みもほぼ同じ方法でできます。 この計算をするために次のような数列の変換を考えます。
このとき数列の変換を行うことによって、
となります。つまりもともと畳み込みの計算だったものが各点積という簡単な計算に変化しています。
(1)の証明のようなもの
2行目から3行目が一番わかりづらいです。からはを完全に含んでいるので、 もを完全に含んでいるので、えいっとシグマの取り方を変えられます。
fの逆変換
ところでこの計算で求めることができたのは、求めたかったではなくです。 もしの逆変換のようなものがあればからを得ることができます。実はそのような変換は存在します!!
次の変換はの逆変換になっています。
popcount(i)はiの立っているビットの数を表しています。つまりiを立っているビットが表す集合とみたときの集合の要素と等しいです。 ちなみに先程のと異なる部分は-1の累乗をかけている部分だけです。
gとfが互いに逆変換であることの証明のようなもの
を示せばいいはず。
二つのシグマの条件式をみるとはビットの集合の包含関係としてとなっていることがわかります。
[1] のとき
しかないからの係数はです。
[2] のとき
であるについて の総和をとったものがの係数になります。 これは包除原理でよくあるやつで、とすると、
が成り立つのでの係数はになります。
よってが成り立つことが示せました。これの逆も同じ感じで示せます。
添字and畳み込み
まとめると次の計算をするとandの畳み込みが計算できます。
- 数列に変換をかける。
- それらの数列の各点積を取る。
- できた数列にの逆変換をかける。
ちなみにこのには名前がついています。をゼータ変換、をメビウス変換といいます。 ちなみにゼータ変換には上位集合と下位集合のゼータ変換があって、この変換は上位集合のゼータ変換です。 メビウス変換も同様でこれは上位集合のメビウス変換です。
下のようなゼータ変換やメビウス変換をよく見ると思うんですが、
これは最初に紹介した変換のゼータ変換の添字をビットが表す集合と思うと同じになります。
添字or畳み込み
ここまでandの畳み込みしか書いてきていませんがorの畳み込みも同様にできます。 じつは先程の上位集合のゼータ変換、メビウス変換を下位集合ののゼータ変換、メビウス変換に変えるとorの畳み込みになります。 下位集合のゼータ変換、メビウス変換は次のような式で表されます。
証明もほぼ同じ感じでできると思います。 一応集合の形でも書いておきます。
高速ゼータ変換、メビウス変換
ゼータ変換やメビウス変換を愚直にやると数列の長さをNとしてかかります。 これをで行うのが高速ゼータ変換、メビウス変換です。 高速ゼータ変換、メビウス変換ができればandとorの畳み込みはで計算することができます。 説明は省略しますが、下のようなコードで実現できます。bitdpのようなことをやっているらしい。それぞれのbitについて累積和をしているといってもいいかも。 配列の長さは2の冪乗にしておくといいと思います。
コード
間違っている可能性があります。
上位集合のゼータ変換
void zeta_sup(vector<int> &f) { int n = (int)f.size(); for (int i = 1;i < n;i <<= 1) { for (int j = 0;j < n; j++) { if (!(j&i)) f[j] += f[j|i]; } } }
上位集合のメビウス変換
void mebius_sup(vector<int> &f) { int n = (int)f.size(); for (int i = 1;i < n;i <<= 1) { for (int j = 0;j < n; j++) { if (!(j&i)) f[j] -= f[j|i]; } } }
下位集合のゼータ変換
void zeta_sub(vector<int> &f) { int n = (int)f.size(); for (int i = 1;i < n;i <<= 1) { for (int j = 0;j < n; j++) { if (j&i) f[j] += f[j^i]; } } }
下位集合のメビウス変換
void mebius_sub(vector<int> &f) { int n = (int)f.size(); for (int i = 1;i < n;i <<= 1) { for (int j = 0;j < n; j++) { if (j&i) f[j] -= f[j^i]; } } }
andの畳み込み
vector<int> and_convolution(vector<int> a,vector<int> b) { assert(a.size() == b.size()); zeta_sup(a); zeta_sup(b); int n = (int)a.size(); for(int i = 0;i < n; i++) a[i] *= b[i]; mebius_sup(a); return a; }
orの畳み込み
vector<int> or_convolution(vector<int> a,vector<int> b) { assert(a.size() == b.size()); zeta_sub(a); zeta_sub(b); int n = (int)a.size(); for(int i = 0;i < n; i++) a[i] *= b[i]; mebius_sub(a); return a; }