| version 1.34, 1999/12/21 12:02:21 |
version 1.36, 1999/12/21 17:02:40 |
|
|
| \author{ |
\author{ |
| 前川 将秀\thanks{神戸大学理学部数学科}, |
前川 将秀\thanks{神戸大学理学部数学科}, |
| 野呂 正行\thanks{富士通研究所}, |
野呂 正行\thanks{富士通研究所}, |
| 小原 功任\thanks{金沢大学}, \\ |
小原 功任\thanks{金沢大学理学部計算科学科}, \\ |
| 奥谷 幸夫\thanks{神戸大学大学院自然科学研究科博士課程前期課程数学専攻}, |
奥谷 幸夫 |
| |
%\thanks{神戸大学大学院自然科学研究科博士課程前期課程数学専攻}, |
| |
\thanks{神戸大学大学院自然科学研究科数学専攻}, |
| 高山 信毅\thanks{神戸大学理学部数学教室}, |
高山 信毅\thanks{神戸大学理学部数学教室}, |
| 田村 恭士\thanks{神戸大学大学院自然科学研究科博士課程後期課程情報メディア科学専攻計算システム講座} |
田村 恭士 |
| |
%\thanks{神戸大学大学院自然科学研究科博士課程後期課程情報メディア科学専攻計算システム講座} |
| |
\thanks{神戸大学大学院自然科学研究科情報メディア科学専攻} |
| } |
} |
| \date{1999年11月25日} |
\date{1999年11月25日} |
| %\pagestyle{empty} |
%\pagestyle{empty} |
| Line 44 OpenXM 規約独自のデータ形式である CMO 形式(Common Math |
|
| Line 48 OpenXM 規約独自のデータ形式である CMO 形式(Common Math |
|
| |
|
| \section{OpenXM の計算モデル} |
\section{OpenXM の計算モデル} |
| |
|
| {\Huge この節では計算モデルの話をしなければいけませんよ、田村君} |
{\Huge この節では計算モデルの話をしなければいけません} |
| |
|
| OpenXM 規約での計算とはメッセージを交換することである。 |
OpenXM 規約での計算とはメッセージを交換することである。 |
| そして、そのメッセージの交換はサーバとクライアントの間で行なわれる。 |
そして、そのメッセージの交換はサーバとクライアントの間で行なわれる。 |
| クライアントからサーバへメッセージを送り、 |
クライアントからサーバへメッセージを送り、 |
| メッセージに対する返答を受け取ることによって |
サーバからクライアントがメッセージを受け取ることによって |
| 計算の結果が得られる。 |
計算の結果が得られる。 |
| |
|
| サーバはスタックマシンであると仮定されており、 |
サーバはスタックマシンであると仮定されており、 |
| サーバがクライアントから受け取ったメッセージはすべてスタックに積まれる。 |
サーバがクライアントから受け取ったメッセージはすべてスタックに積まれる。 |
| OpenXM のメッセージの中にはサーバに行なわせたい動作に対応するデータがあり、 |
ただし、OpenXM のメッセージの中にはサーバに行なわせたい動作に |
| |
対応するデータがあり、 |
| このメッセージを受け取ったサーバはそれに対応する動作を |
このメッセージを受け取ったサーバはそれに対応する動作を |
| 行なうことが期待されている。 |
行なうことが期待されている。 |
| ただし、サーバは命令されない限り何も動作を行なおうとはしない。 |
しかし、サーバは命令されない限り何も動作を行なおうとはしない。 |
| このため、クライアントはサーバへ送ったメッセージの結果を |
このため、クライアントはサーバの状態を気にせずにメッセージを送り、 |
| サーバから |
一旦メッセージを送付し終えると |
| |
あとはサーバへ送ったメッセージの結果を |
| |
サーバから待つことなしに次の動作に移ることができる。 |
| |
|
| これはクライアントがサーバへ一旦メッセージを送付し終えると、 |
|
| あとはサーバ側の状態を気にせずにクライアントは |
|
| クライアント自身の仕事に戻れることを意味する。 |
|
| |
|
| |
|
| \section{OpenXM のメッセージの構造} |
\section{OpenXM のメッセージの構造} |
| |
|
| {\Huge この節では構造の話をしなければいけませんよ、田村君} |
{\Huge この節では構造の話をしなければいけません} |
| |
|
| OpenXM のメッセージはバイトストリームであり、次のような構造を持つ。 |
OpenXM で規定されているメッセージはバイトストリームであり、 |
| \begin{verbatim} |
次のような構造になっている。 |
| ヘッダ ボディ |
|
| \end{verbatim} |
\begin{tabular}{|c|c|} \hline |
| ヘッダの長さは8バイトであると定められている。ボディの長さはメッセージご |
ヘッダ & \hspace{10mm} ボディ \hspace{10mm} \\ \hline |
| とに異なる($0$でもよい)。 |
\end{tabular} |
| ヘッダは次の二つの情報を持つ。 |
|
| |
ヘッダの長さは 8 バイトであると定められている。 |
| |
ボディの長さはメッセージごとに異なっているが、 |
| |
長さは $0$ でもよいことになっている。 |
| |
ヘッダは次の二つの情報を持っている。 |
| \begin{enumerate} |
\begin{enumerate} |
| \item 前半の4バイト。タグと呼ばれ、メッセージの種類を表わす識別子である。 |
\item 前半の 4 バイトにある、メッセージの種類を表わす識別子。 |
| \item 後半の4バイト。メッセージにつけられた通し番号である。 |
タグと呼ばれる。 |
| |
\item 後半の 4 バイトにある、メッセージにつけられた通し番号。 |
| \end{enumerate} |
\end{enumerate} |
| |
|
| それぞれの4バイトは32ビット整数とみなされて処理される。 |
それぞれの 4 バイトは 32 ビット整数とみなされて扱われる。 |
| この場合に用いられる整数の表現方法については後述するが、基本的に |
この場合に用いられる整数の表現方法の説明については後述するが、 |
| 表現方法はいくつかの選択肢から選ぶことが可能であり、 |
基本的に表現方法はいくつかの選択肢から選ぶことが可能となっており、 |
| また選択は通信路の確立時に一度だけなされることに注意しておこう。 |
またその選択は通信路の確立時に一度だけなされることに注意しなければならない。 |
| |
|
| {\Huge 以下、書き直してね。} |
{\Huge 以下、書き直してね。} |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to genkou19991125.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc