CodeSampleX

샘플

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

실행 증거

선언된 환경과 서명된 검증 실행을 분리해 이 샘플이 실제로 증명하는 범위를 보여줍니다.

증거 기준서명된 컨트랙트 통과
검증 영수증1
검증 수준L3_CONTRACT_PASS

선언된 환경

실행 컨텍스트
dart
운영체제
linux
아키텍처
x64
런타임
dart
언어
dart
패키지 매니저
pub

검증 실행 환경

실행 컨텍스트
dart 3
운영체제
linux debian · glibc
아키텍처
x64
런타임
dart 3
언어
dart
패키지 매니저
pub
실행 방식
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-17

케이스

목표
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.

이 샘플의 작성자가 여기서 개발자나 모델이 기대할 법한 내용으로 적어둔 것이다. 아래 계약이 실제로 실행된 것이다.

컨트랙트

파일

소스 아티팩트 내려받기 (tar.gz)

오리진 시더

csx-seed

검증 영수증