标签： concurrency operating-system mutex scheduling
线程T1成功锁定互斥锁M然后被抢占。 线程T2试图锁定互斥锁M但它还不能。 线程都具有相同的优先级。
现代操作系统线程调度程序如何处理此问题：是否允许T1 立即恢复，或者根本不保证？