关于mutex的release中优先级反转的问题

发布于 2019-07-13 17:52:39 浏览：1762 订阅该版

* 本帖最后由 geniusgogo 于 2019-7-13 17:53 编辑 *

目前IPC的等待队列支持FIFO和PRIO，但是在mutex中由于要处理优先级反转的问题。
所以我觉得不能支持FIFO队列。
试想如果支持FIFO队列，那么队列此时任务优先级排队时4,5,1.当前持有锁的任务为为3。
另外由于1任务取锁的时候将当前持锁任务提升为1了，所以另一个优先级为2的就打断不了。
但是当持锁的任务释放锁的时候直接从队列头取出了4任务来持锁，所以就会被2任务抢先运行。
这就导致了优先级反转问题。
目前出问题的这段代码在rt_mutex_release中如下：
```/* wakeup suspended thread */
        if (!rt_list_isempty(&mutex->parent.suspend_thread))
        {
            /* get suspended thread */
            thread = rt_list_entry(mutex->parent.suspend_thread.next,
                                   struct rt_thread,
                                   tlist);

RT_DEBUG_LOG(RT_DEBUG_IPC, ("mutex_release: resume thread: %s<br>",
                                        thread->name));

/* set new owner and priority */
            mutex->owner             = thread;
            mutex->original_priority = thread->current_priority;
            mutex->hold ++;

/* resume thread */
            rt_ipc_list_resume(&(mutex->parent.suspend_thread));

need_schedule = RT_TRUE;
        }```