A Taxonomy of Synchronous Parallel Machines