annotate presen/slide.md @ 15:1ba7fa1773d9

update
author mir3636
date Wed, 15 Feb 2017 22:07:09 +0900
parents 86f6bb9be40a
children 11058e51adb7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10
mir3636
parents:
diff changeset
1 title: CbC 言語による OS 記述
mir3636
parents:
diff changeset
2 author: Mitsuki Miyagi
mir3636
parents:
diff changeset
3 profile:
mir3636
parents:
diff changeset
4 lang: Japanese
mir3636
parents:
diff changeset
5 code-engine: coderay
mir3636
parents:
diff changeset
6
mir3636
parents:
diff changeset
7 # メタ計算の重要性
15
mir3636
parents: 10
diff changeset
8 - プログラムを記述する際、通常の処理の他に、メモリ管理やスレッド管理、CPU や GPU の資源管理等、記述しなければならない処理が存在する。これらの計算を Meta Computation と呼ぶ。
mir3636
parents: 10
diff changeset
9 - Meta Computation を通常の計算から切り離して記述す るためには処理を細かく分割する必要がある。しかし、関 数やクラスなどの単位は容易に分割できない。
mir3636
parents: 10
diff changeset
10 - そこで当研究室では Meta Computation を柔軟に記述 するためのプログラミング言語の単位として Code Gear、 Data Gear という単位を提案している。
10
mir3636
parents:
diff changeset
11
15
mir3636
parents: 10
diff changeset
12 # Code Gear と Data Gear
mir3636
parents: 10
diff changeset
13 - Code Gear は関数に比べて細かく分割されているので Meta Computation をより柔軟に記述できる。
mir3636
parents: 10
diff changeset
14 - Data Gear はデータの単位であり、Code Gear は 任意の数の Input Data Gear を参照して処理を行い、Output Data Gear を出力し処理を終える。
10
mir3636
parents:
diff changeset
15
15
mir3636
parents: 10
diff changeset
16 # Continuation based C (CbC)
mir3636
parents: 10
diff changeset
17 - Continuation based C (CbC) はこの Code Gear 単位を 用いたプログラミング言語として開発している。
mir3636
parents: 10
diff changeset
18 - Code Gear から 次の Code Gear へと goto による継続で遷移で処理を行い、引数として出力を与える。
10
mir3636
parents:
diff changeset
19 <img src="./images/multidisplay.svg" alt="message" width="500">
mir3636
parents:
diff changeset
20
mir3636
parents:
diff changeset
21 # この発表は
mir3636
parents:
diff changeset
22 - TreeVNC の概要
mir3636
parents:
diff changeset
23 - 構造
mir3636
parents:
diff changeset
24 - 原理
mir3636
parents:
diff changeset
25 - 画面切り替え
mir3636
parents:
diff changeset
26 - 今回の改良
mir3636
parents:
diff changeset
27 - NAT 対応
mir3636
parents:
diff changeset
28 - マルチディスプレイの対応
mir3636
parents:
diff changeset
29 - TreeVNC の評価
mir3636
parents:
diff changeset
30 - 画像データ送信の遅延
mir3636
parents:
diff changeset
31 - ネックになってるノードへの対処
mir3636
parents:
diff changeset
32
mir3636
parents:
diff changeset
33 # TreeVNC
mir3636
parents:
diff changeset
34 - TreeVNC は本研究室で開発している VNC を利用した画面配信システム
mir3636
parents:
diff changeset
35 - 配信コストを分散させることで大人数でも画面配信が可能
mir3636
parents:
diff changeset
36 - スムーズな配信画面の切替を行う
mir3636
parents:
diff changeset
37
mir3636
parents:
diff changeset
38 # VNC
mir3636
parents:
diff changeset
39 - VNC(Virtual Network Computing) は RFBプロトコルを用いて遠隔操作を行うソフトウェア
mir3636
parents:
diff changeset
40 - サーバー側とクライアント側に分かれており、サーバーを起動し、クライアントがサーバーに接続を行うことで遠隔操作を可能とする
mir3636
parents:
diff changeset
41
mir3636
parents:
diff changeset
42 <img src="./images/vnc.svg" alt="message" width="600">
mir3636
parents:
diff changeset
43
mir3636
parents:
diff changeset
44 # RFB プロトコル
mir3636
parents:
diff changeset
45 - RFB(Remote Frame Buffer)プロトコルは VNC で用いられているプロトコル
mir3636
parents:
diff changeset
46 - 自身の画面をネットワーク越しに他者の画面に表示する
mir3636
parents:
diff changeset
47 - Framebuffer と呼ばれるメモリ上に置かれた画像データを使用して画面表示を行う
mir3636
parents:
diff changeset
48 - サーバーは Framebuffer が更新されるたびにクライアントに対して変更部分だけを送信する。
mir3636
parents:
diff changeset
49
mir3636
parents:
diff changeset
50 # TreeVNC の構造
mir3636
parents:
diff changeset
51 - Java で作成されたTightVNC(Tight Virtual Network Computing) を元に作成されている
mir3636
parents:
diff changeset
52 - 様々なメッセージで通信を行う
mir3636
parents:
diff changeset
53 - クライアント同士をバイナリツリー状に接続する
mir3636
parents:
diff changeset
54 - バイナリツリーのルートのノードをRoot Nodeと呼び、 Root Node に接続されるノードを Node と呼ぶ
mir3636
parents:
diff changeset
55 - Root Node が参照している VNC サーバーから FrameBuffer を取得して、 木構造を辿って Node に送信する。
mir3636
parents:
diff changeset
56
mir3636
parents:
diff changeset
57 <img src="./images/treeVnc.svg" alt="message" width="400">
mir3636
parents:
diff changeset
58
mir3636
parents:
diff changeset
59 # TreeVNC の原理
mir3636
parents:
diff changeset
60 - ポート一本あたりの負荷
mir3636
parents:
diff changeset
61 - 従来のVNC : Node数 * データ量
mir3636
parents:
diff changeset
62 - TreeVNC : (2(子供の数) + 1) * データ量
mir3636
parents:
diff changeset
63 - 従来のVNCはNode数に比例
mir3636
parents:
diff changeset
64 - TreeVNCはNode数に関係なく一定
mir3636
parents:
diff changeset
65
mir3636
parents:
diff changeset
66 <img src="./images/treeVncTheory.svg" alt="message" width="700">
mir3636
parents:
diff changeset
67
mir3636
parents:
diff changeset
68 # 共有画面切り替え
mir3636
parents:
diff changeset
69 - TreeVNC の Root Node は配信者の VNC サーバーと通信を行っている
mir3636
parents:
diff changeset
70 - 画面を配信されている側のビューワにある Share Screen ボタンが押す
mir3636
parents:
diff changeset
71 - Root Node に SERVER\_CHANGE\_REQUEST を木構造を辿りながら送信
mir3636
parents:
diff changeset
72 - Root Node は Share Screen ボタンを押したクライアントの VNC サーバーと通信を開始
mir3636
parents:
diff changeset
73
mir3636
parents:
diff changeset
74 # Direct Connection
mir3636
parents:
diff changeset
75 - NATを越えたネットワークからの接続は直接配信側の Root Node に接続を行うことで実現する
mir3636
parents:
diff changeset
76 - Direct Connection した Node はそのネットワークの Root Node になる
mir3636
parents:
diff changeset
77 - Direct Connection された Root Node では NAT を越えたネットワーク先の Node の管理を行わない
mir3636
parents:
diff changeset
78
mir3636
parents:
diff changeset
79 <img src="./images/directConnection.svg" alt="message" width="800">
mir3636
parents:
diff changeset
80
mir3636
parents:
diff changeset
81 # マルチディスプレイ
mir3636
parents:
diff changeset
82 - 画面切り替えの際のSERVER\_CHANGE\_REQUESTに共有するディスプレイの座標を付加する
mir3636
parents:
diff changeset
83 - Root Node は 接続した VNC サーバーから画像データを要求する FRAME\_BUFFER\_UPDATE\_REQUEST に受け取った座標を付加する
mir3636
parents:
diff changeset
84 - VNC サーバーは要求された座標内の画像データを FRAME\_BUFFER\_UPDATE で Root Node に送信する
mir3636
parents:
diff changeset
85
mir3636
parents:
diff changeset
86 <img src="./images/shareScreenToMultiDisplay.svg" alt="message" width="700">
mir3636
parents:
diff changeset
87
mir3636
parents:
diff changeset
88 # TreeVNC の評価
mir3636
parents:
diff changeset
89 - 木の深さによる画像データの遅延を調べる
mir3636
parents:
diff changeset
90 - 実験環境
mir3636
parents:
diff changeset
91 - 実際に講義を受講している学生が TreeVNC を使用
mir3636
parents:
diff changeset
92 - 約20名の接続
mir3636
parents:
diff changeset
93
mir3636
parents:
diff changeset
94 # 実測方法
mir3636
parents:
diff changeset
95 - Root Node は 送信時間と画像データを持った CHECK\_DELAY を 末端 Node まで木構造を辿りながら伝達する
mir3636
parents:
diff changeset
96 - CHECK\_DELAY を受け取った各 Node は 付加された送信時間を CHECK\_DELAY\_REPLY に付加し、 Root Node に送信する
mir3636
parents:
diff changeset
97 - CHECK\_DELAY\_REPLY を受け取った Root Node は CHECK\_DELAY の送信にどれだけ時間がかかったかの計算を行う
mir3636
parents:
diff changeset
98
mir3636
parents:
diff changeset
99 <img src="./images/checkDelay.svg" alt="message" width="600">
mir3636
parents:
diff changeset
100
mir3636
parents:
diff changeset
101 # 深さ1, 2
mir3636
parents:
diff changeset
102 <img src="./images/depth1.svg" alt="message" width="600">
mir3636
parents:
diff changeset
103 <img src="./images/depth2.svg" alt="message" width="600">
mir3636
parents:
diff changeset
104
mir3636
parents:
diff changeset
105 # 深さ3, 4
mir3636
parents:
diff changeset
106 <img src="./images/depth3.svg" alt="message" width="600">
mir3636
parents:
diff changeset
107 <img src="./images/depth4.svg" alt="message" width="600">
mir3636
parents:
diff changeset
108
mir3636
parents:
diff changeset
109 # 結果から
mir3636
parents:
diff changeset
110 - 画像データの伝達はほぼ1秒以内に収まっている
mir3636
parents:
diff changeset
111 - 容量が小さい場合でも時間がかかる場合がある。 それはその送信の前に大容量の画像を送信した後の回線の遅延が残っているためだと考えられる
mir3636
parents:
diff changeset
112 - 深さ3が遅い原因として1つの Node がボトルネックになっている事が判明した。
mir3636
parents:
diff changeset
113 - ネックになった Node をそのままにするとその子Nodeに影響を及ぼしてしまう。 そのためその Node に何らかの対応を行う必要がある
mir3636
parents:
diff changeset
114
mir3636
parents:
diff changeset
115 <img src="./images/depth3.svg" alt="message" width="600" height="600">
mir3636
parents:
diff changeset
116 <img src="./images/depth3_without_bottle.svg" alt="message" width="600" height="600">
mir3636
parents:
diff changeset
117
mir3636
parents:
diff changeset
118 # ネックになっているノードへの対処
mir3636
parents:
diff changeset
119 - CHECK\_DELAY\_REPLY で Root Node は ネックかどうかのを判断をする
mir3636
parents:
diff changeset
120 - ネックになっているなら、その Node を木構造のリストから削除
mir3636
parents:
diff changeset
121 - 最後の Node を削除した Node の場所に移動
mir3636
parents:
diff changeset
122 - ネックになったところは三分木になる
mir3636
parents:
diff changeset
123
mir3636
parents:
diff changeset
124 <img src="./images/fixTree.svg" alt="message" width="800">
mir3636
parents:
diff changeset
125
mir3636
parents:
diff changeset
126 # まとめと課題
mir3636
parents:
diff changeset
127 - 今回TreeVNCの様々な問題点の解決を行った
mir3636
parents:
diff changeset
128 - NAT
mir3636
parents:
diff changeset
129 - マルチディスプレイ
mir3636
parents:
diff changeset
130 - 画面切り替えの安定化
mir3636
parents:
diff changeset
131 - エラー通知
mir3636
parents:
diff changeset
132
mir3636
parents:
diff changeset
133 - NATを越えた画面切り替え
mir3636
parents:
diff changeset
134 - 音声配信等の共有機能の追加
mir3636
parents:
diff changeset
135