zhaoxiu-zeng commented on pull request #5070: URL: https://github.com/apache/incubator-nuttx/pull/5070#issuecomment-1005623759
> Another real case: #5170, both case will generate hard fault. I run ostest with https://github.com/apache/incubator-nuttx/pull/5171, no such assertions were found. I think priority inheritance should only be valid for mutex, so there is only one holder per semphore at most. The current implementation still cannot avoid priority flipping completely. For example, there are 3 tasks t2 > t1 > t0, t0 held sem1, t1 held sem2 and wait sem1, then t2 wait sem2. In this case, only t1's priority is raised. If multiple holders are supported, this problem is very difficult to solve, which is the O(n^2) level. If only one holder is supported, many things can be simplified. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
