Analyzing Interaction Between CCAs and Traffic Policers

We describe details of a formal framework to study the interaction between traffic policers, implemented using phantom queues or token buckets, and any arbitrary congestion control algorithm (CCA). This framework allows network providers to figure out configurations for their traffic policers (phantom queue size, safe rate thresholds, etc.). We also use this framework to describe why CCAs interact differently with a traffic policer compared to traffic shapers.