commit 98e6c6637424fd1a887550a7336f193f6b84d50a Author: Mike Perry mikeperry-git@torproject.org Date: Tue Nov 6 01:25:45 2018 +0000

Prop #254: The infinity bin is also special. --- proposals/254-padding-negotiation.txt | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/proposals/254-padding-negotiation.txt b/proposals/254-padding-negotiation.txt index 8cad35d..19ab6ce 100644 --- a/proposals/254-padding-negotiation.txt +++ b/proposals/254-padding-negotiation.txt @@ -201,14 +201,15 @@ are defined: * Closest -- Remove from the closest non-empty bin by index * Closest_time -- Remove from the closest non-empty bin by index, by time

-When all bins are empty in a histogram, the padding machine emits the internal -"bins empty" event to itself. +When all bins exept the infinity bin are empty in a histogram, the padding +machine emits the internal "bins empty" event to itself.

Bin 0 and the bin before the infinity bin both have special rules for purposes of token removal. While removing tokens, all values less than bin 0 are treated as part of bin 0, and all values greater than start_usec+rtt_estimate+range_sec are treated as part of the bin before the -infinity bin. +infinity bin. Tokens are not removed from the infinity bin when non-padding is +sent. (They are only removed when an "infinite" delay is chosen).

3.2. State Machine Selection