最近のRadium Software Development

雑記 CS

ここしばらく高橋氏のブログRadium Software DevelopmentにおいてCSの基礎技術，基礎理論のレビューが多く，非常に興味深い．

  • エラー忘却型コンピューティング (failure-oblivious computing)
  • 契約による設計 (DbC: Design by Contract)
  • 静的検証の業務レベルでの利用
  • "crash-only," microreboot, microrecovery
  • 型安全なアセンブリ言語
  • 仮想記憶のソフトウェア・レイヤでの実装

記事の内容そのものもさることながら，ゲームプログラマを本職とする著者がこういう紹介をしている点にも注目．
ちなみに最新記事のネタは，Googleで開発されたアプリケーション用言語Sawzallにおける「エラー忘却型コンピューティング」に基づく大規模データへのアプローチ．