If an operation has to wait to acquire a ticket, interrupts are checked every 500 ms. In the context of load shedding, this might be excessive. Explore if we need to lower the period, or change the mechanism.