輪講資料作り

デッドロックの解決に関する部分．グラフを作ってループしなければいい，というアルゴリズムはすぐに思いつく方法だけれど，タイムスタンプを使う方法は知らなかった．デッドロックって恐ろしい名前だけど，デッドロックフリーじゃないデータベースなんてデータベースなんだろうか？