#readghc 第一回

GHCのRTS読んだり、GC読んだり、LLVMの解説を聞いたり、Coreの最適化の話を聞いたりしました。
3
shelarcy(しぇらーしぃ) @shelarcy

最初に張られていた local-gc branch で開発中の CPU ローカル(CPU 独立)な GC についての blog 記事(2年前) http://t.co/6UTO15lH #readghc

2012-09-29 15:56:31
h segawa @dec9ue

ちょっと嘘書いてあるところもあって申し訳ないですが、スライドあげときました。 #readghc http://t.co/RpI8fRkw

2012-09-29 16:12:39
h segawa @dec9ue

血は吐けませんでした。ごめんなさい。 #readghc

2012-09-29 16:15:20
t_uchida @t_uchida

Intel 64 and IA-32 Architectures Software Developer’s Manual http://t.co/ajupyus0 #readghc これのことですかね?

2012-09-29 16:17:20
shelarcy(しぇらーしぃ) @shelarcy

栄光のグラスゴーHaskellコンパイルシステム利用の手引き バージョン7.4.1 - 4.11.2. LLVMコード生成器(-fllvm) http://t.co/WwEXqndX #readghc

2012-09-29 16:30:59
h segawa @dec9ue

時間稼ぎしなきゃとか思ってたら結局発表時間が5倍に膨らんで逆に足りなくなったでござる #readghc

2012-09-29 16:34:45
shelarcy(しぇらーしぃ) @shelarcy

この辺見ると分かりますが、SIMD 命令用の primitive と、primitive を使って定義した関数を用意し、それを使った処理が SIMD 化されるという感じです https://t.co/nDbxE8gN https://t.co/VkBdAYO8 #readghc

2012-09-29 16:53:53
h segawa @dec9ue

確かに、、、Pureかどうかは気になる。。。 #readghc

2012-09-29 17:07:57
shelarcy(しぇらーしぃ) @shelarcy

getCoreToDo の型は DynFlags -> [CoreToDo] なので、リストとして扱える! c.f. http://t.co/rd5WrWQ6 #readghc

2012-09-29 17:08:42
shelarcy(しぇらーしぃ) @shelarcy

CSE が適用されないというバグがあるという話 http://t.co/LkLKWbgk #readghc

2012-09-29 17:12:37
shelarcy(しぇらーしぃ) @shelarcy

CoreMonad (CoreM) を解くと IOEnv があって、IOEnv は IOEnv (env -> IO a) http://t.co/PO0JbRWB http://t.co/7saKSXCj #readghc

2012-09-29 17:16:32
nothingcosmos @nothingcosmos

ghcにgvnを追加してみたらしい。#readghc

2012-09-29 17:21:36
nothingcosmos @nothingcosmos

#readghc pure前提なので、副作用があるとよろしくないらしい

2012-09-29 17:28:34
shelarcy(しぇらーしぃ) @shelarcy

Efficient Parallel Stencil Convolution in Haskell - 5.3 Filling the Array, and Interaction with LLVM に、LLVM で GVN を使って最適化する話が。 #readghc

2012-09-29 17:36:44