version 1.56, 1999/12/23 12:57:20 |
version 1.60, 1999/12/23 17:01:13 |
|
|
\documentclass{jarticle} |
\documentclass{jarticle} |
|
|
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.55 1999/12/23 11:59:22 tam Exp $ |
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.59 1999/12/23 16:03:24 tam Exp $ |
|
|
\usepackage{jssac} |
\usepackage{jssac} |
\title{タイのトル} |
\title{タイのトル} |
Line 280 mathcap で設定されていないメッセージをクライアント側へ |
|
Line 280 mathcap で設定されていないメッセージをクライアント側へ |
|
|
|
mathcap は以下のような 3 つの要素からなるリストを持っている。 |
mathcap は以下のような 3 つの要素からなるリストを持っている。 |
|
|
\begin{tabular}{|c|c|c|} \hline |
\[ \begin{tabular}{|c|c|c|} \hline |
$A$ & $B$ & $C$ \\ \hline |
$A$ & $B$ & $C$ \\ \hline |
\end{tabular} |
\end{tabular} \] |
|
|
最初の要素 $A$ の部分は以下のようなリスト構造をしており、 |
最初の要素 $A$ の部分は以下のようなリスト構造をしており、 |
$a_1$ は 32 ビット整数でバージョンナンバーを、 |
$a_1$ は 32 ビット整数でバージョンナンバーを、 |
$a_2$ は文字列でシステムの名前を表すことになっている。 |
$a_2$ は文字列でシステムの名前を表すことになっている。 |
|
|
\begin{tabular}{|c|c|} \hline |
\[ \begin{tabular}{|c|c|} \hline |
$a_1$ & $a_2$ \\ \hline |
$a_1$ & $a_2$ \\ \hline |
\end{tabular} |
\end{tabular} \] |
|
|
2 番目の要素 $B$ の部分は次のようなリスト構造をしている。 |
2 番目の要素 $B$ の部分は次のようなリスト構造をしている。 |
|
この $b_1$, $b_2$, $\cdots$, $b_n$ はすべて 32 ビットの整数である。 |
|
スタックマシンへの命令はすべて 32 ビットの整数で表しており、 |
|
各 $b_i$ は利用可能な命令に対応する 32 ビットの整数となっている。 |
|
|
\begin{tabular}{|c|c|c|c|} \hline |
\[ \begin{tabular}{|c|c|c|c|} \hline |
$b_1$ & $b_2$ & $\cdots$ & $b_n$ \\ \hline |
$b_1$ & $b_2$ & $\cdots$ & $b_n$ \\ \hline |
\end{tabular} |
\end{tabular} \] |
|
|
この $b_1$, $b_2$, $\cdots$, $b_n$ はすべて 32 ビットの整数である。 |
3 番目の要素 $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 の場合についてのみ説明する。 |
|
この $c_{i1}$ が OX\_DATA の場合、 |
|
リスト $c_i$ は CMO 形式についての情報を表しており、 |
|
$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 の例をあげる。 |
具体的な mathcap の例をあげる。 |