MapReduceフレームワークはBSPの一種ですか？

mapReduceフレームワークを、同期間でプロセッサ内にローカルメモリが保持されないタイプのバルク同期並列プログラミングフレームワークと呼ぶのは正確ですか？そうでない場合、どの並列プログラミングモデルがmapReduceフレームワークを最も正確にカプセル化しますか？

http://arxiv.org/abs/1101.1902のセクション2で、著者はBSPのように意図的に構造化されたMapReduceのモデルを定義しています。シミュレーション定理も同様に証明します。始めるのに良い場所かもしれません。

はい、私の意見では、従来のMapReduceはBSPモデルです（したがって、実現可能な最大並列パフォーマンスに固有の制限があります）。ただし、MapReduceの新しい作業は、この「一般化されたMapReduce」を厳密なBSPフレームワークから取り除く、より緩やかな同期の概念に焦点を当てているようです。特に、データの一部を複製すると、同期構造が緩和され、パフォーマンスが向上します。

たとえば、Foto AfratiとJeff Ullmanによる研究：map-reduce環境での結合の最適化、EDBT 2010を参照してください。（preprint）

MapReduceには、計算の基礎となる単純で構造化されたグラフがあるため、これをデータフローモデルとして分類できます。