CLR/H 69 LT MSDN - Code Recipe http://code.msdn.microsoft.com/F-Retry-Monad-for-35ee1e72

1. Retry Monad
for Transient Fault Handling
F#とWindows Azure と私
2012.04.14 #CLRH69 ぜくる/@zecl

2. ぜくる
twitter : @zecl
• 北海道旭川市在住の.NET系プログラマ。オブ
ジェクト指向を得意としながらも、ここ数年、
関数型言語に魅了されています。
• F#が大好きです。
• Windows Azure と ASP.NET MVC3を利用した
開発のお仕事をしています。

3. ???

4. ところで、Windows Azure いいですよね
年賀状いただきました。

5. でも、いいことばかりじゃない。
• クラウドアプリケーションだと、気をつけなく
ちゃいけないことがたくさんあるよね。

6. Transient Fault Handling
• 他のクラウドサービスに依存するようなクラウ
ドアプリケーションを開発する場合、開発者が
対処しなければならない課題の一つに、
“一時的な障害”がある。
インフラストラクチャレベルの障害だったり、
ネットワークの問題など一時的な条件のために発
生する障害のことです。

7. SQL Azureが接続を切断するケース
過剰な 実行時間の長い
リソースの使用 クエリ
1 回の実行時間 接続の
が長いトランザ
クション アイドル状態

8. Microsoft Enterprise Library 5.0
Integration Pack for Windows Azure
• Transient Fault Handling Application Block (Topaz)
Windows Azureのプラットフォームに含まれる
サービス利用時に発生する一時的なエラー（一時
的/過度に発生するエラー）からWindows Azureア
プリケーションを回復させるために用意されたア
プリケーションブロック。

9. Microsoft Enterprise Library 5.0
Integration Pack for Windows Azure
• Autoscaling Application Block (WASABi)
利用時間帯やサーバー負荷のパターンに合わせて
ルールを設定し、そのルールをログから評価して
自動スケールなどを設定できるアプリケーション
ブロック。

10. Topazの主要な構成要素
• 検出戦略(カスタマイズ可能)
ITransientErrorDetectionStrategyインターフェ
イスを実装して作成
• 再試行戦略(カスタマイズ可能)
RetryStrategy抽象クラスを継承して作成
検出戦略 + 再試行戦略 = RetryPolicy

11. 基本的な使い方(C#)

12. 4つの組み込み検出戦略
• SQL Azure
SqlAzureTransientErrorDetectionStrategy
• Windows Azure ストレージサービス
StorageTransientErrorDetectionStrategy
• Windows Azure サービスバス
ServiceBusTransientErrorDetectionStrategy
• Windows Azure キャッシングサービス
CacheTransientErrorDetectionStrategy

13. F#でクラウドと言えば・・・

14. M-Brace
cloudモナド
が話題に…
(・∀・)ｲｲﾈ!

15. モナドって何ですか？

16. モナドは単なる自己関手の圏
におけるモノイド対象だよ。
何か問題でも？
フィリップ・ワドラー

17. モナド則
• return x >>= f == f x
• m >>= return == m
• (m >>= f) >>= g == m >>= (¥x -> f x >>= g)

18. モナド則(Haskellのdo記法で)
• do { v <- return x; f v } = do { f x }
• do { v <- m; return v } = do { m }
• do { x <- m;
y <- f x;
gy}
= do { y <- do { x <- m;
f x };
gy}

19. モナド則(F#のコンピューテーション式で)
• builder.Bind(builder.Return(x), f) = f x
• builder.Bind(m, fun x -> builder.Return(x)) = m
• builder.Bind(builder.Bind(m, f), g)
= builder.Bind(m, fun x -> builder.Bind(f x, g))

20. モナド則って何を言わんとしている？
• 左右単位元 return が存在し、
且つ結合法則が成立するもの

21. Retry Monad
for Transient Fault Handling
とはなんですか？
わたしが考えたオリジナルのモナド
一時的障害が発生するかもしれない計算について、異
なるポリシーを適用しながらリトライ処理を行い、ひ
とつの計算として包括的に扱うことができるモナド。
RetryMonadの計算結果はChoice<’T1,’T2>型で得るこ
とができ、Eitherモナドで処理することができる。

22. OOPとFPのライブラリのチカラを借りよう
• Microsoft.Practices.TransientFaultHandling.Core
MS EL 5 Integration Pack for Windows Azureの心
臓部。WASABiとTopazを含むC#(オブジェクト指
向プログラミング)で書かれたライブラリ。
• Fsharpx.Core
Fsharpxの心臓部。標準的なモナドの実装などを含
むF#(関数プログラミング)で書かれたライブラリ。

29. ソースコードを見てみましょう…