Early (compile-time) detection of non-determinism in orchestrators — maintainer perspective?
メンテナーはふだん 5 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 25/100
- issue の種類
- 機能追加
- 明瞭さ
- 説明が足りない
- 活発さ
- 停滞
- 技術スタック
- csharp
調査の方向性
まず、issue に記載された Durable Task orchestrator の決定性の説明と、リンクされている Roslyn ベースの analyzer リポジトリを確認します。analyzer が示しているチェック内容を、issue で言及されているランタイムの落とし穴と比較し、maintainer の指針や明示的なスコープを探します。コンパイル時検出をプロジェクトに含めるかどうか、また含める場合にどのようにするかについて方向性が決まれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Hi folks,
Non-determinism in Durable Task / Durable Functions orchestrators is a recurring pain point I’ve seen in production systems - especially cases that pass code review but later fail at runtime due to subtle issues (DateTime usage, async calls outside activities, hidden I/O, etc.).
To address this, I implemented a Roslyn-based static analyzer that inspects the orchestrator code at build time and flags common non-deterministic patterns before deployment.
I’m curious to sanity-check this approach with maintainers:
- Do you see value in earlier (compile-time) determinism detection vs. runtime-only safeguards?
- Are there known edge cases where static analysis could produce false confidence?
- Are there determinism pitfalls you see in the wild that tooling often misses?
I’m especially interested in whether this aligns with how you’ve seen customers
struggle with determinism in practice.
(For context: https://github.com/kokosda/dtf-determinism-analyzer)
- 主要言語
- C#
- スター
- 1.7k
- フォーク
- 336
- 平均マージ
- 4日 12時間
- マージ済み PR（30日）
- 6
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
Azure/durabletask のほかの issue
-
Azure Storage backend: ExecutionTerminated message is never deleted when the Instances row is absent, causing permanent control-queue poison (regression in 2.7.0 from #1256)対応中かも @sean0407 が 2 日前に担当しました。 オープン
難易度 4/5 3〜5日 初心者へのやさしさ 55/100
Azure/durabletask#1398 · コメント 2 件 ·
メンテナーはふだん 5 日以内に返信
-
Azure Storage backend: control queue partition left unowned for hours/days after lease expires再び着手できるかも @nytian が 44 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
Azure/durabletask#1389 · コメント 1 件 · 担当者 1 名 ·
メンテナーはふだん 5 日以内に返信
-
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
Azure/durabletask#1332 ·
メンテナーはふだん 5 日以内に返信
-
難易度 3/5 1〜2日 初心者へのやさしさ 58/100
Azure/durabletask#1318 · コメント 1 件 ·
メンテナーはふだん 5 日以内に返信
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
Azure/durabletask#1297 ·
メンテナーはふだん 5 日以内に返信
Azure/durabletask の issue をすべて見る
似ている issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
ClickHouse/clickhouse-cs#689 ·
メンテナーはふだん 2 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
メンテナーはふだん 7 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 65/100
vchelaru/FlatRedBall2#1481 ·
メンテナーはふだん 1 日以内に返信
-
ai-chat bug trivial
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 1 日以内に返信
-
area-signalr
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
dotnet/aspnetcore#69842 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信