Parallel and Concurrent Programming in Haskell 読書会 第4回

shelarcy（しぇらーしぃ） @shelarcy

今年の #ICFP の Accelerate の最適化（Accelerate 0.13.0.x に入った最適化）に関する論文 "Optimising Purely Functional GPU Programs" http://t.co/jpbXSEleHi #PCPjH

shelarcy（しぇらーしぃ） @shelarcy

Accelerate を CPU 上で試してみるための Data.Array.Accelerate.Interpreter モジュール http://t.co/6p6Qzm9KoT #PCPjH

Jun Inoue @jun0inoue

#PCPjH あ、GHCi でも import って使えるんだ。知らなんだ。

Jun Inoue @jun0inoue

#PCPjH Accelerate は deep embedding。モナドみたいに DSL のオペを直接 Haskell で書くのが shallow、一旦 DSL の構文を Haskell の (G)ADT で表現するのが deep。

shelarcy（しぇらーしぃ） @shelarcy

なお、Accelerate HEAD には、Template Metaprogramming を使って最適化される既存の CUDA コード（ライブラリ）を使うための FFI が追加されています。 http://t.co/mrBkuloruA #PCPjH

shelarcy（しぇらーしぃ） @shelarcy

.｡oO(厳密には import だけなら 0.13.0.x から使えるようになっていますが、まだまだ改良中なので次のバージョンから使えるようになると考えた方が無難だと思います。 > Accelerate の FFI #PCPjH )

shelarcy（しぇらーしぃ） @shelarcy

GHC 7.0.1 から使えるようになってますね。http://t.co/8P7shYdmVE http://t.co/i82VRblZ6a http://t.co/GflqAfROeT > Import #PCPjH

Jun Inoue @jun0inoue

#PCPjH use はモナドの return だと思えばいいんじゃないかな?

Noriyuki OHKAWA @notogawa

#PCPjH ghciのimportはたくさんモジュール使う必要があるような処理ghciでガンバってるときqualified無いとツラいなーと思って試しに叩いたら通ったので気付いたな

shelarcy（しぇらーしぃ） @shelarcy

前章で特に言及されてませんでしたが、Elt クラスは Repa でも使われています。 http://t.co/rZSsW2wiAJ #PCPjH

shelarcy（しぇらーしぃ） @shelarcy

TransformListComp [http://t.co/OQCobbJH9Y ] で使う GHC.Exts.the 関数の accelerate 版？ #PCPjH

shelarcy（しぇらーしぃ） @shelarcy

GHC.Exts.the は singleton 以外にも使えてしまう（ので実行時エラーが起きる可能性がある）のに対し、Accelerate の the には Scalar にしか使えないという違いがありますが…… #PCPjH

コスモ @cosmo__

index3関数は無いらしい > :t index3 <interactive>:1:1: Not in scope: `index3' #PCPjH

Jun Inoue @jun0inoue

#PCPjH use は host → device コピーをするので遅い。できるだけ配列は device 側 (= Acc の中) で作って消費しましょう。

shelarcy（しぇらーしぃ） @shelarcy

enumFromN と enumFromStepN という関数名は vector に合わせてのものかしら c.f. http://t.co/kcAnl9ymCm #PCPjH

shelarcy（しぇらーしぃ） @shelarcy

index* 関数 http://t.co/4IV5iDbBpy #PCPjH

Jun Inoue @jun0inoue

#PCPjH むう…何で Acc はモナドになっとらんのだろう。unlift とか bind の方が綺麗で親しみやすい感じになりそうなもんだけど。無限プログラムを作らせないためか?

shelarcy（しぇらーしぃ） @shelarcy

visualize と書いているのに文字で説明しているのはどういうこと？ #PCPjH

二階堂ちむら or にしん @thimura

the って関数名はなかなかじゃぱにーずには思い付かない名前ですねー #PCPjH

Jun Inoue @jun0inoue

#PCPjH モナドの bind だと型を制限できないからか。そうか。Heterogeneous MSP じゃないと困るんだな。

Jun Inoue @jun0inoue

#PCPjH おうふ…ツイートに夢中で置いてかれ気味……追いつかんと

shelarcy（しぇらーしぃ） @shelarcy

Shortest-Path なんか GPU で求める？ → 実は OpenCL Progmming Guide にも Parallelizing Dijkstra's Single-Source Shortest-Path Graph Algorithm という章が #PCPjH

shelarcy（しぇらーしぃ） @shelarcy

.｡oO(つぶやきは常に実際の読書会より遅延されています…… #PCPjH )

Jun Inoue @jun0inoue

#PCPjH モナドが関数適用を抽象化するものだと考えると、パターン言語も抽象化する構成を導入すれば Acc もそれに収容できるのかも知れない。

Jun Inoue @jun0inoue

#PCPjH 完全に迷子。今どこを議論してるの。朗読は停止してるみたいだけど。