6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 1 <!DOCTYPE html>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 2 <html>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 3 <head>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 4 <meta http-equiv="content-type" content="text/html;charset=utf-8">
10
+ − 5 <title>分散フレームワークAliceのMeta Data Segment</title>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 7 <meta name="generator" content="Slide Show (S9) v2.5.0 on Ruby 2.1.0 (2013-12-25) [x86_64-darwin13.0]">
10
+ − 8 <meta name="author" content="照屋のぞみ" >
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 9
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 10 <!-- style sheet links -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 11 <link rel="stylesheet" href="s6/themes/projection.css" media="screen,projection">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 12 <link rel="stylesheet" href="s6/themes/screen.css" media="screen">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 13 <link rel="stylesheet" href="s6/themes/print.css" media="print">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 14 <link rel="stylesheet" href="s6/themes/blank.css" media="screen,projection">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 15
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 16 <!-- JS -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 17 <script src="s6/js/jquery-1.11.3.min.js"></script>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 18 <script src="s6/js/jquery.slideshow.js"></script>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 19 <script src="s6/js/jquery.slideshow.counter.js"></script>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 20 <script src="s6/js/jquery.slideshow.controls.js"></script>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 21 <script src="s6/js/jquery.slideshow.footer.js"></script>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 22 <script src="s6/js/jquery.slideshow.autoplay.js"></script>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 23
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 24 <!-- prettify -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 25 <link rel="stylesheet" href="scripts/prettify.css">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 26 <script src="scripts/prettify.js"></script>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 27
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 28 <script>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 29 $(document).ready( function() {
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 30 Slideshow.init();
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 31
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 32 $('code').each(function(_, el) {
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 33 if (!el.classList.contains('noprettyprint')) {
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 34 el.classList.add('prettyprint');
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 35 el.style.display = 'block';
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 36 }
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 37 });
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 38 prettyPrint();
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 39 } );
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 40
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 41
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 42 </script>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 43
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 44 <!-- Better Browser Banner for Microsoft Internet Explorer (IE) -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 45 <!--[if IE]>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 46 <script src="s6/js/jquery.microsoft.js"></script>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 47 <![endif]-->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 48
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 49
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 50
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 51 </head>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 52 <body>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 53
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 54 <div class="layout">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 55 <div id="header"></div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 56 <div id="footer">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 57 <div align="right">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 58 <img src="s6/images/logo.svg" width="200px">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 59 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 60 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 61 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 62
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 63 <div class="presentation">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 64
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 65 <div class='slide cover'>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 66 <table width="90%" height="90%" border="0" align="center">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 67 <tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 68 <td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 69 <div align="center">
10
+ − 70 <h1><font color="#808db5">分散フレームワークAliceのMeta Data Segment</font></h1>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 71 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 72 </td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 73 </tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 74 <tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 75 <td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 76 <div align="left">
10
+ − 77 照屋のぞみ
+ − 78 琉球大学 工学部 情報工学科 河野研
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 79 <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 80 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 81 </td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 82 </tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 83 </table>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 84 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 85
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 86 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 87 <!-- === begin markdown block ===
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 88
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 89 generated by markdown/1.2.0 on Ruby 2.1.0 (2013-12-25) [x86_64-darwin13.0]
10
+ − 90 on 2016-02-18 09:05:23 +0900 with Markdown engine kramdown (1.5.0)
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 91 using options {}
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 92 -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 93
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 94 <!-- _S9SLIDE_ -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 95 <h1 id="section">研究目的(1/3)</h1>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 96 <ul>
10
+ − 97 <li>当研究室が開発している並列分散フレームワークAliceではスケーラブルな分散プログラムを信頼性高く記述できる環境を実現する</li>
+ − 98 <li>ここで言う信頼性とは定められた環境下で安定して仕様に従った動作を行うことを指す</li>
+ − 99 <li>Aliceでは当研究室が提案しているデータを Data Segment、タスクを Code Segment という単位で分割して記述するプログラミング手法を採用している</li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 100 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 101
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 102
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 103 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 104 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 105 <!-- _S9SLIDE_ -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 106 <h1 id="section-1">研究目的(2/3)</h1>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 107 <ul>
10
+ − 108 <li>Aliceでは、ComputationとMetaComputationに階層化し、コアな仕様と複雑な例外処理に分離する。</li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 109 <li>分散環境構築などの複雑な処理はAliceがMeta Computationとして提供する</li>
10
+ − 110 <li>コードの変更を抑え、変更前の信頼性を保ったまま拡張可能にする</li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 111 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 112
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 113
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 114 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 115 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 116 <!-- _S9SLIDE_ -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 117 <h1 id="section-2">研究目的(3/3)</h1>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 118 <ul>
10
+ − 119 <li>本研究では、Alice上に実用的な分散アプリケーションが制作できることを示すために画面配信システムTreeVNCを構築する</li>
+ − 120 <li>構築するにあたり必要となった圧縮機能をAliceのMeta Computationとして実装した</li>
+ − 121 <li>もとのTreeVNCとの比較を行うことでMeta Computationの役割と有効性を示す</li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 122 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 123
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 124
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 125 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 126 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 127 <!-- _S9SLIDE_ -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 128 <h1 id="data-segment--code-segment">Data Segment と Code Segment</h1>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 129 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 130 <li>Aliceではデータを <strong>Data Segment(DS)</strong> 、タスクを <strong>Code Segment(CS)</strong> という単位に分割して依存関係を記述することでプログラミングを行う。</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 131 <li>CSはInput DS(入力されるDS)とOutput DS(出力されるDS)を持つ。</li>
10
+ − 132 <li>CSはkeyで指定されたDSが全て揃うと実行されるという性質を持つ。
+ − 133 <img src="./images/dsandcs.svg" alt="opt" width="50%" /></li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 134 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 135
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 136
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 137 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 138 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 139 <!-- _S9SLIDE_ -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 140 <h1 id="codesegment">CodeSegmentの依存関係</h1>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 141 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 142 <li>データの依存関係にないCSは並列実行される</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 143 <li>データの依存関係がある場合は Input DS が揃うと順に実行される</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 144 <li>DSはCSに専有されるためロックの記述を必要としない
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 145 <img src="./images/dsandcs2.svg" alt="opt" width="60%" /></li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 146 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 147
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 148
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 149 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 150 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 151 <!-- _S9SLIDE_ -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 152 <h1 id="data-segment-manager">Data Segment Manager</h1>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 153 <ul>
10
+ − 154 <li>DS の集合体であるデータベースを <strong>DS Manager(DSM)</strong> と呼ぶ。<br />
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 155 <ul>
10
+ − 156 <li>Local DSM … 各ノード固有のデータベース。</li>
+ − 157 <li>Remote DSM … 他のノードの Local DSM の proxy。接続しているノードの数だけ存在する。 </li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 158 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 159 </li>
10
+ − 160 <li>DSM 内の DS には対になる String型のkey が存在し、 DSM 名と key を指定しすることで DS の保存、取得を行う。
+ − 161 <img src="./images/remote_datasegment.svg" alt="opt" width="50%" /></li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 162 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 163
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 164
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 165 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 166 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 167 <!-- _S9SLIDE_ -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 168 <h1 id="computation--meta-computation">Computation と Meta Computation</h1>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 169 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 170 <li>Aliceでは、計算の本質的な処理をComputatin、Computationとは直接関係ないが別のレベルでそれを支える処理をMeta Computationとして分けて考える。</li>
10
+ − 171 <li>分散トポロジーの構成、通信の切断・再接続時の処理などはMeta ComputationとしてAliceが提供</li>
+ − 172 <li>プログラマは目的の処理だけ記述し通信部分などはMeta Computationを指定することでシンプルな記述を実現</li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 173 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 174
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 175
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 176 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 177 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 178 <!-- _S9SLIDE_ -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 179 <h1 id="computation--meta-computation-1">Computation と Meta Computation</h1>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 180 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 181 <li>DS/CSの接続の間にMeta Computationが実行されている</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 182 <li>AliceのMeta ComputationもCS/DSにより実現される</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 183 <li>Meta ComputationはCS の処理を支えるMeta CSとMeta CSに管理されるMeta DSに分けられる
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 184 <img src="./pictures/MetaCSDS.svg" alt="opt" width="70%" /></li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 185 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 186
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 187
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 188 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 189 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 190 <!-- _S9SLIDE_ -->
10
+ − 191 <h1 id="treevnc">TreeVNCへの応用</h1>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 192 <ul>
10
+ − 193 <li>AliceのMeta Computationの有効性を示すため実用的な例題であるTreeVNCを実装する</li>
+ − 194 <li>TightVNCをもとにした木構造画面配信システム</li>
+ − 195 <li>画面処理や分散処理が混在する複雑なTreeVNCも、Aliceを用いればTightVNCからの変更が少ない見通しの良い記述で構成可能</li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 196 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 197
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 198
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 199 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 200 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 201 <!-- _S9SLIDE_ -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 202 <h1 id="treevnc-1">TreeVNCで必要な機能</h1>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 203 <p>TreeVNCのComputation(VNCサーバからデータを受け取り表示)を支える機能をMeta Computationとして実装する </p>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 204
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 205 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 206 <li>TreeTopologyの構成・管理(Topology Manager)</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 207 <li>ノード間通信の切断時・再接続時の処理(ClosedEventManager)</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 208 <li>ノードの接続状態確認(KeepAlive)</li>
10
+ − 209 <li>子ノードへのデータの転送(flip)</li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 210 <li>データの圧縮</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 211 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 212
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 213
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 214 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 215 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 216 <!-- _S9SLIDE_ -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 217 <h1 id="meta-computation">Meta Computationの追加</h1>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 218 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 219 <li>TreeVNCの数MByteの画面差分データを配信し続けるためデータを圧縮している</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 220 <li>画面データを圧縮して送る → 解凍して画面表示 → 再圧縮して子ノードへ転送</li>
10
+ − 221 <li>圧縮状態のまま子ノードに送信ができれば、解凍・再圧縮 するオーバーヘッドを無くすことができる</li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 222 <li>圧縮のMeta Computationと転送のMeta Computationを追加した</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 223 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 224
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 225
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 226 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 227 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 228 <!-- _S9SLIDE_ -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 229 <h1 id="meta-ds">圧縮表現(Meta DS)の追加</h1>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 230 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 231 <li>DSを複数作るのではなく、1つのDSに対しMeta DSとして以下の表現を同時に持たせる</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 232 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 233
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 234 <table style="border:none;">
10
+ − 235 <tr><td width="550px">
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 236 1. 一般的なJavaのオブジェクト<br />
10
+ − 237 LocalDSMにputしたときの形式 <br />
+ − 238 <br />
+ − 239 2. シリアライズ化されたバイナリオブジェクト <br />
+ − 240 RemoteDSMにputしたときの形式 <br />
+ − 241 <br />
+ − 242 3. 2を圧縮したバイナリオブジェクト <br />
+ − 243 今回追加した形式 <br />
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 244 </td>
10
+ − 245 <td width="500px">
+ − 246 <img src="./pictures/compressDS.svg" width="100%" />
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 247 </td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 248 </tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 249 </table>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 250
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 251
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 252 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 253 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 254 <!-- _S9SLIDE_ -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 255 <h1 id="dsmapi">圧縮表現を扱うDSMとAPIの追加</h1>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 256 <ul lang="java">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 257 <li>Local と Remote それぞれに圧縮表現を扱う Compressed DSM を追加</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 258 <li>DSを圧縮したい場合は指定する DSM を Compressed DSM に変える</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 259 <li>圧縮するコードとしないコードで変更が少ない </li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 260 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 261 <pre><code> put("Remote", "Key", val);
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 262 put("compressedRemote", "Key", val);
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 263 </code></pre>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 264
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 265
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 266 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 267 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 268 <!-- _S9SLIDE_ -->
10
+ − 269 <h1 id="section-3">圧縮表現がオンデマンドに作られる</h1>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 270 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 271 <li>DS はオブジェクト表現と圧縮表現を同時にもつため、TreeVNCでは受け取った画面データを解凍した後、転送のためにコピーや再圧縮をすることはない。</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 272 <li>複数表現は必要最低限にしか作られない。</li>
10
+ − 273 <li>一つのKeyに対し様々な表現のDSが対応するが、キャストメソッドであるasClass()によってユーザーは送られてくるDSの表現を気にせず任意の型で取り出せる。 </li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 274 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 275
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 276
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 277 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 278 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 279 <!-- _S9SLIDE_ -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 280 <h1 id="meta-computation-1">Meta Computationの評価</h1>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 281 <p>TreeVNCとAliceVNCを比較した </p>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 282
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 283 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 284 <li>性能比較<br />
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 285 各ノードへのメッセージの伝達速度を比較<br />
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 286 同等の性能が実現できたか </li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 287 <li>コード比較<br />
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 288 コード量・コード複雑度を比較<br />
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 289 シンプルな記述で仕様の変更が抑えられているか </li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 290 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 291
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 292
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 293 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 294 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 295 <!-- _S9SLIDE_ -->
10
+ − 296 <h1 id="section-4">性能比較 - 実験結果</h1>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 297 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 298 <li>3段目の計測結果</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 299 <li>同じ傾向から同等の処理性能があることがわかった </li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 300 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 301
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 302 <table style="border:none;">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 303 <tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 304 <td><img src="./pictures/TreeVNC_depth3.svg" width="80%" /></td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 305 <td><img src="./pictures/AliceVNC_compress_depth3.svg" width="80%" /></td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 306 </tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 307 <tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 308 <td align="center">TreeVNC</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 309 <td align="center">AliceVNC</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 310 </tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 311 </table>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 312
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 313
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 314 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 315 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 316 <!-- _S9SLIDE_ -->
10
+ − 317 <h1 id="section-5">コード量比較</h1>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 318 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 319 <li>TightVNCを含む全体の行数・単語数はAliceVNCのほうが少ない</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 320 <li>コードの増加量ではTreeVNCに比べ75%仕様の変更が抑えられている </li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 321 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 322
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 323 <table style="border-collapse: collapse;border:1px solid #000000;">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 324 <th style="border:1px solid #000000;padding:5px 15px 5px 15px;"></th>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 325 <th style="border:1px solid #000000;padding:5px 15px 5px 15px;"> 行数 </th>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 326 <th style="border:1px solid #000000;padding:5px 15px 5px 15px;">単語数</th>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 327 <th style="border:1px solid #000000;padding:5px 15px 5px 15px;">TightVNCからの変更行数</th>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 328 <tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 329 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;"> TreeVNC </td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 330 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">19502</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 331 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">73646</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 332 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">7351</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 333 </tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 334 <tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 335 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;"> AliceVNC </td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 336 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">14647</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 337 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">59217</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 338 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">1129</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 339 </tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 340 <tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 341 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;"> 減少率 (%)</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 342 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">25</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 343 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">20</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 344 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">75</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 345 </tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 346 </table>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 347
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 348
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 349 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 350 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 351 <!-- _S9SLIDE_ -->
10
+ − 352 <h1 id="section-6">コード複雑度比較</h1>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 353 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 354 <li>循環的複雑度を用いる<br />
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 355 コード内の線形独立な経路の数。if や forが多いほど複雑度が高い。</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 356 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 357
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 358 <table style="border-collapse: collapse;border:1px solid #000000;">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 359 <th style="border:1px solid #000000;padding:5px 15px 5px 15px;"></th>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 360 <th style="border:1px solid #000000;padding:5px 15px 5px 15px;"> 平均値 </th>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 361 <th style="border:1px solid #000000;padding:5px 15px 5px 15px;">最高値</th>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 362 <tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 363 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;"> TightVNC </td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 364 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">13.63</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 365 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">97</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 366 </tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 367 <tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 368 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;"> TreeVNC </td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 369 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">15.33</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 370 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">141</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 371 </tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 372 <tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 373 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;"> AliceVNC</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 374 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">10.95</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 375 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">99</td>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 376 </tr>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 377 </table>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 378
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 379 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 380 <li>AliceVNCのほうがTreeVNCに比べ複雑度が低い</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 381 <li>TreeVNC で最も複雑度が高いTreeRFBProto.classはデータの待ち合わせ処理や通信処理が入り組んだ複雑なコード</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 382 <li>AliceVNCで最も複雑度が高いSwingViewerWindow.classは、TightVNCから変更がほとんどないため、AliceVNCの持っている複雑度はTightVNCが元来持っていた複雑度</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 383 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 384
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 385
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 386 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 387 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 388 <!-- _S9SLIDE_ -->
10
+ − 389 <h1 id="section-7">まとめ</h1>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 390 <ul>
10
+ − 391 <li>Alice が実用的なアプリケーションを記述するための Meta Computation として、Meta Data Segmentに複数の表現のデータを同時に持たせることで圧縮機能を実装した。同様の手法を用いれば暗号表現などへの対応もでき自由度の高い通信を行うことが可能になる。</li>
+ − 392 <li>TreeVNCをAlice上で実装し比較を行った結果、変更量の少ないシンプルな記述でTreeVNCの基本機能を実現でき、同等の性能を出すことに成功した。</li>
+ − 393 <li>AliceのMeta Computationが拡張性・信頼性の高い実用的な分散アプリケーションの構築に有用であることが確認された。</li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 394 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 395
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 396
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 397 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 398 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 399 <!-- _S9SLIDE_ -->
10
+ − 400 <h1 id="section-8">今後の課題</h1>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 401 <ul>
10
+ − 402 <li>TreeVNCでは拡張が困難であった別ネットワーク間の通信もTopology Manager を用いれば容易に拡張できると考えられる<br />
+ − 403 <img src="./pictures/overNAT.svg" alt="opt" width="60%" /> </li>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 404 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 405
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 406
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 407 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 408 <div class='slide '>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 409 <!-- _S9SLIDE_ -->
10
+ − 410 <h1 id="section-9">今後の課題</h1>
6
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 411 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 412 <li>APIの再設計
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 413 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 414 <li>put/updateに対しtake/peekがcreate()・setKey()の操作はわかりにくい</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 415 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 416 </li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 417 <li>DSの型情報のマネジメント
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 418 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 419 <li>型情報がないのでpeek/takeする際にわかりにくい</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 420 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 421 </li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 422 <li>セキュリティをサポートしていない
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 423 <ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 424 <li>圧縮と同様の手法で暗号形式のデータ表現を扱えるように拡張可能</li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 425 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 426 </li>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 427 </ul>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 428
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 429 <style type="text/css">
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 430 <!--
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 431 *{
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 432 font:nomal 100% 'PT Sans';
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 433 }
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 434
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 435 ul > li{
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 436 list-style-type:disc;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 437 }
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 438
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 439 .slide h1{
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 440 text-align:left;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 441 color:#777777;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 442 font:bold 40px/1.13 'PT Sans', sans-serif;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 443 margin-bottom: 50px;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 444 }
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 445
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 446 div#slide1 h1{
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 447 text-align:left;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 448 color:#777777;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 449 font:bold 60px 'PT Sans', sans-serif;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 450 margin-bottom: 50px;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 451 }
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 452
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 453 pre > code{
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 454 font-family:'Droid Sans Mono', 'Courier New', monospace;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 455 }
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 456
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 457 img[alt="opt"]{
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 458 display: block;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 459 margin-left: auto;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 460 margin-right: auto;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 461 }
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 462
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 463 img[alt="right"]{
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 464 margin-right: 0;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 465 }
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 466
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 467 table {
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 468 margin-left: auto;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 469 margin-right: auto;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 470 }
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 471
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 472 th {
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 473 font-size: 120%;
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 474 }
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 475 -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 476 </style>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 477
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 478 <!-- === end markdown block === -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 479 </div>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 480
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 481
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 482 </div><!-- presentation -->
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 483 </body>
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
+ − 484 </html>