示例

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