A Many-core Machine Model for Designing Algorithms with Minimum Parallelism Overheads