Warum brauchen wir 'Seq' oder 'Pseq' mit 'Par' in Haskell?

Question

Ich versuche, wir zu verstehen, warum alle Teile des Standardbeispielcode benötigen:

a `par` b `pseq` a+b 

Warum werden die folgenden nicht ausreichen?

a `par` b `par` a+b 

Der obige Ausdruck scheint sehr anschaulich: Versuchen sowohl a und b parallel zu bewerten und gibt das Ergebnis a+b. Ist das nur der Grund der Effizienz: Die zweite Version würde zweimal anstatt einmal entflammen?

Wie wäre es mit der folgenden, prägnanteren Version?

a `par` a+b 

Warum sollten wir sicherstellen müssen, dass b vor a+b wie im Original, Standard-Code ausgewertet wird?

Answer 1

Ok. Ich denke, das folgende Papier beantwortet meine Frage: http://community.haskell.org/~simonmar/papers/threadscope.pdf

Zusammengefasst das Problem mit

a `par` b `par` a+b 

und

a `par` a+b 

ist der Mangel an Ordnung der Auswertung. In beiden Versionen arbeitet der Hauptthread sofort an a (oder manchmal b), was dazu führt, dass die Funken sofort "verschwinden", da kein Thread mehr gestartet werden muss, um zu bewerten, was der Hauptthread bereits begonnen hat.

Die ursprüngliche Version

a `par` b `pseq` a+b 

sorgt der Hauptthread auf bvora+b (a stattdessen würde oder sonst haben damit begonnen, Auswertung) arbeitet und damit eine Chance für die Funken a geben in einem Thread zu materialisieren für parallele Auswertung.

Answer 2

a `par` b `par` a+b 

wird a und b parallel bewerten und gibt a + b, ja.

jedoch die pseq dort sorgt für a und b ausgewertet werden, bevor a + b ist. Weitere Informationen zu diesem Thema finden Sie unter this link.

Answer 3

a `par` b `par` a+b schafft sowohl für den Funken und ab, aber a+b erreicht ist unmittelbar so eine der Funken wird zischen (das heißt, es in dem Haupt-Thread ausgewertet wird). Das Problem dabei ist Effizienz, da wir einen unnötigen Funken erzeugt haben. Wenn Sie dies verwenden, um parallele Teilung & zu erobern, dann wird der Overhead Ihre Beschleunigung begrenzen.

a `par` a+b scheint besser, weil es nur einen einzigen Funken erzeugt. Wenn Sie jedoch versuchen, a vor b zu bewerten, wird der Funke für a verpuffen, und da b keinen Funken hat, wird dies zu einer sequentiellen Auswertung von a+b führen. Das Umstellen des Auftrags auf b+a würde dieses Problem lösen, aber als Code erzwingt dies keine Bestellung, und Haskell könnte dies immer noch als auswerten.

Also, wir a `par` b `pseq` a+b Auswertung von b im Hauptthread zu zwingen, bevor wir a+b zu bewerten versuchen. Dies gibt die a Funke Chance zu materialisieren, bevor wir versuchen, a+b zu bewerten, und wir haben keine unnötigen Funken erzeugt.