parallel Batcher sort implementations