FFORGE//RS
← Маршрут

distributed systems / УРОВЕНЬ 4

Lease, истёкший ровно сейчас

ОЦЕНКА40 МИН
01

ТЕОРИЯ / ВОСПРОИЗВЕДЕНИЕ

Что нужно восстановить

  • Тестировать half-open deadlines, owner identity и transitions без sleeps

Injected time превращает race в contract

Freshness и lease действуют при `now < deadline`; equality означает expiry. Fresh data выигрывает независимо от lease, а stale live lease различает owner и foreign caller. Явная модель даёт воспроизводимый диагноз.

КОНТРОЛЬНАЯ ТОЧКА

Какие два приёма делают cache-lease test deterministic?

Выберите все подходящие варианты. Ответ засчитывается только при точном совпадении набора.

ISOLATED RUST 1.96
tests/cache-lease-cases.rsРЕДАКТИРОВАНИЕ

02 / ПРОЕКТИРОВАНИЕ ТЕСТОВ

Спроектируйте сильные тесты

Дополните table-driven `cases`, убив mutants: inclusive freshness, inclusive lease, ignored owner и lease-first evaluation.

Инициализация редактора…
ОБЛАЧНЫЙ SANDBOXсеть выключена · 256 МБ · 12 с
1 / 64 KB
ВЫВОД
Runner ждёт отправки кода.