DBMS卒論のアイデア

目的

信頼性のあるDBMS実装法

新規性

ラッチのメモリ/スレッドセーフティを保証しているDBMS

並行制御のモデル検査をするDBMS

手段

Rustで実装をする

メモリセーフ

スレッドセーフ

モデル検査をする

トランザクションのanomalyを検知する

目次

Rust

SimpleDB

トランザクション