Holiday Rush proof

1,000 rooms. 1,000 booking sessions. 0 failed sessions.

This is the travel inventory version of the same hard problem: many concurrent sessions fighting over a tiny hot set. k-lani books every eligible room once, then verifies the persisted table state.

Read raw report Reproduce
Measured smoke

The invariant is the ad.

Every session had one matching room available at the start. The benchmark still had to survive stale candidates and lock contention, then prove the final count from persisted rows.

1,000 booking sessions
1,000 room rows
0 failed sessions
6.406s booking phase
Bug fixed before publishing

We did not round this one away.

An earlier local 1,000 / 1,000 smoke failed at 919 bookings. That was not acceptable and it was not a probability story. The benchmark exposed a real secondary-index range bug.

1
UInt32 range keys were corrected.
The old little-endian secondary key order made `price in [0, 1000)` match only 919 of 1,000 rows. Numeric range index keys now use ordered bytes.
2
Persisted index caches were invalidated.
The `.mksid` secondary-index cache version was bumped so old numeric-key files rebuild.
3
The booking loop re-queries stale windows.
A session no longer fails just because its current 32-candidate window was exhausted by other workers.

Before fix

holiday_rush_done sessions=1000 rooms=1000 booked=919 verified_booked=919 read_queries=1000 lock_conflicts=106 already_booked=93 failed_sessions=81 wall_secs=5.007

After fix

holiday_rush_done sessions=1000 rooms=1000 booked=1000 verified_booked=1000 read_queries=1000 lock_conflicts=73 already_booked=98 failed_sessions=0 wall_secs=6.406
Reproduce

Runs from the public preview bundle.

The GitHub preview repo ships the `real_world_booking_bench` binary and a `holiday` demo mode. The container writes the raw benchmark log into `/reports/holiday-rush.raw.log`.

docker build -t k-lani-demo:preview .
docker run --rm \
  -e K_LANI_DEMO_MODE=holiday \
  -e K_LANI_HOLIDAY_HOTELS=20 \
  -e K_LANI_HOLIDAY_ROOMS_PER_HOTEL=50 \
  -e K_LANI_HOLIDAY_SESSIONS=1000 \
  -e K_LANI_HOLIDAY_WORKERS=16 \
  k-lani-demo:preview
Boundary

Honest scope.

This is a local TCP smoke over k-lani's room table, lock path, indexed predicate lookup, replace path, and persisted recount. It is not a payment benchmark, browser checkout benchmark, or full travel marketplace stack. The point is narrower and sharper: under tight hot-inventory contention, the engine either books exactly once per row or the run fails.

Back to landing page BENCHMARKS.md Ticket horde