目前来说,单节点的并行编程模型有OpenMP、MPI等;集群上有MPI、UPC等。但是这些编程模型再带来某一些好处的同时,又带来了其他问题,所以如何设计一个能够让客户满意的编程模型,是一个非常艰难的工作。
对于并行编程模型,大家关注的问题包括可编程性、性能、可调试性、正确性以及安全性等各个方面的问题。但是通常对于用户来说比较关注的是可编程性以及性能。以UPC为例,UPC做为一个PGAS的编程模型,从出现的时候就在可编程性被大家寄予厚望。但是,upc在出现后大约10年时间里,仍然没有工业界利用UPC写成序,当然,更重要的可能是由于其性能以及扩展性的影响。这些负面的影响部分来自于为了可编程性的考虑,还有一部分就是对于设计理念的实现带来很高的代价。
最近,一直在思考的问题就是多核时代,用户需要一个什么样的并行编程模型,MPI以及现在的upc实现都不会是大家所期待的,OpenMP对于某些应用具有比较不错的性能,也是目前为止在单节点上(SMP)的被大家接受的编程模型,但是在多核时代,OpenMP是否会面临新的问题呢?