Mercurial > hg > Papers > 2014 > toma-master

changeset 24:500f12a9a2e6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add bib
author Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
date Sun, 02 Feb 2014 20:43:20 +0900
parents 73a8440dcbff
children 21f075c483cc
files paper/chapter3.tex paper/chapter4.tex paper/introduciton.tex paper/master_paper.bib paper/master_paper.pdf
diffstat 5 files changed, 50 insertions(+), 49 deletions(-) [+]
line wrap: on
line diff
--- a/paper/chapter3.tex	Sun Feb 02 20:06:07 2014 +0900
+++ b/paper/chapter3.tex	Sun Feb 02 20:43:20 2014 +0900
@@ -187,7 +187,7 @@
 \subsubsection{開発環境}
 実装には、Haskell を用いる。
 コンパイラは、Haskell の並列実行に対応した Glasgow Haskell Compiler (GHC) を用いる。
-GHC は、Haskell で最も広く使われているコンパイラである。
+GHC は、Haskell で最も広く使われているコンパイラである。\cite{ghc}
 並列実行のためのMonadや、スレッドセーフな参照型を提供している。
 
 \subsubsection{全体の構造}
--- a/paper/chapter4.tex	Sun Feb 02 20:06:07 2014 +0900
+++ b/paper/chapter4.tex	Sun Feb 02 20:43:20 2014 +0900
@@ -127,7 +127,7 @@
 
 \subsubsection{weighttp}
 ウェブアプリケーションの性能測定には、weighttpを用いる。
-weighttpはWebサーバの性能測定ツールで、マルチコアCPUを使ってテストできる。
+weighttpはWebサーバの性能測定ツールで、マルチコアCPUを使ってテストできる。\cite{weighttp}
 また、livev を使うことで、モダンなポール・システムコールを利用し、測定性能を向上できるといった特徴を持つ。
 同様の性能測定ツールには、Apache Benchやhttprefが存在するが非力であり、ボトルネックとなってしまうため使用しない。
 
@@ -265,7 +265,7 @@
 木構造データベース Jungle と Haskell の HTTP サーバ Warp を用いて簡易掲示板システムを作成する。
 
 \subsubsection{Warp を用いたウェブアプリケーションの構築}
-Warp は、軽量・高速な HTTP サーバである。
+Warp は、軽量・高速な HTTP サーバである。\cite{warp}
 Haskell の軽量スレッドを活かして書かれている。
 Haskell のウェブフレームワークである Yesod のバックエンドとして用いられており、現在も開発が続けられている。
 Warp のバージョンは 2.0.2 を用いる。
--- a/paper/introduciton.tex	Sun Feb 02 20:06:07 2014 +0900
+++ b/paper/introduciton.tex	Sun Feb 02 20:43:20 2014 +0900
@@ -13,7 +13,7 @@
 非破壊的木構造では、排他制御をせずにデータへアクセスすることが可能でありスケーラビリティを確保できる。
 
 データベースの実装には、純粋関数型言語 Haskell を用いる。
-Haskell は、モダンな型システムを持ち、型推論と型安全により簡潔で信頼性の高いプログラムを書くことが可能である。
+Haskell は、モダンな型システムを持ち、型推論と型安全により簡潔で信頼性の高いプログラムを書くことが可能である。\cite{types}
 また、Haskellは純粋であるため、関数は引数が同じならば必ず同じ値を返すことが保証されている。
 これは、並列処理において並列化に適した部分が分かりやすくなるというメリットがあり、また状態に依存したバグから解放されることも意味する。
 
--- a/paper/master_paper.bib	Sun Feb 02 20:06:07 2014 +0900
+++ b/paper/master_paper.bib	Sun Feb 02 20:43:20 2014 +0900
@@ -1,3 +1,49 @@
+@article{iomanager,
+    author = "Andreas Voellmy and Junchang Wang and Paul Hudak and Kazuhiko Yamamoto",
+    title = "Mio: A High-Performance Multicore IO Manager for GHC",
+    journal = "Haskell Symposium",
+    year = "2013",
+    month = "September"
+}
+
+@article{cap,
+    author = "Nancy Lynch and Seth Gilbert",
+    title = "Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services",
+    journal = "ACM SIGACT News",
+    year = "2002"
+}
+
+@misc{warp,
+  title = {The warp package},
+  howpublished = "\url{http://hackage.haskell.org/package/warp}",
+  note = "[Online; accessed 29-Jan-2014]"
+}
+
+@misc{ghc,
+  title = {The Glasgow Haskell Compiler},
+  howpublished = "\url{http://www.haskell.org/ghc/}",
+  note = "[Online; accessed 29-Jan-2014]"
+}
+
+@book{types,
+ author = {Pierce, Benjamin C.},
+ title = {Types and Programming Languages},
+ year = {2002},
+ publisher = {MIT Press},
+} 
+
+@misc{weighttp,
+  title = {lighttpd/weighttp},
+  howpublished = "\url{https://github.com/lighttpd/weighttp}",
+  note = "[Online; accessed 2-Feb-2014]"
+}
+
+@misc{deos,
+  title = {DEOS},
+  howpublished = "\url{http://www.dependable-os.net/osddeos/data.html}",
+  note = "[Online; accessed 29-Jan-2014]"
+}
+
 @article{shoshi:2010a,
     author = "玉城 将士 and 河野 真治",
     title = "Cassandraを使ったCMSのPCクラスタを使ったスケーラビリティの検証",
@@ -30,48 +76,3 @@
     year = 2013
 }
 
-@article{cassandra,
-    author = "Avinash Lakshman and Prashant Malik",
-    title = "Cassandra - a decentralized structured storage system",
-    journal = "LADIS",
-    year = "2003",
-    month = "March"
-}
-
-@article{iomanager,
-    author = "Andreas Voellmy and Junchang Wang and Paul Hudak and Kazuhiko Yamamoto",
-    title = "Mio: A High-Performance Multicore IO Manager for GHC",
-    journal = "Haskell Symposium",
-    year = "2013",
-    month = "September"
-}
-
-@article{bigtable,
-    author = "Fay Changand Jeffrey Dean and Sanjay Ghemawat and Wilson C. Hsieh and Deborah A. Wallach and Mike Burrows and Tushar Chandra and Andrew Fikes and Robert E. Gruber",
-    title = "Bigtable : A Distributed Storege System for Structured Data"
-}
-
-@article{cap,
-    author = "Nancy Lynch and Seth Gilbert",
-    title = "Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services",
-    journal = "ACM SIGACT News",
-    year = "2002"
-}
-
-@article{dynamo,
-    author = "Giuseppe DeCandia and Deniz Hastorun and Madan Jampani and Gunavardhan Kakulapati and Avinash Lakshman and Alex Pilchin and Swaminathan Sivasubramanian and Peter Vosshall and Werner Vogels",
-    title = "Dynamo: Amazon's Highly Avaliable Key-value Store"
-}
-
-@misc{warp,
-  title = {The warp package},
-  howpublished = "\url{http://hackage.haskell.org/package/warp}",
-  note = "[Online; accessed 29-Jan-2014]"
-}
-
-@misc{ghc,
-  title = {The Glasgow Haskell Compiler},
-  howpublished = "\url{http://www.haskell.org/ghc/}",
-  note = "[Online; accessed 29-Jan-2014]"
-}
-
Binary file paper/master_paper.pdf has changed