Mercurial > hg > Papers > 2013 > toma-jssst
changeset 14:dffc3d583843
fix
| author | Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Fri, 19 Jul 2013 13:45:22 +0900 |
| parents | 7c04b92ec5e9 |
| children | 40a53b00c6e9 |
| files | Paper/jssst.tex |
| diffstat | 1 files changed, 3 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/Paper/jssst.tex Fri Jul 19 08:48:36 2013 +0900 +++ b/Paper/jssst.tex Fri Jul 19 13:45:22 2013 +0900 @@ -146,8 +146,10 @@ \paragraph*{world 及び incCount} world は、インクリメントされる counter を表示するための関数である。 -IORef 内のデータは直接触ることができないため、atomicModifyIORef を利用してデータの更新を行なっている。 +IORef 内のデータは直接触ることができないため、incCount 内で atomicModifyIORef を利用してデータの更新を行なっている。 atomicModifyIORef は、データの更新をスレッドセーフに行うことができる。 +また、responseLBSで構築したレスポンスは、Resource Tというリーソスの解放を安全に行うために使われるモナドに包まれている。 +lift 関数を用いて、incCountの型を持ち上げ調整している。 実際にプログラムを例にして説明したが、Warp は容易にプログラムに組み込むことができる。 我々のシステムでは Warp を用いて開発を行う。