Skip to content

Commit 9fa3ebe

Browse files
vjackson725lsf37
authored andcommitted
Update mcs.md
Signed-off-by: Vincent Jackson <vjackson725_public@proton.me>
1 parent cca18b9 commit 9fa3ebe

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎tutorials/mcs/mcs.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -103,7 +103,7 @@ for scheduling.
103103
### Bounding execution
104104

105105
For partial scheduling contexts, an upper bound on execution is enforced by seL4 using the *sporadic server*
106-
algorithm, which work by guaranteeing the *sliding window* constrain, meaning that during any period, the
106+
algorithm, which work by guaranteeing the *sliding window* constraint, meaning that during any period, the
107107
budget cannot be exceeded. This is achieved by tracking the eligible budget in chunks called
108108
*replenishments* (abbreviated to `refills` in the API for brevity). A replenishment is simply an amount
109109
of time, and a timestamp from which that time can be consumed. We explain this now through an example:

0 commit comments

Comments
 (0)