mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
9d72c21894
The name head is already extensively used in the context of the lists managed by the scheduler. This terminology duplications does not simplify reading the code. Instead we keep head for the first item in the list, but use `current` in the variable name and API of the `Cpu_scheduler` class to refer to the current scheduled share. Moreover, the `_head_quota` is now `_current_time_left`, because it does not denote quota but time left for the current schedule. The boolean variable `_head_claims` gets removed at all. It duplicated the state of whether a current share ist set, and whether it has so-called claim time left. Ref genodelabs/genode#5115