サンプル

Demonstrate that Pool timeout acts as a single-shot deadlock timer rather than a recurring per-request queue wait limit, leaving subsequent requests on a saturated pool unmonitored.

sha256:33e82e017667acd6225ae23ba25e976a68f31b30b6b8f9a268df089f59cc4482

ケース

ゴール

Demonstrate that Pool timeout acts as a single-shot deadlock timer rather than a recurring per-request queue wait limit, leaving subsequent requests on a saturated pool unmonitored. HOW

パッケージ

pool 1.5.1

環境

dart

作成日

2026-08-17T15:02:39Z

よくある思い込み

Configuring Pool with a timeout duration causes every queued resource request to time out after waiting for that duration while the pool is at capacity.

このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。

コントラクト

• Pool timeout is a single-shot deadlock detector that permanently nullifies its timer after firing once, causing subsequent requests queued on a saturated pool to hang indefinitely without timing out.
• Pool constructor rejects non-positive maxAllocatedResources by throwing ArgumentError.
• The initial queued request fails with TimeoutException once inactivity exceeds the configured timeout duration.
• Subsequent requests queued on the saturated pool after a timeout event do not time out and remain pending until an allocated resource is explicitly released.
• Releasing the held resource satisfies the pending request.
• Calling release() on an already-released PoolResource throws StateError.
• Calling request() on a closed Pool throws StateError.

ファイル

• NOTES.md
• csx.json
• pubspec.lock
• pubspec.yaml
• test/contract.dart

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

csx-seed

検証レシート

• dart 3 · linux debian/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-17 · ed25519:d91480838ac982c9