1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677
|
<pre>Internet Engineering Task Force (IETF) R. Pan
Request for Comments: 8033 P. Natarajan
Category: Experimental Cisco Systems
ISSN: 2070-1721 F. Baker
Unaffiliated
G. White
CableLabs
February 2017
<span class="h1">Proportional Integral Controller Enhanced (PIE):</span>
<span class="h1">A Lightweight Control Scheme to Address the Bufferbloat Problem</span>
Abstract
Bufferbloat is a phenomenon in which excess buffers in the network
cause high latency and latency variation. As more and more
interactive applications (e.g., voice over IP, real-time video
streaming, and financial transactions) run in the Internet, high
latency and latency variation degrade application performance. There
is a pressing need to design intelligent queue management schemes
that can control latency and latency variation, and hence provide
desirable quality of service to users.
This document presents a lightweight active queue management design
called "PIE" (Proportional Integral controller Enhanced) that can
effectively control the average queuing latency to a target value.
Simulation results, theoretical analysis, and Linux testbed results
have shown that PIE can ensure low latency and achieve high link
utilization under various congestion situations. The design does not
require per-packet timestamps, so it incurs very little overhead and
is simple enough to implement in both hardware and software.
<span class="grey">Pan, et al. Experimental [Page 1]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-2" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
Status of This Memo
This document is not an Internet Standards Track specification; it is
published for examination, experimental implementation, and
evaluation.
This document defines an Experimental Protocol for the Internet
community. This document is a product of the Internet Engineering
Task Force (IETF). It represents the consensus of the IETF
community. It has received public review and has been approved for
publication by the Internet Engineering Steering Group (IESG). Not
all documents approved by the IESG are a candidate for any level of
Internet Standard; see <a href="./rfc7841#section-2">Section 2 of RFC 7841</a>.
Information about the current status of this document, any errata,
and how to provide feedback on it may be obtained at
<a href="http://www.rfc-editor.org/info/rfc8033">http://www.rfc-editor.org/info/rfc8033</a>.
Copyright Notice
Copyright (c) 2017 IETF Trust and the persons identified as the
document authors. All rights reserved.
This document is subject to <a href="https://www.rfc-editor.org/bcp/bcp78">BCP 78</a> and the IETF Trust's Legal
Provisions Relating to IETF Documents
(<a href="http://trustee.ietf.org/license-info">http://trustee.ietf.org/license-info</a>) in effect on the date of
publication of this document. Please review these documents
carefully, as they describe your rights and restrictions with respect
to this document. Code Components extracted from this document must
include Simplified BSD License text as described in Section 4.e of
the Trust Legal Provisions and are provided without warranty as
described in the Simplified BSD License.
<span class="grey">Pan, et al. Experimental [Page 2]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-3" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
Table of Contents
<a href="#section-1">1</a>. Introduction ....................................................<a href="#page-3">3</a>
<a href="#section-2">2</a>. Terminology .....................................................<a href="#page-5">5</a>
<a href="#section-3">3</a>. Design Goals ....................................................<a href="#page-5">5</a>
<a href="#section-4">4</a>. The Basic PIE Scheme ............................................<a href="#page-6">6</a>
<a href="#section-4.1">4.1</a>. Random Dropping ............................................<a href="#page-7">7</a>
<a href="#section-4.2">4.2</a>. Drop Probability Calculation ...............................<a href="#page-7">7</a>
<a href="#section-4.3">4.3</a>. Latency Calculation ........................................<a href="#page-9">9</a>
<a href="#section-4.4">4.4</a>. Burst Tolerance ...........................................<a href="#page-10">10</a>
<a href="#section-5">5</a>. Optional Design Elements of PIE ................................<a href="#page-11">11</a>
<a href="#section-5.1">5.1</a>. ECN Support ...............................................<a href="#page-11">11</a>
<a href="#section-5.2">5.2</a>. Dequeue Rate Estimation ...................................<a href="#page-11">11</a>
<a href="#section-5.3">5.3</a>. Setting PIE Active and Inactive ...........................<a href="#page-13">13</a>
<a href="#section-5.4">5.4</a>. Derandomization ...........................................<a href="#page-14">14</a>
<a href="#section-5.5">5.5</a>. Cap Drop Adjustment .......................................<a href="#page-15">15</a>
<a href="#section-6">6</a>. Implementation Cost ............................................<a href="#page-15">15</a>
<a href="#section-7">7</a>. Scope of Experimentation .......................................<a href="#page-17">17</a>
<a href="#section-8">8</a>. Incremental Deployment .........................................<a href="#page-17">17</a>
<a href="#section-9">9</a>. Security Considerations ........................................<a href="#page-18">18</a>
<a href="#section-10">10</a>. References ....................................................<a href="#page-18">18</a>
<a href="#section-10.1">10.1</a>. Normative References .....................................<a href="#page-18">18</a>
<a href="#section-10.2">10.2</a>. Informative References ...................................<a href="#page-18">18</a>
<a href="#appendix-A">Appendix A</a>. The Basic PIE Pseudocode ..............................<a href="#page-21">21</a>
<a href="#appendix-B">Appendix B</a>. Pseudocode for PIE with Optional Enhancement ..........<a href="#page-24">24</a>
Contributors ......................................................<a href="#page-29">29</a>
Authors' Addresses ................................................<a href="#page-30">30</a>
<span class="h2"><a class="selflink" id="section-1" href="#section-1">1</a>. Introduction</span>
The explosion of smart phones, tablets, and video traffic in the
Internet brings about a unique set of challenges for congestion
control. To avoid packet drops, many service providers or
data-center operators require vendors to put in as much buffer as
possible. Because of the rapid decrease in memory chip prices, these
requests are easily accommodated to keep customers happy. While this
solution succeeds in assuring low packet loss and high TCP
throughput, it suffers from a major downside. TCP continuously
increases its sending rate and causes network buffers to fill up.
TCP cuts its rate only when it receives a packet drop or mark that is
interpreted as a congestion signal. However, drops and marks usually
occur when network buffers are full or almost full. As a result,
excess buffers, initially designed to avoid packet drops, would lead
to highly elevated queuing latency and latency variation. Designing
a queue management scheme is a delicate balancing act: it not only
should allow short-term bursts to smoothly pass but also should
control the average latency in the presence of long-running greedy
flows.
<span class="grey">Pan, et al. Experimental [Page 3]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-4" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
Active Queue Management (AQM) schemes could potentially solve the
aforementioned problem. AQM schemes, such as Random Early Detection
(RED) [<a href="#ref-RED" title=""Random Early Detection (RED) Gateways for Congestion Avoidance"">RED</a>] as suggested in [<a href="./rfc2309" title=""Recommendations on Queue Management and Congestion Avoidance in the Internet"">RFC2309</a>] (which is now obsoleted by
[<a href="./rfc7567" title=""IETF Recommendations Regarding Active Queue Management"">RFC7567</a>]), have been around for well over a decade. RED is
implemented in a wide variety of network devices, both in hardware
and software. Unfortunately, due to the fact that RED needs careful
tuning of its parameters for various network conditions, most network
operators don't turn RED on. In addition, RED is designed to control
the queue length, which would affect latency implicitly. It does not
control latency directly. Hence, the Internet today still lacks an
effective design that can control buffer latency to improve the
quality of experience to latency-sensitive applications. The more
recently published <a href="./rfc7567">RFC 7567</a> calls for new methods of controlling
network latency.
New algorithms are beginning to emerge to control queuing latency
directly to address the bufferbloat problem [<a href="#ref-CoDel" title=""Controlling Queue Delay"">CoDel</a>]. Along these
lines, Proportional Integral controller Enhanced (PIE) also aims to
keep the benefits of RED, including easy implementation and
scalability to high speeds. Similar to RED, PIE randomly drops an
incoming packet at the onset of congestion. Congestion detection,
however, is based on the queuing latency instead of the queue length
(as with RED). Furthermore, PIE also uses the derivative (rate of
change) of the queuing latency to help determine congestion levels
and an appropriate response. The design parameters of PIE are chosen
via control theory stability analysis. While these parameters can be
fixed to work in various traffic conditions, they could be made
self-tuning to optimize system performance.
Separately, it is assumed that any latency-based AQM scheme would be
applied over a Fair Queuing (FQ) structure or one of its approximate
designs, Flow Queuing or Class-Based Queuing (CBQ). FQ is one of the
most studied scheduling algorithms since it was first proposed in
1985 [<a href="./rfc970" title=""On Packet Switches With Infinite Storage"">RFC970</a>]. CBQ has been a standard feature in most network
devices today [<a href="#ref-CBQ" title=""Class-Based Weighted Fair Queueing"">CBQ</a>]. Any AQM scheme that is built on top of FQ or
CBQ could benefit from these advantages. Furthermore, these
advantages, such as per-flow or per-class fairness, are orthogonal to
the AQM design whose primary goal is to control latency for a given
queue. For flows that are classified into the same class and put
into the same queue, one needs to ensure that their latency is better
controlled and that their fairness is not worse than those under the
standard DropTail or RED design. More details about the relationship
between FQ and AQM can be found in [<a href="./rfc7806" title=""On Queuing, Marking, and Dropping"">RFC7806</a>].
In October 2013, CableLabs' Data-Over-Cable Service Interface
Specification 3.1 (DOCSIS 3.1) specification [<a href="#ref-DOCSIS_3.1">DOCSIS_3.1</a>] mandated
that cable modems implement a specific variant of the PIE design as
the active queue management algorithm. In addition to cable-specific
<span class="grey">Pan, et al. Experimental [Page 4]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-5" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
improvements, the PIE design in DOCSIS 3.1 [<a href="./rfc8034" title=""Active Queue Management (AQM) Based on Proportional Integral Controller Enhanced (PIE) for Data-Over-Cable Service Interface Specifications (DOCSIS) Cable Modems"">RFC8034</a>] has improved the
original design in several areas, including derandomization of coin
tosses and enhanced burst protection.
This document describes the design of PIE and separates it into basic
elements and optional components that may be implemented to enhance
the performance of PIE.
<span class="h2"><a class="selflink" id="section-2" href="#section-2">2</a>. Terminology</span>
The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT",
"SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this
document are to be interpreted as described in <a href="./rfc2119">RFC 2119</a> [<a href="./rfc2119" title=""Key words for use in RFCs to Indicate Requirement Levels"">RFC2119</a>].
<span class="h2"><a class="selflink" id="section-3" href="#section-3">3</a>. Design Goals</span>
A queue management framework is designed to improve the performance
of interactive and latency-sensitive applications. It should follow
the general guidelines set by the AQM working group document "IETF
Recommendations Regarding Active Queue Management" [<a href="./rfc7567" title=""IETF Recommendations Regarding Active Queue Management"">RFC7567</a>]. More
specifically, the PIE design has the following basic criteria.
* First, queuing latency, instead of queue length, is controlled.
Queue sizes change with queue draining rates and various flows'
round-trip times. Latency bloat is the real issue that needs to
be addressed, as it impairs real-time applications. If latency
can be controlled, bufferbloat is not an issue. In fact, once
latency is under control, it frees up buffers for sporadic bursts.
* Secondly, PIE aims to attain high link utilization. The goal of
low latency shall be achieved without suffering link
underutilization or losing network efficiency. An early
congestion signal could cause TCP to back off and avoid queue
buildup. On the other hand, however, TCP's rate reduction could
result in link underutilization. There is a delicate balance
between achieving high link utilization and low latency.
* Furthermore, the scheme should be simple to implement and easily
scalable in both hardware and software. PIE strives to maintain
design simplicity similar to that of RED, which has been
implemented in a wide variety of network devices.
* Finally, the scheme should ensure system stability for various
network topologies and scale well across an arbitrary number of
streams. Design parameters shall be set automatically. Users
only need to set performance-related parameters such as target
queue latency, not design parameters.
<span class="grey">Pan, et al. Experimental [Page 5]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-6" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
In the following text, the design of PIE and its operation are
described in detail.
<span class="h2"><a class="selflink" id="section-4" href="#section-4">4</a>. The Basic PIE Scheme</span>
As illustrated in Figure 1, PIE is comprised of three simple basic
components: a) random dropping at enqueuing, b) periodic drop
probability updates, and c) latency calculation. When a packet
arrives, a random decision is made regarding whether to drop the
packet. The drop probability is updated periodically based on how
far the current latency is away from the target value and whether the
queuing latency is currently trending up or down. The queuing
latency can be obtained using direct measurements or using
estimations calculated from the queue length and the dequeue rate.
The detailed definition of parameters can be found in <a href="#appendix-A">Appendix A</a> of
this document ("The Basic PIE Pseudocode"). Any state variables that
PIE maintains are noted using "PIE->". For a full description of the
algorithm, one can refer to the full paper [<a href="#ref-HPSR-PIE" title=""PIE: A lightweight control scheme to address the bufferbloat problem"">HPSR-PIE</a>].
Random Drop
/ --------------
-------/ --------------> | | | | | -------------->
/|\ | | | | |
| --------------
| Queue Buffer \
| | \
| |Queue \
| |Length \
| | \
| \|/ \/
| ----------------- -------------------
| | Drop | | |
-----<-----| Probability |<---| Latency |
| Calculation | | Calculation |
----------------- -------------------
Figure 1: The PIE Structure
<span class="grey">Pan, et al. Experimental [Page 6]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-7" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
<span class="h3"><a class="selflink" id="section-4.1" href="#section-4.1">4.1</a>. Random Dropping</span>
PIE randomly drops a packet upon its arrival to a queue according to
a drop probability, PIE->drop_prob_, that is obtained from the
drop-probability-calculation component. The random drop is triggered
by a packet's arrival before enqueuing into a queue.
* Upon a packet enqueue:
randomly drop the packet with a probability of PIE->drop_prob_.
To ensure that PIE is "work conserving", we bypass the random drop if
the latency sample, PIE->qdelay_old_, is smaller than half of the
target latency value (QDELAY_REF) when the drop probability is not
too high (i.e., PIE->drop_prob_ < 0.2), or if the queue has less than
a couple of packets.
* Upon a packet enqueue, PIE does the following:
//Safeguard PIE to be work conserving
if ( (PIE->qdelay_old_ < QDELAY_REF/2 && PIE->drop_prob_ < 0.2)
|| (queue_.byte_length() <= 2 * MEAN_PKTSIZE) )
return ENQUE;
else
randomly drop the packet with a probability of
PIE->drop_prob_.
PIE optionally supports Explicit Congestion Notification (ECN); see
<a href="#section-5.1">Section 5.1</a>.
<span class="h3"><a class="selflink" id="section-4.2" href="#section-4.2">4.2</a>. Drop Probability Calculation</span>
The PIE algorithm periodically updates the drop probability based on
the latency samples -- not only the current latency sample but also
whether the latency is trending up or down. This is the classical
Proportional Integral (PI) controller method, which is known for
eliminating steady-state errors. This type of controller has been
studied before for controlling the queue length [<a href="#ref-PI" title=""On designing improved controllers for AQM routers supporting TCP flows"">PI</a>] [<a href="#ref-QCN" title=""IEEE Standard for Local and Metropolitan Area Networks--Virtual Bridged Local Area Networks - Amendment: 10: Congestion Notification"">QCN</a>]. PIE
adopts the PI controller for controlling latency. The algorithm also
auto-adjusts the control parameters based on how heavy the congestion
is, which is reflected in the current drop probability. Note that
the current drop probability is a direct measure of the current
congestion level; there is no need to measure the arrival rate and
dequeue rate mismatches.
When a congestion period ends, we might be left with a high drop
probability with light packet arrivals. Hence, the PIE algorithm
includes a mechanism by which the drop probability decays
<span class="grey">Pan, et al. Experimental [Page 7]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-8" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
exponentially (rather than linearly) when the system is not
congested. This would help the drop probability converge to 0 more
quickly, while the PI controller ensures that it would eventually
reach zero. The decay parameter of 2% gives us a time constant
around 50 * T_UPDATE.
Specifically, the PIE algorithm periodically adjusts the drop
probability every T_UPDATE interval:
* calculate drop probability PIE->drop_prob_, and autotune it as
follows:
p = alpha * (current_qdelay - QDELAY_REF) +
beta * (current_qdelay - PIE->qdelay_old_);
if (PIE->drop_prob_ < 0.000001) {
p /= 2048;
} else if (PIE->drop_prob_ < 0.00001) {
p /= 512;
} else if (PIE->drop_prob_ < 0.0001) {
p /= 128;
} else if (PIE->drop_prob_ < 0.001) {
p /= 32;
} else if (PIE->drop_prob_ < 0.01) {
p /= 8;
} else if (PIE->drop_prob_ < 0.1) {
p /= 2;
} else {
p = p;
}
PIE->drop_prob_ += p;
* decay the drop probability exponentially:
if (current_qdelay == 0 && PIE->qdelay_old_ == 0) {
PIE->drop_prob_ = PIE->drop_prob_ * 0.98;
//1 - 1/64 is
//sufficient
}
* bound the drop probability:
if (PIE->drop_prob_ < 0)
PIE->drop_prob_ = 0.0
if (PIE->drop_prob_ > 1)
PIE->drop_prob_ = 1.0
<span class="grey">Pan, et al. Experimental [Page 8]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-9" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
* store the current latency value:
PIE->qdelay_old_ = current_qdelay.
The update interval, T_UPDATE, is defaulted to be 15 milliseconds.
It MAY be reduced on high-speed links in order to provide smoother
response. The target latency value, QDELAY_REF, SHOULD be set to 15
milliseconds. The variables current_qdelay and PIE->qdelay_old_
represent the current and previous samples of the queuing latency,
which are calculated by the "latency calculation" component (see
<a href="#section-4.3">Section 4.3</a>). The variable current_qdelay is actually a temporary
variable, while PIE->qdelay_old_ is a state variable that PIE keeps.
The drop probability is a value between 0 and 1. However,
implementations can certainly use integers.
The controller parameters, alpha and beta (expressed in Hz), are
designed using feedback loop analysis, where TCP's behaviors are
modeled using the results from well-studied prior art [<a href="#ref-TCP-Models">TCP-Models</a>].
Note that the above adjustment of 'p' effectively scales the alpha
and beta parameters based on the current congestion level indicated
by the drop probability.
The theoretical analysis of PIE can be found in [<a href="#ref-HPSR-PIE" title=""PIE: A lightweight control scheme to address the bufferbloat problem"">HPSR-PIE</a>]. As a
rule of thumb, to keep the same feedback loop dynamics, if we cut
T_UPDATE in half, we should also cut alpha by half and increase beta
by alpha/4. If the target latency is reduced, e.g., for data-center
use, the values of alpha and beta should be increased by the same
order of magnitude by which the target latency is reduced. For
example, if QDELAY_REF is reduced and changed from 15 milliseconds to
150 microseconds -- a reduction of two orders of magnitude -- then
alpha and beta values should be increased to alpha * 100 and
beta * 100.
<span class="h3"><a class="selflink" id="section-4.3" href="#section-4.3">4.3</a>. Latency Calculation</span>
The PIE algorithm uses latency to calculate drop probability in one
of two ways:
* It estimates the current queuing latency using Little's law (see
<a href="#section-5.2">Section 5.2</a> for details):
current_qdelay = queue_.byte_length()/dequeue_rate;
* It may use other techniques for calculating queuing latency, e.g.,
time-stamp the packets at enqueue, and use the timestamps to
calculate latency during dequeue.
<span class="grey">Pan, et al. Experimental [Page 9]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-10" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
<span class="h3"><a class="selflink" id="section-4.4" href="#section-4.4">4.4</a>. Burst Tolerance</span>
PIE does not penalize short-term packet bursts as suggested in
[<a href="./rfc7567" title=""IETF Recommendations Regarding Active Queue Management"">RFC7567</a>]. PIE allows bursts of traffic that create finite-duration
events in which current queuing latency exceeds QDELAY_REF without
triggering packet drops. This document introduces a parameter called
"MAX_BURST"; MAX_BURST defines the burst duration that will be
protected. By default, the parameter SHOULD be set to 150
milliseconds. For simplicity, the PIE algorithm MAY effectively
round MAX_BURST up to an integer multiple of T_UPDATE.
To implement the burst tolerance function, two basic components of
PIE are involved: "random dropping" and "drop probability
calculation". The PIE algorithm does the following:
* In the "random dropping" block and upon packet arrival, PIE checks
the following:
Upon a packet enqueue:
if PIE->burst_allowance_ > 0
enqueue packet;
else
randomly drop a packet with a probability of
PIE->drop_prob_.
if (PIE->drop_prob_ == 0 and current_qdelay < QDELAY_REF/2 and
PIE->qdelay_old_ < QDELAY_REF/2)
PIE->burst_allowance_ = MAX_BURST;
* In the "drop probability calculation" block, PIE additionally
calculates:
PIE->burst_allowance_ = max(0,PIE->burst_allowance_ - T_UPDATE);
The burst allowance, noted by PIE->burst_allowance_, is initialized
to MAX_BURST. As long as PIE->burst_allowance_ is above zero, an
incoming packet will be enqueued, bypassing the random drop process.
During each update instance, the value of PIE->burst_allowance_ is
decremented by the update period, T_UPDATE, and is bottomed at 0.
When the congestion goes away -- defined here as PIE->drop_prob_
equals 0 and both the current and previous samples of estimated
latency are less than half of QDELAY_REF -- PIE->burst_allowance_ is
reset to MAX_BURST.
<span class="grey">Pan, et al. Experimental [Page 10]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-11" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
<span class="h2"><a class="selflink" id="section-5" href="#section-5">5</a>. Optional Design Elements of PIE</span>
There are several enhancements that are added to further augment the
performance of the basic algorithm. For purposes of clarity, they
are included in this section.
<span class="h3"><a class="selflink" id="section-5.1" href="#section-5.1">5.1</a>. ECN Support</span>
PIE MAY support ECN by marking (rather than dropping) ECN-capable
packets [<a href="#ref-ECN" title=""Guidelines for Adding Congestion Notification to Protocols that Encapsulate IP"">ECN</a>]. This document introduces an additional threshold
called "mark_ecnth", which acts as a safeguard: if the calculated
drop probability exceeds mark_ecnth, PIE reverts to packet-dropping
for ECN-capable packets. The variable mark_ecnth SHOULD be set to
0.1 (10%).
* To support ECN, the "random drop with a probability of
PIE->drop_prob_" function in the "random dropping" block is
changed to the following:
* Upon a packet enqueue:
if rand() < PIE->drop_prob_:
if PIE->drop_prob_ < mark_ecnth && ecn_capable_packet == TRUE:
mark packet;
else
drop packet;
<span class="h3"><a class="selflink" id="section-5.2" href="#section-5.2">5.2</a>. Dequeue Rate Estimation</span>
Using timestamps, a latency sample can only be obtained when a packet
reaches the head of a queue. When a quick response time is desired
or a direct latency sample is not available, one may obtain latency
through measuring the dequeue rate. The draining rate of a queue in
the network often varies either because other queues are sharing the
same link or because the link capacity fluctuates. Rate fluctuation
is particularly common in wireless networks. One may measure
directly at the dequeue operation. Short, non-persistent bursts of
packets result in empty queues from time to time; this would make the
measurement less accurate. PIE only measures latency when there is
sufficient data in the buffer, i.e., when the queue length is over a
<span class="grey">Pan, et al. Experimental [Page 11]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-12" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
certain threshold (DQ_THRESHOLD). PIE measures how long it takes to
drain DQ_THRESHOLD packets. More specifically, the rate estimation
can be implemented as follows:
current_qdelay = queue_.byte_length() *
PIE->avg_dq_time_/DQ_THRESHOLD;
* Upon a packet dequeue:
if PIE->in_measurement_ == FALSE and queue.byte_length() >=
DQ_THRESHOLD:
PIE->in_measurement_ = TRUE;
PIE->measurement_start_ = now;
PIE->dq_count_ = 0;
if PIE->in_measurement_ == TRUE:
PIE->dq_count_ = PIE->dq_count_ + deque_pkt_size;
if PIE->dq_count_ >= DQ_THRESHOLD then
weight = DQ_THRESHOLD/2^16
PIE->avg_dq_time_ = (now - PIE->measurement_start_) *
weight + PIE->avg_dq_time_ *
(1 - weight);
PIE->dq_count_ = 0;
PIE->measurement_start_ = now
else
PIE->in_measurement_ = FALSE;
The parameter PIE->dq_count_ represents the number of bytes departed
since the last measurement. Once PIE->dq_count_ is over
DQ_THRESHOLD, a measurement sample is obtained. It is recommended
that the threshold be set to 16 KB, assuming a typical packet size of
around 1 KB or 1.5 KB. This threshold would allow sufficient data to
obtain an average draining rate but would also be fast enough (< 64
KB) to reflect sudden changes in the draining rate. If DQ_THRESHOLD
is smaller than 64 KB, a small weight is used to smooth out the
dequeue time and obtain PIE->avg_dq_time_. The dequeue rate is
simply DQ_THRESHOLD divided by PIE->avg_dq_time_. This threshold is
not crucial for the system's stability. Please note that the update
interval for calculating the drop probability is different from the
rate measurement cycle. The drop probability calculation is done
periodically per <a href="#section-4.2">Section 4.2</a>, and it is done even when the algorithm
is not in a measurement cycle; in this case, the previously latched
value of PIE->avg_dq_time_ is used.
<span class="grey">Pan, et al. Experimental [Page 12]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-13" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
Random Drop
/ --------------
-------/ --------------------> | | | | | -------------->
/|\ | | | | | |
| | --------------
| | Queue Buffer
| | |
| | |Queue
| | |Length
| | |
| \|/ \|/
| ------------------------------
| | Dequeue Rate |
-----<-----| & Drop Probability |
| Calculation |
------------------------------
Figure 2: The Enqueue-Based PIE Structure
In some platforms, enqueuing and dequeuing functions belong to
different modules that are independent of each other. In such
situations, a pure enqueue-based design can be developed. An
enqueue-based design is depicted in Figure 2. The dequeue rate is
deduced from the number of packets enqueued and the queue length.
The design is based on the following key observation: over a certain
time interval, the number of dequeued packets = the number of
enqueued packets minus the number of remaining packets in the queue.
In this design, everything can be triggered by packet arrival,
including the background update process. The design complexity here
is similar to the original design.
<span class="h3"><a class="selflink" id="section-5.3" href="#section-5.3">5.3</a>. Setting PIE Active and Inactive</span>
Traffic naturally fluctuates in a network. It would be preferable
not to unnecessarily drop packets due to a spurious uptick in queuing
latency. PIE has an optional feature of automatically becoming
active/inactive. To implement this feature, PIE may choose to only
become active (from inactive) when the buffer occupancy is over a
certain threshold, which may be set to 1/3 of the tail drop
threshold. PIE becomes inactive when congestion ends; i.e., when the
drop probability reaches 0, current and previous latency samples are
all below half of QDELAY_REF.
Ideally, PIE should become active/inactive based on latency.
However, calculating latency when PIE is inactive would introduce
unnecessary packet-processing overhead. Weighing the trade-offs,
we decided to compare against the tail drop threshold to keep things
simple.
<span class="grey">Pan, et al. Experimental [Page 13]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-14" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
When PIE optionally becomes active/inactive, the burst protection
logic described in <a href="#section-4.4">Section 4.4</a> is modified as follows:
* "Random dropping" block: PIE adds the following:
Upon packet arrival:
if PIE->active_ == FALSE && queue_length >= TAIL_DROP/3:
PIE->active_ = TRUE;
PIE->burst_allowance_ = MAX_BURST;
if PIE->burst_allowance_ > 0
enqueue packet;
else
randomly drop a packet with a probability of
PIE->drop_prob_.
if (PIE->drop_prob_ == 0 and current_qdelay < QDELAY_REF/2 and
PIE->qdelay_old_ < QDELAY_REF/2)
PIE->active_ = FALSE;
PIE->burst_allowance_ = MAX_BURST;
* "Drop probability calculation" block: PIE does the following:
if PIE->active_ == TRUE:
PIE->burst_allowance_ =
max(0,PIE->burst_allowance_ - T_UPDATE);
<span class="h3"><a class="selflink" id="section-5.4" href="#section-5.4">5.4</a>. Derandomization</span>
Although PIE adopts random dropping to achieve latency control,
independent coin tosses could introduce outlier situations where
packets are dropped too close to each other or too far from each
other. This would cause the real drop percentage to temporarily
deviate from the intended value PIE->drop_prob_. In certain
scenarios, such as a small number of simultaneous TCP flows, these
deviations can cause significant deviations in link utilization and
queuing latency. PIE may use a derandomization mechanism to avoid
such situations. A parameter called "PIE->accu_prob_" is reset to 0
after a drop. Upon packet arrival, PIE->accu_prob_ is incremented by
the amount of drop probability, PIE->drop_prob_. If PIE->accu_prob_
is less than a low threshold, e.g., 0.85, the arriving packet is
enqueued; on the other hand, if PIE->accu_prob_ is more than a high
threshold, e.g., 8.5, and the queue is congested, the arrival packet
is forced to be dropped. A packet is only randomly dropped if
PIE->accu_prob_ falls between the two thresholds. Since
PIE->accu_prob_ is reset to 0 after a drop, another drop will not
happen until 0.85/PIE->drop_prob_ packets later. This avoids packets
being dropped too close to each other. In the other extreme case
<span class="grey">Pan, et al. Experimental [Page 14]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-15" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
where 8.5/PIE->drop_prob_ packets have been enqueued without
incurring a drop, PIE would force a drop in order to prevent the
drops from being spaced too far apart. Further analysis can be found
in [<a href="./rfc8034" title=""Active Queue Management (AQM) Based on Proportional Integral Controller Enhanced (PIE) for Data-Over-Cable Service Interface Specifications (DOCSIS) Cable Modems"">RFC8034</a>].
<span class="h3"><a class="selflink" id="section-5.5" href="#section-5.5">5.5</a>. Cap Drop Adjustment</span>
In the case of a single TCP flow, during the slow-start phase the
queue could quickly increase, which could result in a very rapid
increase in drop probability. In order to prevent an excessive
ramp-up that could negatively impact the throughput in this scenario,
PIE can cap the maximum drop probability increase in each step.
* "Drop probability calculation" block: PIE adds the following:
if (PIE->drop_prob_ >= 0.1 && p > 0.02) {
p = 0.02;
}
<span class="h2"><a class="selflink" id="section-6" href="#section-6">6</a>. Implementation Cost</span>
PIE can be applied to existing hardware or software solutions. There
are three steps involved in PIE, as discussed in <a href="#section-4">Section 4</a>. Their
complexities are examined below.
Upon packet arrival, the algorithm simply drops a packet randomly,
based on the drop probability. This step is straightforward and
requires no packet header examination and manipulation. If the
implementation doesn't rely on packet timestamps for calculating
latency, PIE does not require extra memory. Furthermore, the input
side of a queue is typically under software control while the output
side of a queue is hardware based. Hence, a drop at enqueuing can be
readily retrofitted into existing or software implementations.
The drop probability calculation is done in the background, and it
occurs every T_UPDATE interval. Given modern high-speed links, this
period translates into once every tens, hundreds, or even thousands
of packets. Hence, the calculation occurs at a much slower time
scale than the packet-processing time -- at least an order of
magnitude slower. The calculation of drop probability involves
multiplications using alpha and beta. Since PIE's control law is
robust to minor changes in alpha and beta values, an implementation
MAY choose these values to the closest multiples of 2 or 1/2 (e.g.,
alpha = 1/8, beta = 1 + 1/4) such that the multiplications can be
done using simple adds and shifts. As no complicated functions are
required, PIE can be easily implemented in both hardware and
<span class="grey">Pan, et al. Experimental [Page 15]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-16" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
software. The state requirement is only three variables per queue:
burst_allowance_, PIE->drop_prob_, and PIE->qdelay_old_. Hence, the
memory overhead is small.
If one chooses to implement the departure rate estimation, PIE uses a
counter to keep track of the number of bytes departed for the current
interval. This counter is incremented per packet departure. Every
T_UPDATE, PIE calculates latency using the departure rate, which can
be implemented using a single multiply operation. Note that many
network devices keep track of an interface's departure rate. In this
case, PIE might be able to reuse this information and simply skip the
third step of the algorithm; hence, it would incur no extra cost. If
a platform already leverages packet timestamps for other purposes,
PIE can make use of these packet timestamps for latency calculation
instead of estimating the departure rate.
Flow queuing can also be combined with PIE to provide isolation
between flows. In this case, it is preferable to have an independent
value of drop probability per queue. This allows each flow to
receive the most appropriate level of congestion signal and ensures
that sparse flows are protected from experiencing packet drops.
However, running the entire PIE algorithm independently on each queue
in order to calculate the drop probability may be overkill.
Furthermore, in the case where departure rate estimation is used to
predict queuing latency, it is not possible to calculate an accurate
per-queue departure rate upon which to implement the PIE drop
probability calculation. Instead, it has been proposed [<a href="#ref-DOCSIS-AQM">DOCSIS-AQM</a>]
that a single implementation of the PIE drop probability calculation
based on the overall latency estimate be used, followed by a
per-queue scaling of drop probability based on the ratio of
queue depth between the queue in question and the current largest
queue. This scaling is reasonably simple and has a couple of nice
properties:
* If a packet is arriving to an empty queue, it is given immunity
from packet drops altogether, regardless of the state of the other
queues.
* In the situation where only a single queue is in use, the
algorithm behaves exactly like the single-queue PIE algorithm.
In summary, PIE is simple enough to be implemented in both software
and hardware.
<span class="grey">Pan, et al. Experimental [Page 16]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-17" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
<span class="h2"><a class="selflink" id="section-7" href="#section-7">7</a>. Scope of Experimentation</span>
The design of the PIE algorithm is presented in this document. The
PIE algorithm effectively controls the average queuing latency to a
target value. The following areas can be used for further study and
experimentation:
* Autotuning of target latency without losing utilization.
* Autotuning for the average round-trip time of traffic.
* The proper threshold to transition smoothly between ECN marking
and dropping.
* The enhancements described in <a href="#section-5">Section 5</a>, which can be used in
experiments to see if they would be of more value in the real
world. If so, they will be incorporated into the basic PIE
algorithm.
* The PIE design, which is separated into the data path and the
control path. The control path can be implemented in software.
Field tests of other control laws can be performed to experiment
with further improvements to PIE's performance.
Although all network nodes cannot be changed altogether to adopt
latency-based AQM schemes such as PIE, a gradual adoption would
eventually lead to end-to-end low-latency service for all
applications.
<span class="h2"><a class="selflink" id="section-8" href="#section-8">8</a>. Incremental Deployment</span>
From testbed experiments and large-scale simulations of PIE so far,
PIE has been shown to be effective across a diverse range of network
scenarios. There is no indication that PIE would be harmful to
deploy.
The PIE scheme can be independently deployed and managed without a
need for interoperability between different network devices. In
addition, any individual buffer queue can be incrementally upgraded
to PIE, as it can coexist with existing AQM schemes such as
Weighted RED (WRED).
PIE is intended to be self-configuring. Users should not need to
configure any design parameters. Upon installation, the two
user-configurable parameters -- QDELAY_REF and MAX_BURST -- will be
defaulted to 15 milliseconds and 150 milliseconds for non-data-center
network devices and to 15 microseconds and 150 microseconds for
data-center switches, respectively.
<span class="grey">Pan, et al. Experimental [Page 17]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-18" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
Since the data path of the algorithm needs only a simple coin toss
and the control-path calculation happens in a much slower time scale,
we don't foresee any scaling issues associated with the algorithm as
the link speed scales up.
<span class="h2"><a class="selflink" id="section-9" href="#section-9">9</a>. Security Considerations</span>
This document describes PIE, an active queue management algorithm
based on implementations in different products. The PIE algorithm
introduces no specific security exposures.
<span class="h2"><a class="selflink" id="section-10" href="#section-10">10</a>. References</span>
<span class="h3"><a class="selflink" id="section-10.1" href="#section-10.1">10.1</a>. Normative References</span>
[<a id="ref-RFC2119">RFC2119</a>] Bradner, S., "Key words for use in RFCs to Indicate
Requirement Levels", <a href="https://www.rfc-editor.org/bcp/bcp14">BCP 14</a>, <a href="./rfc2119">RFC 2119</a>,
DOI 10.17487/RFC2119, March 1997,
<<a href="http://www.rfc-editor.org/info/rfc2119">http://www.rfc-editor.org/info/rfc2119</a>>.
<span class="h3"><a class="selflink" id="section-10.2" href="#section-10.2">10.2</a>. Informative References</span>
[<a id="ref-RFC970">RFC970</a>] Nagle, J., "On Packet Switches With Infinite Storage",
<a href="./rfc970">RFC 970</a>, DOI 10.17487/RFC0970, December 1985,
<<a href="http://www.rfc-editor.org/info/rfc970">http://www.rfc-editor.org/info/rfc970</a>>.
[<a id="ref-RFC2309">RFC2309</a>] Braden, B., Clark, D., Crowcroft, J., Davie, B., Deering,
S., Estrin, D., Floyd, S., Jacobson, V., Minshall, G.,
Partridge, C., Peterson, L., Ramakrishnan, K., Shenker,
S., Wroclawski, J., and L. Zhang, "Recommendations on
Queue Management and Congestion Avoidance in the
Internet", <a href="./rfc2309">RFC 2309</a>, DOI 10.17487/RFC2309, April 1998,
<<a href="http://www.rfc-editor.org/info/rfc2309">http://www.rfc-editor.org/info/rfc2309</a>>.
[<a id="ref-RFC7567">RFC7567</a>] Baker, F., Ed., and G. Fairhurst, Ed., "IETF
Recommendations Regarding Active Queue Management",
<a href="https://www.rfc-editor.org/bcp/bcp197">BCP 197</a>, <a href="./rfc7567">RFC 7567</a>, DOI 10.17487/RFC7567, July 2015,
<<a href="http://www.rfc-editor.org/info/rfc7567">http://www.rfc-editor.org/info/rfc7567</a>>.
[<a id="ref-RFC7806">RFC7806</a>] Baker, F. and R. Pan, "On Queuing, Marking, and Dropping",
<a href="./rfc7806">RFC 7806</a>, DOI 10.17487/RFC7806, April 2016,
<<a href="http://www.rfc-editor.org/info/rfc7806">http://www.rfc-editor.org/info/rfc7806</a>>.
<span class="grey">Pan, et al. Experimental [Page 18]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-19" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
[<a id="ref-RFC8034">RFC8034</a>] White, G. and R. Pan, "Active Queue Management (AQM) Based
on Proportional Integral Controller Enhanced (PIE) for
Data-Over-Cable Service Interface Specifications (DOCSIS)
Cable Modems", <a href="./rfc8034">RFC 8034</a>, DOI 10.17487/RFC8034,
February 2017, <<a href="http://www.rfc-editor.org/info/rfc8034">http://www.rfc-editor.org/info/rfc8034</a>>.
[<a id="ref-CBQ">CBQ</a>] Cisco, "Class-Based Weighted Fair Queueing",
<<a href="http://www.cisco.com/en/US/docs/ios/12_0t/12_0t5/feature/guide/cbwfq.html">http://www.cisco.com/en/US/docs/ios/12_0t/12_0t5/</a>
<a href="http://www.cisco.com/en/US/docs/ios/12_0t/12_0t5/feature/guide/cbwfq.html">feature/guide/cbwfq.html</a>>.
[<a id="ref-CoDel">CoDel</a>] Nichols, K. and V. Jacobson, "Controlling Queue Delay",
Communications of the ACM, Volume 55, Issue 7, pp. 42-50,
DOI 10.1145/2209249.2209264, July 2012.
[<a id="ref-DOCSIS_3.1">DOCSIS_3.1</a>]
CableLabs, "MAC and Upper Layer Protocols Interface
Specification", DOCSIS 3.1, January 2017,
<<a href="https://apps.cablelabs.com/specification/CM-SP-MULPIv3.1">https://apps.cablelabs.com/specification/</a>
<a href="https://apps.cablelabs.com/specification/CM-SP-MULPIv3.1">CM-SP-MULPIv3.1</a>>.
[<a id="ref-DOCSIS-AQM">DOCSIS-AQM</a>]
White, G., "Active Queue Management in DOCSIS 3.x Cable
Modems", May 2014, <<a href="http://www.cablelabs.com/wp-content/uploads/2014/06/DOCSIS-AQM_May2014.pdf">http://www.cablelabs.com/wp-content/</a>
<a href="http://www.cablelabs.com/wp-content/uploads/2014/06/DOCSIS-AQM_May2014.pdf">uploads/2014/06/DOCSIS-AQM_May2014.pdf</a>>.
[<a id="ref-ECN">ECN</a>] Briscoe, B., Kaippallimalil, J., and P. Thaler,
"Guidelines for Adding Congestion Notification to
Protocols that Encapsulate IP", Work in Progress,
<a href="./draft-ietf-tsvwg-ecn-encap-guidelines-07">draft-ietf-tsvwg-ecn-encap-guidelines-07</a>, July 2016.
[<a id="ref-HPSR-PIE">HPSR-PIE</a>] Pan, R., Natarajan, P., Piglione, C., Prabhu, M.S.,
Subramanian, V., Baker, F., and B. Ver Steeg, "PIE: A
lightweight control scheme to address the bufferbloat
problem", IEEE HPSR, DOI 10.1109/HPSR.2013.6602305, 2013,
<<a href="https://www.researchgate.net/publication/261134127_PIE_A_lightweight_control_scheme_to_address_the_bufferbloat_problem?origin=mail">https://www.researchgate.net/publication/</a>
<a href="https://www.researchgate.net/publication/261134127_PIE_A_lightweight_control_scheme_to_address_the_bufferbloat_problem?origin=mail">261134127_PIE_A_lightweight_control_scheme_to_address_</a>
<a href="https://www.researchgate.net/publication/261134127_PIE_A_lightweight_control_scheme_to_address_the_bufferbloat_problem?origin=mail">the_bufferbloat_problem?origin=mail</a>>.
[<a id="ref-PI">PI</a>] Hollot, C.V., Misra, V., Towsley, D., and W. Gong, "On
designing improved controllers for AQM routers supporting
TCP flows", INFOCOM 2001, DOI 10.1109/INFCOM.2001.916670,
April 2001.
[<a id="ref-QCN">QCN</a>] IEEE, "IEEE Standard for Local and Metropolitan Area
Networks--Virtual Bridged Local Area Networks -
Amendment: 10: Congestion Notification", IEEE 802.1Qau,
<<a href="http://www.ieee802.org/1/pages/802.1au.html">http://www.ieee802.org/1/pages/802.1au.html</a>>.
<span class="grey">Pan, et al. Experimental [Page 19]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-20" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
[<a id="ref-RED">RED</a>] Floyd, S. and V. Jacobson, "Random Early Detection (RED)
Gateways for Congestion Avoidance", IEEE/ACM Transactions
on Networking, Volume 1, Issue 4, DOI 10.1109/90.251892,
August 1993.
[<a id="ref-TCP-Models">TCP-Models</a>]
Misra, V., Gong, W., and D. Towsley, "Fluid-based analysis
of a network of AQM routers supporting TCP flows with an
application to RED", SIGCOMM 2000, Volume 30, Issue 4,
pp. 151-160, DOI 10.1145/347057.347421, October 2000.
<span class="grey">Pan, et al. Experimental [Page 20]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-21" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
<span class="h2"><a class="selflink" id="appendix-A" href="#appendix-A">Appendix A</a>. The Basic PIE Pseudocode</span>
Configurable parameters:
- QDELAY_REF. AQM Latency Target (default: 15 milliseconds)
- MAX_BURST. AQM Max Burst Allowance (default: 150 milliseconds)
Internal parameters:
- Weights in the drop probability calculation (1/s):
alpha (default: 1/8), beta (default: 1 + 1/4)
- T_UPDATE: a period to calculate drop probability
(default: 15 milliseconds)
Table that stores status variables (ending with "_"):
- burst_allowance_: current burst allowance
- drop_prob_: The current packet drop probability. Reset to 0
- qdelay_old_: The previous queue delay. Reset to 0
Public/system functions:
- queue_. Holds the pending packets
- drop(packet). Drops/discards a packet
- now(). Returns the current time
- random(). Returns a uniform r.v. in the range 0 ~ 1
- queue_.byte_length(). Returns current queue_ length in bytes
- queue_.enque(packet). Adds packet to tail of queue_
- queue_.deque(). Returns the packet from the head of queue_
- packet.size(). Returns size of packet
- packet.timestamp_delay(). Returns timestamped packet latency
============================
//Called on each packet arrival
enque(Packet packet) {
if (PIE->drop_prob_ == 0 && current_qdelay < QDELAY_REF/2
&& PIE->qdelay_old_ < QDELAY_REF/2) {
PIE->burst_allowance_ = MAX_BURST;
}
if (PIE->burst_allowance_ == 0 && drop_early() == DROP) {
drop(packet);
} else {
queue_.enque(packet);
}
}
============================
<span class="grey">Pan, et al. Experimental [Page 21]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-22" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
drop_early() {
//Safeguard PIE to be work conserving
if ( (PIE->qdelay_old_ < QDELAY_REF/2 && PIE->drop_prob_ < 0.2)
|| (queue_.byte_length() <= 2 * MEAN_PKTSIZE) ) {
return ENQUE;
}
double u = random();
if (u < PIE->drop_prob_) {
return DROP;
} else {
return ENQUE;
}
}
============================
//We choose the timestamp option of obtaining latency for clarity
//Rate estimation method can be found in the extended PIE pseudocode
deque(Packet packet) {
current_qdelay = packet.timestamp_delay();
}
============================
//Update periodically, T_UPDATE = 15 milliseconds
calculate_drop_prob() {
//Can be implemented using integer multiply
p = alpha * (current_qdelay - QDELAY_REF) + \
beta * (current_qdelay - PIE->qdelay_old_);
if (PIE->drop_prob_ < 0.000001) {
p /= 2048;
} else if (PIE->drop_prob_ < 0.00001) {
p /= 512;
} else if (PIE->drop_prob_ < 0.0001) {
p /= 128;
} else if (PIE->drop_prob_ < 0.001) {
p /= 32;
} else if (PIE->drop_prob_ < 0.01) {
p /= 8;
<span class="grey">Pan, et al. Experimental [Page 22]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-23" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
} else if (PIE->drop_prob_ < 0.1) {
p /= 2;
} else {
p = p;
}
PIE->drop_prob_ += p;
//Exponentially decay drop prob when congestion goes away
if (current_qdelay == 0 && PIE->qdelay_old_ == 0) {
PIE->drop_prob_ *= 0.98; //1 - 1/64 is
//sufficient
}
//Bound drop probability
if (PIE->drop_prob_ < 0)
PIE->drop_prob_ = 0.0
if (PIE->drop_prob_ > 1)
PIE->drop_prob_ = 1.0
PIE->qdelay_old_ = current_qdelay;
PIE->burst_allowance_ =
max(0,PIE->burst_allowance_ - T_UPDATE);
}
}
<span class="grey">Pan, et al. Experimental [Page 23]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-24" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
<span class="h2"><a class="selflink" id="appendix-B" href="#appendix-B">Appendix B</a>. Pseudocode for PIE with Optional Enhancement</span>
Configurable parameters:
- QDELAY_REF. AQM Latency Target (default: 15 milliseconds)
- MAX_BURST. AQM Max Burst Allowance (default: 150 milliseconds)
- MAX_ECNTH. AQM Max ECN Marking Threshold (default: 10%)
Internal parameters:
- Weights in the drop probability calculation (1/s):
alpha (default: 1/8), beta (default: 1 + 1/4)
- DQ_THRESHOLD: (in bytes, default: 2^14 (in a power of 2) )
- T_UPDATE: a period to calculate drop probability
(default: 15 milliseconds)
- TAIL_DROP: the tail drop threshold (max allowed queue depth)
for the queue
Table that stores status variables (ending with "_"):
- active_: INACTIVE/ACTIVE
- burst_allowance_: current burst allowance
- drop_prob_: The current packet drop probability. Reset to 0
- accu_prob_: Accumulated drop probability. Reset to 0
- qdelay_old_: The previous queue delay estimate. Reset to 0
- last_timestamp_: Timestamp of previous status update
- dq_count_, measurement_start_, in_measurement_, avg_dq_time_.
Variables for measuring average dequeue rate
Public/system functions:
- queue_. Holds the pending packets
- drop(packet). Drops/discards a packet
- mark(packet). Marks ECN for a packet
- now(). Returns the current time
- random(). Returns a uniform r.v. in the range 0 ~ 1
- queue_.byte_length(). Returns current queue_ length in bytes
- queue_.enque(packet). Adds packet to tail of queue_
- queue_.deque(). Returns the packet from the head of queue_
- packet.size(). Returns size of packet
- packet.ecn(). Returns whether packet is ECN capable or not
============================
<span class="grey">Pan, et al. Experimental [Page 24]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-25" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
//Called on each packet arrival
enque(Packet packet) {
if (queue_.byte_length() + packet.size() > TAIL_DROP) {
drop(packet);
PIE->accu_prob_ = 0;
} else if (PIE->active_ == TRUE && drop_early() == DROP
&& PIE->burst_allowance_ == 0) {
if (PIE->drop_prob_ < MAX_ECNTH && packet.ecn() ==
TRUE)
mark(packet);
else
drop(packet);
PIE->accu_prob_ = 0;
} else {
queue_.enque(packet);
}
//If the queue is over a certain threshold, turn on PIE
if (PIE->active_ == INACTIVE
&& queue_.byte_length() >= TAIL_DROP/3) {
PIE->active_ = ACTIVE;
PIE->qdelay_old_ = 0;
PIE->drop_prob_ = 0;
PIE->in_measurement_ = TRUE;
PIE->dq_count_ = 0;
PIE->avg_dq_time_ = 0;
PIE->last_timestamp_ = now;
PIE->burst_allowance_ = MAX_BURST;
PIE->accu_prob_ = 0;
PIE->measurement_start_ = now;
}
//If the queue has been idle for a while, turn off PIE
//Reset counters when accessing the queue after some idle
//period if PIE was active before
if ( PIE->drop_prob_ == 0 && PIE->qdelay_old_ == 0
&& current_qdelay == 0) {
PIE->active_ = INACTIVE;
PIE->in_measurement_ = FALSE;
}
}
============================
<span class="grey">Pan, et al. Experimental [Page 25]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-26" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
drop_early() {
//PIE is active but the queue is not congested: return ENQUE
if ( (PIE->qdelay_old_ < QDELAY_REF/2 && PIE->drop_prob_ < 0.2)
|| (queue_.byte_length() <= 2 * MEAN_PKTSIZE) ) {
return ENQUE;
}
if (PIE->drop_prob_ == 0) {
PIE->accu_prob_ = 0;
}
//For practical reasons, drop probability can be further scaled
//according to packet size, but one needs to set a bound to
//avoid unnecessary bias
//Random drop
PIE->accu_prob_ += PIE->drop_prob_;
if (PIE->accu_prob_ < 0.85)
return ENQUE;
if (PIE->accu_prob_ >= 8.5)
return DROP;
double u = random();
if (u < PIE->drop_prob_) {
PIE->accu_prob_ = 0;
return DROP;
} else {
return ENQUE;
}
}
============================
<span class="grey">Pan, et al. Experimental [Page 26]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-27" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
//Update periodically, T_UPDATE = 15 milliseconds
calculate_drop_prob() {
if ( (now - PIE->last_timestamp_) >= T_UPDATE &&
PIE->active_ == ACTIVE) {
//Can be implemented using integer multiply
//DQ_THRESHOLD is power of 2 value
current_qdelay = queue_.byte_length() *
PIE->avg_dq_time_/DQ_THRESHOLD;
p = alpha * (current_qdelay - QDELAY_REF) + \
beta * (current_qdelay - PIE->qdelay_old_);
if (PIE->drop_prob_ < 0.000001) {
p /= 2048;
} else if (PIE->drop_prob_ < 0.00001) {
p /= 512;
} else if (PIE->drop_prob_ < 0.0001) {
p /= 128;
} else if (PIE->drop_prob_ < 0.001) {
p /= 32;
} else if (PIE->drop_prob_ < 0.01) {
p /= 8;
} else if (PIE->drop_prob_ < 0.1) {
p /= 2;
} else {
p = p;
}
if (PIE->drop_prob_ >= 0.1 && p > 0.02) {
p = 0.02;
}
PIE->drop_prob_ += p;
//Exponentially decay drop prob when congestion goes away
if (current_qdelay < QDELAY_REF/2 && PIE->qdelay_old_ <
QDELAY_REF/2) {
PIE->drop_prob_ *= 0.98; //1 - 1/64 is
//sufficient
}
<span class="grey">Pan, et al. Experimental [Page 27]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-28" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
//Bound drop probability
if (PIE->drop_prob_ < 0)
PIE->drop_prob_ = 0
if (PIE->drop_prob_ > 1)
PIE->drop_prob_ = 1
PIE->qdelay_old_ = current_qdelay;
PIE->last_timestamp_ = now;
PIE->burst_allowance_ = max(0,PIE->burst_allowance_ -
T_UPDATE);
}
}
============================
//Called on each packet departure
deque(Packet packet) {
//Dequeue rate estimation
if (PIE->in_measurement_ == TRUE) {
PIE->dq_count_ = packet.size() + PIE->dq_count_;
//Start a new measurement cycle if we have enough packets
if ( PIE->dq_count_ >= DQ_THRESHOLD) {
dq_time = now - PIE->measurement_start_;
if (PIE->avg_dq_time_ == 0) {
PIE->avg_dq_time_ = dq_time;
} else {
weight = DQ_THRESHOLD/2^16
PIE->avg_dq_time_ = dq_time * weight +
PIE->avg_dq_time_ * (1 - weight);
}
PIE->in_measurement_ = FALSE;
}
}
//Start a measurement if we have enough data in the queue
if (queue_.byte_length() >= DQ_THRESHOLD &&
PIE->in_measurement_ == FALSE) {
PIE->in_measurement_ = TRUE;
PIE->measurement_start_ = now;
PIE->dq_count_ = 0;
}
}
<span class="grey">Pan, et al. Experimental [Page 28]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-29" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
Contributors
Bill Ver Steeg
Comcast Cable
Email: William_VerSteeg@comcast.com
Mythili Prabhu*
Akamai Technologies
3355 Scott Blvd.
Santa Clara, CA 95054
United States of America
Email: mythili@akamai.com
Chiara Piglione*
Broadcom Corporation
3151 Zanker Road
San Jose, CA 95134
United States of America
Email: chiara@broadcom.com
Vijay Subramanian*
PLUMgrid, Inc.
350 Oakmead Parkway
Suite 250
Sunnyvale, CA 94085
United States of America
Email: vns@plumgrid.com
* Formerly at Cisco Systems
<span class="grey">Pan, et al. Experimental [Page 29]</span></pre>
<hr class='noprint'/><!--NewPage--><pre class='newpage'><span id="page-30" ></span>
<span class="grey"><a href="./rfc8033">RFC 8033</a> PIE February 2017</span>
Authors' Addresses
Rong Pan
Cisco Systems
3625 Cisco Way
San Jose, CA 95134
United States of America
Email: ropan@cisco.com
Preethi Natarajan
Cisco Systems
725 Alder Drive
Milpitas, CA 95035
United States of America
Email: prenatar@cisco.com
Fred Baker
Santa Barbara, CA 93117
United States of America
Email: FredBaker.IETF@gmail.com
Greg White
CableLabs
858 Coal Creek Circle
Louisville, CO 80027
United States of America
Email: g.white@cablelabs.com
Pan, et al. Experimental [Page 30]
</pre>
|