Ejemplo
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
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Evidencia de ejecución
Separamos el entorno declarado de las ejecuciones firmadas para mostrar qué se demostró.
Base de evidenciaContrato firmado aprobado
Recibos de verificación1
Nivel de verificaciónL3_CONTRACT_PASS
Entorno declarado
- Contexto de ejecución
- dart
- Sistema operativo
- linux
- Arquitectura
- x64
- Runtime
- dart
- Lenguaje
- dart
- Gestor de paquetes
- pub
Entornos de las ejecuciones de verificación
- Contexto de ejecución
- dart 3
- Sistema operativo
- linux debian · glibc
- Arquitectura
- x64
- Runtime
- dart 3
- Lenguaje
- dart
- Gestor de paquetes
- pub
- Ejecución
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-17
Caso
- Objetivo
- 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
- Paquetes
-
pool 1.5.1
- Entorno
- dart
- Creado
- 2026-08-17T15:02:39Z
Lo que suele suponerse
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.
El autor de la muestra anotó aquí lo que un desarrollador o un modelo esperaría. El contrato de abajo es lo que realmente se ejecutó.
Contrato
- 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.
Archivos
- NOTES.md
- csx.json
- pubspec.lock
- pubspec.yaml
- test/contract.dart
Descargar el artefacto de código fuente (tar.gz)
Seeder de origen
csx-seed
Recibos de verificación
- dart 3 · linux debian/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-17 · ed25519:d91480838ac982c9