リンク
Coyote: Making it easier for developers to build reliable asynchronous software - Microsoft Research
抜粋・メモ
- 分散システムのバグ発見：fault-inejctionやstress testはセットアップが複雑だったり見つかったバグが再現できる保証がない
- そこでCoyoteを開発
- 非決定的な部分をモデル化してくれる＋非決定的な部分I(e.g. 非同期通信)を制御してテストできる＋システマティックに起こりうる空間を探索できる
- C#の拡張的に並行タスク，並行アクターをかけるプログラミングモデルをベースに上記を実現
- Azure BatchやAzure Blockchainの開発に使われた
Tagged: #distributed system