Task Synchronization in Reservation-Based Real-Time Systems