Mercurial > hg > Papers > 2017 > suruga-sigos
changeset 18:c7d6641b9d62
sigos_ver14
| author | suruga |
|---|---|
| date | Fri, 21 Apr 2017 22:15:25 +0900 |
| parents | 6caa52eb6bb8 |
| children | 086448ce4e92 |
| files | paper/sigos.dvi paper/sigos.log paper/sigos.pdf paper/sigos.tex |
| diffstat | 4 files changed, 4 insertions(+), 4 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/sigos.log Fri Apr 21 22:04:41 2017 +0900 +++ b/paper/sigos.log Fri Apr 21 22:15:25 2017 +0900 @@ -1,4 +1,4 @@ -This is e-pTeX, Version 3.14159265-p3.7-160201-2.6 (utf8.euc) (TeX Live 2016) (preloaded format=platex 2017.4.10) 21 APR 2017 22:04 +This is e-pTeX, Version 3.14159265-p3.7-160201-2.6 (utf8.euc) (TeX Live 2016) (preloaded format=platex 2017.4.10) 21 APR 2017 22:15 entering extended mode restricted \write18 enabled. %&-line parsing enabled.
--- a/paper/sigos.tex Fri Apr 21 22:04:41 2017 +0900 +++ b/paper/sigos.tex Fri Apr 21 22:15:25 2017 +0900 @@ -191,7 +191,7 @@ Jungleの木はTreeContext というオブジェクトに自身の木の情報を保持している。Differential Jungle Tree では、現在の版の木構造の末尾ノードを保持することが可能な Differential Tree Context を作成した。 \paragraph* {Differential Jungle Tree の作成} - Differential Jungle Tree を作成するためにJungle に、新しいAPIを実装した。(表\ref{table:Differential API}) + Differential Jungle Tree を作成するためにJungle に、新しいAPIを実装した(表\ref{table:Differential API})。 \begin{table}[htb] \begin{center} @@ -207,7 +207,7 @@ \paragraph* {末尾ノードを使用した木の編集} Differential Jungle Tree の木の編集は、Differential Jungle Tree Editor を使用して行う。 Differential Jungle Tree Editor は、Default Jungle Tree Editor と違い、生成時に新しい木構造(Sub Tree)を自身の中に構築する。そして、木の編集は、Editor が保持している木構造に対して行う。編集後、Commit を行う際に構築した木構造を、 Differential Jungle Tree の末尾ノードにAppend する。その際木の複製は行わない。 - また、Differential Tree は自身が保持している木構造に対する変更しか行えないため、一度Commit した木に対して変更は行えない。(図\ref{fig:EditDifferencialTree}) + また、Differential Tree は自身が保持している木構造に対する変更しか行えないため、一度Commit した木に対して変更は行えない(図\ref{fig:EditDifferencialTree})。 \begin{figure}[ht] \begin{center} @@ -280,7 +280,7 @@ そこで、木の状態が確定する。 一つのルートノードではなく、複数のノードに対して、多数決Commitなどの方法を用いることも考えられるが、 今回は単一のルートノードを用いる。 -この方法は、読み込みに対して書き込みが少ない場合、あるいは書き込みが単一ノードのみからくる場合に有効であると考えられる。(表\ref{fig:WriteTime}) +この方法は、読み込みに対して書き込みが少ない場合、あるいは書き込みが単一ノードのみからくる場合に有効であると考えられる。(図\ref{fig:WriteTime}) 従来のJungleDBの分散機能の測定はJetty Webサーバー込みで行なっており、DBに対する負荷は直接的には大きくなかった。 JungleDBに対して十分な負荷をかけるhttpリクエストを生成するのは困難であった。