DOSSIERSEHPC-ACTIVITY-SCHEDULING
github.com/east-highpeformance-hongkongHigh-Concurrency Booking & Schedule Locks
double-booking prevention through transactional SQL RPCs
Published: 2026-06-20 | Project: East High Performance Centre | Discipline: Distributed Systems & High-Throughput State
Author: Nicholas Alexander MacAskill — Founder & CTO, Flocano Labs | Canonical: https://www.nicholasmacaskill.com/dossier/ehpc-activity-scheduling
Concurrent booking validation time
< 12ms
Verified Invariant
Double-booking incidents
0
Verified Invariant
Dynamic Scheduling Lock Engine
Scheduling slots are managed via database locks that confirm coach and facility availability simultaneously before booking.
- Resource Verification: If a parent/athlete books a session, the system opens a transaction to lock the coach and session record using a database RPC.
- Capacity Guard: The database evaluates slots in real-time, executing a transaction rollback if capacity rules are violated. This ensures that no double-bookings or capacity overflows occur under load.