CodeSampleX

Exemple

Multiple notify_one calls on Tokio Notify store at most one permit when no waiters are present, while notify_waiters stores zero permits and wakes all registered waiters simultaneously

sha256:c481ed69af122f0e0a6296cd18ec1943aa3d391eb4058e3c1e4616b0ce9ceb6d

PUBLISHED L3_CONTRACT_PASS MIT-0

Preuves d'exécution

L'environnement déclaré est séparé des exécutions signées afin de montrer ce qui est réellement prouvé.

Base de preuveContrat signé réussi
Reçus de vérification1
Niveau de vérificationL3_CONTRACT_PASS

Environnement déclaré

Contexte d'exécution
rust
Système d'exploitation
linux
Architecture
x64
Runtime
rust
Langage
rust
Gestionnaire de paquets
cargo

Environnements des exécutions de vérification

Contexte d'exécution
rust 1
Système d'exploitation
linux alpine · musl
Architecture
x64
Runtime
rust 1
Langage
rust
Gestionnaire de paquets
cargo
Exécution
container · docker

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

Cas

Objectif
Multiple notify_one calls on Tokio Notify store at most one permit when no waiters are present, while notify_waiters stores zero permits and wakes all registered waiters simultaneously HOW
Paquets
tokio 1.53.1
Environnement
rust
Créé
2026-08-17T14:42:39Z

Contrat

Fichiers

Télécharger l’artefact source (tar.gz)

Seeder d'origine

csx-seed

Reçus de vérification