Mercurial > hg > Papers > 2015 > tatsuki-thresis
view slide/slide.html @ 22:7a279b87d112
slide
| author | tatsuki |
|---|---|
| date | Wed, 18 Feb 2015 19:24:22 +0900 |
| parents | |
| children | 018025ca0964 |
line wrap: on
line source
<!DOCTYPE html> <html> <head> <meta http-equiv="content-type" content="text/html;charset=utf-8"> <title>分散木構造データベースJungleによる企業向け許認可システム</title> <!-- Notes on CSS media types used: 1) projection -> slideshow mode (display one slide at-a-time; hide all others) 2) screen -> outline mode (display all slides-at-once on screen) 3) print -> print (and print preview) Note: toggle between projection/screen (that is, slideshow/outline) mode using t-key Questions, comments? - send them along to the mailinglist/forum online @ http://groups.google.com/group/webslideshow --> <!-- styles --> <style media="screen,projection"> html, body, .presentation { margin: 0; padding: 0; } .slide { display: none; position: absolute; top: 0; left: 0; margin: 0; border: none; padding: 2% 4% 0% 4%; /* css note: order is => top right bottom left */ -moz-box-sizing: border-box; -webkit-box-sizing: border-box; box-sizing: border-box; width: 100%; height: 100%; /* css note: lets use border-box; no need to add padding+border to get to 100% */ overflow-x: hidden; overflow-y: auto; z-index: 2; } .slide.current { display: block; } /* only display current slide in projection mode */ .slide .stepcurrent { color: black; } .slide .step { color: silver; } /* or hide next steps e.g. .step { visibility: hidden; } */ .slide { /* background-image: -webkit-linear-gradient(top, blue, aqua, blue, aqua); background-image: -moz-linear-gradient(top, blue, aqua, blue, aqua); */ } </style> <style media="screen"> .slide { border-top: 1px solid #888; } .slide:first-child { border: none; } </style> <style media="print"> .slide { page-break-inside: avoid; } .slide h1 { page-break-after: avoid; } .slide ul { page-break-inside: avoid; } </style> <!-- add js lib (jquery) --> <script src="js/jquery-1.7.min.js"></script> <!-- S6 JS --> <script src="js/jquery.slideshow.js"></script> <script src="js/jquery.slideshow.counter.js"></script> <script src="js/jquery.slideshow.controls.js"></script> <script> $(document).ready( function() { Slideshow.init(); // Example 2: Start Off in Outline Mode // Slideshow.init( { mode: 'outline' } ); // Example 3: Use Custom Transition // Slideshow.transition = transitionScrollUp; // Slideshow.init(); // Example 4: Start Off in Autoplay Mode with Custom Transition // Slideshow.transition = transitionScrollUp; // Slideshow.init( { mode: 'autoplay' } ); } ); </script> </head> <body> <div class="presentation"> <!-- add slides here; example --> <div id="header"> <h1>分散木構造データベースJungleによる企業向け許認可システム</h1> <font size=5><p></p></font> </div> <div> <h1>研究目的</h1> <p>我々が扱っている知識は木構造であることが多い</p> <p>RDBに木構造のデータを格納する際は表変換を行う必要があり、データ構造が煩雑になりやすい</p> <p>当研究室では木構造をそのまま格納できる分散木構造データベースJungleの開発を行っている</p> <p>当研究ではJungle上に組織の許認可管理アプリケーションmaTrixを実装しデータベースの表現力、機能の十分性、実用的な性能実証実験を行う</p> <p></p> </div> <div> <h1>分散木構造データベースJungle</h1> <p>Jungleとは、並列信頼研で開発されているデータベース</p> <p>非破壊であるため、新しい木構造を作成することでデータの編集を行う</p> <p style="text-align:center;"> <img src="./images/non_destructive_tree_edit2.png"> </div> <div> <h1>非破壊的木構造の利点</h1> <p>非破壊的木構造は通常の木構造である破壊的木構造に比べ、以下のような利点を持つ</p> <ul> <li>一度作成したデータは変更されない</li> <li>データが変更されないため自由にコピーを作ることができる(いつでも読み込みが可能)</li> <li>ロックがすくない。ロックが必要なのは最新のルートノードを登録するときだけ</li> </ul> <p>ロックが少なく、いつでもコピーが可能なことから、非破壊的木構造はスケーラブルなシステムに有用となる</p> </div> <div> <h1>組織の中の許認可管理アプリケーションmaTrix</h1> <p>maTrixとはSymphony社が開発しているアカウント管理、許諾判定システム</p> <p>人、組織、役割等の情報を木構造として保持しており、Idでお互いに参照し組織構造を表現している</p> <p>またそれらの組織構造は構成情報という名前で版管理されている。</p> <p>許認可の判断は、ポリシーファイルに記述されたルールにそって行われる</p> <p>ポリシーファイルは組織構造を参照するため木に対する参照機能が必要になる</p> </div> <!-- <div> <h1>maTrixのデータの書き出し</h1> <p>maTrixは自身の保持しているデータ構造をXML形式で書き出せる</p> <p></p> <div style="padding: 10px; margin-bottom: 10px; border: 1px solid #333333;"> <br><Persons> <br>  <Person id="p:1" type="Person"> <br>    <accountId>a:26</accountId> <br>    <lastName>東</lastName> <br>    <name>東俊一</name> <br>    <nameReading>あずましゅんいちくん</nameReading> <br>     <roleRefIds>r:10 r:34 </roleRefIds> <br>    <parentOrganizations type="OrganizationMappedByRole"> <br>      <OrganizationMappedByRole type="OrganizationMappedByRole"> <br>        <organizationRefId>o:2</organizationRefId> <br>        <roleRefId>r:10</roleRefId> <br>      </OrganizationMappedByRole> <br>      <OrganizationMappedByRole type="OrganizationMappedByRole"> <br>        <organizationRefId>o:11</organizationRefId> <br>        <roleRefId>r:34</roleRefId> <br>      </OrganizationMappedByRole> <br>    </parentOrganizations> <br>    <priorities type="PriorityMappedByRole"> <br>      <PriorityMappedByRole type="PriorityMappedByRole"> <br>        <priority>0</priority> <br>        <roleRefId>r:10</roleRefId> <br>      </PriorityMappedByRole> <br>      <PriorityMappedByRole type="PriorityMappedByRole"> <br>        <priority>1</priority> <br>        <roleRefId>r:34</roleRefId> <br>      </PriorityMappedByRole> <br>    </priorities> <br>  </Person> <br></Persons> </div> </div> --> <div> <h1>Jungle上でのmaTrixのデータ構造の表現</h1> <p>以下のXMLは、maTrixの人物Treeの一部である。</p> <div style="padding: 10px; margin-bottom: 10px; border: 1px solid #333333;"> <Persons> <br>  <Person id="p:1" type="Person"> <br>    <PersonData></PersonData> <br>  </Person> <br>  <Person id="p:2" type="Person"> <br>    <PersonData></PersonData> <br>  </Person> <br></Persons> </div> <p style="text-align:center;"><img src="./images/TreePersonJungle.png"> <p>この様にJungleでは木構造のデータを読み込み、木同士の参照はIdの検索を用いて表現する。</p> </div> <div> <h1>組織構造の版管理</h1> <p>maTrixは、組織構造を構成情報モデルとして表現し版管理している。</p> <p>構成情報モデルはversion毎に存在し、各versionに対応した組織構造を構成する木構造の集合を保持している。</p> <p style="text-align:center;"> <img src="./images/maTrixVersion1.png"> <p style="text-align:center;"> <img src="./images/maTrixVersion2.png"> <p>maTrixは全ての変更を構成情報として保持し、いつでもアクセス可能である。</p> </div> <div> <h1>Jungle上での組織構造の版管理</h1> <p>JungleのTreeは、全てのversionのTreeで単一なrevisionIdを保持しているため、過去のTreeにアクセスするためには、revisionIdを保持していればアクセスできる。</p> <p>それを利用し、Jungle上での過去の変更履歴を保持する構成情報モデルの表現は、構成情報モデルのversionと、各Treeのversionを保持し、関連付ける構成情報モデルTreeを作成し表現した</p> <p style="text-align:center;"> <img src="./images/configTree.png"> <p>アクセスしたいversionのノードから対応するTreeのrevisionIdを取得し、そのIdに対応するTreeにアクセスすれば良い。</p> </div> <div> <h1>maTrixでの許認可管理</h1> <p>maTrixを用いた許認可は、組織構造だけでは判断されない</p> <p>アクセス可能な時間等のアクセスルールは組織構造では表現できないからである。</p> <p>そこでアクセスルールを定義できるXACML形式で記述したポリシーファイルを用いて許認可管理を行う</p> <p>XACMLは、subject(誰が)、Resource(何を)、Action(どうするか)を記述する。</p> <p>以下に許認可管理の流れを示す</p> <ul> <li>Aさんが、学科のノートPCの借りるために、maTrixに貸出許可を求める。</li> <li>maTrix はリポジトリから、貸出許可を与えるかを判断するためのポリシーを取得する。</li> <li>ポリシーファイルを元に、データにアクセスを行い許可を与えるかどうかを判断する。</li> </ul> <p>Jungleはデータベースであるため、許認可判断を行うためにはデータを参照する関数を実装すれば良い</p> </div> <div> <h1>検索機能の実装</h1> <p>maTrixの組織構造を表現する為には、Idでの検索機能が必要であるため実装を行った。</p> <p>JungleのTreeに対する検索は、java8の新機能であるlambda式を用いてfind関数を実装した。lambda式を使用することで、匿名クラスを使う時より簡潔にコードを記述できるようになった。</p> <div style="padding: 10px; margin-bottom: 10px; border: 1px solid #333333;"> public Iterator<TreeNode> find(Query query,String key, String searchValue); </div> find関数は引数にQuery、String key、String valueの3つの引数を取り、条件に一致したNodeのIteratorを返す。 第一引数には、探索の条件を記述する関数boolean comdition(TreeNode)を定義したQueryを。 第二、第三引数の、String key、String valueはIndexの取得を行うために使用する。 <div style="padding: 10px; margin-bottom: 10px; border: 1px solid #333333;"> public interface Query {<br>   boolean condition(TreeNode _node);<br> } </div> </div> <div> <h1>find関数の使い方と流れ</h1> <div style="padding: 10px; margin-bottom: 10px; border: 1px solid #333333;"> Iterator<TreeNode> pairPersonIterator = traverser.find((TreeNode node) -> { <br> String element = node.getAttributes().getString("element"); <br> if (element == null) <br> return false; <br> if (element.equals("Person")) <br> return true; <br> return false; <br>}, "element", "Person"); </div> <li>find関数の処理の流れは、まず、第2、第3引数のString key,String valueを用いて、これらの値に対応したIndexが登 録されているかを調べる。Indexがある場合はIndexを使用し値を返す。Indexがない場合は、Treeから深さ優先でTreeNodeを取得していく。</li> <li>TreeNodeを取得したら、boolean Query.condition(TreeNode)を実行する。このconditionは実際にfindを使用する際にlambda式で記述する。</li> <li>conditionの中では、TreeNodeのAttributeに対してgetを行い探索対象のデータをTreeNodeが保持しているかを調べる。データを持っていた場合はTrueを、持っていなかった場合はFalseを返す</li> <li>conditionの返り値が、Trueだった場合取得したTreeNodeを返す。Falseだった場合は次のTreeNodeを探索します。</li> <p style="text-align:center;"> <img src="./images/DepthFirstSearch.png"> </div> <div> <h1>Indexの実装</h1> <p>Jungleの探索はTreeを全探索するので、探索の計算量はO(n)である。</p> <p>Indexを使用することで効率よく探索を行えるようにする。</p> <p>Jungleは過去のTreeを全て保持しているため、Treeのversion毎にIndexを持っていることが望ましい。 そこで、メモリの消費量を抑え、各versionのTreeにIndexをもたせる方法として、FunctionalJavaのTreeMapを使用したIndexの実装を提案する</p> <p>FunctionalJavaのTreeMapは、データの更新が行われた際に、一度作られたTreeに対して更新を行わず過去のTreeを再利用し、更新後のTreeMap新しく返すため、メモリの使用量を抑えつつ複数のversionでIndexを保持できる。</p> </div> <div> <h1>Indexの実装2</h1> <div style="padding: 10px; margin-bottom: 10px; border: 1px solid #333333;"> TreeMap<String key,TreeMap<String value,List<TreeNode>>> </div> <p>最初のTreeMap<String key,TreeMap>はIndexを格納するTreeMapである。</p> <p>このTreeMapに対しkeyでgetを行うと、keyに対応するIndexが登録されている場合、Indexを取得できる。</p> <p>取得したIndexに対しvalueでgetを行うと、valueの値を持つNodeのListが返ってくる。</p> </div> <div> <h1>ParentIndexの実装</h1> TreeNodeでgetを行うと、親Nodeを返すParentIndexを実装した。 <div style="padding: 10px; margin-bottom: 10px; border: 1px solid #333333;"> TreeMap<TreeNode,TreeNode> </div> <p>TreeのNodeの編集には、編集を行いたいNodeへのPathが必要である。</p> <p>ParentIndex実装前は、Indexを使って検索したNodeを編集するために返り値はList<Pair<TreeNode,NodePath>>になっていた。</p> <p>JungleのNodeへのPathは不変ではない</p> <p>よってTreeに変更が加わる度にIndexの中のPathを更新する必要があり、そこがネックだった</p> <p>ParentIndexを実装することでTreeNodeさえあれば、Pathが取得できるようになった。</p> </div> <div> <h1>過去のTreeに対するアクセス</h1> <p>Treeは、version毎に固有のrevisionIdを持っている</p> <p>アクセスしたいTreeのrevisionIdを引数に取り、対応する過去のTreeを返すgetOldTree(long)を実装した。</p> </div> <div> <h1>XACMLInterpreter</h1> <p>データの参照関数と、組織構造の表現が出来たため実際にポリシーファイルを読み込んで許認可判断を行いたい</p> <p>ポリシーファイルを読み込んでJungleのデータを参照し、許認可を判断するInterpreterを実装した</p> <p>これで実際にJungleの上で許認可判断が行えるようになった</p> </div> <div> <h1>今後の課題</h1> <p>push/popの実装</p> <li>Jungleの新しい子のInsert処理の計算量は木の深さであるため、最悪計算量はO(n) となる。しかし、Treeの根の部分に子を追加するpush/popを実装することでInsertの計算量が、非破壊の性質を維持しながらO(1)で行えるようになる</li> <p>IndexのIncrementalUpdate</p> <li>今JungleのIndexは木の更新が行われる度に新しく作りなおされているため、メモリの消費が大きい。 しかし、新しく作り直さず、木の更新時に差分更新を行うことでメモリの消費を抑えて各versionのTreeにIndexを保持するこ とが可能になる。</li> <p>differencialList</p> <li>Tree の葉部分に、更新可能な未定義ノードを付加しておくことで、ルートまでのコピーを行わずにノードの追加を行えるようになるので、更新処理が短くなる。</li> <p>exponential backoff</p> <li>Jungle は書き込みが競合し、書き込みに失敗した場合すぐに再度書き込みを行うため、 書き込みが集中した際失敗を繰り返すことがある。しかし、書き込みが失敗する度に一定時間待機してから再度書き込みを行うことで、競合を避ける事が出来る。</li> </div> </div> <!-- presentation --> </body> </html>