Mercurial > hg > Papers > 2018 > nozomi-master

annotate paper/abstract.tex @ 148:cf9c3be20362

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add Alice abstract
author Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
date Thu, 25 Jan 2018 18:15:48 +0900
parents 2e30ed0e2633
children d620f126a383
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10
2f944ab2f5f6 Mini fixes
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 \begin{abstract}
148
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
2 スマートフォンやタブレット端末の普及率が増加している。
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
3 それに伴いインターネット利用者数も増加しており、ネットワーク上のサービスには
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
4 、信頼性とスケーラビリティーが要求される。
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
5 ここでいう信頼性とは、定められた環境下で安定して仕様に従った動作を行うことを
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
6 指す。
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
7 またスケーラビリティーとは、スケーラビリティとは、分散ソフトウェアに対して単純にノードを追加するだけで性能を線形的に上昇させることができる性質である。
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
8 しかし、これらをもつ分散プログラムをユーザーが一から記述することは容易ではない。
73
a92ac75bd9fa Add abstract
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 10
diff changeset
9
148
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
10 これらの問題の解決のために、当研究室ではデータをData Segment、タスクをCode Segmentという単位で記述するプログラミング手法を導入した分散フレームワークAlice の開発を実現した。
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
11 Data Segmentは整数や文字列や構造体などの基本的なデータの集まりである。
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
12 Code Segmentは入力となるData Segmentが全て揃ったら処理を開始し計算結果のData Segmentを出力するタスクである。
73
a92ac75bd9fa Add abstract
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents: 10
diff changeset
13
148
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
14 Aliceが実用的な分散アプリケーションを記述でき、仕様の変更を抑えた信頼性の高い拡
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
15 張を可能にするということは、水族館の例題やTreeVNCの例題から確認された。
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
16 しかし、AliceではAPI設計が直感的でなく、型の整合性がとれない問題があった。また、AliceにNAT越えの機能を実装しようとした際、Data Segment Managerが1つしか持てない
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
17 たために拡張が困難であることが分かった。
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
18
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
19 本研究では、Aliceから得られた知見をもとに、分散フレームワークChristieの設計を行った。
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
20
cf9c3be20362 add Alice abstract
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents: 113
diff changeset
21
10
2f944ab2f5f6 Mini fixes
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22
2f944ab2f5f6 Mini fixes
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 \end{abstract}
97
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 96
diff changeset
24
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 96
diff changeset
25 \begin{abstract_eng}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 96
diff changeset
26 \end{abstract_eng}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 96
diff changeset
27