Proposal: Cross-runtime correctness validation for asyncband primitives
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 35/100
調査の方向性
まず既存の #[tokio::test] スイートとマイクロベンチマークを見つけ、次に共通のカバレッジが必要なプリミティブとセマンティクスを整理します。列挙された主要ランタイム向けにランタイム非依存のハーネスを定義し、二次ランタイムと CI ジョブをどのように組み込むかを決定します。既存の Tokio のテストとベンチマークを変更せずに、保証されるプロパティが指定されたマトリクス全体で検証されれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Motivation
Asyncband advertises itself as runtime-agnostic, but our test suite is effectively Tokio-only: all tests run under #[tokio::test] (mostly the single-threaded current-thread runtime), and benchmarks poll futures directly without a real executor. This leaves waker registration, cancellation, and wake-up races under real multi-threaded scheduling unverified, which undermines the core promise of the crate.
This proposal adds a cross-runtime correctness validation suite that exercises the library's primitives under the commonly used Rust async runtimes and gates it in CI.
Target runtimes
Primary matrix (all platforms, active maintenance):
- tokio – de facto standard; multi-threaded work-stealing runtime. Required baseline.
- async-std – still one of the mainstream runtimes listed in the official async book.
- smol – the lightweight, composable runtime; representative of the async-executor/async-lock ecosystem.
- compio - one thread per core async runtime
Secondary matrix (Linux-only):
- glommio – io_uring-based thread-per-core runtime (no Mutex, tasks are
!Send). - monoio – io_uring-based thread-per-core runtime (limited sync primitives).
Scope
- Build a small runtime-agnostic test harness (spawn / join / yield / timeout adapters) and run a shared semantic test suite for each primitive on every runtime in the primary matrix.
- Validate guaranteed properties only (no lost wakeups, correct cancellation, close/disconnect semantics, single-flight/once dedup, no deadlock on single-threaded executors) — not implementation-specific fairness guarantees.
- CI: run the primary matrix on Ubuntu, macOS, and Windows (stable toolchain only); run the secondary matrix on Ubuntu as a Linux-only job.
- Keep the existing Tokio test suite and microbenchmarks unchanged.
Open questions
- Should the secondary matrix (glommio, monoio) be required or informational in CI?
- Do we want benchmark comparisons against runtime-native primitives(e.g.
tokio::sync::Mutex) in this proposal, or a follow-up? - Where should the harness live: a separate non-workspace test crate to keep heavy runtime dependencies out of regular
cargo test? - Is there any project that we can leverage? e.g. loom
- 主要言語
- Rust
- スター
- 283
- フォーク
- 49
- 平均マージ
- 1日 9時間
- マージ済み PR（30日）
- 39
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
apache/asyncband のほかの issue
-
Tracking Issue to Release 0.7.4対応中かも @QwQBiG が 4 日前に担当しました。 オープン
apache/asyncband#369 · コメント 2 件 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
-
Investigate unsound mapped RwLock write guard downgrading対応中かも @orthur2 が 7 日前に担当しました。 オープン
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
apache/asyncband#362 · コメント 3 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 3/5 1〜2日 初心者へのやさしさ 55/100
apache/asyncband#360 · コメント 3 件 ·
メンテナーはふだん 1 日以内に返信
-
enhancement good first issue help wanted
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
apache/asyncband#324 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
Discuss shared broadcast receives without a Clone bound対応中かも @orthur2 が 7 日前に担当しました。 オープンenhancement question
難易度 5/5 1週間以上 初心者へのやさしさ 30/100
apache/asyncband#312 · コメント 5 件 ·
メンテナーはふだん 1 日以内に返信
apache/asyncband の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 82/100
521xueweihan/HelloGitHub#4023 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
cloudflare/pingora#1055 ·
メンテナーはふだん 1 日以内に返信
-
enhancement
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
メンテナーはふだん 1 日以内に返信