ARM, RISC-V контроллеры

выступлю за противный :) лагерь: если в нашем случае (с задачами 1,2,3) во время ожидания задачей 3 семафора, произошло событие и запустились задачи 4,5 (приоритеты 5>4>3) и 5 задача полезла за тем же семафором, после завершения задачи 1 (уже с 5 приоритетом) какой ей приоритет выставлять 3 или 1? понятно, что 3, а потом уже 1, но где-то его нужно сохранить, то есть где-то нужен стек приоритетов? (чего-то забыл, зачем мне задача 4 понадобилась - и так сойдет, еще можно допустить что этот семафор не мутекс, а счетный (хотя счетные бывают без инверсии) и 1 его весь забрала)