多核時代的並行編程模型應該是什麼樣子

  目前來說，單節點的並行編程模型有OpenMP、MPI等；叢集上有MPI、UPC等。但是這些編程模型再帶來某一些好處的同時，又帶來了其他問題，所以如何設計一個能夠讓客戶滿意的編程模型，是一個非常艱難的工作。

  對於並行編程模型，大家關注的問題包括可程式化性、效能、可調試性、正確性以及安全性等各個方面的問題。但是通常對於使用者來說比較關注的是可程式化性以及效能。以UPC為例，UPC做為一個PGAS的編程模型，從出現的時候就在可程式化性被大家寄予厚望。但是，upc在出現後大約10年時間裡，仍然沒有工業界利用UPC寫成序，當然，更重要的可能是由於其效能以及擴充性的影響。這些負面的影響部分來自於為了可程式化性的考慮，還有一部分就是對於設計理念的實現帶來很高的代價。

  最近，一直在思考的問題就是多核時代，使用者需要一個什麼樣的並行編程模型，MPI以及現在的upc實現都不會是大家所期待的，OpenMP對於某些應用具有比較不錯的效能，也是目前為止在單節點上（SMP）的被大家接受的編程模型，但是在多核時代，OpenMP是否會面臨新的問題呢？