You can find the answer is in the last link above:
In Mbed, the high priority thread will continue to run until it enters a waiting state or until a thread of equal or higher priority is ready to run rather than to be executed in a time slot equal to all threads.
It means, if the high priority thread doesn’t enter a waiting state (because it cant complete it’s task on time) threads with lower priority will never get the chance to run.