CodeSampleX

Exemplo

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

Evidência de execução

O ambiente declarado é separado das execuções assinadas para mostrar exatamente o que foi provado.

Base da evidênciaContrato assinado aprovado
Recibos de verificação1
Nível de verificaçãoL3_CONTRACT_PASS

Ambiente declarado

Contexto de execução
rust
Sistema operacional
linux
Arquitetura
x64
Runtime
rust
Linguagem
rust
Gerenciador de pacotes
cargo

Ambientes das execuções de verificação

Contexto de execução
rust 1
Sistema operacional
linux alpine · musl
Arquitetura
x64
Runtime
rust 1
Linguagem
rust
Gerenciador de pacotes
cargo
Execução
container · docker

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

Caso

Objetivo
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
Pacotes
tokio 1.53.1
Ambiente
rust
Criado
2026-08-17T14:42:39Z

Contrato

Arquivos

Baixar o artefato de código-fonte (tar.gz)

Seeder de origem

csx-seed

Recibos de verificação