Transactional Slot Race

A recurring race condition where concurrent enrollments check and decrement a shared slot counter in overlapping transactions, allowing more enrollments than capacity. The shape is “read/decide then write” without sufficient atomicity or isolation.