はじめに 今回は、昨年のACM PODC (Principle of Distributed Computing)でDijkstra賞を受賞した、以下の発表について解説します。 B. Alpern, F. B.Schneider, "Defining liveness," in proceedings of published in Information Processing Letters, vol. …

背景 先日、CSR (Conflict Serializability)について説明しました。 今回は、CSRを満たすスケジューリングを動的に生成する方法について、整理してみます。 なお、ここで書くその方法とは、2PL (Two Phase Lock)なのですが、一応念のため書いておくと、2PC (…

背景 最近は、長期休暇を頂き、鬼怒川温泉に行っておりました。 旅館に来ると、学生の頃に旅館で合宿（仲良し研究室同士の研究会）がよくあったせいか、研究とか開発がしたくなります。 さて、前の記事でトランザクション理論を学習中と書きましたが、今回は…