On scheduling real-time tasks with nondeterministic synchronization behavior