The fastest parallel sort has recently been proved to be O(log n),
which improves upon Batcher's O((log n)^2). It's in a paper by
Komlos, Ajtai, and Sar??? (sp) [Stanford &/| UCSD], and it uses
expander graphs and a linear nearsort algorithm. The problem is
that the linear coefficient is huge (10^20?), so it's no good to
actually implement it; it just proved it can be done in O(log n).
Michael Baldwin
{harpo,ihnp4}!whuxg!mike