up 4 = Nothing up n = Just (n + 1) @@ -163,6 +208,12 @@

 return 3 >>= down >>= down >>= up >>= up

+instance Monad Maybe where
+    return x = Just x
+    Nothing >>= f = Nothing
+    Just x >>= f  = f x
+

- ルートノードを更新する関数と、編集する関数を綺麗に切り分ける + ルートノードを更新する関数と、編集する関数を切り分ける

- Jungle は Tree と String の連想配列を持っている（状態変数） -

- Tree は、ルートノードの情報と、木の名前（ルートノードの情報は状態変数） + Jungle は複数の Tree を持っている。 + Tree には名前がついており、最新のルートノードを持っている。

- Node は、子と子の場所の連想配列と、キーと値の連想配列を持ってる。 -

状態を扱う関数

@@ -337,33 +356,68 @@ updateRootNodeWith :: (Node -> Node) -> Jungle -> String -> IO ()

- すべて IO が返ってくる - IO が付いているものは全て何かしらの状態の変更を行う関数である。 + IO が付いているものは何かしらの状態の変更を行う関数である。 +

+ この関数の型の -> で繋がっているものは複数の引数を取ることを表している。 +

+ 実際にはHaskellの関数はカリー化されているため、全ての関数は一度に一つの引数だけを取る。 + 複数の引数を取るようにみえる関数は、実際には1つの引数を取り、その次の引数を受け取る関数を返す。 +

+ createJungle は Jungle の作成
+ createTree は、Jungle と木の名前を受け取って、木を作成する
+ getRootNode は、Jungle と木の名前を受け取って、ルートノードを返す
+ updateRootNode は、Jungle と木の名前と Node を受け取ってルートノードを更新する。
+ updateRootNodeWith は、Node を編集する関数(Node -> Node)と Jungle と木の名前を取って、ルートノードに関数を適用して更新する。

- 木構造の編集、参照関数 + 木構造の編集

--- 編集
 addNewChildAt :: Node -> Path -> Node
 deleteChildAt :: Node -> Path -> Position -> Node
 putAttribute :: Node -> Path -> String -> B.ByteString -> Node
 deleteAttribute :: Node -> Path -> String -> Node
+

+ +

+ 状態の変更は行わない。 +

+ addNewChildAt は、指定された Path の Node に子を追加する
+ deleteChildAt は、指定された Path の Node の Position の子を削除する
+ putAttribute は、指定された Path の Node にキーと値を追加する
+ deleteAttribute は、指定された Path の Node のキーにあてはまる値を削除する
+

--- 参照 +

+ 木構造の参照 +

 getAttributes :: Node -> Path -> String -> Maybe B.ByteString
-getChildren :: Node -> Path -> [Node]
-getChildrenWithKey :: Node -> Path -> [(Int, Node)]
+getChildren :: Node -> Path -> [Node]
+assocsChildren :: Node -> Path -> [(Int, Node)]
 assocs :: Node -> Path ->  [(String, B.ByteString)]
 numOfChild :: Node -> Path -> Int
 currentChild :: Node -> Path -> Maybe Node

- IO が付いてないため、何も状態の変更を行わない + getAttributes は、指定された Path の Node に存在する属性をキーを用いて参照できる
+ getChildren は、指定されたPath のNode が持つ全ての子を Node のリストとして返す
+ assocsChildren は、指定された Path の Node が持つ全ての子を Position とのタプルにし、そのペアのリストを返す
+ assocsAttribute は、指定された Path の Node が持つ全ての属性を、キーと値のペアとし、そのペアのリストを返す
+ numOfChild では、指定された Path の Node が持つ子どもの数を取得できる
+ currentChild では、指定された Path の Node が持つ最新の子を取得できる

@@ -460,7 +514,7 @@ 性能計測 - 読み込みの計測結果

- 12 スレッドまでの性能向上率 + ハイパースレッディングは安定しないため、12 スレッドまでの性能向上率

@@ -526,9 +580,7 @@

性能計測 - 書き込みの計測結果

- 12 スレッドまでの性能向上率 -

@@ -536,10 +588,10 @@

- 性能計測 - 読み込みと書き込みの考察 + 考察

- 読み込みと比べて書き込みの性能向上率が低い + 書き込みの性能向上率が低い

木を登録する際、他のスレッドから登録があった場合、ソフトウェア・トランザクショナル・メモリが処理をやり直すため遅いと考えられる。 @@ -574,9 +626,6 @@

12 スレッド時に 2.14 倍

- 性能向上率が低い -

@@ -615,9 +664,6 @@

12 スレッド時に 1.65 倍

- 読み込みよりさらに悪い -

CPU数

@@ -648,7 +694,7 @@

- Webサービスに組み込んでの性能評価考察 + Warp の問題

Warp がボトルネックとなってしまっている。 @@ -715,7 +761,51 @@

書き込みが読み込みより性能差が出ている理由として遅延評価が考えられる。 - Haskell では書き込みを行う際、完全に評価せず途中式を積み上げていく。 + Haskell の遅延評価は必要でなければ計算しないため、例えば木構造への書き込みが多い時に必要のない木は計算しないなどを行うことができる。 +

+ +

+ 性能計測 - 書き込みと読み込みを同時に行った場合 +

+ +

+ 書き込みごとに毎回読み込みを挟むことで、遅延評価ではなく即時評価させる。 +

+ +

CPU数

+ + + + + + + + + + + + + + + + + + + + + + + + +

CPU数	実行時間
1	141.40 s
2	70.87 s
4	54.32 s
8	55.13 s
12	58.60 s

+ 結果が明らかに遅くなっている。 + 12 スレッドで実行した際、まだ Java より速いが性能差は、1.30 倍である。 +

+ シングルスレッドで実行した場合と比較した時、12 スレッドで 2.40 倍の性能向上が見られる。

@@ -739,7 +829,7 @@ 今後の課題

- 書き込み処理の性能向上率の上昇 + 書き込み処理の性能向上

分散データベースとしての実装

+ モナド - 型クラス +

+ モナド - 関数を繋ぐ +

- マルチコアプロセッサ -

- 並列データベース + 非破壊的木構造

- 非破壊的木構造 -

状態を扱う関数

- 木構造の編集、参照関数 + 木構造の編集

+ 木構造の参照 +

性能計測 - 書き込みの計測結果

- 性能計測 - 読み込みと書き込みの考察 + 考察

- Webサービスに組み込んでの性能評価考察 + Warp の問題

+ 性能計測 - 書き込みと読み込みを同時に行った場合 +

+ モナド - 型クラス +

+ モナド - 関数を繋ぐ +

- マルチコアプロセッサ -

- 並列データベース + 非破壊的木構造

- 非破壊的木構造 -

状態を扱う関数

- 木構造の編集、参照関数 + 木構造の編集

+ 木構造の参照 +

性能計測 - 書き込みの計測結果

- 性能計測 - 読み込みと書き込みの考察 + 考察

- Webサービスに組み込んでの性能評価 考察 + Warp の問題

+ 性能計測 - 書き込みと読み込みを同時に行った場合 +

- Webサービスに組み込んでの性能評価考察 + Warp の問題