Design a highly concurrent system to buy concert tickets ensuring transactional consistency under sudden traffic spikes.