Algorithmintro
Leaky bucket (meter)
Also called leaky bucket as a meter, leaky bucket counter.
A counter that drains at rate r and admits a request if adding it keeps the level at or below capacity.
A counter that drains at rate r and admits a request if adding it keeps the level at or below capacity.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag JQZSX6 Edit this page History Report an error