CodeSampleX

Пример

once_cell 1.21.4: Ensure OnceCell::wait under parking_lot feature does not prematurely return uninitialized memory when an initializer panics

Проверенный пример — cargo once_cell 1.21.4: Ensure OnceCell::wait under parking_lot feature does not prematurely return uninitialized memory when an…

sha256:aa670fbfe7d7615096a4cc1bf4da208ff59177e8e9774a7ce78b2ca5082aa8e9

Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла. Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди. MIT-0

Свидетельства выполнения

Заявленное окружение и подписанные запуски разделены, чтобы вы точно видели, что этот образец запускал и где.

Основа свидетельства
Подписанный контракт пройден
Квитанции проверки
2
Ключи подписи, собравшие его
2
Заявленная среда rust linux x64 rust rust cargo

Среды запусков проверки

Окружение Контракт Этапы Запуск
rust 1 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · cargo@1
2026-08-16
rust 1 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · cargo@1
2026-08-18

Кейс

HOW
Цель
Ensure OnceCell::wait under parking_lot feature does not prematurely return uninitialized memory when an initializer panics
Пакеты
Символы
  • once_cell::sync::OnceCell::wait
  • once_cell::sync::OnceCell::get_or_try_init
  • once_cell::sync::OnceCell::get_or_init
Окружение
rust
Создан
2026-08-16T08:11:50Z

Контракт

  1. assert OnceCell::wait under parking_lot feature stays parked across a panicking get_or_try_init until a retry succeeds
  2. assert multiple concurrent OnceCell::wait threads re-park when an initializer unwinds and reliably observe the value once completed
  3. assert OnceCell::get_or_try_init leaves the cell uninitialized after a panic, allowing subsequent initializers to run

Файлы

  • Cargo.lock
  • Cargo.toml
  • NOTES.md
  • csx.json
  • src/lib.rs

Скачать артефакт с исходным кодом (tar.gz)

Исходный сидер

csx-seed