seL4/src
Anna Lyons 9dffbd0167 Avoid adding thread without budget to scheduler
Prior to this change calling yieldTo on an sc with a thread that was not
in the scheduler and had an insufficient/unready head replenishment
would be added incorrectly to the scheduler.

If the thread isn't in the scheduler, use schedcontext_resume to ensure
that it is in the release queue if it has an insufficient/unready head
replenishment, and thus prevent that thread from being added to the
scheduler.
2019-08-22 11:22:41 +10:00
..
api mcs: Introduce firstPhase flag to invocations 2019-08-22 11:22:41 +10:00
arch x86-smp: remove check on Arch_migrateTCB 2019-08-22 11:22:39 +10:00
benchmark style: set code width to 120 2019-03-19 14:05:44 +11:00
config unsigned int -> word_t 2015-12-10 10:45:21 +11:00
drivers kzm: implement MCS timer driver 2019-08-22 11:22:35 +10:00
fastpath mcs: Refactor replies to solve revoke problems 2019-08-22 11:22:39 +10:00
kernel mcs: explicitly use ksCurSC 2019-08-22 11:22:41 +10:00
machine mcs: timeout exceptions 2019-08-22 11:22:38 +10:00
model mcs: check budget is sufficient in preemptionPoint 2019-08-22 11:22:39 +10:00
object Avoid adding thread without budget to scheduler 2019-08-22 11:22:41 +10:00
plat tk1: increase WCET us for tk1 2019-08-22 11:22:39 +10:00
smp [SMP] Abstracted IRQ indexing to handle PPIs 2019-07-19 16:37:03 +10:00
assert.c style: consistently align pointer with name 2019-03-19 14:04:54 +11:00
config.cmake mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
inlines.c SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
string.c Expose string functions in all builds 2018-04-18 10:10:14 +10:00
util.c style: consistently attach return type 2019-03-19 14:05:36 +11:00