Predictable synchronization mechanisms for multiprocessor real-time systems