OpenXM/doc/genkou19991125.tex - diff

Return to genkou19991125.tex CVS log

Up to [local] / OpenXM / doc

Diff for /OpenXM/doc/Attic/genkou19991125.tex between version 1.54 and 1.59

-version 1.54, 1999/12/23 08:56:51
+version 1.59, 1999/12/23 16:03:24
 Line 1
 Line 1
 Line 1
  \documentclass{jarticle}
- %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.53 1999/12/23 08:02:12 tam Exp $
+ %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.58 1999/12/23 14:57:46 tam Exp $
  \usepackage{jssac}
  \title{タイのトル}
 Line 118  OX\_COMMAND となっているメッセージはスタックマシンへの
 Line 118  OX\_COMMAND となっているメッセージはスタックマシンへの
 Line 118  OX\_COMMAND となっているメッセージはスタックマシンへの
  セージを受け取ったサーバはそれに対応する動作を行なうことが期待されている。
  サーバはメッセージを受け取らない限り、自ら何か動作をおこなわない。
- {\large\bf 意味不明な書き方だけど、} これは毎回サーバへメッセージを送る
+ {\large\bf 意味不明な書き方だけど、}
+ これは毎回サーバへメッセージを送る
  たびに、いつもサーバからのメッセージをクライアントが待つ必要がないことを
  意味する。このため、クライアントはサーバの状態を気にせずにメッセージを送
  り、一旦メッセージを送付し終えた後、サーバへ送ったメッセージの結果をサー
-Line 261  OpenXM 規約では、通信時に用いられるメッセージの種類を
+Line 263  OpenXM 規約では、通信時に用いられるメッセージの種類を
 Line 261  OpenXM 規約では、通信時に用いられるメッセージの種類を
 Line 263  OpenXM 規約では、通信時に用いられるメッセージの種類を
  具体的なメッセージの制限の手続きについて説明する。
  まず、手続きについて説明しよう。
+ クライアント側の mathcap をサーバへ送ると、
+ すでに説明したように、サーバは受け取った mathcap をスタックに積み上げる。
+ 次にクライアントはスタックマシンへの命令をサーバへ送ることにより、
+ サーバはスタックに積まれている mathcap を取り出し、
+ mathcap で設定されていないメッセージをクライアント側へ
+ 送らないように設定する。
+ サーバ側の mathcap が欲しい場合には以下のようにする。
+ クライアントがスタックマシンへの命令コードにより要求すると、
+ サーバはサーバ自身の mathcap をスタックに積む。
+ さらにクライアントがサーバに命令を送れば、
+ サーバはスタックにある mathcap をクライアントへ送出する。
+ このようにしてクライアントはサーバ側の mathcap を受け取るわけである。
- \begin{quote}
- 説明。説明。説明。説明。説明。
- 説明。説明。説明。説明。説明。
- 説明。説明。説明。説明。説明。
- 説明。説明。説明。説明。説明。
- \end{quote}
  次に mathcap のデータ構造について説明する。
- \begin{quote}
+ mathcap は以下のような 3 つの要素からなるリストを持っている。
- 説明。説明。説明。説明。説明。
- 説明。説明。説明。説明。説明。
- 説明。説明。説明。説明。説明。
- 説明。説明。説明。説明。説明。
- \end{quote}
+ \[      \begin{tabular}{|c|c|c|} \hline
+         $A$ & $B$ & $C$ \\ \hline
+         \end{tabular}   \]
+ 最初の要素 $A$ の部分は以下のようなリスト構造をしており、
+ $a_1$ は 32 ビット整数でバージョンナンバーを、
+ $a_2$ は文字列でシステムの名前を表すことになっている。
+ \[      \begin{tabular}{|c|c|} \hline
+         $a_1$ & $a_2$   \\ \hline
+         \end{tabular}   \]
+番目の要素 $B$ の部分は次のようなリスト構造をしている。
+ この $b_1$, $b_2$, $\cdots$, $b_n$ はすべて 32 ビットの整数である。
+ スタックマシンへの命令はすべて 32 ビットの整数で表しており、
+ 各 $b_i$ は利用可能な命令に対応する 32 ビットの整数となっている。
+ \[      \begin{tabular}{|c|c|c|c|} \hline
+         $b_1$ & $b_2$ & $\cdots$ & $b_n$        \\ \hline
+         \end{tabular}   \]
+番目の要素 $C$ は以下のようなリスト構造をしている。
+ \[  \overbrace{
+         \begin{tabular}{|c|c|c|c|} \hline
+         $c_1$ & $c_2$ & $\cdots$ & $c_n$        \\ \hline
+         \end{tabular}
+    }^{C}        \]
+ %$n$ は OX\_COMMAND 以外の受け取れるメッセージのタグの種類の数に等しい。
+ %要素数は 1 でももちろん構わない。
+ 各 $c_i$ もまた以下のようなリスト構造となっており、
+ どの $c_i$ も最初の要素が 32 ビットの整数となっている。
+ \[  \overbrace{
+         \begin{tabular}{|c|c|c|c|c|} \hline
+         $c_{i1}$ (32 ビットの整数) & $c_{i2}$ & $c_{i3}$ &
+                 $\cdots$ & $c_{im}$     \\ \hline
+         \end{tabular}
+    }^{c_i}      \]
+ このリストの最初の整数値は受け取れるメッセージのタグが入っている。
+ $c_{i2}$ 以降については最初の $c_{i1}$ の値によって異なっている。
+ ここでは、最初の要素が OX\_DATA の場合についてのみ説明する。
+ この OX\_DATA の場合、 $m=2$ である。
+ $c_{i1}$ にはもちろんのこと、 OX\_DATA が入っており、
+ $c_{i2}$ は以下のようなリスト構造になっている。
+ \[  \overbrace{
+         \begin{tabular}{|c|c|c|c|c|} \hline
+         $c_{i21}$ & $c_{i22}$ & $\cdots$ & $c_{i2l}$    \\ \hline
+         \end{tabular}
+    }^{c_{i2}}   \]
  具体的な mathcap の例をあげる。
  \begin{quote}
-Line 289  OpenXM 規約では、通信時に用いられるメッセージの種類を
+Line 346  OpenXM 規約では、通信時に用いられるメッセージの種類を
 Line 289  OpenXM 規約では、通信時に用いられるメッセージの種類を
 Line 346  OpenXM 規約では、通信時に用いられるメッセージの種類を
  {\large\bf これより以降は意味不明で私にはよく分かりませんでしたので、
- たぶん読者も分からないでしょうね、というのはいいとして、}
+ たぶん読者も分からないでしょう}
- CMO 形式で定義されている mathcap データは
- 受け取ることができるデータ形式を表すデータであり、
- 要求されればサーバはサーバ自身の mathcap データをスタックに積む。
- また、クライアントから mathcap データをサーバへ送ることもでき、
- mathcap データをサーバとクライアントの間で交換することによって、
- お互いに相手側が受け取ることができないデータ形式で
- メッセージを送ってしまうのを防ぐことができる。
  なお、 mathcap データの中では CMO 形式で定義されている
 bit 整数、文字列、リスト構造が使われており、
  mathcap データに含まれている内容を理解できるためには
- 必然的にこれらも理解できる必要がある(ってことは CMO 形式のところでこれら
+ 必然的にこれらも理解できる必要がある
- を説明しなければならないってことですね、田村君)。
+ (ってことは CMO 形式のところでこれらを
+ 説明しなければならないってことです)。
  OpenXM 対応版の asir サーバである ox\_asir が返す mathcap を以下に示す。
-Line 362  OpenXM 規約もまた通信時のセキュリティについて注意して�
+Line 413  OpenXM 規約もまた通信時のセキュリティについて注意して�
 Line 362  OpenXM 規約もまた通信時のセキュリティについて注意して�
 Line 413  OpenXM 規約もまた通信時のセキュリティについて注意して�
  以下、このことについて説明しよう。
  {\large\bf 意味不明なことを書いているが、}
  侵入者に攻撃の機会をできるだけ与えないようするた
  めに、接続が必要になった時のみ接続を待つようにし、
  常に接続に関与するといったことは避けている(やっぱり意味不明である)。

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>