Il framework MapReduce è un tipo di BSP?

È accurato definire il framework mapReduce un tipo di framework di programmazione parallela sincrona di massa senza ritenzione di memoria locale all'interno dei processori tra le sincronizzazioni? In caso contrario, quale modello di programmazione parallela incapsula più accuratamente il framework mapReduce?

Nella sezione 2 di http://arxiv.org/abs/1101.1902 , gli autori definiscono un modello di MapReduce che è intenzionalmente strutturato come BSP. Dimostrano anche teoremi di simulazione. Potrebbe essere un buon punto di partenza.

Sì, la mia opinione è che MapReduce classica sia un modello BSP (e quindi ha i suoi limiti intrinseci sulla massima prestazione parallela possibile che può essere raggiunta). Tuttavia, i lavori più recenti su MapReduce sembrano concentrarsi su nozioni più vaghe di sincronizzazione, che porterebbero questo "MapReduce generalizzato" fuori dal rigoroso framework BSP. In particolare, se uno replica alcuni dei dati, la struttura di sincronizzazione può essere rilassata, ottenendo miglioramenti delle prestazioni.

Vedi ad esempio il lavoro di Foto Afrati e Jeff Ullman: Ottimizzare i join in un ambiente di riduzione delle mappe , EDBT 2010. ( prestampa )

Poiché in MapReduce è presente un grafico semplice e strutturato alla base del calcolo, questo può essere classificato come un modello di flusso di dati.