|
0
|
1 \documentclass[twocolumn,twoside,9.5pt]{jarticle}
|
|
|
2 \usepackage[dvips]{graphicx}
|
|
|
3 \usepackage[dviout]{graphicx}
|
|
|
4 \usepackage[dvipdfm]{graphicx}
|
|
|
5 \usepackage{ascmac}
|
|
|
6 \usepackage{fancyhdr}
|
|
|
7 %\pagestyle{fancy}
|
|
|
8 \lhead{\parpic{\includegraphics[height=1zw,keepaspectratio,bb=0 0 251 246]{pic/emblem-bitmap.pdf}}琉球大学主催 工学部情報工学科 中間発表予稿}
|
|
|
9 \rhead{}
|
|
|
10 \cfoot{}
|
|
|
11
|
|
|
12 \setlength{\topmargin}{-1in \addtolength{\topmargin}{15mm}}
|
|
|
13 \setlength{\headheight}{0mm}
|
|
|
14 \setlength{\headsep}{5mm}
|
|
|
15 \setlength{\oddsidemargin}{-1in \addtolength{\oddsidemargin}{11mm}}
|
|
|
16 \setlength{\evensidemargin}{-1in \addtolength{\evensidemargin}{21mm}}
|
|
|
17 \setlength{\textwidth}{181mm}
|
|
|
18 \setlength{\textheight}{261mm}
|
|
|
19 \setlength{\footskip}{0mm}
|
|
|
20 \pagestyle{\empty}
|
|
|
21
|
|
|
22 \begin{document}
|
|
|
23 \title{Database Jungleに関する研究}
|
|
|
24 \author{135768k 武田和馬 {}{} 指導教員 : 河野真治}
|
|
|
25 \date{}
|
|
|
26 \maketitle
|
|
|
27 \thispagestyle{fancy}
|
|
|
28
|
|
|
29 \section{非破壊木構造データベース}
|
|
|
30
|
|
|
31 当研究室ではデータの変更の際に過去の木構造を保存しつつ新しく木構造を作成する非破壊的木構造を用いたデータベースであるJungleを開発している。
|
|
|
32 Jungle DBの有効性を示すために、 本研究では検索API、Index、過去データの参照の実装を行う。
|
|
|
33 Jungleが実用DBとしての性能を持っているかどうかを調べるために、アカウント管理システムmaTrixへ組み込み、評価を行う。
|
|
|
34
|
|
|
35 Jugnleの木は、子供を複数持つノード(*図1)からなる。子供は順序付けられており、任意の位置で作成削除することができる。
|
|
|
36 ノードには属性名と属性値の組があり、データベースのレコードとして使うことができる。Index は、このレコードの属性に
|
|
|
37 対して作成する。任意の木で、属性値に対応する複数のノード、そして必要ならば、そこまでのパスの組を返す。
|
|
|
38 ここでパスとは、ルートから木をたどるのに必要な各ノードの子供の番号のリストである。
|
|
|
39 \\
|
|
|
40 \\
|
|
|
41 \\
|
|
|
42 \\
|
|
|
43 \begin{figure}[h]
|
|
|
44 \includegraphics[width=2cm, bb=0 0 172 200]{node.pdf}
|
|
|
45 \end{figure}
|
|
|
46 \\\\\\
|
|
|
47 Unityはゲーム
|
|
|
48 % ので、過去の組織のデータを参照する必要が出てくる。よって過去のデータの参照が出来るJungleと相性が良い。
|
|
|
49 % これらは、XMLで記述されており、
|
|
|
50 % maTrixが保持している人、役職、役割等のデータはお互いに参照している。
|
|
|
51 % ポリシーファイルは、組織の中で申請等を行った際に、どの権限によってその申請が許諾されるのかを指定している。
|
|
|
52 % 組織のデータ、ポリシーファイル共に木構造のデータであるため、Jungleにそのまま格納できる。
|
|
|
53
|
|
|
54 \section{maTrixに必要なデータベースの構築}
|
|
|
55
|
|
|
56 組織構造は木構造なので Jungle の木構造にそのままマッピングできる。Persons, Organiations, RoleDescription の三つの木を一つのJungleの木として格納する。
|
|
|
57 XACMLは、XMLなので木構造を持つ。XACMLは、組織構造中の人や役職を id として参照する。
|
|
|
58 具体的な許諾では、 例えば、その人がどの組織に所属して、その役割がどの権限を持っているかを返す検索が必要となる。
|
|
|
59 XML形式で出力されたmaTrixのデータをJungleに格納するために、SAXを用いて、Jungle用のXMLReaderを作成した。
|
|
|
60
|
|
|
61 \section{検索APIの設計と実装}
|
|
|
62
|
|
|
63 図2は組織構造木から、key:valueの組が、"element":"Person"のデータの組み合わせを持ったNodeと、そのNodeまでのPathのPairのiteratorを返すQueryのAPIの例を示している。
|
|
|
64 \verb+(TreeNode node) -> {}+ は、引数\verb+node+を持つ Java 8 のλ式である。
|
|
|
65
|
|
|
66 {\scriptsize
|
|
|
67 \begin{itembox}[l]{図2 Sample Query}
|
|
|
68 \begin{verbatim}
|
|
|
69 Iterator<Pair<TreeNode, NodePath>> pairPersonIterator =
|
|
|
70 traverser.find((TreeNode node) -> {
|
|
|
71 String element = node.getAttributes().getString("element");
|
|
|
72 if (element == null)
|
|
|
73 return false;
|
|
|
74 if (element.equals("Person"))
|
|
|
75 return true;
|
|
|
76 return false;
|
|
|
77 }, "element", "Person");
|
|
|
78 \end{verbatim}
|
|
|
79 \end{itembox}
|
|
|
80 }\\
|
|
|
81
|
|
|
82 \verb+find+は引数に\verb+Query+、\verb+String key+、\verb+String value+の3つを取る。\verb+key+ はIndexの対象となる属性名である。
|
|
|
83
|
|
|
84 Queryは図3で定義されたinterfaceである。実行されるQuery は ノードを引数に取り、そのノードが条件に一致しているかどうかを調べるconditionという関数が定義されている必要がある。
|
|
|
85 {\scriptsize
|
|
|
86 \begin{itembox}[l]{図3 Query interface}
|
|
|
87 \begin{verbatim}
|
|
|
88 public interface Query {
|
|
|
89 boolean condition(TreeNode node);
|
|
|
90 }
|
|
|
91 \end{verbatim}
|
|
|
92 \label{interface}
|
|
|
93 \end{itembox}
|
|
|
94 }\\
|
|
|
95
|
|
|
96 \section{Indexの実装}
|
|
|
97 Jungleの探索はTreeの全探索の計算量はO(n)である。
|
|
|
98 Indexの実装には、functionalJavaのTreeMapを使用し、計算量はO(logN)となる。
|
|
|
99 これにより、前の版の木のIndexの最大共有するこが可能であり、複数の木の版すべてに対するIndexをサポートすることが可能になる。
|
|
|
100 Jungle DB は分散DBなので、 on-th-fly つまり必要になったDBノード毎に作成する。
|
|
|
101
|
|
|
102 \newpage
|
|
|
103 {\scriptsize
|
|
|
104 \begin{itembox}[l]{図4 Indexの型}
|
|
|
105 \begin{verbatim}
|
|
|
106 TreeMap<String, TreeMap
|
|
|
107 <String, List<Pair<TreeNode, NodePath>>>> index;
|
|
|
108 \end{verbatim}
|
|
|
109 \end{itembox}
|
|
|
110 }\\
|
|
|
111 図4にはJungleDBにおけるIndexの型を記述した
|
|
|
112 Jungleでは、木の編集や、特定のNode下のTreeの探索、Nodeの親をたどるためには全てそのNodeへのPathが必要になる、ため、IndexにもそのNodeまでのPathが必要になる。そのため、IndexのNodePathが大きなボトルネックとなっている。
|
|
|
113
|
|
|
114 JungleでTreeの編集を行う際は、JungleTreeEditorを使用し、子ノードのadd、delete、属性のput、deleteを行う。
|
|
|
115 Treeに対して変更を加える時にIndexも更新も行う。
|
|
|
116
|
|
|
117 Jungleの木の更新(commit)は、CAS(check and set*図5)を用いて atomic に行われる。競合している書き込みにの中で自分の書き込みが成功した場合に関数 \verb+success()+が成功する。IndexはCASの前に作成され
|
|
|
118 元の木と同時に更新される。
|
|
|
119 \\
|
|
|
120 \\
|
|
|
121 \\
|
|
|
122 \\
|
|
|
123 \\
|
|
|
124 \\
|
|
|
125 \begin{figure}[h]
|
|
|
126 \includegraphics[width=2cm, bb=0 0 172 200]{cas.pdf}
|
|
|
127 \end{figure}
|
|
|
128
|
|
|
129 Indexの更新は変更で影響を受けるすべてのノードに対して行う必要がある。ノードそのものが変更されなくても、パスが影響を受ける場合には、そのノードも更新する必要がある。(*図6)
|
|
|
130 \\
|
|
|
131 \\
|
|
|
132 \\
|
|
|
133 \\
|
|
|
134 \begin{figure}[h]
|
|
|
135 \includegraphics[width=2cm, bb=0 0 160 200]{path.pdf}
|
|
|
136 \end{figure}
|
|
|
137
|
|
|
138
|
|
|
139
|
|
|
140 \newpage
|
|
|
141 \section{特定のNode下のTreeに対するIndexを用いた検索}
|
|
|
142
|
|
|
143 特定のノードの下のTreeに対する検索は、比較対象のパスを使って、自分のパス比較すれば良い。Index を使用して対象を絞ってから比較を行う。
|
|
|
144 ノードの下の木が小さいことが予測される場合は、Indexを使用しないほうが良い性能が得られる場合もある。
|
|
|
145
|
|
|
146 \section{これからの作業}
|
|
|
147
|
|
|
148 実際にmaTrixとJungleの接続を行い、既存のmaTrixとJunglemaTrixの性能を評価する。
|
|
|
149
|
|
|
150 Jungleは、過去のversionのTreeを保持しているので、
|
|
|
151 過去のversionのuuidを指定して自由に過去のversionを参照できるようにする。
|
|
|
152
|
|
|
153 JungleはRDBと異なり木構造のデータを自由に格納することができる。それゆえ木構造の設計の自由度は大きい。
|
|
|
154 しかし、変更は木が大きいほどルートに集中してしまう。木の分割を行うと、分割した木の間の同期は version
|
|
|
155 を介して行う間接的なものとなる。なので、JungleDBの設計手法を確立させる必要がある。
|
|
|
156
|
|
|
157 本研究は、PCIホールディングス株式会社と株式会社Symphonyとの共同研究である。
|
|
|
158
|
|
|
159 \begin{thebibliography}{9}
|
|
|
160
|
|
|
161 \bibitem{1}
|
|
|
162 玉城将士 非破壊的木構造を用いた分散CMSの設計と実装
|
|
|
163 \bibitem{2}
|
|
|
164 大城信康 分散Database Jungleに関する研究
|
|
|
165 \end{thebibliography}
|
|
|
166
|
|
|
167 \end{document}
|
