Re: [aqm] CoDel's control law that determines drop frequency

Polina Goltsman <polina.goltsman@student.kit.edu> Wed, 30 September 2015 16:37 UTC

Return-Path: <polina.goltsman@student.kit.edu>
X-Original-To: aqm@ietfa.amsl.com
Delivered-To: aqm@ietfa.amsl.com
Received: from localhost (ietfa.amsl.com [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 506EE1B5F5C for <aqm@ietfa.amsl.com>; Wed, 30 Sep 2015 09:37:13 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.91
X-Spam-Level:
X-Spam-Status: No, score=-1.91 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, T_RP_MATCHES_RCVD=-0.01] autolearn=ham
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ScrlMG4z8bGY for <aqm@ietfa.amsl.com>; Wed, 30 Sep 2015 09:37:10 -0700 (PDT)
Received: from scc-mailout-kit-02.scc.kit.edu (scc-mailout-kit-02.scc.kit.edu [IPv6:2a00:1398:9:f712::810d:e752]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id CB2D41A8742 for <aqm@ietf.org>; Wed, 30 Sep 2015 09:37:09 -0700 (PDT)
Received: from kit-msx-21.kit.edu ([2a00:1398:9:f612::21]) by scc-mailout-kit-02.scc.kit.edu with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA384:256) (envelope-from <polina.goltsman@student.kit.edu>) id 1ZhKNN-0004yw-8L; Wed, 30 Sep 2015 18:37:06 +0200
Received: from scc-wkit-clx-222-35.scc.kit.edu (2a00:1398:9:fb00:1acf:5eff:fe15:5525) by smtp.kit.edu (2a00:1398:9:f612::106) with Microsoft SMTP Server (TLS) id 15.0.1076.9; Wed, 30 Sep 2015 18:37:05 +0200
Message-ID: <560C0FBA.3030804@student.kit.edu>
Date: Wed, 30 Sep 2015 18:37:14 +0200
From: Polina Goltsman <polina.goltsman@student.kit.edu>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0
MIME-Version: 1.0
To: Jeff Weeks <jweeks@sandvine.com>, Bob Briscoe <ietf@bobbriscoe.net>
References: <201311122230.rACMUBmH003536@bagheera.jungle.bt.co.uk> <87wpzfpbd3.fsf@alrua-karlstad.karlstad.toke.dk> <56045CA8.2060103@bobbriscoe.net> <CAPRuP3mmg_-uxmtLUXprCmPyLSUuUA7t2dRZpDs_mwtnTgrSQA@mail.gmail.com> <560BA261.6020206@bobbriscoe.net> <560BA7B9.8020800@student.kit.edu> <560BDCC1.8070106@bobbriscoe.net>, <560C033C.50306@student.kit.edu> <274D3A0FA900FD47AA6B56991AAA32FDC541ADF6@wtl-exchp-1.sandvine.com>
In-Reply-To: <274D3A0FA900FD47AA6B56991AAA32FDC541ADF6@wtl-exchp-1.sandvine.com>
Content-Type: text/plain; charset="windows-1252"; format="flowed"
Content-Transfer-Encoding: 7bit
X-Originating-IP: [2a00:1398:9:fb00:1acf:5eff:fe15:5525]
Archived-At: <http://mailarchive.ietf.org/arch/msg/aqm/TjSePeqm6R8m1C2TC9Lt4rdSYdg>
Cc: AQM IETF list <aqm@ietf.org>
Subject: Re: [aqm] CoDel's control law that determines drop frequency
X-BeenThere: aqm@ietf.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: "Discussion list for active queue management and flow isolation." <aqm.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/aqm>, <mailto:aqm-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/aqm/>
List-Post: <mailto:aqm@ietf.org>
List-Help: <mailto:aqm-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/aqm>, <mailto:aqm-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 30 Sep 2015 16:37:13 -0000

It seems that  the presentation used Linux version for Codel. I can't 
quite get what exactly it does but it does not decrease count by two (as 
in the draft):

on reentering dropping state within 16 intervals:
delta = vars->count - vars->lastcount;
vars->count = delta;
vars->lastcount = vars->count;

See  the bottom image on slide 18 
https://www.ietf.org/proceedings/85/slides/slides-85-iccrg-2.pdf: count 
does not get reset to zero, but it drops by at least two times * .

It also seems that the delay variations on slide 15 with two UDP flows 
were caused by this reentering behavior...

* cake version did not exist at the time, did it?


On 09/30/2015 05:57 PM, Jeff Weeks wrote:
> I don't believe codel does start fresh; there are various back-off mechanisms that have been employed in the management of 'count' such that if the drop state is entered soon after it previously left the drop state, it'll re-enter at close to the same interval.
>
> I believe these mechanisms were put in place to combat the sluggishness, but that doesn't help the initial drop state.
>
> In practice, I've found that incrementing 'count' more rapidly can help to a point... but incrementing it too much appears to result in the sqrt approximation diverging from the ideal value, and then things start to fall apart.
>
> --Jeff
>
> ________________________________________
> From: aqm [aqm-bounces@ietf.org] on behalf of Polina Goltsman [polina.goltsman@student.kit.edu]
> Sent: Wednesday, September 30, 2015 11:43 AM
> To: Bob Briscoe
> Cc: AQM IETF list
> Subject: Re: [aqm] CoDel's control law that determines drop frequency
>
> Bob,
>
> May I ask how curvy red is supposed to perform in those situations?
>
> If I understand Codel's law correctly, Codel "starts fresh" every time
> it enters dropping state, so when the load increases it will take more
> time for the control law to reach the correct "count" value for the
> queue to drop. Thus with higher load latency is increased.
>
> Now, if I understood your curvey red report correctly, you argued that
> AQM should increase latency when load increases since otherwise it will
> cause too much loss. Which makes Codel's behavior at least justified ...
>
> BTW, I haven't seen any place in the original specification that
> suggested that fixed target delay is the intended design goal.
>
> Does this make any sense?
>
> Regards,
> Polina
>
> On 09/30/2015 02:59 PM, Bob Briscoe wrote:
>> Polina,
>>
>> I think this was it:
>> <https://www.ietf.org/proceedings/85/slides/slides-85-iccrg-2.pdf>
>>
>> I have a set of charts from Rong with many more tests showing CoDel's
>> sluggish responsiveness, but I believe the above was the published
>> summary.
>>
>>
>> Bob
>>
>> On 30/09/15 10:13, Polina Goltsman wrote:
>>> Dear Bob,
>>>
>>> On 09/30/2015 10:50 AM, Bob Briscoe wrote:
>>>> Early on, Rong Pan showed that it takes CoDel ages to bring high
>>>> load under control. I think this linear increase is the reason.
>>> Is there a link to this ?
>>>
>>> Polina
>>>
>>> _______________________________________________
>>> aqm mailing list
>>> aqm@ietf.org
>>> https://www.ietf.org/mailman/listinfo/aqm
> _______________________________________________
> aqm mailing list
> aqm@ietf.org
> https://www.ietf.org/mailman/listinfo/aqm