A thread synchronization model for the PREEMPT_RT Linux kernel