annotate paper/introduciton.tex @ 70:0b1a059c49fa

fix
author kono
date Thu, 13 Feb 2014 12:08:24 +0900
parents d15c924e9089
children aa9ffebd58ed
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
34
345eacdf29e4 add apendix
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 25
diff changeset
1 \chapter{研究背景と目的} \label{ch:introduction}
2
d8b94e828d79 add tex files
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 \pagenumbering{arabic}
d8b94e828d79 add tex files
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
64
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
4  Web サービスの脆弱性狙った攻撃が頻繁に発生している。
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
5 脆弱性を悪用されると、Web サービス運営者は賠償など多大な損害を受ける可能性がある。
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
6 純粋関数型プログラミング言語 Haskell は, バッファオーバーフローや, クロスサイトスクリプティング, SQL インジェクションを事前の型検査で防ぐことができる.
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
7 つまり, Haskell を用いることで信頼性の高い Web サービスを開発できると言える.
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
8
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
9 本研究の目標は, Haskell を用いて信頼性の高い Web サービスおよびデータベースの開発である.
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
10 また, 並列実行で性能が線形に向上するスケーラビリティの達成を目指す.
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
11 Web サービス のスケーラビリティを実現するための難点の一つはデータベースであり, データベースは並列にデータにアクセスできる設計が必要となる.
48
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
12
64
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
13 本研究では並列にデータへアクセスする手法として, 非破壊的木構造を利用する.
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
14 非破壊的木構造では, 排他制御をせずにデータへアクセスすることが可能でありスケーラビリティを確保できる\cite{shoshi:2010a}\cite{shoshi:2011a}\cite{shoshi:2011b}.
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
15
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
16 実装した並列データベースの読み込みと書き込みについて性能を計測し,
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
17 読み込みに関して 12 コアで実行した場合, 1 コアで実行した場合と比較して, 10.37 倍 という性能向上率が確認でき,
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
18 マルチコアプロセッサの性能を引き出すことができた.
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
19
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
20 また, Web 掲示板サービスを開発し, 既存の Java の非破壊的木構造データベースを用いた掲示板実装との比較をおこない, 読み込みで 3.25 倍, 書き込みで 3.78 倍の性能が確認できた.
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
21
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
22 本研究は JST/CREST 「実用化を目指した組み込みシステム用ディペンダブル・オペレーティングシステム」研究領域 (DEOSプロジェクト) として実施した.
65
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 64
diff changeset
23 本研究ではDEOSプロジェクト内の D-ADD (DEOS Agreement Description Database) を, 信頼性を持って構築ができる非破壊的木構造データベースの実装を示した.
64
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
24
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
25 DEOSプロジェクトはITシステムにおけるディペンダビリティを担保する技術体系をまとめ, 制度化, さらには事業化を目指している.
48
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
26 DEOSプロジェクトは2006年に独立行政法人科学技術機構(JST)はCRESTプログラムの1つとして始まったプロジェクトである.
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
27 DEOSプロジェクトは, 変化し続ける目的や環境の中でシステムを適切に対応させ, 継続的にユーザが求めるサービスを提供することができるシステムの構築法を開発することを目標としている\cite{deos2013}.
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
28 DEOSプロジェクトではそれらの技術体系を「オープンシステムディペンダビリティ」として定義し, それをDEOSプロセスとしてまとめた(図\ref{fig:deos_proccess}).
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
29
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
30 \begin{figure}[htpb]
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
31 \begin{center}
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
32 \includegraphics[scale=0.5]{images/deos_proccess.pdf}
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
33 \caption{DEOS プロセス}
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
34 \label{fig:deos_proccess}
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
35 \end{center}
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
36 \end{figure}
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
37
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
38 DEOSプロセスには変化対応サイクルと障害対応サイクルの2つのサイクルがある.
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
39 変化対応サイクルは上流プロセスにおける対象システムのオープンシステムディペンダビリティを担保するためのプロセスである.
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
40 障害対応サイクルは対象システムの運用時に必要とされるプロセスである.
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
41 DEOSプロセスは企画や設計という上流からシステム運用までの対象システムのライフサイクル全体に係わる.
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
42 対象システムの運用は, ステークホルダからの対象システムに対する要求に関する
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
43 合意を始めとしたあらゆる議論に関する合意をベースに行われる.
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
44
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
45 DEOS プロセスを構成している各(サブ)プロセスからアクセスが行われるデータベースとして D-ADD(DEOS Agreement Description Database)がある\cite{d_add2013}.
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
46 D-ADD はステークホルダ合意と対象システムに存在するプログラム・コード, 及び対象システムの運用状態との間の一貫性を常に保つための機構を提供する.
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
47 このようなデータベースは様々なデータを柔軟に格納する必要があり, データベーススキーマの頻繁な変化に対応する必要がある.
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
48 これらのデータベースは, Web からアクセスされることも想定される.
88b11a3afb93 describe deos
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents: 47
diff changeset
49 そのため, DEOSは Web サービスとして捉えることができる.