Papers/2018/nozomi-master: paper/nozomi-master.tex comparison

comparison paper/nozomi-master.tex @ 157:d620f126a383

change abstract & chapter1

author	Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
date	Wed, 31 Jan 2018 14:58:24 +0900
parents	bc9be2d40d0d
children	2bf8a1edcecc

comparison

equal deleted inserted replaced

-:bc9be2d40d0d
+:d620f126a383
 \mainmatter
 %chapters
 \chapter{分散プログラミングの信頼性向上}
+スマートフォンやタブレット端末の普及率が増加している。
+それに伴いインターネット利用者数も増加しており、ネットワーク上のサービスには、信頼性とスケーラビリティーが要求される。
+ここでいう信頼性とは、定められた環境下で安定して仕様に従った動作を行うことを指す。
+またスケーラビリティーとは、分散ソフトウェアに対して単純にノードを追加するだけで性能を線形的に上昇させることができる性質である。
+しかし、これらをもつ分散プログラムをユーザーが一から記述することは容易ではない。
+これらの問題を解決するために、当研究室ではデータをData Segment、タスクをCode Segmentという単位で記述するプログラミング手法を導入した分散フレームワークAlice を開発した。
+Aliceが実用的な分散アプリケーションを記述でき、仕様の変更を抑えた信頼性の高い拡張を可能にするということは、水族館の例題やTreeVNCの例題から確認された。
+しかし、AliceにNAT越えの機能を実装しようとした際、Data Segment Managerが1つしか持てないために拡張が困難であることが分かった。
+また、AliceではAPI設計が煩雑で、プログラマが処理の順番やデータの型を考慮して書く必要があった。
+これではバグを引き起こす可能性が高いため、信頼性を上げるにはより直感的なAPIで再設計すべきだと考えた。
+本研究では、Aliceから得られた知見をもとに、分散フレームワークChristieの設計を行う。
+Christieでは、シンプルな記述で信頼性の高いスケーラブルな分散プログラムの作成を可能にする。
+また、当研究室で開発している言語CbCと互換可能な設計を目指す。
 \chapter{分散フレームワークAliceの概要}
 \section{CodeSegmentとDataSegment}
 AliceではCode Segment（以下CS）とData Segment（以下DS）の依存関係を記述することでプログラミングを行う。
 1つのDS内に以下の３つの表現を持たせることでデータに多態性を持たせ、必要に応じた形式でDSを扱う。
 \begin{enumerate}
 \item 一般的なJavaのクラスオブジェクト
-\item MessagePack for Java\cite{MessagePack}でシリアライズ化されたバイナリオブジェクト
+\item MessagePack for Java\cite{}でシリアライズ化されたバイナリオブジェクト
 \item 2を圧縮したバイナリオブジェクト
 \end{enumerate}
 Local DSMにputされた場合は、(1)の一般的なJavaクラスオブジェクトとして追加される。
 Remote DSMにputされた場合は、通信時に(2)のbyteArrayに変換されたバイナリオブジェクトに変換されたDSが追加
 \subsection{TopologyManager}
 Aliceでは、ノード間の接続管理やトポロジーの構成管理を、Topology ManagerとTopology NodeというMeta Computationが提供している。
 プログラマはトポロジーファイルを用意し、Topology Managerに読み込ませるだけでトポロジーを構成することができる。
-トポロジーファイルはDOT Language\cite{dot}という言語で記述される。
+トポロジーファイルはDOT Language\cite{}という言語で記述される。
 DOT Languageとは、プレーンテキストを用いてデータ構造としてのグラフを表現するためのデータ記述言語の一
 つである。
 ソースコード\ref{src:topologyfile}は3台のノードでリングトポロジーを組むときのトポロジーファイルの例である。
 \lstinputlisting[label=src:topologyfile, caption=トポロジーファイルの例]{source/TopologyFile.dot}
 3章でのAliceの問題点を踏まえ、新たにフレームワークを作り直すべきだと考えた。
 本章では、新たに作った分散フレームワークChristieの設計を説明する。
 Christieに必要な要件は以下のように考える。
 \begin{itemize}
-\item {\ttfamily create/setKeyのような煩雑なAPIをシンプルにし可読性を上げる}
+\item {\ttfamily create/setKeyのような煩雑なAPIをシンプルにし可読性を向上させる}
 \end{itemize}
 \begin{itemize}
-\item {\ttfamily プログラマが型を推測しなくとも整合性がとれるように型を解決し、信頼性を上げる}
+\item {\ttfamily プログラマが型を推測しなくとも整合性がとれるように型を解決し、信頼性を向上させる}
 \end{itemize}
 \begin{itemize}
-\item {\ttfamily staticなLocalDSMをなくし、複数のインスタンスを同時に立ち上げられるようにすることで拡張性を上げる}
+\item {\ttfamily staticなLocalDSMをなくし、複数のインスタンスを同時に立ち上げられるようにすることでスケーラビリティを向上させる}
 \end{itemize}
 \section{Christieの基本設計}
 reflectionAPIでは対象となるクラスのフィールドやメソッド、それに対するアノテーションも取得できる。
 フィールドから取得したDGとアノテーションから取得したkeyからインプットコマンド（TAKE/PEEK）を生成し、DGMへ送って実行する。
 このとき要求したデータがDGM内にない場合はwaitListに入る。
 PUTコマンドが実行された際、もしwaitListに同じkeyのDGを待っているコマンドがあれば実行される。
-CGは生成したインプットコマンドの総数を初期値としたカウンタを持っており、コマンドが解決されるたびにカウンタは減っていき、0になった時、CGがThreadPoolへ送られる。
+CGは生成したインプットコマンドの総数を初期値としたカウンタを持っており、コマンドが解決されるたびにカウンタは減っていき、0になるとCGがThreadPoolへ送られる。
 \chapter{謝辞}
 本研究の遂行、また本論文の作成にあたり、ご多忙にも関わらず終始懇切なる御指導と御
 教授を賜わりました河野真治准教授に深く感謝したします。
 %参考文献
 \nocite{*}
 \bibliographystyle{junsrt}
-%\bibliography{reference}
+\bibliography{reference}
 %発表履歴
 \addcontentsline{toc}{chapter}{発表履歴}
 %\input{history.tex}

Mercurial > hg > Papers > 2018 > nozomi-master

comparison paper/nozomi-master.tex @ 157:d620f126a383