Mercurial > hg > Papers > 2015 > sugi-master

comparison paper/chapter1.tex @ 1:cf3a4335c64a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add source code and modify chapters
author gi
date Sat, 27 Dec 2014 16:06:56 +0900
parents 295b393a7134
children 33246fe15eb5
comparison
equal deleted inserted replaced
0:295b393a7134 1:cf3a4335c64a
1 \chapter{分散フレームワーク Alice の概要} \label{chapter:chapter1} 1 \chapter{分散フレームワーク Alice の概要} \label{chapter:chapter1}
2
3
4 \section{Data Segment}
5 Data Segmentはデータを細かく分割したものであり、数値や文字列などのデータを構造的に保持する。AliceはData Segmentをデータベースとして扱っている。Data Segmentには必ず対になるKeyが存在する。つまりKey Value Storeとして考える事ができる。
6
7 Aliceのデータベースは通常のKVSとは異なっている点がある。通常のKVSはプログラミング言語の連想配列やMapと同様に 「Key（キー）」と「Value（値）」がペアとなっている。そのため1つのKeyに対して値は1つである。しかし、Aliceの場合は「Key」と「Queue」がペアとなっているため、Keyに対して複数回putできる。従って取得できるValueも複数存在できる。便宜上これをKey Value Queueと呼ぶものとする。Key毎の追加と取得はLindaに準じた設計になっている。
8
9 Data SegmentはData Segment Manager（以下DSM）によって管理されている。ノード毎にLocal DSMとRemote DSMが存在する。Local DSMは各ノード固有のKVSとなっている。従ってRemote DSMを指定するKeyはノード内部でuniqueなものである。Remote DSMは他のノードのLocal DSMのproxyと考えられる。つまりRemote DSMは複数存在し、それぞれに対応するノードは異なる。
10
11 KVQへのアクセスはqueueによって、ノード内部で逐次化される。それ以外は、すべてJavaのThread Poolにより並列実行される。
12 \subsection{Data Segment API}
13 以下が用意されているData Segment APIである。これらを用いてデータの送受信を行う。
14 \begin{itemize}
15 \item {\ttfamily void put(String key, Object val)}
16 \item {\ttfamily void update(String key, Object val)}
17 \item {\ttfamily void peek(Receiver receiver, String key)}
18 \item {\ttfamily void take(Receiver receiver, String key)}
19 \end{itemize}
20 \subsubsection{put}
21 putはデータをQueueに追加するためのAPIである。Lindaのout()に相当する
22 \subsubsection{update}
23 updateはデータを置き換える特急メッセージのように動作する。Lindaのupdate()に相当する。
24 \subsubsection{peek}
25 peekはデータを読み込むAPIである。読み込まれたデータはQueueに残る。要求したデータが存在しなければ、Code Segmentの待ち合わせ （Blocking）が起こる。putやupdateによりデータに更新があった場合、peekが直ちに実行される。Lindaのread()に相当する。
26 \subsubsection{take}
27 takeもデータを読み込むためのAPIである。読み込まれたデータはQueueから削除される。Lindaのin()に相当する。
28 \subsection{Data Segment の表現}
29
30
31 \section{Meta Data Segment}
2 \section{Code Segment} 32 \section{Code Segment}
3 \section{Meta Data Segment} 33 Code SegmentとはAlice上で実行されるタスクの単位である。ユーザーはCode Segmentを組み合わせることでプログラミングを行う。Code Segmentをユーザーが記述する際に、内部で使用するData Segmentの作成を記述する。入力時のData SegmentをInput Data Segment、出力時をOutput Data Segmentと呼ぶ。Input Data SegmentとOutput Data SegmentによってCode Segmentの間の依存関係が自動的に記述される。
34
35 Input Data Segment と Output Data SegmentはCode Segmentに用意されているAPIを用いて作成する。
36 Input Data Segmentは、LocalかRemoteか、またkeyを指定する必要がある。Code Segmentは、記述したInput Data Segmentが全て揃うとThread poolに送られ、実行される。
37
38 Out Data SegmentもLocalかRemoteか、またkeyを指定する必要がある。
39
40 現在、Inputの場合はsetKeyを呼ぶ際、Outputはput(またはupdate)の際にノードとkeyの指定を行っている。
41 しかし、どの時点でノードとkeyの指定を行えばよいか、どのようなAPIを用意するべきかは、議論の余地がある。
42
4 \section{Meta Code Segment} 43 \section{Meta Code Segment}
5 \section{Meta Data Segment} 44
6 \section{Topology Manager} 45 \section{Topology Manager}
46
47 \section{Aliceによるプログラミング手法}