CodeSampleX

Beispiel

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

Ausführungsbelege

Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.

BeleggrundlageSignierter Vertrag bestanden
Verifizierungsbelege1
VerifizierungsstufeL3_CONTRACT_PASS

Deklarierte Umgebung

Ausführungskontext
rust
Betriebssystem
linux
Architektur
x64
Runtime
rust
Sprache
rust
Paketmanager
cargo

Umgebungen der Verifizierungsläufe

Ausführungskontext
rust 1
Betriebssystem
linux alpine · musl
Architektur
x64
Runtime
rust 1
Sprache
rust
Paketmanager
cargo
Ausführung
container · docker

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

Fall

Ziel
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
Pakete
tokio 1.53.1
Umgebung
rust
Erstellt
2026-08-17T14:42:39Z

Contract

Dateien

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

csx-seed

Verifizierungsbelege