stdbm

「software transactional dbm」(仮)

まだ全然進んでない。

• やりたい事
• やった事/諦めた事
• 疑問点
• 未整理まとめ
• 参考リンク

やりたい事

• 「Gauche上で動作する」、「(任意の)dbm(もしくは他のkey/value store)上に」、「stmを実装する」。
• これが「そもそも可能なのか」、或いは「制限はあるが可能だとして、どのような制限があるのか」を調べる。
• その結果、実装する価値があるようなら、実際に作る。
  • 或いは、実装する価値があるかどうか確認する為に、実際に作る。

やった事/諦めた事

• stmの元論文を流し読みした
  • 概要とインターフェースだけ理解した
  • どういう実装になっているのかは理解できなかった
    • 図とかを見る限りでは、cons cellっぽいものを組み合わせて、djb式のファイルのatomicな更新みたいな感じの動きをするものっぽそうな気はする
• 続きはあとで

疑問点

• dbm上にstmを実装するよりも、普通にstmを実装して、オンメモリなストレージプロセスを作って(適切なタイミングでローカルのdbm等にデータを保存する)、それに対して適当なプロトコルで通信した方が楽なのでは？

未整理まとめ

• retryはcall/cc(もしくは部分継続)による実装が良さそう？

参考リンク

• http://research.microsoft.com/en-us/um/people/simonpj/papers/stm/#composable
  • stmの元論文(pdf)。
• http://hackage.haskell.org/package/stm
  • Haskellでの実装。
• http://www.haskell.org/haskellwiki/Software_transactional_memory
  • HaskellWikiのstm項目。
• ja.wikipedia:ソフトウェアトランザクショナルメモリ
  • ja.wikipediaによる概要。
• realworldhaskell:ソフトウェアトランザクショナルメモリ
  • Real World Haskell(の翻訳サイト)のstmのページ。
  • 非常に分かりやすいサンプルが書いてある(但しこのサイト自体が機械翻訳ベースなので、訳のおかしい箇所があったりするので注意)。
• http://common-lisp.net/project/cl-stm/
  • Common Lispによるstm実装。
  • deftclassでTMVar(のクラス)作成、deftransactionでatomically相当を定義するっぽい。
• http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20071017
  • Rubyによるstm実装(三種類)。
• http://www.dodgson.org/omo/t/?date=20070623
  • 解説及び、C++による簡易的なstm実装。
• HaskellのスレッドシステムとSTMについて - ありえるえりあ その1 その2 その3
  • 実際にコードを書いて動かしてるサンプル。その3のコメントによると、内容が微妙に間違ってるところがあるっぽい。
• http://amino-cbbs.sourceforge.net/
  • C++による、本格的な？stm実装。