An analysis of several processor partitioning policies for parallel computers