多核时代的并行编程模型应该是什么样子

  目前来说，单节点的并行编程模型有OpenMP、MPI等；集群上有MPI、UPC等。但是这些编程模型再带来某一些好处的同时，又带来了其他问题，所以如何设计一个能够让客户满意的编程模型，是一个非常艰难的工作。

  对于并行编程模型，大家关注的问题包括可编程性、性能、可调试性、正确性以及安全性等各个方面的问题。但是通常对于用户来说比较关注的是可编程性以及性能。以UPC为例，UPC做为一个PGAS的编程模型，从出现的时候就在可编程性被大家寄予厚望。但是，upc在出现后大约10年时间里，仍然没有工业界利用UPC写成序，当然，更重要的可能是由于其性能以及扩展性的影响。这些负面的影响部分来自于为了可编程性的考虑，还有一部分就是对于设计理念的实现带来很高的代价。

  最近，一直在思考的问题就是多核时代，用户需要一个什么样的并行编程模型，MPI以及现在的upc实现都不会是大家所期待的，OpenMP对于某些应用具有比较不错的性能，也是目前为止在单节点上（SMP）的被大家接受的编程模型，但是在多核时代，OpenMP是否会面临新的问题呢？