[論文レビュー] TCP Prague Fall-back on Detection of a Classic ECN AQM

Bob Briscoe, Asad Sajjad Ahmed|arXiv (Cornell University)|Nov 2, 2019

Network Traffic and Congestion Control参考文献 22被引用数 4

ひとこと要約

本稿では、TCP Pragueのv2受動的検出アルゴリズムを提案し、古典的ECN AQMを検出し、Renoフレンドリーな動作にフォールバックする。RTTの適応的平滑化と遅延変動指標を用いる。アルゴリズムはほぼ完全な検出精度を達成し、L4Sと古典的フロー間のスループット不均衡を0.5–2の比率に抑える。IETFのPrague L4S共存要件を満たし、誤検出を最小限に抑える。

ABSTRACT

The IETF's Prague L4S Requirements [DSBE20] expect an L4S congestion control to somehow detect if there is a classic ECN [RFB01] AQM at the bottleneck and fall back to Reno-friendly behaviour (as it would on a loss). This paper addresses that requirement in depth. A solution has been implemented in Linux and extensively tested, which distinguishes L4S from Classic AQMs primarily by their delay variation. This paper describes version 2 of the design of that solution, giving extensive rationale and pseudocode. It briefly summarizes a comprehensive testbed evaluation of the solution, referring to the full details online. The v2 algorithm very rarely falsely detects a Classic AQM as L4S. It also rarely detects an L4S AQM as Classic in the majority of scenarios, but not at low link rates and large RTTs. This report is a work in progress. It suggests ideas for improving on the approach. It also outlines new ideas that could solve the problem in complementary or alternative ways.

研究の動機と目的

• IETF Prague L4S要件に応じ、スケーラブルな混雑制御が古典的ECN AQMを検出し、Renoフレンドリーな動作にフォールバックすることを達成する。
• 古典的ECN AQMが存在する共有キューのボトルネックにおいて、L4Sと古典的ECNフローの公平な共存を保証すること。
• 多様なネットワーク環境で信頼性高く古典的ECN AQMを同定できる、誤検出を最小限に抑えた受動的検出メカニズムを設計すること。
• 異なるリンクレート、RTT、トラフィックミックスにおいて、アルゴリズムの頑健性を評価・最適化すること。
• 補完的なアクティブ検出法および将来の改善策、例えば帯域外テストやマーキング間隔解析を検討すること。

提案手法

• 遅延変動とECNマーキングパターンに基づく受動的検出を用い、古典的ECN AQMとL4S AQMを区別する。
• RTT挙動に基づく動的タイムスケール調整を伴う、適応的指数加重移動平均（EWMAs）を用いたRTT平滑化を実装する。
• インターマーク間隔と最小RTTを用いたヒューリスティクスのセットを適用し、古典的ECN挙動を検出する。
• RTT平滑化、検出論理、動作遷移の各モジュールを分離したモジュラーなコード構造を実装する。
• 古典的ECN AQMが検出された場合にRenoフレンドリーな混雑制御に切り替わるフォールバックメカニズムを導入する。
• リンクレート、RTT、トラフィックミックスの多様な環境を想定した包括的なテストベッドでアルゴリズムを評価する。CoDelは最も深刻な古典的AQMとみなされる。

実験結果

リサーチクエスチョン

• RQ1 遅延変動とRTT挙動に基づく受動的検出アルゴリズムは、古典的ECN AQMを信頼性高く同定できるか？
• RQ2 v1に比べ、v2アルゴリズムは低リンクレートおよび高RTT環境で誤検出をどの程度低減できるか？
• RQ3 共有キューのボトルネックにおいて、L4Sと古典的ECNフローの公平な共存をどの程度確実に実現できるか？
• RQ4 古典的ECN検出に遅延に基づく受動的検出とアクティブプローブの間で、性能的トレードオフは何か？
• RQ5 帯域外テストやマーキング間隔ヒューリスティクスは、受動的遅延ベース検出の代替として、よりスケーラブルかつ正確な手法となるか？

主な発見

• v2アルゴリズムは、通常の運用状況において、古典的ECN AQMの誤検出率を非常に低く抑える。
• 古典的ECN AQMが存在する場合に、Renoフレンドリーな動作にフォールバックする処理が正常に発火し、L4Sと古典的フロー間のスループット比が0.5～2の範囲に保たれる。
• 本アルゴリズムが存在しない場合、スループットの不均衡は最大16:1に達するため、検出の必要性が明確になる。
• リンクレートが12 Mb/s未満でRTTが80 msを超える環境では誤検出率が上昇するため、エッジケースでの制限が判明する。
• 本アルゴリズムは多様なトラフィックミックスにおいて頑健に動作し、最も深刻な古典的AQMとされるCoDelでも検証済みである。
• 帯域外テストやマーキング間隔ヒューリスティクスは、将来の検証において、より低い複雑性で実現可能な有望な代替手法と特定された。