Shaping on a large scale

They have. Many Linux appliances come with a 'Linux Wonder Shaper'
http://lartc.org/wondershaper/ or an equivalent.

In general, the Linux packet shaping infrastructure is overly powerful, if
very weakly documented - despite the LARTC efforts.

I do have to add that shaping is rarely an exact science, and that achieving
very high accuracies may prove impossible on general (timer interrupt based)
hardware & operating systems.

Stochastic results will be good however.

  Bert

"Overly powerful" is a strong word. Sure it has countless poorly documented features, but then it fails at even the the most trivial task at shaping ingress without having to shape your other egress interface.

Essentially, you have to throw hardware at it.

FreeBSD notably has less of these problems, but neither are all that viable on large scale throughputs.