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

Jun Inoue @jun0inoue

#PCPjH いや、始まる前に会場で雑談してるだけか。

shige @takeishg

#PCPjH たなかさん待ちっす、お待ちくださいー

Jun Inoue @jun0inoue

今回の #PCPjH では飯テロはできなさそうだ。

コスモ @cosmo__

String -> ByteStringだとエンコード情報が壊れるのでString -> Text -> ByteStringと変換していくといいらしい #PCPjH

shelarcy（しぇらーしぃ） @shelarcy

lockfree なデータ構造を実装するために、atomic-primops パッケージで提供されている primitive [http://t.co/nQoLtYNEZq ] が HEAD に追加されたよというお話 http://t.co/q5gVxRdgHE #PCPjH

shelarcy（しぇらーしぃ） @shelarcy

お話 ＝ 雑談 #PCPjH

shelarcy（しぇらーしぃ） @shelarcy

tanakh さん到着 #PCPjH

shelarcy（しぇらーしぃ） @shelarcy

Parallel and Concurrent Programming in Haskell 読書会 #5 開始にゃう♬☆ミ　今日は Chapter9. Cancellation and Timeouts より #PCPjH

Jun Inoue @jun0inoue

#PCPjH スレを中止するプロトコル二つ。(1)中止されるスレが中止条件のフラグを定期的に調べて自分で止まる。十分頻繁に調べるの忘れると死。(2)強制的に殺す。クリティカルセクション内で殺してしまうと死。 命令形では (1) しか考えられん。Haskell では(2)がデフォ。

Jun Inoue @jun0inoue

#PCPjH 同期的例外 = 例外で中断されるスレ自身が起こした例外 非同期的例外 = 例外で中断されるスレ自身が起こすとは限らない例外

Jun Inoue @jun0inoue

#PCPjH throwTo :: ThreadId -> e -> IO () で例外 (e) を別スレッドに向けて放れる。

Jun Inoue @jun0inoue

#PCPjH mask :: ((IO a -> IO a) -> IO b) -> IO b CPSェ…

Jun Inoue @jun0inoue

#PCPjH block/unblock は mask/restore に変わりました。

Jun Inoue @jun0inoue

#PCPjH mask は quasiquote、restore は unquote みたいなもん (ネストは多分1レベルしか無理)。"quote" はこの場合「例外がマスクされる」、"unquote" は「例外マスクを一時的にやめる」

Jun Inoue @jun0inoue

#PCPjH mask は例外を消化するのではなく遅延するだけなので POSIX signal より良心的。

Jun Inoue @jun0inoue

#PCPjH interruptible op むっちゃややこしい

shelarcy（しぇらーしぃ） @shelarcy

allowInterrupt :: IO ()　関数 http://t.co/vkCE7M5Xbn http://t.co/ZBzPrwRl88 #PCPjH

Jun Inoue @jun0inoue

#PCPjH takeMVar は mask してても例外で中断させられうる。しかし takeMVar が返ってから次の処理を始めるまでは例外がマスクされる。

Jun Inoue @jun0inoue

#PCPjH 複数の MVar に対して take+take →処理→ put+put するとうまく行かんよなあこれ…

Jun Inoue @jun0inoue

#PCPjH take →処理→ put の流れは頻出なので mask でわざわざ実装しなくても modifyMVar_ として提供されてる。これを使って compare-and-swap 等が自明な方法で実装できる。

shelarcy（しぇらーしぃ） @shelarcy

一応、modifyMVar 関数と modifyMVar_ 関数の実装 http://t.co/yCgs8MSb7x #PCPjH

Jun Inoue @jun0inoue

#PCPjH 二つのMVarを変更する時は modifyMVar x $ \xval -> modifyMVar y $ \yval -> ... とする。内側の modi(ry は外側の mo(ry の restore 内で実行される。内側のが失敗すると外側のはxの値を戻す。

Jun Inoue @jun0inoue

#PCPjH bracket a b c は dynamic-unwind みたいなもんで、a が実行し終われば c が実行されることを約束する。但し a が実行し終わる前に例外が飛べば c は実行されない。a は中断可能オペを一個までしか実行してはいけない。

Jun Inoue @jun0inoue

#PCPjH c で中断可能オペを使うと c が最後まで走らないかも知れないので注意。

shelarcy（しぇらーしぃ） @shelarcy

mask 関数の実装ってどんな感じでしたっけ？……というわけで #miteru http://t.co/TiHHzxAJ6b http://t.co/PJ6sopSJSR #PCPjH