From e25752c7cc10f9192156cf5e425b96fd06f9b9a4 Mon Sep 17 00:00:00 2001 From: Vincent Jackson Date: Wed, 22 Jul 2026 13:37:45 +1000 Subject: [PATCH] Update mcs.md Signed-off-by: Vincent Jackson --- tutorials/mcs/mcs.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tutorials/mcs/mcs.md b/tutorials/mcs/mcs.md index a22ba50..8db5d40 100644 --- a/tutorials/mcs/mcs.md +++ b/tutorials/mcs/mcs.md @@ -103,7 +103,7 @@ for scheduling. ### Bounding execution For partial scheduling contexts, an upper bound on execution is enforced by seL4 using the *sporadic server* -algorithm, which work by guaranteeing the *sliding window* constrain, meaning that during any period, the +algorithm, which work by guaranteeing the *sliding window* constraint, meaning that during any period, the budget cannot be exceeded. This is achieved by tracking the eligible budget in chunks called *replenishments* (abbreviated to `refills` in the API for brevity). A replenishment is simply an amount of time, and a timestamp from which that time can be consumed. We explain this now through an example: