A fast, parallel spanning tree algorithm for symmetric multiprocessors