メモの日々


2005年07月30日(土) [長年日記]

  • 相変わらず毎日毎日他人の作ったPHPプログラムのバグ取りをしている。もう飽きた。心に余裕がない。

[java] 「JavaプログラマーのためのCSP 第1回」 (developerWorks)

マルチスレッドプログラミングの話。CSPというので数学的に平行性の問題をチェックできるみたい。

つまりデッドロックやライブロックに関しては、CSP(Communicating Sequential Processes)として知られる、スレッド同期に関する厳密な数学理論を使って、設計時に処理するのが最善なのです。1970年代後半にC.A.R. Hoareによって開発されたCSPでは、CSP構成体やCSPツールを使って構築されたシステムには並行性に関する一般的な問題が無い、ということを効果的に証明できるのです。

でもCSPの説明はこの文書にはない。続編の翻訳に期待。

やること

  • オーブンレンジ用べんり棚
  • ブラウンの安い電動歯ブラシ買う
  • 蛍光灯を捨てる
  • 請書
  • クリーニング
  • 健康保険料納付