--- a/paper/chapter2.tex	Mon Feb 03 12:00:46 2014 +0900
+++ b/paper/chapter2.tex	Mon Feb 03 16:54:48 2014 +0900
@@ -1,63 +1,29 @@
 \chapter{Haskellによる並列データベースの設計}\label{ch:design}
 
-\section{スケーラビリティのあるデータベースを実現するには}
-ウェブサービスでは、ニーズの変化に柔軟に対応できる能力が求められる。
-利用者や負荷の増大に対し、CPU のコア数に応じてパフォーマンスを線形に向上できる能力、すなわちスケーラビリティが必要となる。
-スケーラビリティが線形的であれば、リソースの追加に比例したパフォーマンスを得ることが可能である。
-一方、スケーラビリティが線形的でないと、いくらリソースを追加しても必要なパフォーマンスが得られないというケースもありえる。
+\section{マルチプロセッサで十分な性能を得るためには}
+現在、CPU はマルチコア化が進んでいる。
+マルチコアプロセッサで線形に性能向上をするためには、処理全体で高い並列度を保たなければならない\cite{amdahl}。
+% ウェブサービスでは、ニーズの変化に柔軟に対応できる能力が求められる。
+% 利用者や負荷の増大に対し、CPU のコア数に応じてパフォーマンスを線形に向上できる能力、すなわちスケーラビリティが必要となる。
+% スケーラビリティが線形的であれば、リソースの追加に比例したパフォーマンスを得ることが可能である。
+% 一方、スケーラビリティが線形的でないと、いくらリソースを追加しても必要なパフォーマンスが得られないというケースもありえる。
 
-ウェブサービスにおいてデータベースは切り離すことのできない要素である。
-スケーラビリティの実現をするには、データベースの並列度が重要になる。
-CPU のコア数に応じてパフォーマンスを向上させる場合、別々の CPU コアから同時にデータベースへアクセスできればよい。
+CPU コア数に応じて、データベースを線形に性能向上させたい場合、別々の CPU コアから同時にデータベースへアクセスできればよい。
 通常は、同一のデータへアクセスする場合、競合が発生してしまい処理性能に限界が生じる。
 
 本研究では、非破壊的木構造という手法を用いて競合が発生する問題を解決する。
 競合を発生させないためには、既にあるデータを変更しなければよい。
 非破壊的木構造は、変更元となる木構造を変更しない。
-そのため、並列にアクセスが可能であり、スケーラビリティを実現できる。
+そのため、別々の CPU コアから並列にアクセスが可能であり、スケーラビリティを実現できる。
 
 \newpage
-\section{破壊的木構造と非破壊的木構造}
+\section{非破壊的木構造}
 非破壊的木構造は、木構造を書き換えることなく編集を行う手法である。
 既にあるデータを変更しないため、データの競合状態が発生せず、並列に読み書きが行える。
 
 また、元の木構造は破壊されることがないため、自由にコピーを行うことができる。
 コピーを複数作成することでアクセスを分散させることも可能である。
 
-通常の破壊的木構造との違いを説明する。
-
-\subsection{破壊的木構造}
-破壊的木構造は、木構造を編集する際に木構造を書き換えることにより編集を実現する。
-図\ref{fig:destructive_tree_modification}では、ノード 6 をノード A に書き換える処理を行っている。
-
-
-\begin{figure}[!htbp]
- \begin{center}
-  \includegraphics[width=100mm]{./images/destructive_tree_modification.pdf}
- \end{center}
- \caption{木構造の破壊的編集}
- \label{fig:destructive_tree_modification}
-\end{figure}
-
-破壊的に編集する方法では、並列環境において問題が発生する。
-閲覧者が木構造を参照している間に編集者が木構造を書き換えると、閲覧者が参照を開始した時点での木構造ではなくなり整合性が崩れてしまう。
-整合性が崩れた状態では、正しい状態のコンテンツを参照することは出来ない（図\ref{fig:destructive_tree_modification_in_lace}）
-
-\begin{figure}[!htbp]
- \begin{center}
-  \includegraphics[width=120mm]{./images/destructive_tree_modification_in_lace.pdf}
- \end{center}
- \caption{競合状態に陥る木構造の破壊的編集}
- \label{fig:destructive_tree_modification_in_lace}
-\end{figure}
-
-この状態を回避するためには、木構造にアクセスする際に排他制御を行う。
-その場合、木構造に１つのスレッドしかアクセスできないため並列度が下がりスケーラビリティを損なってしまう。
-破壊的木構造では、スケーラビリティのあるデータベースの開発はできない。
-
-\newpage
-\subsection{非破壊的木構造}
-非破壊的木構造は、木構造を書き換えることなく編集を行うため、読み書きを並列に行うことが可能である。
 図\ref{fig:nondestructive_tree_modification}では、ノード 6 をノード A へ書き換える処理を行なっている。
 
 \begin{figure}[!htbp]
@@ -109,7 +75,7 @@
  \label{fig:nondestructive_tree_modification_step4}
 \end{figure}
 
-\clearpage
+\newpage
 この編集方法を用いた場合、閲覧者が木構造を参照してる間に、木の変更を行っても問題がない。
 閲覧者は木が変更されたとしても、保持しているルートノードから整合性を崩さずに参照が可能である。
 排他制御をせずに並列に読み書きが可能であるため、スケーラブルなシステムに有用である。
@@ -157,3 +123,5 @@
 ルートノードの情報の取得だけならば、並列に取得できる。
 ルートノードの情報の更新の場合は、他から変更があれば再度やり直すということが自動的に行われる。
 
+以前の実装では、ルートノードだけではなく非破壊的木構造全体をSTMで管理していた\cite{toma:2013}。
+しかしながら、非破壊的木構造全体をSTMで管理すると並列実行時に性能が出ないため、ルートノードのみの管理に変更を行った。