Hello Liam,
On 2024-07-22 14:56, liam.vervec...@gmail.com wrote:
But it seems instead only the first thread gets scheduled, and it never
allows the second thread to get any CPU time.
This could happen if the port is broken and you don't get any timer
interrupts.
To verify if this is happeni
> On 10 Aug 2024, at 05:47, Andrew Warkentin wrote:
>
> On Tue, Jul 23, 2024, 8:15 PM Gerwin Klein via Devel
> wrote:
>
>> If the first thread is round-robin, that means it is always the highest
>> priority thread as soon as it gets started, and the second thread never
>> gets started at all,
On Tue, Jul 23, 2024, 8:15 PM Gerwin Klein via Devel
wrote:
>
>
>
> If the first thread is round-robin, that means it is always the highest
> priority thread as soon as it gets started, and the second thread never
> gets started at all, because the sel4test setup thread does not run any
> more (s
On 24 Jul 2024, at 10:20, Gernot Heiser via Devel wrote:
A thread should always be preempted if its budget is depleted.
A depleted budget is replenished once the new period begins. If budget=period,
then that’s immediate.
After budget replenishment, the thread should be inserted back at the end
> On 24 Jul 2024, at 08:52, Peter Chubb via Devel wrote:
>
>> "liam" == liam vervecken writes:
>
> liam> Hello, I'm trying to understand MCS and how the scheduling works
> liam> but I'm running into some issues. My setup: RISCV on
> liam> BeagleVFire in sel4test
>
> liam> I have configu
> "liam" == liam vervecken writes:
liam> Hello, I'm trying to understand MCS and how the scheduling works
liam> but I'm running into some issues. My setup: RISCV on
liam> BeagleVFire in sel4test
liam> I have configured 2 threads:
liam> seL4_SchedControl_ConfigureFlags(info->schedcontrol.sta